2015-08-11 03:28:43 -03:00
|
|
|
#include <AP_HAL/AP_HAL.h>
|
2012-12-12 18:04:27 -04:00
|
|
|
|
2015-05-04 03:15:12 -03:00
|
|
|
#include "AP_HAL_SITL.h"
|
2012-12-12 18:04:27 -04:00
|
|
|
#include "Scheduler.h"
|
2016-01-10 02:17:32 -04:00
|
|
|
#include "UARTDriver.h"
|
2012-12-12 18:04:27 -04:00
|
|
|
#include <sys/time.h>
|
2014-11-15 20:04:55 -04:00
|
|
|
#include <fenv.h>
|
2018-08-24 21:42:50 -03:00
|
|
|
#if defined (__clang__)
|
|
|
|
#include <stdlib.h>
|
|
|
|
#else
|
2018-08-19 23:39:05 -03:00
|
|
|
#include <malloc.h>
|
2018-08-24 21:42:50 -03:00
|
|
|
#endif
|
2018-08-19 23:39:05 -03:00
|
|
|
#include <AP_Common/Semaphore.h>
|
2012-12-12 18:04:27 -04:00
|
|
|
|
2015-05-04 03:15:12 -03:00
|
|
|
using namespace HALSITL;
|
2012-12-12 18:04:27 -04:00
|
|
|
|
|
|
|
extern const AP_HAL::HAL& hal;
|
|
|
|
|
|
|
|
|
2016-10-30 02:24:21 -03:00
|
|
|
AP_HAL::Proc Scheduler::_failsafe = nullptr;
|
2013-04-17 08:33:50 -03:00
|
|
|
|
2016-10-30 02:24:21 -03:00
|
|
|
AP_HAL::MemberProc Scheduler::_timer_proc[SITL_SCHEDULER_MAX_TIMER_PROCS] = {nullptr};
|
2016-01-10 02:23:32 -04:00
|
|
|
uint8_t Scheduler::_num_timer_procs = 0;
|
|
|
|
bool Scheduler::_in_timer_proc = false;
|
2013-04-17 08:33:50 -03:00
|
|
|
|
2016-10-30 02:24:21 -03:00
|
|
|
AP_HAL::MemberProc Scheduler::_io_proc[SITL_SCHEDULER_MAX_TIMER_PROCS] = {nullptr};
|
2016-01-10 02:23:32 -04:00
|
|
|
uint8_t Scheduler::_num_io_procs = 0;
|
|
|
|
bool Scheduler::_in_io_proc = false;
|
2018-05-28 13:20:30 -03:00
|
|
|
bool Scheduler::_should_reboot = false;
|
2013-04-17 08:33:50 -03:00
|
|
|
|
2018-08-19 23:39:05 -03:00
|
|
|
Scheduler::thread_attr *Scheduler::threads;
|
|
|
|
HAL_Semaphore Scheduler::_thread_sem;
|
|
|
|
|
2016-01-10 02:23:32 -04:00
|
|
|
Scheduler::Scheduler(SITL_State *sitlState) :
|
2015-03-21 11:27:25 -03:00
|
|
|
_sitlState(sitlState),
|
2015-11-11 09:43:18 -04:00
|
|
|
_stopped_clock_usec(0)
|
2015-03-21 11:27:25 -03:00
|
|
|
{
|
|
|
|
}
|
2012-12-12 18:04:27 -04:00
|
|
|
|
2016-01-10 02:23:32 -04:00
|
|
|
void Scheduler::init()
|
2012-12-12 18:04:27 -04:00
|
|
|
{
|
2018-07-06 23:42:00 -03:00
|
|
|
_main_ctx = pthread_self();
|
|
|
|
}
|
|
|
|
|
|
|
|
bool Scheduler::in_main_thread() const
|
|
|
|
{
|
|
|
|
if (!_in_timer_proc && !_in_io_proc && pthread_self() == _main_ctx) {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
return false;
|
2012-12-12 18:04:27 -04:00
|
|
|
}
|
|
|
|
|
2016-01-10 02:23:32 -04:00
|
|
|
void Scheduler::delay_microseconds(uint16_t usec)
|
2012-12-12 18:04:27 -04:00
|
|
|
{
|
2015-11-11 09:43:18 -04:00
|
|
|
uint64_t start = AP_HAL::micros64();
|
2016-12-02 06:16:57 -04:00
|
|
|
do {
|
|
|
|
uint64_t dtime = AP_HAL::micros64() - start;
|
|
|
|
if (dtime >= usec) {
|
|
|
|
break;
|
|
|
|
}
|
2017-01-09 08:33:52 -04:00
|
|
|
_sitlState->wait_clock(start + usec);
|
2016-12-02 06:16:57 -04:00
|
|
|
} while (true);
|
2012-12-12 18:04:27 -04:00
|
|
|
}
|
|
|
|
|
2016-01-10 02:23:32 -04:00
|
|
|
void Scheduler::delay(uint16_t ms)
|
2012-12-12 18:04:27 -04:00
|
|
|
{
|
2018-07-12 02:03:27 -03:00
|
|
|
uint32_t start = AP_HAL::millis();
|
|
|
|
uint32_t now = start;
|
|
|
|
do {
|
2015-03-21 11:27:25 -03:00
|
|
|
delay_microseconds(1000);
|
2018-07-12 02:03:27 -03:00
|
|
|
if (_min_delay_cb_ms <= (ms - (now - start))) {
|
2018-07-06 23:42:00 -03:00
|
|
|
if (in_main_thread()) {
|
|
|
|
call_delay_cb();
|
|
|
|
}
|
2012-12-12 18:04:27 -04:00
|
|
|
}
|
2018-07-12 02:03:27 -03:00
|
|
|
now = AP_HAL::millis();
|
|
|
|
} while (now - start < ms);
|
2012-12-12 18:04:27 -04:00
|
|
|
}
|
|
|
|
|
2016-01-10 02:23:32 -04:00
|
|
|
void Scheduler::register_timer_process(AP_HAL::MemberProc proc)
|
2012-12-12 18:04:27 -04:00
|
|
|
{
|
|
|
|
for (uint8_t i = 0; i < _num_timer_procs; i++) {
|
|
|
|
if (_timer_proc[i] == proc) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (_num_timer_procs < SITL_SCHEDULER_MAX_TIMER_PROCS) {
|
|
|
|
_timer_proc[_num_timer_procs] = proc;
|
|
|
|
_num_timer_procs++;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-01-10 02:23:32 -04:00
|
|
|
void Scheduler::register_io_process(AP_HAL::MemberProc proc)
|
2013-04-17 08:33:50 -03:00
|
|
|
{
|
|
|
|
for (uint8_t i = 0; i < _num_io_procs; i++) {
|
|
|
|
if (_io_proc[i] == proc) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (_num_io_procs < SITL_SCHEDULER_MAX_TIMER_PROCS) {
|
|
|
|
_io_proc[_num_io_procs] = proc;
|
|
|
|
_num_io_procs++;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-01-10 02:23:32 -04:00
|
|
|
void Scheduler::register_timer_failsafe(AP_HAL::Proc failsafe, uint32_t period_us)
|
2012-12-12 18:04:27 -04:00
|
|
|
{
|
|
|
|
_failsafe = failsafe;
|
|
|
|
}
|
|
|
|
|
2016-01-10 02:23:32 -04:00
|
|
|
void Scheduler::system_initialized() {
|
2013-01-10 17:50:32 -04:00
|
|
|
if (_initialized) {
|
2015-11-11 09:43:18 -04:00
|
|
|
AP_HAL::panic(
|
2015-10-24 18:45:41 -03:00
|
|
|
"PANIC: scheduler system initialized called more than once");
|
2013-01-10 17:50:32 -04:00
|
|
|
}
|
2015-04-27 00:08:50 -03:00
|
|
|
int exceptions = FE_OVERFLOW | FE_DIVBYZERO;
|
|
|
|
#ifndef __i386__
|
|
|
|
// i386 with gcc doesn't work with FE_INVALID
|
|
|
|
exceptions |= FE_INVALID;
|
|
|
|
#endif
|
2016-10-30 02:24:21 -03:00
|
|
|
if (_sitlState->_sitl == nullptr || _sitlState->_sitl->float_exception) {
|
2015-04-27 00:08:50 -03:00
|
|
|
feenableexcept(exceptions);
|
2014-11-15 20:04:55 -04:00
|
|
|
} else {
|
2015-04-27 00:08:50 -03:00
|
|
|
feclearexcept(exceptions);
|
2014-11-15 20:04:55 -04:00
|
|
|
}
|
2013-01-10 17:50:32 -04:00
|
|
|
_initialized = true;
|
|
|
|
}
|
|
|
|
|
2016-01-10 02:23:32 -04:00
|
|
|
void Scheduler::sitl_end_atomic() {
|
2017-01-09 08:33:52 -04:00
|
|
|
if (_nested_atomic_ctr == 0) {
|
2017-01-21 00:54:43 -04:00
|
|
|
hal.uartA->printf("NESTED ATOMIC ERROR\n");
|
2017-01-09 08:33:52 -04:00
|
|
|
} else {
|
2013-01-03 21:32:52 -04:00
|
|
|
_nested_atomic_ctr--;
|
2017-01-09 08:33:52 -04:00
|
|
|
}
|
2015-05-04 21:59:07 -03:00
|
|
|
}
|
2013-01-03 21:32:52 -04:00
|
|
|
|
2016-01-10 02:23:32 -04:00
|
|
|
void Scheduler::reboot(bool hold_in_bootloader)
|
2012-12-12 18:04:27 -04:00
|
|
|
{
|
2018-05-28 13:20:30 -03:00
|
|
|
_should_reboot = true;
|
2012-12-12 18:04:27 -04:00
|
|
|
}
|
|
|
|
|
2018-05-13 19:47:47 -03:00
|
|
|
void Scheduler::_run_timer_procs()
|
2012-12-13 18:57:01 -04:00
|
|
|
{
|
|
|
|
if (_in_timer_proc) {
|
|
|
|
// the timer calls took longer than the period of the
|
|
|
|
// timer. This is bad, and may indicate a serious
|
|
|
|
// driver failure. We can't just call the drivers
|
|
|
|
// again, as we could run out of stack. So we only
|
|
|
|
// call the _failsafe call. It's job is to detect if
|
|
|
|
// the drivers or the main loop are indeed dead and to
|
|
|
|
// activate whatever failsafe it thinks may help if
|
|
|
|
// need be. We assume the failsafe code can't
|
|
|
|
// block. If it does then we will recurse and die when
|
|
|
|
// we run out of stack
|
2016-10-30 02:24:21 -03:00
|
|
|
if (_failsafe != nullptr) {
|
2013-09-30 07:35:42 -03:00
|
|
|
_failsafe();
|
2012-12-13 18:57:01 -04:00
|
|
|
}
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
_in_timer_proc = true;
|
|
|
|
|
2018-05-13 19:47:47 -03:00
|
|
|
// now call the timer based drivers
|
|
|
|
for (int i = 0; i < _num_timer_procs; i++) {
|
|
|
|
if (_timer_proc[i]) {
|
|
|
|
_timer_proc[i]();
|
2012-12-13 18:57:01 -04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// and the failsafe, if one is setup
|
2016-10-30 02:24:21 -03:00
|
|
|
if (_failsafe != nullptr) {
|
2015-03-24 12:02:47 -03:00
|
|
|
_failsafe();
|
2012-12-13 18:57:01 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
_in_timer_proc = false;
|
|
|
|
}
|
|
|
|
|
2018-05-13 19:47:47 -03:00
|
|
|
void Scheduler::_run_io_procs()
|
2013-04-17 08:33:50 -03:00
|
|
|
{
|
|
|
|
if (_in_io_proc) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
_in_io_proc = true;
|
|
|
|
|
2018-05-13 19:47:47 -03:00
|
|
|
// now call the IO based drivers
|
|
|
|
for (int i = 0; i < _num_io_procs; i++) {
|
|
|
|
if (_io_proc[i]) {
|
|
|
|
_io_proc[i]();
|
2013-04-17 08:33:50 -03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
_in_io_proc = false;
|
2016-01-10 02:17:32 -04:00
|
|
|
|
2018-01-21 15:45:31 -04:00
|
|
|
hal.uartA->_timer_tick();
|
|
|
|
hal.uartB->_timer_tick();
|
|
|
|
hal.uartC->_timer_tick();
|
|
|
|
hal.uartD->_timer_tick();
|
|
|
|
hal.uartE->_timer_tick();
|
|
|
|
hal.uartF->_timer_tick();
|
2018-06-27 08:34:24 -03:00
|
|
|
hal.uartG->_timer_tick();
|
2018-08-19 23:39:05 -03:00
|
|
|
|
|
|
|
check_thread_stacks();
|
2013-04-17 08:33:50 -03:00
|
|
|
}
|
|
|
|
|
2015-03-21 11:27:25 -03:00
|
|
|
/*
|
|
|
|
set simulation timestamp
|
|
|
|
*/
|
2016-01-10 02:23:32 -04:00
|
|
|
void Scheduler::stop_clock(uint64_t time_usec)
|
2015-03-21 11:27:25 -03:00
|
|
|
{
|
2015-11-11 09:43:18 -04:00
|
|
|
_stopped_clock_usec = time_usec;
|
2017-10-20 21:57:05 -03:00
|
|
|
if (time_usec - _last_io_run > 10000) {
|
|
|
|
_last_io_run = time_usec;
|
2018-05-13 19:47:47 -03:00
|
|
|
_run_io_procs();
|
2017-10-20 21:57:05 -03:00
|
|
|
}
|
2015-03-21 11:27:25 -03:00
|
|
|
}
|
|
|
|
|
2018-07-06 20:30:27 -03:00
|
|
|
/*
|
|
|
|
trampoline for thread create
|
|
|
|
*/
|
|
|
|
void *Scheduler::thread_create_trampoline(void *ctx)
|
|
|
|
{
|
2018-08-19 23:39:05 -03:00
|
|
|
struct thread_attr *a = (struct thread_attr *)ctx;
|
|
|
|
a->f[0]();
|
|
|
|
|
|
|
|
WITH_SEMAPHORE(_thread_sem);
|
|
|
|
if (threads == a) {
|
|
|
|
threads = a->next;
|
|
|
|
} else {
|
|
|
|
for (struct thread_attr *p=threads; p->next; p=p->next) {
|
|
|
|
if (p->next == a) {
|
|
|
|
p->next = p->next->next;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
free(a->stack);
|
|
|
|
free(a->f);
|
|
|
|
delete a;
|
2018-07-06 20:30:27 -03:00
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
2018-08-19 23:39:05 -03:00
|
|
|
#ifndef PTHREAD_STACK_MIN
|
|
|
|
#define PTHREAD_STACK_MIN 16384U
|
|
|
|
#endif
|
2018-07-06 20:30:27 -03:00
|
|
|
|
|
|
|
/*
|
|
|
|
create a new thread
|
|
|
|
*/
|
|
|
|
bool Scheduler::thread_create(AP_HAL::MemberProc proc, const char *name, uint32_t stack_size, priority_base base, int8_t priority)
|
|
|
|
{
|
2018-08-19 23:39:05 -03:00
|
|
|
WITH_SEMAPHORE(_thread_sem);
|
|
|
|
|
|
|
|
// even an empty thread takes 2500 bytes on Linux, so always add 2300, giving us 200 bytes
|
|
|
|
// safety margin
|
|
|
|
stack_size += 2300;
|
|
|
|
|
2018-07-06 20:30:27 -03:00
|
|
|
pthread_t thread {};
|
2018-08-19 23:39:05 -03:00
|
|
|
uint32_t alloc_stack = MAX(PTHREAD_STACK_MIN,stack_size);
|
|
|
|
|
|
|
|
struct thread_attr *a = new struct thread_attr;
|
|
|
|
if (!a) {
|
2018-07-06 20:30:27 -03:00
|
|
|
return false;
|
|
|
|
}
|
2018-08-19 23:39:05 -03:00
|
|
|
// take a copy of the MemberProc, it is freed after thread exits
|
|
|
|
a->f = (AP_HAL::MemberProc *)malloc(sizeof(proc));
|
|
|
|
if (!a->f) {
|
|
|
|
goto failed;
|
|
|
|
}
|
2018-08-26 23:09:29 -03:00
|
|
|
if (posix_memalign(&a->stack, 4096, alloc_stack) != 0) {
|
|
|
|
goto failed;
|
|
|
|
}
|
2018-08-19 23:39:05 -03:00
|
|
|
if (!a->stack) {
|
|
|
|
goto failed;
|
|
|
|
}
|
|
|
|
memset(a->stack, stackfill, alloc_stack);
|
|
|
|
a->stack_min = (const uint8_t *)((((uint8_t *)a->stack) + alloc_stack) - stack_size);
|
|
|
|
|
|
|
|
a->stack_size = stack_size;
|
|
|
|
a->f[0] = proc;
|
|
|
|
a->name = name;
|
|
|
|
|
|
|
|
pthread_attr_init(&a->attr);
|
|
|
|
if (pthread_attr_setstack(&a->attr, a->stack, alloc_stack) != 0) {
|
|
|
|
AP_HAL::panic("Failed to set stack of size %u for thread %s", alloc_stack, name);
|
|
|
|
}
|
|
|
|
if (pthread_create(&thread, &a->attr, thread_create_trampoline, a) != 0) {
|
|
|
|
goto failed;
|
|
|
|
}
|
|
|
|
a->next = threads;
|
|
|
|
threads = a;
|
2018-07-06 20:30:27 -03:00
|
|
|
return true;
|
2018-08-19 23:39:05 -03:00
|
|
|
|
|
|
|
failed:
|
|
|
|
if (a->stack) {
|
|
|
|
free(a->stack);
|
|
|
|
}
|
|
|
|
if (a->f) {
|
|
|
|
free(a->f);
|
|
|
|
}
|
|
|
|
delete a;
|
|
|
|
return false;
|
2018-07-06 20:30:27 -03:00
|
|
|
}
|
|
|
|
|
2018-08-19 23:39:05 -03:00
|
|
|
/*
|
|
|
|
check for stack overflow
|
|
|
|
*/
|
|
|
|
void Scheduler::check_thread_stacks(void)
|
|
|
|
{
|
|
|
|
WITH_SEMAPHORE(_thread_sem);
|
|
|
|
for (struct thread_attr *p=threads; p; p=p->next) {
|
|
|
|
const uint8_t ncheck = 8;
|
|
|
|
for (uint8_t i=0; i<ncheck; i++) {
|
|
|
|
if (p->stack_min[i] != stackfill) {
|
|
|
|
AP_HAL::panic("stack overflow in thread %s\n", p->name);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|