qpc/ports/posix/qf_port.c

259 lines
10 KiB
C
Raw Normal View History

2015-04-28 13:45:35 -04:00
/**
* @file
* @brief QF/C port to POSIX/P-threads, GNU-C compiler
* @ingroup ports
* @cond
******************************************************************************
2018-06-16 17:23:34 -04:00
* Last updated for version 6.3.2
* Last updated on 2018-06-16
2013-12-30 17:37:40 -05:00
*
* Q u a n t u m L e a P s
* ---------------------------
* innovating embedded systems
*
2018-04-05 17:05:55 -04:00
* Copyright (C) 2005-2018 Quantum Leaps, LLC. All rights reserved.
2013-12-30 17:37:40 -05:00
*
* 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, either version 3 of the License, or
* (at your option) any later version.
*
* Alternatively, this program may be distributed and modified under the
* terms of Quantum Leaps commercial licenses, which expressly supersede
* the GNU General Public License and are specifically designed for
* licensees interested in retaining the proprietary status of their code.
*
* 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.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*
* Contact information:
2018-04-05 17:05:55 -04:00
* https://www.state-machine.com
2016-02-10 16:50:22 -05:00
* mailto:info@state-machine.com
2015-04-28 13:45:35 -04:00
******************************************************************************
* @endcond
*/
2014-04-06 11:43:13 -04:00
#define QP_IMPL /* this is QP implementation */
#include "qf_port.h" /* QF port */
2013-12-30 17:37:40 -05:00
#include "qf_pkg.h"
#include "qassert.h"
2014-04-06 11:43:13 -04:00
#ifdef Q_SPY /* QS software tracing enabled? */
#include "qs_port.h" /* include QS port */
#else
#include "qs_dummy.h" /* disable the QS software tracing */
#endif /* Q_SPY */
#include <limits.h> /* for PTHREAD_STACK_MIN */
#include <sys/mman.h> /* for mlockall() */
2013-12-30 17:37:40 -05:00
Q_DEFINE_THIS_MODULE("qf_port")
2018-04-05 17:05:55 -04:00
/* Global objects ==========================================================*/
2016-06-10 21:50:26 -04:00
pthread_mutex_t QF_pThreadMutex_;
2013-12-30 17:37:40 -05:00
2018-04-05 17:05:55 -04:00
/* Local objects ===========================================================*/
2017-08-29 15:59:44 -04:00
static pthread_mutex_t l_startupMutex;
2015-05-14 15:45:53 -04:00
static bool l_isRunning;
2016-04-29 08:52:05 -04:00
static struct timespec l_tick;
2018-06-16 17:23:34 -04:00
static int_t l_tickPrio;
2016-04-29 08:52:05 -04:00
enum { NANOSLEEP_NSEC_PER_SEC = 1000000000 }; /* see NOTE05 */
2013-12-30 17:37:40 -05:00
2018-04-05 17:05:55 -04:00
/* QF functions ============================================================*/
2013-12-30 17:37:40 -05:00
void QF_init(void) {
2016-02-10 16:50:22 -05:00
extern uint_fast8_t QF_maxPool_;
extern QTimeEvt QF_timeEvtHead_[QF_MAX_TICK_RATE];
2014-04-06 11:43:13 -04:00
/* lock memory so we're never swapped out to disk */
/*mlockall(MCL_CURRENT | MCL_FUTURE); uncomment when supported */
2016-02-10 16:50:22 -05:00
2016-06-10 21:50:26 -04:00
/* init the global mutex with the default non-recursive initializer */
pthread_mutex_init(&QF_pThreadMutex_, NULL);
2017-08-29 15:59:44 -04:00
/* init the startup mutex with the default non-recursive initializer */
pthread_mutex_init(&l_startupMutex, NULL);
/* lock the startup mutex to block any active objects started before
* calling QF_run()
*/
pthread_mutex_lock(&l_startupMutex);
2016-02-10 16:50:22 -05:00
/* clear the internal QF variables, so that the framework can (re)start
* correctly even if the startup code is not called to clear the
* uninitialized data (as is required by the C Standard).
*/
QF_maxPool_ = (uint_fast8_t)0;
QF_bzero(&QF_timeEvtHead_[0], (uint_fast16_t)sizeof(QF_timeEvtHead_));
QF_bzero(&QF_active_[0], (uint_fast16_t)sizeof(QF_active_));
2016-04-29 08:52:05 -04:00
l_tick.tv_sec = 0;
l_tick.tv_nsec = NANOSLEEP_NSEC_PER_SEC/100L; /* default clock tick */
2018-06-16 17:23:34 -04:00
l_tickPrio = sched_get_priority_min(SCHED_FIFO); /* default tick prio */
2013-12-30 17:37:40 -05:00
}
2018-04-05 17:05:55 -04:00
/****************************************************************************/
2013-12-30 17:37:40 -05:00
int_t QF_run(void) {
struct sched_param sparam;
2014-04-06 11:43:13 -04:00
QF_onStartup(); /* invoke startup callback */
2013-12-30 17:37:40 -05:00
2018-06-16 17:23:34 -04:00
/* try to set the priority of the ticker thread, see NOTE01 */
sparam.sched_priority = l_tickPrio;
2013-12-30 17:37:40 -05:00
if (pthread_setschedparam(pthread_self(), SCHED_FIFO, &sparam) == 0) {
2014-04-06 11:43:13 -04:00
/* success, this application has sufficient privileges */
2013-12-30 17:37:40 -05:00
}
else {
2014-04-06 11:43:13 -04:00
/* setting priority failed, probably due to insufficient privieges */
2013-12-30 17:37:40 -05:00
}
2017-08-29 15:59:44 -04:00
/* unlock the startup mutex to unblock any active objects started before
* calling QF_run()
*/
pthread_mutex_unlock(&l_startupMutex);
2015-05-14 15:45:53 -04:00
l_isRunning = true;
2016-04-29 08:52:05 -04:00
while (l_isRunning) { /* the clock tick loop... */
2014-04-06 11:43:13 -04:00
QF_onClockTick(); /* clock tick callback (must call QF_TICK_X()) */
2013-12-30 17:37:40 -05:00
2016-04-29 08:52:05 -04:00
nanosleep(&l_tick, NULL); /* sleep for the number of ticks, NOTE05 */
2013-12-30 17:37:40 -05:00
}
2014-04-06 11:43:13 -04:00
QF_onCleanup(); /* invoke cleanup callback */
2017-08-29 15:59:44 -04:00
pthread_mutex_destroy(&l_startupMutex);
2013-12-30 17:37:40 -05:00
pthread_mutex_destroy(&QF_pThreadMutex_);
2014-04-06 11:43:13 -04:00
return (int_t)0; /* return success */
2013-12-30 17:37:40 -05:00
}
/*..........................................................................*/
2018-06-16 17:23:34 -04:00
void QF_setTickRate(uint32_t ticksPerSec, int_t tickPrio) {
2018-04-05 17:05:55 -04:00
Q_REQUIRE_ID(300, ticksPerSec != (uint32_t)0);
2016-04-29 08:52:05 -04:00
l_tick.tv_nsec = NANOSLEEP_NSEC_PER_SEC / ticksPerSec;
2018-06-16 17:23:34 -04:00
l_tickPrio = tickPrio;
2013-12-30 17:37:40 -05:00
}
/*..........................................................................*/
void QF_stop(void) {
2015-05-14 15:45:53 -04:00
l_isRunning = false; /* stop the loop in QF_run() */
2013-12-30 17:37:40 -05:00
}
/*..........................................................................*/
2014-04-06 11:43:13 -04:00
static void *thread_routine(void *arg) { /* the expected POSIX signature */
2013-12-30 17:37:40 -05:00
QActive *act = (QActive *)arg;
2017-08-29 15:59:44 -04:00
/* block this thread until the startup mutex is unlocked from QF_run() */
pthread_mutex_lock(&l_startupMutex);
pthread_mutex_unlock(&l_startupMutex);
2014-04-06 11:43:13 -04:00
/* loop until m_thread is cleared in QActive_stop() */
do {
QEvt const *e = QActive_get_(act); /* wait for the event */
2016-12-01 10:30:04 -05:00
QHSM_DISPATCH(&act->super, e); /* dispatch to the HSM */
2013-12-30 17:37:40 -05:00
QF_gc(e); /* check if the event is garbage, and collect it if so */
} while (act->thread != (uint8_t)0);
2017-02-08 20:25:14 -05:00
QF_remove_(act); /* remove this object from the framework */
2013-12-30 17:37:40 -05:00
pthread_cond_destroy(&act->osObject); /* cleanup the condition variable */
2014-04-06 11:43:13 -04:00
return (void *)0; /* return success */
2013-12-30 17:37:40 -05:00
}
/*..........................................................................*/
2014-04-06 11:43:13 -04:00
void QActive_start_(QActive * const me, uint_fast8_t prio,
QEvt const *qSto[], uint_fast16_t qLen,
void *stkSto, uint_fast16_t stkSize,
2013-12-30 17:37:40 -05:00
QEvt const *ie)
{
pthread_t thread;
pthread_attr_t attr;
struct sched_param param;
2015-05-14 15:45:53 -04:00
/* p-threads allocate stack internally */
Q_REQUIRE_ID(600, stkSto == (void *)0);
2013-12-30 17:37:40 -05:00
QEQueue_init(&me->eQueue, qSto, qLen);
pthread_cond_init(&me->osObject, 0);
me->prio = (uint8_t)prio;
2014-04-06 11:43:13 -04:00
QF_add_(me); /* make QF aware of this active object */
2015-04-28 13:45:35 -04:00
2016-12-01 10:30:04 -05:00
QHSM_INIT(&me->super, ie); /* take the top-most initial tran. */
2013-12-30 17:37:40 -05:00
/* SCHED_FIFO corresponds to real-time preemptive priority-based scheduler
* NOTE: This scheduling policy requires the superuser privileges
*/
2018-04-05 17:05:55 -04:00
pthread_attr_init(&attr);
2013-12-30 17:37:40 -05:00
pthread_attr_setschedpolicy(&attr, SCHED_FIFO);
2014-04-06 11:43:13 -04:00
/* see NOTE04 */
2013-12-30 17:37:40 -05:00
param.sched_priority = prio
+ (sched_get_priority_max(SCHED_FIFO)
- QF_MAX_ACTIVE - 3);
pthread_attr_setschedparam(&attr, &param);
pthread_attr_setdetachstate(&attr, PTHREAD_CREATE_DETACHED);
2014-04-06 11:43:13 -04:00
if (stkSize == 0U) {
/* set the allowed minimum */
stkSize = (uint_fast16_t)PTHREAD_STACK_MIN;
2013-12-30 17:37:40 -05:00
}
pthread_attr_setstacksize(&attr, (size_t)stkSize);
if (pthread_create(&thread, &attr, &thread_routine, me) != 0) {
/* Creating the p-thread with the SCHED_FIFO policy failed. Most
* probably this application has no superuser privileges, so we just
* fall back to the default SCHED_OTHER policy and priority 0.
*/
pthread_attr_setschedpolicy(&attr, SCHED_OTHER);
param.sched_priority = 0;
pthread_attr_setschedparam(&attr, &param);
Q_ALLEGE(pthread_create(&thread, &attr, &thread_routine, me)== 0);
}
pthread_attr_destroy(&attr);
me->thread = (uint8_t)1;
}
/*..........................................................................*/
2016-11-02 11:49:08 -04:00
void QActive_stop(QActive * const me) {
2014-04-06 11:43:13 -04:00
me->thread = (uint8_t)0; /* stop the QActive thread loop */
2013-12-30 17:37:40 -05:00
}
/*****************************************************************************
* NOTE01:
* In Linux, the scheduler policy closest to real-time is the SCHED_FIFO
* policy, available only with superuser privileges. QF_run() attempts to set
* this policy as well as to maximize its priority, so that the ticking
* occurrs in the most timely manner (as close to an interrupt as possible).
* However, setting the SCHED_FIFO policy might fail, most probably due to
* insufficient privileges.
*
* NOTE02:
* On some Linux systems nanosleep() might actually not deliver the finest
* time granularity. For example, on some Linux implementations, nanosleep()
* could not block for shorter intervals than 20ms, while the underlying
* clock tick period was only 10ms. Sometimes, the select() system call can
* provide a finer granularity.
*
* NOTE03:
* Any blocking system call, such as nanosleep() or select() system call can
* be interrupted by a signal, such as ^C from the keyboard. In this case this
* QF port breaks out of the event-loop and returns to main() that exits and
* terminates all spawned p-threads.
*
* NOTE04:
* According to the man pages (for pthread_attr_setschedpolicy) the only value
* supported in the Linux p-threads implementation is PTHREAD_SCOPE_SYSTEM,
* meaning that the threads contend for CPU time with all processes running on
* the machine. In particular, thread priorities are interpreted relative to
* the priorities of all other processes on the machine.
*
* This is good, because it seems that if we set the priorities high enough,
* no other process (or thread running within) can gain control over the CPU.
*
* However, QF limits the number of priority levels to QF_MAX_ACTIVE.
* Assuming that a QF application will be real-time, this port reserves the
* three highest Linux priorities for the ISR-like threads (e.g., the ticker,
* I/O), and the rest highest-priorities for the active objects.
*
* NOTE05:
2016-04-29 08:52:05 -04:00
* In some (older) Linux kernels, the POSIX nanosleep() system call might
* deliver only 2*actual-system-tick granularity. To compensate for this,
* you would need to reduce (by 2) the constant NANOSLEEP_NSEC_PER_SEC.
2013-12-30 17:37:40 -05:00
*/