qpcpp/include/qequeue.hpp

265 lines
11 KiB
C++
Raw Permalink Normal View History

//============================================================================
// QP/C++ Real-Time Embedded Framework (RTEF)
// Copyright (C) 2005 Quantum Leaps, LLC. All rights reserved.
//
// SPDX-License-Identifier: GPL-3.0-or-later OR LicenseRef-QL-commercial
//
// This software is dual-licensed under the terms of the open source GNU
// General Public License version 3 (or any later version), or alternatively,
// under the terms of one of the closed source Quantum Leaps commercial
// licenses.
//
// The terms of the open source GNU General Public License version 3
// can be found at: <www.gnu.org/licenses/gpl-3.0>
//
// The terms of the closed source Quantum Leaps commercial licenses
// can be found at: <www.state-machine.com/licensing>
//
// Redistributions in source code must retain this top-level comment block.
// Plagiarizing this software to sidestep the license obligations is illegal.
//
// Contact information:
// <www.state-machine.com>
// <info@state-machine.com>
//============================================================================
//! @date Last updated on: 2021-12-23
//! @version Last updated for: @ref qpcpp_7_0_0
//!
//! @file
//! @brief platform-independent fast "raw" thread-safe event queue interface
2014-04-13 21:35:34 -04:00
2019-10-27 12:26:31 -04:00
#ifndef QEQUEUE_HPP
#define QEQUEUE_HPP
2012-08-14 18:00:48 -04:00
//! @description
//! This header file must be included in all QF ports that use native QF
//! event queue for active objects. Also, this file needs to be included
//! in the QP/C++ library when the application uses QP::QMActive::defer() /
//! QP::QMActive::recall(). Finally, this file is also needed when the "raw"
//! thread-safe queues are used for communication between active objects
//! and non-framework entities, such as ISRs, device drivers, or legacy
//! code.
2012-08-14 18:00:48 -04:00
#ifndef QF_EQUEUE_CTR_SIZE
2014-04-13 21:35:34 -04:00
//! The size (in bytes) of the ring-buffer counters used in the
2020-03-17 21:33:58 -04:00
//! native QF event queue implementation. Valid values: 1U, 2U, or 4U;
//! default 1U.
//! @description
//! This macro can be defined in the QF port file (qf_port.hpp) to
//! configure the QP::QEQueueCtr type. Here the macro is not defined
//! so the default of 1 byte is chosen.
2020-03-17 21:33:58 -04:00
#define QF_EQUEUE_CTR_SIZE 1U
2012-08-14 18:00:48 -04:00
#endif
2013-10-10 20:01:51 -04:00
namespace QP {
2012-08-14 18:00:48 -04:00
2020-03-17 21:33:58 -04:00
#if (QF_EQUEUE_CTR_SIZE == 1U)
2014-04-13 21:35:34 -04:00
//! The data type to store the ring-buffer counters based on
//! the macro #QF_EQUEUE_CTR_SIZE.
//! @description
//! The dynamic range of this data type determines the maximum length
//! of the ring buffer managed by the native QF event queue.
2020-03-17 21:33:58 -04:00
using QEQueueCtr = std::uint8_t;
#elif (QF_EQUEUE_CTR_SIZE == 2U)
using QEQueueCtr = std::uint16_t;
#elif (QF_EQUEUE_CTR_SIZE == 4U)
using QEQueueCtr = std::uint32_t;
2012-08-14 18:00:48 -04:00
#else
2020-03-17 21:33:58 -04:00
#error "QF_EQUEUE_CTR_SIZE defined incorrectly, expected 1U, 2U, or 4U"
2012-08-14 18:00:48 -04:00
#endif
//============================================================================
2014-04-13 21:35:34 -04:00
//! Native QF Event Queue class
//! @description
//! This structure describes the native QF event queue, which can be used as
//! the event queue for active objects, or as a simple "raw" event queue for
//! thread-safe event passing among non-framework entities, such as ISRs,
//! device drivers, or other third-party components.@n
//! @n
//! The native QF event queue is configured by defining the macro
//! #QF_EQUEUE_TYPE as QP::QEQueue in the specific QF port header file.@n
//! @n
//! The QP::QEQueue class contains only data members for managing an event
//! queue, but does not contain the storage for the queue buffer, which must
//! be provided externally during the queue initialization.@n
//! @n
//! The event queue can store only event pointers, not the whole events. The
//! internal implementation uses the standard ring-buffer plus one external
//! location that optimizes the queue operation for the most frequent case
//! of empty queue.@n
//! @n
//! The QP::QEQueue class is used with two sets of functions. One set is for
//! the active object event queue, which needs to block the active object
//! task when the event queue is empty and unblock it when events are posted
//! to the queue. The interface for the native active object event queue
//! consists of the following functions: QP::QMActive::post(),
//! QP::QMActive::postLIFO(), and QP::QMActive::get_(). Additionally the
//! function QP::QEQueue::init() is used to initialize the queue.@n
//! @n
//! The other set of functions, uses this class as a simple "raw" event
//! queue to pass events between entities other than active objects, such as
//! ISRs. The "raw" event queue is not capable of blocking on the get()
//! operation, but is still thread-safe because it uses QF critical section
//! to protect its integrity. The interface for the "raw" thread-safe queue
//! consists of the following functions: QP::QEQueue::post(),
//! QP::QEQueue::postLIFO(), and QP::QEQueue::get(). Additionally the
//! function QP::QEQueue::init() is used to initialize the queue.@n
//! @n
//! @note Most event queue operations (both the active object queues and
//! the "raw" queues) internally use the QF critical section. You should be
//! careful not to invoke those operations from other critical sections when
//! nesting of critical sections is not supported.
2012-08-14 18:00:48 -04:00
class QEQueue {
private:
2014-04-13 21:35:34 -04:00
//! pointer to event at the front of the queue
//! @description
//! All incoming and outgoing events pass through the m_frontEvt location.
//! When the queue is empty (which is most of the time), the extra
//! m_frontEvt location allows to bypass the ring buffer altogether,
//! greatly optimizing the performance of the queue. Only bursts of events
//! engage the ring buffer.@n
//! @n
//! The additional role of this attribute is to indicate the empty status
//! of the queue. The queue is empty if the m_frontEvt location is NULL.
2013-10-10 20:01:51 -04:00
QEvt const * volatile m_frontEvt;
2012-08-14 18:00:48 -04:00
2014-04-13 21:35:34 -04:00
//! pointer to the start of the ring buffer
2012-08-14 18:00:48 -04:00
QEvt const **m_ring;
2014-04-13 21:35:34 -04:00
//! offset of the end of the ring buffer from the start of the buffer
2012-08-14 18:00:48 -04:00
QEQueueCtr m_end;
2014-04-13 21:35:34 -04:00
//! offset to where next event will be inserted into the buffer
2013-10-10 20:01:51 -04:00
QEQueueCtr volatile m_head;
2012-08-14 18:00:48 -04:00
2014-04-13 21:35:34 -04:00
//! offset of where next event will be extracted from the buffer
2013-10-10 20:01:51 -04:00
QEQueueCtr volatile m_tail;
2012-08-14 18:00:48 -04:00
2014-04-13 21:35:34 -04:00
//! number of free events in the ring buffer
2013-10-10 20:01:51 -04:00
QEQueueCtr volatile m_nFree;
2012-08-14 18:00:48 -04:00
2014-04-13 21:35:34 -04:00
//! minimum number of free events ever in the ring buffer.
//! @note this attribute remembers the low-watermark of the ring buffer,
//! which provides a valuable information for sizing event queues.
//! @sa QP::QF::getQueueMin().
2012-08-14 18:00:48 -04:00
QEQueueCtr m_nMin;
public:
2014-04-13 21:35:34 -04:00
//! public default constructor
2020-03-17 21:33:58 -04:00
QEQueue(void) noexcept;
2012-08-14 18:00:48 -04:00
2014-04-13 21:35:34 -04:00
//! Initializes the native QF event queue
//! @description
//! The parameters are as follows: @p qSto[] is the ring buffer storage,
//! @p qLen is the length of the ring buffer in the units of event-
//! pointers.
//!
//! @note The actual capacity of the queue is qLen + 1, because of the
//! extra location fornEvt_.
2020-03-17 21:33:58 -04:00
void init(QEvt const *qSto[], std::uint_fast16_t const qLen) noexcept;
2012-08-14 18:00:48 -04:00
2014-04-13 21:35:34 -04:00
//! "raw" thread-safe QF event queue implementation for the event
//! posting (FIFO). You can call this function from any task context or
//! ISR context. This function uses internally a critical section.
//! @description
//! The argument @p margin specifies the minimum number of free entries
//! in the queue that must be available for posting to succeed. The
//! function returns true (success) if the posting succeeded (with the
//! provided margin) and false (failure) when the posting fails.
//!
//! @note
//! The function raises an assertion if the @p margin is zero and the
//! queue becomes full and cannot accept the event.
//!
//! @sa QP::QEQueue::postLIFO(), QP::QEQueue::get()
2020-10-01 12:50:17 -04:00
bool post(QEvt const * const e, std::uint_fast16_t const margin,
std::uint_fast8_t const qs_id) noexcept;
2012-08-14 18:00:48 -04:00
2014-04-13 21:35:34 -04:00
//! "raw" thread-safe QF event queue implementation for the
//! First-In-First-Out (FIFO) event posting. You can call this function
//! from any task context or ISR context. Please note that this function
//! uses internally a critical section.
//! @note The function raises an assertion if the native QF queue becomes
//! full and cannot accept the event.
//!
//! @sa QP::QEQueue::postLIFO(), QP::QEQueue::get()
2020-10-01 12:50:17 -04:00
void postLIFO(QEvt const * const e,
std::uint_fast8_t const qs_id) noexcept;
2012-08-14 18:00:48 -04:00
2014-04-13 21:35:34 -04:00
//! "raw" thread-safe QF event queue implementation for the
//! Last-In-First-Out (LIFO) event posting.
//! @note
//! The LIFO policy should be used only with great caution because it
//! alters order of events in the queue.
//! @note
//! The function raises an assertion if the native QF queue becomes
//! full and cannot accept the event. You can call this function from
//! any task context or ISR context. Please note that this function uses
//! internally a critical section.
//!
//! @sa QP::QEQueue::post(), QP::QEQueue::postLIFO(), QP::QEQueue::get()
2020-10-01 12:50:17 -04:00
QEvt const *get(std::uint_fast8_t const qs_id) noexcept;
2012-08-14 18:00:48 -04:00
2014-04-13 21:35:34 -04:00
//! "raw" thread-safe QF event queue operation for obtaining the number
//! of free entries still available in the queue.
//! @note
//! This operation needs to be used with caution because the
//! number of free entries can change unexpectedly. The main intent for
//! using this operation is in conjunction with event deferral. In this
//! case the queue is accessed only from a single thread (by a single AO),
//! so the number of free entries cannot change unexpectedly.
//!
//! @sa QP::QMActive::defer(), QP::QMActive::recall()
2020-03-17 21:33:58 -04:00
QEQueueCtr getNFree(void) const noexcept {
2012-08-14 18:00:48 -04:00
return m_nFree;
}
2017-08-21 18:21:15 -04:00
//! "raw" thread-safe QF event queue operation for obtaining the minimum
//! number of free entries ever in the queue (a.k.a. "low-watermark").
//!
//! @description
//! This operation needs to be used with caution because the
//! "low-watermark" can change unexpectedly. The main intent for using
//! this operation is to get an idea of queue usage to size the queue
//! adequately.
//!
//! @returns the minimum number of free entries ever in the queue
//! since init.
2020-03-17 21:33:58 -04:00
QEQueueCtr getNMin(void) const noexcept {
2017-08-21 18:21:15 -04:00
return m_nMin;
}
2014-04-13 21:35:34 -04:00
//! "raw" thread-safe QF event queue operation to find out if the queue
//! is empty
//! @note
//! This operation needs to be used with caution because the
//! queue status can change unexpectedly. The main intent for using
//! this operation is in conjunction with event deferral. In this case
//! the queue is accessed only from a single thread (by a single AO),
//! so no other entity can post events to the queue.
//!
//! @sa QP::QMActive::defer(), QP::QMActive::recall()
2020-03-17 21:33:58 -04:00
bool isEmpty(void) const noexcept {
return m_frontEvt == nullptr;
2012-12-10 16:01:54 -05:00
}
2012-08-14 18:00:48 -04:00
private:
2014-04-13 21:35:34 -04:00
//! disallow copying of QEQueue
2020-03-17 21:33:58 -04:00
QEQueue(QEQueue const &) = delete;
2014-04-13 21:35:34 -04:00
//! disallow assignment of QEQueue
2020-03-17 21:33:58 -04:00
QEQueue & operator=(QEQueue const &) = delete;
2013-12-30 17:41:15 -05:00
2012-08-14 18:00:48 -04:00
friend class QF;
2016-12-01 10:31:49 -05:00
friend class QActive;
2015-12-31 14:56:37 -05:00
friend class QXThread;
2016-12-14 19:07:52 -05:00
friend class QTicker;
2018-10-25 11:13:01 -04:00
friend class QS;
2012-08-14 18:00:48 -04:00
};
2014-04-13 21:35:34 -04:00
} // namespace QP
2012-08-14 18:00:48 -04:00
2019-10-27 12:26:31 -04:00
#endif // QEQUEUE_HPP