mirror of
https://github.com/QuantumLeaps/qpcpp.git
synced 2025-01-28 06:02:56 +08:00
375 lines
12 KiB
C++
375 lines
12 KiB
C++
//.$file${.::table.cpp} vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv
|
|
//
|
|
// Model: dpp_qmsm.qm
|
|
// File: ${.::table.cpp}
|
|
//
|
|
// This code has been generated by QM 4.6.0 <www.state-machine.com/qm/>.
|
|
// DO NOT EDIT THIS FILE MANUALLY. All your changes will be lost.
|
|
//
|
|
// This code is covered by the following QP license:
|
|
// License # : QPCPP-EVAL
|
|
// Issued to : Institution or an individual evaluating the QP/C++ framework
|
|
// Framework(s): qpcpp
|
|
// Support ends: 2020-12-31
|
|
// Product(s) :
|
|
// This license is available only for evaluation purposes and
|
|
// the generated code is still licensed under the terms of GPL.
|
|
// Please submit request for extension of the evaluaion period at:
|
|
// <www.state-machine.com/licensing>/licensing/#RequestForm
|
|
//
|
|
//.$endhead${.::table.cpp} ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
|
#include "qpcpp.hpp"
|
|
#include "dpp.hpp"
|
|
#include "bsp.hpp"
|
|
|
|
Q_DEFINE_THIS_FILE
|
|
|
|
// Active object class -------------------------------------------------------
|
|
//.$declare${AOs::Table} vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv
|
|
namespace DPP {
|
|
|
|
//.${AOs::Table} .............................................................
|
|
class Table : public QP::QMActive {
|
|
private:
|
|
uint8_t m_fork[N_PHILO];
|
|
bool m_isHungry[N_PHILO];
|
|
|
|
public:
|
|
Table();
|
|
|
|
protected:
|
|
QM_STATE_DECL( initial);
|
|
QM_STATE_DECL( active);
|
|
QM_STATE_DECL( serving);
|
|
QM_ACTION_DECL(serving_e);
|
|
QM_STATE_DECL( paused);
|
|
QM_ACTION_DECL(paused_e);
|
|
QM_ACTION_DECL(paused_x);
|
|
};
|
|
|
|
} // namespace DPP
|
|
//.$enddecl${AOs::Table} ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
namespace DPP {
|
|
|
|
// helper function to provide the RIGHT neighbour of a Philo[n]
|
|
inline uint8_t RIGHT(uint8_t const n) {
|
|
return static_cast<uint8_t>((n + (N_PHILO - 1U)) % N_PHILO);
|
|
}
|
|
|
|
// helper function to provide the LEFT neighbour of a Philo[n]
|
|
inline uint8_t LEFT(uint8_t const n) {
|
|
return static_cast<uint8_t>((n + 1U) % N_PHILO);
|
|
}
|
|
|
|
static uint8_t const FREE = static_cast<uint8_t>(0);
|
|
static uint8_t const USED = static_cast<uint8_t>(1);
|
|
|
|
static char const * const THINKING = &"thinking"[0];
|
|
static char const * const HUNGRY = &"hungry "[0];
|
|
static char const * const EATING = &"eating "[0];
|
|
|
|
// Local objects -------------------------------------------------------------
|
|
static Table l_table; // the single instance of the Table active object
|
|
|
|
// Global-scope objects ------------------------------------------------------
|
|
QP::QActive * const AO_Table = &l_table; // "opaque" AO pointer
|
|
|
|
} // namespace DPP
|
|
|
|
//............................................................................
|
|
//.$skip${QP_VERSION} vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv
|
|
//. Check for the minimum required QP version
|
|
#if (QP_VERSION < 650U) || (QP_VERSION != ((QP_RELEASE^4294967295U) % 0x3E8U))
|
|
#error qpcpp version 6.5.0 or higher required
|
|
#endif
|
|
//.$endskip${QP_VERSION} ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
|
//.$define${AOs::Table} vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv
|
|
namespace DPP {
|
|
|
|
//.${AOs::Table} .............................................................
|
|
//.${AOs::Table::Table} ......................................................
|
|
Table::Table()
|
|
: QMActive(Q_STATE_CAST(&Table::initial))
|
|
{
|
|
for (uint8_t n = 0U; n < N_PHILO; ++n) {
|
|
m_fork[n] = FREE;
|
|
m_isHungry[n] = false;
|
|
}
|
|
}
|
|
|
|
//.${AOs::Table::SM} .........................................................
|
|
QM_STATE_DEF(Table, initial) {
|
|
//.${AOs::Table::SM::initial}
|
|
(void)e; // suppress the compiler warning about unused parameter
|
|
|
|
QS_OBJ_DICTIONARY(&l_table);
|
|
QS_FUN_DICTIONARY(&QP::QHsm::top);
|
|
QS_FUN_DICTIONARY(&Table::initial);
|
|
QS_FUN_DICTIONARY(&Table::active);
|
|
QS_FUN_DICTIONARY(&Table::serving);
|
|
QS_FUN_DICTIONARY(&Table::paused);
|
|
|
|
QS_SIG_DICTIONARY(DONE_SIG, nullptr); // global signals
|
|
QS_SIG_DICTIONARY(EAT_SIG, nullptr);
|
|
QS_SIG_DICTIONARY(PAUSE_SIG, nullptr);
|
|
QS_SIG_DICTIONARY(SERVE_SIG, nullptr);
|
|
QS_SIG_DICTIONARY(TEST_SIG, nullptr);
|
|
|
|
QS_SIG_DICTIONARY(HUNGRY_SIG, this); // signal just for Table
|
|
|
|
subscribe(DONE_SIG);
|
|
subscribe(PAUSE_SIG);
|
|
subscribe(SERVE_SIG);
|
|
subscribe(TEST_SIG);
|
|
|
|
for (uint8_t n = 0U; n < N_PHILO; ++n) {
|
|
m_fork[n] = FREE;
|
|
m_isHungry[n] = false;
|
|
BSP::displayPhilStat(n, THINKING);
|
|
}
|
|
|
|
QS_FUN_DICTIONARY(&active);
|
|
QS_FUN_DICTIONARY(&serving);
|
|
QS_FUN_DICTIONARY(&paused);
|
|
|
|
static struct {
|
|
QP::QMState const *target;
|
|
QP::QActionHandler act[2];
|
|
} const tatbl_ = { // tran-action table
|
|
&serving_s, // target state
|
|
{
|
|
&serving_e, // entry
|
|
Q_ACTION_NULL // zero terminator
|
|
}
|
|
};
|
|
return qm_tran_init(&tatbl_);
|
|
}
|
|
//.${AOs::Table::SM::active} .................................................
|
|
QP::QMState const Table::active_s = {
|
|
QM_STATE_NULL, // superstate (top)
|
|
&Table::active,
|
|
Q_ACTION_NULL, // no entry action
|
|
Q_ACTION_NULL, // no exit action
|
|
Q_ACTION_NULL // no initial tran.
|
|
};
|
|
//.${AOs::Table::SM::active}
|
|
QM_STATE_DEF(Table, active) {
|
|
QP::QState status_;
|
|
switch (e->sig) {
|
|
//.${AOs::Table::SM::active::TEST}
|
|
case TEST_SIG: {
|
|
status_ = Q_RET_HANDLED;
|
|
break;
|
|
}
|
|
//.${AOs::Table::SM::active::EAT}
|
|
case EAT_SIG: {
|
|
Q_ERROR();
|
|
status_ = Q_RET_HANDLED;
|
|
break;
|
|
}
|
|
default: {
|
|
status_ = Q_RET_SUPER;
|
|
break;
|
|
}
|
|
}
|
|
return status_;
|
|
}
|
|
//.${AOs::Table::SM::active::serving} ........................................
|
|
QP::QMState const Table::serving_s = {
|
|
&Table::active_s, // superstate
|
|
&Table::serving,
|
|
&Table::serving_e,
|
|
Q_ACTION_NULL, // no exit action
|
|
Q_ACTION_NULL // no initial tran.
|
|
};
|
|
//.${AOs::Table::SM::active::serving}
|
|
QM_ACTION_DEF(Table, serving_e) {
|
|
for (uint8_t n = 0U; n < N_PHILO; ++n) { // give permissions to eat...
|
|
if (m_isHungry[n]
|
|
&& (m_fork[LEFT(n)] == FREE)
|
|
&& (m_fork[n] == FREE))
|
|
{
|
|
m_fork[LEFT(n)] = USED;
|
|
m_fork[n] = USED;
|
|
TableEvt *te = Q_NEW(TableEvt, EAT_SIG);
|
|
te->philoNum = n;
|
|
QP::QF::PUBLISH(te, this);
|
|
m_isHungry[n] = false;
|
|
BSP::displayPhilStat(n, EATING);
|
|
}
|
|
}
|
|
return qm_entry(&serving_s);
|
|
}
|
|
//.${AOs::Table::SM::active::serving}
|
|
QM_STATE_DEF(Table, serving) {
|
|
QP::QState status_;
|
|
switch (e->sig) {
|
|
//.${AOs::Table::SM::active::serving::HUNGRY}
|
|
case HUNGRY_SIG: {
|
|
uint8_t n = Q_EVT_CAST(TableEvt)->philoNum;
|
|
// phil ID must be in range and he must be not hungry
|
|
Q_ASSERT((n < N_PHILO) && (!m_isHungry[n]));
|
|
|
|
BSP::displayPhilStat(n, HUNGRY);
|
|
uint8_t m = LEFT(n);
|
|
//.${AOs::Table::SM::active::serving::HUNGRY::[bothfree]}
|
|
if ((m_fork[m] == FREE) && (m_fork[n] == FREE)) {
|
|
m_fork[m] = USED;
|
|
m_fork[n] = USED;
|
|
TableEvt *pe = Q_NEW(TableEvt, EAT_SIG);
|
|
pe->philoNum = n;
|
|
QP::QF::PUBLISH(pe, this);
|
|
BSP::displayPhilStat(n, EATING);
|
|
status_ = Q_RET_HANDLED;
|
|
}
|
|
//.${AOs::Table::SM::active::serving::HUNGRY::[else]}
|
|
else {
|
|
m_isHungry[n] = true;
|
|
status_ = Q_RET_HANDLED;
|
|
}
|
|
break;
|
|
}
|
|
//.${AOs::Table::SM::active::serving::DONE}
|
|
case DONE_SIG: {
|
|
uint8_t n = Q_EVT_CAST(TableEvt)->philoNum;
|
|
// phil ID must be in range and he must be not hungry
|
|
Q_ASSERT((n < N_PHILO) && (!m_isHungry[n]));
|
|
|
|
BSP::displayPhilStat(n, THINKING);
|
|
uint8_t m = LEFT(n);
|
|
// both forks of Phil[n] must be used
|
|
Q_ASSERT((m_fork[n] == USED) && (m_fork[m] == USED));
|
|
|
|
m_fork[m] = FREE;
|
|
m_fork[n] = FREE;
|
|
m = RIGHT(n); // check the right neighbor
|
|
|
|
if (m_isHungry[m] && (m_fork[m] == FREE)) {
|
|
m_fork[n] = USED;
|
|
m_fork[m] = USED;
|
|
m_isHungry[m] = false;
|
|
TableEvt *pe = Q_NEW(TableEvt, EAT_SIG);
|
|
pe->philoNum = m;
|
|
QP::QF::PUBLISH(pe, this);
|
|
BSP::displayPhilStat(m, EATING);
|
|
}
|
|
m = LEFT(n); // check the left neighbor
|
|
n = LEFT(m); // left fork of the left neighbor
|
|
if (m_isHungry[m] && (m_fork[n] == FREE)) {
|
|
m_fork[m] = USED;
|
|
m_fork[n] = USED;
|
|
m_isHungry[m] = false;
|
|
TableEvt *pe = Q_NEW(TableEvt, EAT_SIG);
|
|
pe->philoNum = m;
|
|
QP::QF::PUBLISH(pe, this);
|
|
BSP::displayPhilStat(m, EATING);
|
|
}
|
|
status_ = Q_RET_HANDLED;
|
|
break;
|
|
}
|
|
//.${AOs::Table::SM::active::serving::EAT}
|
|
case EAT_SIG: {
|
|
Q_ERROR();
|
|
status_ = Q_RET_HANDLED;
|
|
break;
|
|
}
|
|
//.${AOs::Table::SM::active::serving::PAUSE}
|
|
case PAUSE_SIG: {
|
|
|
|
static struct {
|
|
QP::QMState const *target;
|
|
QP::QActionHandler act[2];
|
|
} const tatbl_ = { // tran-action table
|
|
&paused_s, // target state
|
|
{
|
|
&paused_e, // entry
|
|
Q_ACTION_NULL // zero terminator
|
|
}
|
|
};
|
|
status_ = qm_tran(&tatbl_);
|
|
break;
|
|
}
|
|
default: {
|
|
status_ = Q_RET_SUPER;
|
|
break;
|
|
}
|
|
}
|
|
return status_;
|
|
}
|
|
//.${AOs::Table::SM::active::paused} .........................................
|
|
QP::QMState const Table::paused_s = {
|
|
&Table::active_s, // superstate
|
|
&Table::paused,
|
|
&Table::paused_e,
|
|
&Table::paused_x,
|
|
Q_ACTION_NULL // no initial tran.
|
|
};
|
|
//.${AOs::Table::SM::active::paused}
|
|
QM_ACTION_DEF(Table, paused_e) {
|
|
BSP::displayPaused(1U);
|
|
return qm_entry(&paused_s);
|
|
}
|
|
//.${AOs::Table::SM::active::paused}
|
|
QM_ACTION_DEF(Table, paused_x) {
|
|
BSP::displayPaused(0U);
|
|
return qm_exit(&paused_s);
|
|
}
|
|
//.${AOs::Table::SM::active::paused}
|
|
QM_STATE_DEF(Table, paused) {
|
|
QP::QState status_;
|
|
switch (e->sig) {
|
|
//.${AOs::Table::SM::active::paused::SERVE}
|
|
case SERVE_SIG: {
|
|
|
|
static struct {
|
|
QP::QMState const *target;
|
|
QP::QActionHandler act[3];
|
|
} const tatbl_ = { // tran-action table
|
|
&serving_s, // target state
|
|
{
|
|
&paused_x, // exit
|
|
&serving_e, // entry
|
|
Q_ACTION_NULL // zero terminator
|
|
}
|
|
};
|
|
status_ = qm_tran(&tatbl_);
|
|
break;
|
|
}
|
|
//.${AOs::Table::SM::active::paused::HUNGRY}
|
|
case HUNGRY_SIG: {
|
|
uint8_t n = Q_EVT_CAST(TableEvt)->philoNum;
|
|
// philo ID must be in range and he must be not hungry
|
|
Q_ASSERT((n < N_PHILO) && (!m_isHungry[n]));
|
|
m_isHungry[n] = true;
|
|
BSP::displayPhilStat(n, HUNGRY);
|
|
status_ = Q_RET_HANDLED;
|
|
break;
|
|
}
|
|
//.${AOs::Table::SM::active::paused::DONE}
|
|
case DONE_SIG: {
|
|
uint8_t n = Q_EVT_CAST(TableEvt)->philoNum;
|
|
// phil ID must be in range and he must be not hungry
|
|
Q_ASSERT((n < N_PHILO) && (!m_isHungry[n]));
|
|
|
|
BSP::displayPhilStat(n, THINKING);
|
|
uint8_t m = LEFT(n);
|
|
/* both forks of Phil[n] must be used */
|
|
Q_ASSERT((m_fork[n] == USED) && (m_fork[m] == USED));
|
|
|
|
m_fork[m] = FREE;
|
|
m_fork[n] = FREE;
|
|
status_ = Q_RET_HANDLED;
|
|
break;
|
|
}
|
|
default: {
|
|
status_ = Q_RET_SUPER;
|
|
break;
|
|
}
|
|
}
|
|
return status_;
|
|
}
|
|
|
|
} // namespace DPP
|
|
//.$enddef${AOs::Table} ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|