qf_actq.cpp

Go to the documentation of this file.

//$file${src::qf::qf_actq.cpp} vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv
//
// Model: qpcpp.qm
// File:  ${src::qf::qf_actq.cpp}
//
// This code has been generated by QM 7.0.0 <www.state-machine.com/qm>.
// DO NOT EDIT THIS FILE MANUALLY. All your changes will be lost.
//
// Copyright (C) 2005 Quantum Leaps, LLC. All rights reserved.
//
//                    Q u a n t u m  L e a P s
//                    ------------------------
//                    Modern Embedded Software
//
// SPDX-License-Identifier: GPL-3.0-or-later OR LicenseRef-QL-commercial
//
// The QP/C++ software is dual-licensed under the terms of the open-source
// GNU General Public License (GPL) or under the terms of one of the closed-
// source Quantum Leaps commercial licenses.
//
// Redistributions in source code must retain this top-level comment block.
// Plagiarizing this software to sidestep the license obligations is illegal.
//
// NOTE:
// The GPL does NOT permit the incorporation of this code into proprietary
// programs. Please contact Quantum Leaps for commercial licensing options,
// which expressly supersede the GPL and are designed explicitly for
// closed-source distribution.
//
// Quantum Leaps contact information:
// <www.state-machine.com/licensing>
// <info@state-machine.com>
//
//$endhead${src::qf::qf_actq.cpp} ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
#define QP_IMPL             // this is QP implementation
#include "qp_port.hpp"      // QP port
#include "qp_pkg.hpp"       // QP package-scope interface
#include "qsafe.h"          // QP Functional Safety (FuSa) Subsystem
#ifdef Q_SPY                // QS software tracing enabled?
    #include "qs_port.hpp"  // QS port
    #include "qs_pkg.hpp"   // QS facilities for pre-defined trace records
#else
    #include "qs_dummy.hpp" // disable the QS software tracing
#endif // Q_SPY
 
//============================================================================
// unnamed namespace for local definitions with internal linkage
namespace {
Q_DEFINE_THIS_MODULE("qf_actq")
} // unnamed namespace
 
