You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
69 lines
2.2 KiB
C
69 lines
2.2 KiB
C
/****************************************************************************
|
|
* MInimal Real-time Operating System (MIROS)
|
|
* version 0.25 (matching lesson 25)
|
|
*
|
|
* This software is a teaching aid to illustrate the concepts underlying
|
|
* a Real-Time Operating System (RTOS). The main goal of the software is
|
|
* simplicity and clear presentation of the concepts, but without dealing
|
|
* with various corner cases, portability, or error handling. For these
|
|
* reasons, the software is generally NOT intended or recommended for use
|
|
* in commercial applications.
|
|
*
|
|
* Copyright (C) 2018 Miro Samek. All Rights Reserved.
|
|
*
|
|
* This program is free 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.
|
|
*
|
|
* 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 <https://www.gnu.org/licenses/>.
|
|
*
|
|
* Contact Information:
|
|
* https://www.state-machine.com
|
|
****************************************************************************/
|
|
#ifndef MIROS_H
|
|
#define MIROS_H
|
|
|
|
/* Thread Control Block (TCB) */
|
|
typedef struct {
|
|
void *sp; /* stack pointer */
|
|
uint32_t timeout; /* timeout delay down-counter */
|
|
/* ... other attributes associated with a thread */
|
|
} OSThread;
|
|
|
|
typedef void (*OSThreadHandler)();
|
|
|
|
void OS_init(void *stkSto, uint32_t stkSize);
|
|
|
|
/* callback to handle the idle condition */
|
|
void OS_onIdle(void);
|
|
|
|
/* this function must be called with interrupts DISABLED */
|
|
void OS_sched(void);
|
|
|
|
/* transfer control to the RTOS to run the threads */
|
|
void OS_run(void);
|
|
|
|
/* blocking delay */
|
|
void OS_delay(uint32_t ticks);
|
|
|
|
/* process all timeouts */
|
|
void OS_tick(void);
|
|
|
|
/* callback to configure and start interrupts */
|
|
void OS_onStartup(void);
|
|
|
|
void OSThread_start(
|
|
OSThread *me,
|
|
OSThreadHandler threadHandler,
|
|
void *stkSto, uint32_t stkSize);
|
|
|
|
#endif /* MIROS_H */
|
|
|