mirror of
https://github.com/QuantumLeaps/qpc.git
synced 2025-01-21 06:53:11 +08:00
241 lines
8.1 KiB
C
241 lines
8.1 KiB
C
/*****************************************************************************
|
|
* Model: dpp.qm
|
|
* File: ./philo.c
|
|
*
|
|
* This code has been generated by QM tool (see state-machine.com/qm).
|
|
* DO NOT EDIT THIS FILE MANUALLY. All your changes will be lost.
|
|
*
|
|
* This program is open source software: you can redistribute it and/or
|
|
* modify it under the terms of the GNU General Public License as published
|
|
* by the Free Software Foundation.
|
|
*
|
|
* This program is distributed in the hope that it will be useful, but
|
|
* WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
|
|
* or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
* for more details.
|
|
*****************************************************************************/
|
|
/* @(/3/1) .................................................................*/
|
|
#include "qp_port.h"
|
|
#include "dpp.h"
|
|
#include "bsp.h"
|
|
|
|
Q_DEFINE_THIS_FILE
|
|
|
|
/* Active object class -----------------------------------------------------*/
|
|
/* @(/2/0) .................................................................*/
|
|
typedef struct PhiloTag {
|
|
/* protected: */
|
|
QMActive super;
|
|
|
|
/* private: */
|
|
QTimeEvt timeEvt;
|
|
} Philo;
|
|
|
|
/* protected: */
|
|
static QState Philo_initial(Philo * const me, QEvt const * const e);
|
|
static QState Philo_thinking (Philo * const me, QEvt const * const e);
|
|
static QState Philo_thinking_e(Philo * const me);
|
|
static QMState const Philo_thinking_s = {
|
|
(QMState const *)0,
|
|
Q_STATE_CAST(&Philo_thinking),
|
|
Q_ACTION_CAST(0)
|
|
};
|
|
static QState Philo_hungry (Philo * const me, QEvt const * const e);
|
|
static QState Philo_hungry_e(Philo * const me);
|
|
static QMState const Philo_hungry_s = {
|
|
(QMState const *)0,
|
|
Q_STATE_CAST(&Philo_hungry),
|
|
Q_ACTION_CAST(0)
|
|
};
|
|
static QState Philo_eating (Philo * const me, QEvt const * const e);
|
|
static QState Philo_eating_e(Philo * const me);
|
|
static QState Philo_eating_x(Philo * const me);
|
|
static QMState const Philo_eating_s = {
|
|
(QMState const *)0,
|
|
Q_STATE_CAST(&Philo_eating),
|
|
Q_ACTION_CAST(&Philo_eating_x)
|
|
};
|
|
|
|
|
|
/* Local objects -----------------------------------------------------------*/
|
|
static Philo l_philo[N_PHILO]; /* storage for all Philos */
|
|
|
|
#define THINK_TIME \
|
|
(QTimeEvtCtr)((BSP_random() % BSP_TICKS_PER_SEC) + (BSP_TICKS_PER_SEC/2U))
|
|
#define EAT_TIME \
|
|
(QTimeEvtCtr)((BSP_random() % BSP_TICKS_PER_SEC) + BSP_TICKS_PER_SEC)
|
|
|
|
/* helper macro to provide the ID of Philo "me_" */
|
|
#define PHILO_ID(me_) ((uint8_t)((me_) - l_philo))
|
|
|
|
enum InternalSignals { /* internal signals */
|
|
TIMEOUT_SIG = MAX_SIG
|
|
};
|
|
|
|
/* Global objects ----------------------------------------------------------*/
|
|
QActive * const AO_Philo[N_PHILO] = { /* "opaque" pointers to Philo AO */
|
|
&l_philo[0].super,
|
|
&l_philo[1].super,
|
|
&l_philo[2].super,
|
|
&l_philo[3].super,
|
|
&l_philo[4].super
|
|
};
|
|
|
|
/* Philo definition --------------------------------------------------------*/
|
|
/* @(/2/4) .................................................................*/
|
|
void Philo_ctor(void) {
|
|
uint8_t n;
|
|
Philo *me;
|
|
for (n = 0U; n < N_PHILO; ++n) {
|
|
me = &l_philo[n];
|
|
QMActive_ctor(&me->super, Q_STATE_CAST(&Philo_initial));
|
|
QTimeEvt_ctorX(&me->timeEvt, &me->super, TIMEOUT_SIG, 0U);
|
|
}
|
|
}
|
|
/* @(/2/0) .................................................................*/
|
|
/* @(/2/0/1) ...............................................................*/
|
|
/* @(/2/0/1/0) */
|
|
static QState Philo_initial(Philo * const me, QEvt const * const e) {
|
|
static QActionHandler const act_[] = {
|
|
Q_ACTION_CAST(&Philo_thinking_e),
|
|
Q_ACTION_CAST(0)
|
|
};
|
|
static uint8_t registered = (uint8_t)0; /* starts off with 0, per C-standard */
|
|
(void)e; /* suppress the compiler warning about unused parameter */
|
|
if (registered == (uint8_t)0) {
|
|
registered = (uint8_t)1;
|
|
|
|
QS_OBJ_DICTIONARY(&l_philo[0]);
|
|
QS_OBJ_DICTIONARY(&l_philo[0].timeEvt);
|
|
QS_OBJ_DICTIONARY(&l_philo[1]);
|
|
QS_OBJ_DICTIONARY(&l_philo[1].timeEvt);
|
|
QS_OBJ_DICTIONARY(&l_philo[2]);
|
|
QS_OBJ_DICTIONARY(&l_philo[2].timeEvt);
|
|
QS_OBJ_DICTIONARY(&l_philo[3]);
|
|
QS_OBJ_DICTIONARY(&l_philo[3].timeEvt);
|
|
QS_OBJ_DICTIONARY(&l_philo[4]);
|
|
QS_OBJ_DICTIONARY(&l_philo[4].timeEvt);
|
|
|
|
QS_FUN_DICTIONARY(&Philo_initial);
|
|
QS_FUN_DICTIONARY(&Philo_thinking);
|
|
QS_FUN_DICTIONARY(&Philo_hungry);
|
|
QS_FUN_DICTIONARY(&Philo_eating);
|
|
}
|
|
QS_SIG_DICTIONARY(HUNGRY_SIG, me); /* signal for each Philos */
|
|
QS_SIG_DICTIONARY(TIMEOUT_SIG, me); /* signal for each Philos */
|
|
|
|
QActive_subscribe(&me->super, EAT_SIG);
|
|
return QM_INITIAL(&Philo_thinking_s, &act_[0]);
|
|
}
|
|
/* @(/2/0/1/1) .............................................................*/
|
|
static QState Philo_thinking_e(Philo * const me) {
|
|
QTimeEvt_armX(&me->timeEvt, THINK_TIME, 0U);
|
|
return QM_ENTRY(&Philo_thinking_s);
|
|
}
|
|
static QState Philo_thinking(Philo * const me, QEvt const * const e) {
|
|
QState status_;
|
|
switch (e->sig) {
|
|
/* @(/2/0/1/1/0) */
|
|
case TIMEOUT_SIG: {
|
|
static QActionHandler const act_[] = {
|
|
Q_ACTION_CAST(&Philo_hungry_e),
|
|
Q_ACTION_CAST(0)
|
|
};
|
|
status_ = QM_TRAN(&Philo_hungry_s, &act_[0]);
|
|
break;
|
|
}
|
|
/* @(/2/0/1/1/1) */
|
|
case EAT_SIG: /* intentionally fall through */
|
|
case DONE_SIG: {
|
|
/* EAT or DONE must be for other Philos than this one */
|
|
Q_ASSERT(Q_EVT_CAST(TableEvt)->philoNum != PHILO_ID(me));
|
|
status_ = QM_HANDLED();
|
|
break;
|
|
}
|
|
default: {
|
|
status_ = QM_SUPER();
|
|
break;
|
|
}
|
|
}
|
|
return status_;
|
|
}
|
|
/* @(/2/0/1/2) .............................................................*/
|
|
static QState Philo_hungry_e(Philo * const me) {
|
|
TableEvt *pe = Q_NEW(TableEvt, HUNGRY_SIG);
|
|
pe->philoNum = PHILO_ID(me);
|
|
QACTIVE_POST(AO_Table, &pe->super, me);
|
|
return QM_ENTRY(&Philo_hungry_s);
|
|
}
|
|
static QState Philo_hungry(Philo * const me, QEvt const * const e) {
|
|
QState status_;
|
|
switch (e->sig) {
|
|
/* @(/2/0/1/2/0) */
|
|
case EAT_SIG: {
|
|
/* @(/2/0/1/2/0/0) */
|
|
if (Q_EVT_CAST(TableEvt)->philoNum == PHILO_ID(me)) {
|
|
static QActionHandler const act_[] = {
|
|
Q_ACTION_CAST(&Philo_eating_e),
|
|
Q_ACTION_CAST(0)
|
|
};
|
|
status_ = QM_TRAN(&Philo_eating_s, &act_[0]);
|
|
}
|
|
else {
|
|
status_ = QM_UNHANDLED();
|
|
}
|
|
break;
|
|
}
|
|
/* @(/2/0/1/2/1) */
|
|
case DONE_SIG: {
|
|
/* DONE must be for other Philos than this one */
|
|
Q_ASSERT(Q_EVT_CAST(TableEvt)->philoNum != PHILO_ID(me));
|
|
status_ = QM_HANDLED();
|
|
break;
|
|
}
|
|
default: {
|
|
status_ = QM_SUPER();
|
|
break;
|
|
}
|
|
}
|
|
return status_;
|
|
}
|
|
/* @(/2/0/1/3) .............................................................*/
|
|
static QState Philo_eating_e(Philo * const me) {
|
|
QTimeEvt_armX(&me->timeEvt, EAT_TIME, 0U);
|
|
return QM_ENTRY(&Philo_eating_s);
|
|
}
|
|
static QState Philo_eating_x(Philo * const me) {
|
|
TableEvt *pe = Q_NEW(TableEvt, DONE_SIG);
|
|
pe->philoNum = PHILO_ID(me);
|
|
QF_PUBLISH(&pe->super, me);
|
|
return QM_EXIT(&Philo_eating_s);
|
|
}
|
|
static QState Philo_eating(Philo * const me, QEvt const * const e) {
|
|
QState status_;
|
|
switch (e->sig) {
|
|
/* @(/2/0/1/3/0) */
|
|
case TIMEOUT_SIG: {
|
|
static QActionHandler const act_[] = {
|
|
Q_ACTION_CAST(&Philo_eating_x),
|
|
Q_ACTION_CAST(&Philo_thinking_e),
|
|
Q_ACTION_CAST(0)
|
|
};
|
|
status_ = QM_TRAN(&Philo_thinking_s, &act_[0]);
|
|
break;
|
|
}
|
|
/* @(/2/0/1/3/1) */
|
|
case EAT_SIG: /* intentionally fall through */
|
|
case DONE_SIG: {
|
|
/* EAT or DONE must be for other Philos than this one */
|
|
Q_ASSERT(Q_EVT_CAST(TableEvt)->philoNum != PHILO_ID(me));
|
|
status_ = QM_HANDLED();
|
|
break;
|
|
}
|
|
default: {
|
|
status_ = QM_SUPER();
|
|
break;
|
|
}
|
|
}
|
|
return status_;
|
|
}
|
|
|