//$skip${QP_VERSION} vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv
// Check for the minimum required QP version
#if (QP_VERSION < 730U) || (QP_VERSION != ((QP_RELEASE^4294967295U)%0x2710U))
#error qpcpp version 7.3.0 or higher required
#endif
//$endskip${QP_VERSION} ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
//$define${QF::QActive::post_} vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv
namespace QP {
 
//${QF::QActive::post_} ......................................................
bool QActive::post_(
    QEvt const * const e,
    std::uint_fast16_t const margin,
    void const * const sender) noexcept
{
    #ifndef Q_SPY
    Q_UNUSED_PAR(sender);
    #endif
 
    #ifdef Q_UTEST // test?
    #if (Q_UTEST != 0) // testing QP-stub?
    if (m_temp.fun == Q_STATE_CAST(0)) { // QActiveDummy?
        return static_cast<QActiveDummy *>(this)->fakePost(e, margin, sender);
    }
    #endif // (Q_UTEST != 0)
    #endif // def Q_UTEST
 
    QF_CRIT_STAT
    QF_CRIT_ENTRY();
    QF_MEM_SYS();
 
    Q_REQUIRE_INCRIT(200, e != nullptr);
 
    QEQueueCtr tmp = m_eQueue.m_nFree; // get volatile into temporary
    #ifndef Q_UNSAFE
    QEQueueCtr dis = static_cast<QEQueueCtr>(~m_eQueue.m_nFree_dis);
    Q_INVARIANT_INCRIT(201, e->verify_() && (tmp == dis));
    #endif // ndef Q_UNSAFE
 
    // test-probe#1 for faking queue overflow
    QS_TEST_PROBE_DEF(&QActive::post_)
    QS_TEST_PROBE_ID(1,
        tmp = 0U; // fake no free events
    )
 
    // required margin available?
    bool status;
    if (margin == QF::NO_MARGIN) {
        if (tmp > 0U) { // free entries available in the queue?
            status = true; // can post
        }
        else { // no free entries available
            status = false; // cannot post
 
            // The queue overflows, but QF_NO_MARGIN indicates that
            // the "event delivery guarantee" is required.
            Q_ERROR_INCRIT(210); // must be able to post the event
        }
    }
    else if (tmp > static_cast<QEQueueCtr>(margin)) {
        status = true; // can post
    }
    else { // the # free entries below the requested margin
        status = false; // cannot post, but don't assert
    }
 
    // is it a mutable event?
    if (e->getPoolNum_() != 0U) {
        QEvt_refCtr_inc_(e); // increment the reference counter
    }
 
    if (status) { // can post the event?
        --tmp; // one free entry just used up
 
        m_eQueue.m_nFree = tmp; // update the original
    #ifndef Q_UNSAFE
        m_eQueue.m_nFree_dis = static_cast<QEQueueCtr>(~tmp);
    #endif // ndef Q_UNSAFE
 
        if (m_eQueue.m_nMin > tmp) {
            m_eQueue.m_nMin = tmp; // update minimum so far
        }
 
        QS_BEGIN_PRE(QS_QF_ACTIVE_POST, m_prio)
            QS_TIME_PRE();       // timestamp
            QS_OBJ_PRE(sender);  // the sender object
            QS_SIG_PRE(e->sig);  // the signal of the event
            QS_OBJ_PRE(this);    // this active object
            QS_2U8_PRE(e->getPoolNum_(), e->refCtr_);
            QS_EQC_PRE(tmp);   // # free entries
            QS_EQC_PRE(m_eQueue.m_nMin); // min # free entries
        QS_END_PRE()
 
    #ifdef Q_UTEST
        // callback to examine the posted event under the same conditions
        // as producing the #QS_QF_ACTIVE_POST trace record, which are:
        // the local filter for this AO ('m_prio') is set
        if (QS_LOC_CHECK_(m_prio)) {
            QF_MEM_APP();
            QF_CRIT_EXIT();
 
            QS::onTestPost(sender, this, e, status);
 
            QF_CRIT_ENTRY();
            QF_MEM_SYS();
        }
    #endif // def Q_UTEST
 
        if (m_eQueue.m_frontEvt == nullptr) { // is the queue empty?
            m_eQueue.m_frontEvt = e; // deliver event directly
    #ifndef Q_UNSAFE
            Q_INVARIANT_INCRIT(211, m_eQueue.m_frontEvt_dis
                == static_cast<std::uintptr_t>(~Q_PTR2UINT_CAST_(nullptr)));
            m_eQueue.m_frontEvt_dis =
                static_cast<std::uintptr_t>(~Q_PTR2UINT_CAST_(e));
    #endif // ndef Q_UNSAFE
 
    #ifdef QXK_HPP_
            if (m_state.act == nullptr) { // eXtended thread?
                QXTHREAD_EQUEUE_SIGNAL_(this); // signal eXtended Thread
            }
            else {
                QACTIVE_EQUEUE_SIGNAL_(this); // signal the Active Object
            }
    #else
            QACTIVE_EQUEUE_SIGNAL_(this); // signal the Active Object
    #endif // def QXK_HPP_
        }
        else { // queue was not empty, insert event into the ring-buffer
            tmp = m_eQueue.m_head; // get volatile into temporary
    #ifndef Q_UNSAFE
            dis = static_cast<QEQueueCtr>(~m_eQueue.m_head_dis);
            Q_INVARIANT_INCRIT(212, tmp == dis);
    #endif // ndef Q_UNSAFE
            m_eQueue.m_ring[tmp] = e; // insert e into buffer
 
            if (tmp == 0U) { // need to wrap the head?
                tmp = m_eQueue.m_end;
            }
            --tmp; // advance the head (counter-clockwise)
 
            m_eQueue.m_head = tmp; // update the original
    #ifndef Q_UNSAFE
            m_eQueue.m_head_dis = static_cast<QEQueueCtr>(~tmp);
    #endif // ndef Q_UNSAFE
        }
 
        QF_MEM_APP();
        QF_CRIT_EXIT();
    }
    else { // event cannot be posted
 
        QS_BEGIN_PRE(QS_QF_ACTIVE_POST_ATTEMPT, m_prio)
            QS_TIME_PRE();       // timestamp
            QS_OBJ_PRE(sender);  // the sender object
            QS_SIG_PRE(e->sig);  // the signal of the event
            QS_OBJ_PRE(this);    // this active object
            QS_2U8_PRE(e->getPoolNum_(), e->refCtr_);
            QS_EQC_PRE(tmp);     // # free entries
            QS_EQC_PRE(margin);  // margin requested
        QS_END_PRE()
 
    #ifdef Q_UTEST
        // callback to examine the posted event under the same conditions
        // as producing the #QS_QF_ACTIVE_POST trace record, which are:
        // the local filter for this AO ('m_prio') is set
        if (QS_LOC_CHECK_(m_prio)) {
            QF_MEM_APP();
            QF_CRIT_EXIT();
 
            QS::onTestPost(sender, this, e, status);
 
            QF_CRIT_ENTRY();
            QF_MEM_SYS();
        }
    #endif // def Q_USTEST
 
        QF_MEM_APP();
        QF_CRIT_EXIT();
 
    #if (QF_MAX_EPOOL > 0U)
        QF::gc(e); // recycle the event to avoid a leak
    #endif // (QF_MAX_EPOOL > 0U)
    }
 
    return status;
}
 
} // namespace QP
//$enddef${QF::QActive::post_} ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
//$define${QF::QActive::postLIFO} vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv
namespace QP {
 
//${QF::QActive::postLIFO} ...................................................
void QActive::postLIFO(QEvt const * const e) noexcept {
    #ifdef Q_UTEST // test?
    #if (Q_UTEST != 0) // testing QP-stub?
    if (m_temp.fun == Q_STATE_CAST(0)) { // QActiveDummy?
        static_cast<QActiveDummy *>(this)->QActiveDummy::fakePostLIFO(e);
        return;
    }
    #endif // (Q_UTEST != 0)
    #endif // def Q_UTEST
 
    QF_CRIT_STAT
    QF_CRIT_ENTRY();
    QF_MEM_SYS();
 
    Q_REQUIRE_INCRIT(300, e != nullptr);
 
    QEQueueCtr tmp = m_eQueue.m_nFree; // get volatile into temporary
    #ifndef Q_UNSAFE
    QEQueueCtr dis = static_cast<QEQueueCtr>(~m_eQueue.m_nFree_dis);
    Q_INVARIANT_INCRIT(301, e->verify_() && (tmp == dis));
    #endif // ndef Q_UNSAFE
 
    // test-probe#1 for faking queue overflow
    QS_TEST_PROBE_DEF(&QActive::postLIFO)
    QS_TEST_PROBE_ID(1,
        tmp = 0U; // fake no free events
    )
 
    // The queue must NOT overflow for the LIFO posting policy.
    Q_REQUIRE_INCRIT(310, tmp != 0U);
 
    if (e->getPoolNum_() != 0U) {
        QEvt_refCtr_inc_(e); // increment the reference counter
    }
 
    --tmp; // one free entry just used up
 
    m_eQueue.m_nFree = tmp; // update the original
    #ifndef Q_UNSAFE
    m_eQueue.m_nFree_dis = static_cast<QEQueueCtr>(~tmp);
    #endif // ndef Q_UNSAFE
 
    if (m_eQueue.m_nMin > tmp) {
        m_eQueue.m_nMin = tmp; // update minimum so far
    }
 
    QS_BEGIN_PRE(QS_QF_ACTIVE_POST_LIFO, m_prio)
        QS_TIME_PRE();       // timestamp
        QS_SIG_PRE(e->sig);  // the signal of this event
        QS_OBJ_PRE(this);    // this active object
        QS_2U8_PRE(e->getPoolNum_(), e->refCtr_);
        QS_EQC_PRE(tmp);     // # free entries
        QS_EQC_PRE(m_eQueue.m_nMin); // min # free entries
    QS_END_PRE()
 
    #ifdef Q_UTEST
    // callback to examine the posted event under the same conditions
    // as producing the #QS_QF_ACTIVE_POST trace record, which are:
    // the local filter for this AO ('m_prio') is set
    if (QS_LOC_CHECK_(m_prio)) {
        QF_MEM_APP();
        QF_CRIT_EXIT();
 
        QS::onTestPost(nullptr, this, e, true);
 
        QF_CRIT_ENTRY();
        QF_MEM_SYS();
    }
    #endif // def Q_UTEST
 
    QEvt const * const frontEvt = m_eQueue.m_frontEvt;
    m_eQueue.m_frontEvt = e; // deliver the event directly to the front
    #ifndef Q_UNSAFE
    m_eQueue.m_frontEvt_dis =
        static_cast<std::uintptr_t>(~Q_PTR2UINT_CAST_(e));
    #endif // ndef Q_UNSAFE
 
    if (frontEvt != nullptr) { // was the queue NOT empty?
        tmp = m_eQueue.m_tail; // get volatile into temporary;
    #ifndef Q_UNSAFE
        dis = static_cast<QEQueueCtr>(~m_eQueue.m_tail_dis);
        Q_INVARIANT_INCRIT(311, tmp == dis);
    #endif // ndef Q_UNSAFE
        ++tmp;
        if (tmp == m_eQueue.m_end) { // need to wrap the tail?
            tmp = 0U; // wrap around
        }
        m_eQueue.m_tail = tmp;
    #ifndef Q_UNSAFE
        m_eQueue.m_tail_dis = static_cast<QEQueueCtr>(~tmp);
    #endif // ndef Q_UNSAFE
        m_eQueue.m_ring[tmp] = frontEvt;
    }
    else { // queue was empty
        QACTIVE_EQUEUE_SIGNAL_(this); // signal the event queue
    }
 
    QF_MEM_APP();
    QF_CRIT_EXIT();
}
 
} // namespace QP
//$enddef${QF::QActive::postLIFO} ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
//$define${QF::QActive::get_} vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv
namespace QP {
 
//${QF::QActive::get_} .......................................................
QEvt const * QActive::get_() noexcept {
    QF_CRIT_STAT
    QF_CRIT_ENTRY();
    QF_MEM_SYS();
 
    // wait for event to arrive directly (depends on QP port)
    // NOTE: might use assertion-IDs 400-409
    QACTIVE_EQUEUE_WAIT_(this); // wait for event to arrive directly
 
    // always remove evt from the front
    QEvt const * const e = m_eQueue.m_frontEvt;
    QEQueueCtr tmp = m_eQueue.m_nFree; // get volatile into tmp
 
    #ifndef Q_UNSAFE
    Q_INVARIANT_INCRIT(410, e != nullptr); // queue must NOT be empty
    Q_INVARIANT_INCRIT(411, Q_PTR2UINT_CAST_(e)
        == static_cast<std::uintptr_t>(~m_eQueue.m_frontEvt_dis));
    QEQueueCtr dis = static_cast<QEQueueCtr>(~m_eQueue.m_nFree_dis);
    Q_INVARIANT_INCRIT(412, tmp == dis);
    #endif // ndef Q_UNSAFE
 
    ++tmp; // one more free event in the queue
 
    m_eQueue.m_nFree = tmp; // update the # free
    #ifndef Q_UNSAFE
    m_eQueue.m_nFree_dis = static_cast<QEQueueCtr>(~tmp);
    #endif // ndef Q_UNSAFE
 
    if (tmp <= m_eQueue.m_end) { // any events in the ring buffer?
        QS_BEGIN_PRE(QS_QF_ACTIVE_GET, m_prio)
            QS_TIME_PRE();       // timestamp
            QS_SIG_PRE(e->sig);  // the signal of this event
            QS_OBJ_PRE(this);    // this active object
            QS_2U8_PRE(e->getPoolNum_(), e->refCtr_);
            QS_EQC_PRE(tmp);     // # free entries
        QS_END_PRE()
 
        // remove event from the tail
        tmp = m_eQueue.m_tail; // get volatile into temporary
    #ifndef Q_UNSAFE
        dis = static_cast<QEQueueCtr>(~m_eQueue.m_tail_dis);
        Q_INVARIANT_INCRIT(420, tmp == dis);
    #endif // ndef Q_UNSAFE
        QEvt const * const frontEvt = m_eQueue.m_ring[tmp];
    #ifndef Q_UNSAFE
        Q_ASSERT_INCRIT(421, frontEvt != nullptr);
        m_eQueue.m_frontEvt_dis =
            static_cast<std::uintptr_t>(~Q_PTR2UINT_CAST_(frontEvt));
    #endif // ndef Q_UNSAFE
        m_eQueue.m_frontEvt = frontEvt; // update the original
 
        if (tmp == 0U) { // need to wrap the tail?
            tmp = m_eQueue.m_end;
        }
        --tmp; // advance the tail (counter-clockwise)
 
        m_eQueue.m_tail = tmp; // update the original
    #ifndef Q_UNSAFE
        m_eQueue.m_tail_dis = static_cast<QEQueueCtr>(~tmp);
    #endif // ndef Q_UNSAFE
    }
    else {
        m_eQueue.m_frontEvt = nullptr; // the queue becomes empty
    #ifndef Q_UNSAFE
        m_eQueue.m_frontEvt_dis =
            static_cast<std::uintptr_t>(~Q_PTR2UINT_CAST_(nullptr));
    #endif // ndef Q_UNSAFE
 
        // all entries in the queue must be free (+1 for fronEvt)
        Q_ASSERT_INCRIT(310, tmp == (m_eQueue.m_end + 1U));
 
        QS_BEGIN_PRE(QS_QF_ACTIVE_GET_LAST, m_prio)
            QS_TIME_PRE();       // timestamp
            QS_SIG_PRE(e->sig);  // the signal of this event
            QS_OBJ_PRE(this);    // this active object
            QS_2U8_PRE(e->getPoolNum_(), e->refCtr_);
        QS_END_PRE()
    }
 
    QF_MEM_APP();
    QF_CRIT_EXIT();
 
    return e;
}
 
} // namespace QP
//$enddef${QF::QActive::get_} ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
//$define${QF::QTicker} vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv
namespace QP {
 
//${QF::QTicker} .............................................................
 
//${QF::QTicker::QTicker} ....................................................
QTicker::QTicker(std::uint_fast8_t const tickRate) noexcept
: QActive(nullptr)
{
    // reuse m_head for tick-rate
    m_eQueue.m_head = static_cast<QEQueueCtr>(tickRate);
    #ifndef Q_UNSAFE
    m_eQueue.m_head_dis = static_cast<QEQueueCtr>(~tickRate);
    #endif // ndef Q_UNSAFE
}
 
//${QF::QTicker::init} .......................................................
void QTicker::init(
    void const * const e,
    std::uint_fast8_t const qsId)
{
    Q_UNUSED_PAR(e);
    Q_UNUSED_PAR(qsId);
 
    QF_CRIT_STAT
    QF_CRIT_ENTRY();
    QF_MEM_SYS();
 
    m_eQueue.m_tail = 0U;
    #ifndef Q_UNSAFE
    m_eQueue.m_tail_dis = static_cast<QEQueueCtr>(~0U);
    #endif // ndef Q_UNSAFE
 
    QF_MEM_APP();
    QF_CRIT_EXIT();
}
 
//${QF::QTicker::dispatch} ...................................................
void QTicker::dispatch(
    QEvt const * const e,
    std::uint_fast8_t const qsId)
{
    Q_UNUSED_PAR(e);
    Q_UNUSED_PAR(qsId);
 
    QF_CRIT_STAT
    QF_CRIT_ENTRY();
    QF_MEM_SYS();
 
    // get volatile into temporaries
    QEQueueCtr nTicks = m_eQueue.m_tail;
    QEQueueCtr const tickRate = m_eQueue.m_head;
 
    #ifndef Q_UNSAFE
    Q_REQUIRE_INCRIT(700, nTicks > 0U);
    Q_INVARIANT_INCRIT(701, nTicks
        == static_cast<QEQueueCtr>(~m_eQueue.m_tail_dis));
    Q_INVARIANT_INCRIT(702, tickRate
        == static_cast<QEQueueCtr>(~m_eQueue.m_head_dis));
    #endif // ndef Q_UNSAFE
 
    m_eQueue.m_tail = 0U; // clear # ticks
    #ifndef Q_UNSAFE
    m_eQueue.m_tail_dis = static_cast<QEQueueCtr>(~0U);
    #endif // ndef Q_UNSAFE
 
    QF_MEM_APP();
    QF_CRIT_EXIT();
 
    for (; nTicks > 0U; --nTicks) {
        QTimeEvt::tick(static_cast<std::uint_fast8_t>(tickRate),
                       this);
    }
}
 
//${QF::QTicker::trig_} ......................................................
void QTicker::trig_(void const * const sender) noexcept {
    #ifndef Q_SPY
    Q_UNUSED_PAR(sender);
    #endif
 
    static QEvt const tickEvt(0U); // immutable event
 
    QF_CRIT_STAT
    QF_CRIT_ENTRY();
    QF_MEM_SYS();
 
    QEQueueCtr nTicks = m_eQueue.m_tail; // get volatile into temporary
 
    if (m_eQueue.m_frontEvt == nullptr) {
    #ifndef Q_UNSAFE
        Q_REQUIRE_INCRIT(800, nTicks == 0U);
        Q_REQUIRE_INCRIT(801, m_eQueue.m_nFree == 1U);
        Q_INVARIANT_INCRIT(802, m_eQueue.m_frontEvt_dis
            == static_cast<std::uintptr_t>(~Q_PTR2UINT_CAST_(nullptr)));
        Q_INVARIANT_INCRIT(803,
            1U == static_cast<QEQueueCtr>(~m_eQueue.m_nFree_dis));
        Q_INVARIANT_INCRIT(804,
            0U == static_cast<QEQueueCtr>(~m_eQueue.m_tail_dis));
    #endif // ndef Q_UNSAFE
 
        m_eQueue.m_frontEvt = &tickEvt; // deliver event directly
        m_eQueue.m_nFree = 0U;
    #ifndef Q_UNSAFE
        m_eQueue.m_frontEvt_dis =
            static_cast<std::uintptr_t>(~Q_PTR2UINT_CAST_(&tickEvt));
        m_eQueue.m_nFree_dis = static_cast<QEQueueCtr>(~0U);
    #endif // ndef Q_UNSAFE
 
        QACTIVE_EQUEUE_SIGNAL_(this); // signal the event queue
    }
    else {
    #ifndef Q_UNSAFE
        Q_REQUIRE_INCRIT(810, (nTicks > 0U) && (nTicks < 0xFFU));
        Q_REQUIRE_INCRIT(811, m_eQueue.m_nFree == 0U);
        Q_INVARIANT_INCRIT(812, m_eQueue.m_frontEvt_dis
            == static_cast<std::uintptr_t>(~Q_PTR2UINT_CAST_(&tickEvt)));
        Q_INVARIANT_INCRIT(813,
            0U == static_cast<QEQueueCtr>(~m_eQueue.m_nFree_dis));
        Q_INVARIANT_INCRIT(814,
            nTicks == static_cast<QEQueueCtr>(~m_eQueue.m_tail_dis));
    #endif // ndef Q_UNSAFE
    }
 
    ++nTicks; // account for one more tick event
 
    m_eQueue.m_tail = nTicks; // update the original
    #ifndef Q_UNSAFE
    m_eQueue.m_tail_dis = static_cast<QEQueueCtr>(~nTicks);
    #endif // ndef Q_UNSAFE
 
    QS_BEGIN_PRE(QS_QF_ACTIVE_POST, m_prio)
        QS_TIME_PRE();      // timestamp
        QS_OBJ_PRE(sender); // the sender object
        QS_SIG_PRE(0U);     // the signal of the event
        QS_OBJ_PRE(this);   // this active object
        QS_2U8_PRE(0U, 0U); // poolNum & refCtr
        QS_EQC_PRE(0U);     // # free entries
        QS_EQC_PRE(0U);     // min # free entries
    QS_END_PRE()
 
    QF_MEM_APP();
    QF_CRIT_EXIT();
}
 
} // namespace QP
//$enddef${QF::QTicker} ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^