Multitasking. Embedded Systems

Size: px

Start display at page:

Download "Multitasking. Embedded Systems"

Dylan Park
6 years ago
Views:

1 Multitasking in Embedded Systems 1 / 39 Multitasking in Embedded Systems v1.0

2 Multitasking in ES What is Singletasking? What is Multitasking? Why Multitasking? Different approaches Realtime Operating Systems FreeRTOS Synchronization Example Project Debugging Multitasking Software 2 / 39 Multitasking in Embedded Systems v1.0

3 What is Singletasking? Do only one thing at a time Most efficient way to solve problems Applicable to every algorithm No management overhead No internal synchronization required Easy to code Busy-wait for I/O No Interrupts 3 / 39 Multitasking in Embedded Systems v1.0

4 Singletasking Example while (1) { if ( Byte = receivebyte() ) { // blocks! Buffer[Index++] = Byte; if ( Index >= MessageSize) { M_t* M = (M_t*) Buffer; switch (M->Type) { case mt_commanda:... case mt_commandb: default: break; } Index = 0; } } } 4 / 39 Multitasking in Embedded Systems v1.0

5 What is Multitasking? Aim for multiple targets Switch context often Management overhead Synchronization required Interrupts required Hard to code/ debug Implicit delays Increased memory usage Implementation difficult for many algorithms 5 / 39 Multitasking in Embedded Systems v1.0

6 Multitasking Example main() { int Queue = xqueuecreate(...); ttc_task_create(receive, Queue, ); ttc_task_create(process, Queue, ); } void Process(int Q) { while (1) { M = (M_t*) ttc_queue_pop_front(q); if (M) { switch (M->Type) { case mt_cmda:... case mt_cmdb:... default: break; } } } } void Receive(int Q) { char Buffer[10][100]; int Index = 0; while (1) { char* Writer = &(Buffer[Index,0]); int Remaining = MessageSize; while (Remaining > 0) { if ( Byte = readbyte() ) { // sleeps! *Writer++ = Byte; Remaining--; } ttc_queue_push_back(q, &(Buffer[Index,0]);); Index++; if (Index > 99) Index = 0; } } 6 / 39 Multitasking in Embedded Systems v1.0

Benefits from multiple CPU-cores Only 1 central Timer required

7 Why Multitasking? Functions spawnable multiple times Eases handling of slow IO Benefits from multiple CPU-cores Only 1 central Timer required Short Interrupt Service Routines Less global variables required 7 / 39 Multitasking in Embedded Systems v1.0

8 No life without Multitasking! Every Embedded System needs MT MT often implemented via Interrupts Complex Service Routines Data Exchange via Global Variables Difficult to debug Typical approach: Super-Loop Periodically starts set of functions Similar to task scheduler 8 / 39 Multitasking in Embedded Systems v1.0

9 Different Approaches Multiprogramming Ancient mechanism for Periheral Access Realized via Terminal Stay Ready (TSR) Cooperative Multitasking Central Scheduler manages Processes Each process grants CPU to other processes Single process can block whole system Preemptive Multitasking Scheduler interrupts each process periodically Requires central Interrupt-Timer Preemptible Multitasking High priority Applications can interrupt others (OS/2, Linux, FreeRTOS) Allows faster response times 9 / 39 Multitasking in Embedded Systems v1.0

10 Realtime Scheduling Definition of Realtime Real-time computing means a hardware + software system that must response within a strict time constraint. Realtime constraint Hard Violation causes hazardous results Firm Infrequent violations tolerable but degrade system's quality of service Soft Usefullness of results degrade after their deadline 10 / 39 Multitasking in Embedded Systems v1.0

11 FreeRTOS Multitasking Scheduler Premptible Multitasking High triority tasks block low priority ones Inter Thread Communication Semaphores Queues Developed specially for Embedded Systems Open Source FreeWare with Commercial Support Ported to several μc Architectures 11 / 39 Multitasking in Embedded Systems v1.0

12 TTC Queues Base of inter task communication Send message Task Task Interrupt Service Routine Task Call by value Reading from empty queue Function call waits until Queue is filled No CPU time is wasted during Wait Operations ttc_queue_byte_push_back(q, Byte); Byte = ttc_queue_byte_pull_front(q); Task A Task B 12 / 39 Multitasking in Embedded Systems v1.0

13 TTC - Semaphores Task A Task B Counting Implemented as unsigned integer Counter Task A can increase Semaphore by up to N token at once Data in Queue is of no interest ttc_semaphore_take(s, N) ttc_semaphore_give(s, N) 13 / 39 Multitasking in Embedded Systems v1.0

14 TTC - Mutex Implemented as Counter 0 1 Best suited for Resource locking Non recursive Can be locked only once Recursive thread can lock multiple times must be unlocked as often as being locked Task B waits until Task A activates once Operations ttc_mutex_lock(m) ttc_mutex_unlock(m) Task A Task B 14 / 39 Multitasking in Embedded Systems v1.0

15 Multithreading with Queues Activate Extensions for Queues example on STM32-P107 > activate.600_example_threading_queues.sh 15 / 39 Multitasking in Embedded Systems v1.0

16 Multithreading with Queues Spawning Tasks Producer threading_start() Consumer Print 16 / 39 Multitasking in Embedded Systems v1.0

17 Multithreading with Queues Communicate via Queues Producer LED1 PJ PJ PJ Print s8_t Column; s8_t Row; char Text[10]; s16_t Value; Consumer LED2 enqueue/ dequeue setport()/ clrport() 17 / 39 Multitasking in Embedded Systems v1.0

18 Multithreading with Semaphores Activate Extensions for Semaphores example on STM32-P107 > activate.600_example_threading_semaphores.sh 18 / 39 Multitasking in Embedded Systems v1.0

19 Multithreading with Semaphores Spawning Tasks Producer1 Producer2 threading_start() Consumer1 Consumer2 Print 19 / 39 Multitasking in Embedded Systems v1.0

20 Multithreading with Semaphores Communicate via Semaphore Producer1 enqueue/ dequeue setport()/ clrport() 0-10/s Data irrelevant 5/s Consumer1 LED1 5/s Consumer2 LED2 0-10/s Semaphore 5/s Consumer3 Producer2 5/s Consumer4 PJ PJ PJ Print 20 / 39 Multitasking in Embedded Systems v1.0

21 Debugging Multitasking Software Different types of Memories Multitasking & Stacks Watchdogs Binary file formats 21 / 39 Multitasking in Embedded Systems v1.0

22 Different types of Memories Storage RAM Heap Stack Datatypes Constants Global Variables Local Variables 22 / 39 Multitasking in Embedded Systems v1.0

23 Constants Stored in Flash along code Automatically initialized (initial value contained in binary) Reference to value points to address > 0x x Peripherals 0x RAM Example: char* HelloWorld = Hello world ; Hello World 0x Flash 23 / 39 Multitasking in Embedded Systems v1.0

24 RAM Area with read- / write access Multiple Memories possible On chip (start at 0x ) Off Chip via memory controller Static RAM Dynamic RAM 0x Peripherals 0x RAM 0x Flash 24 / 39 Multitasking in Embedded Systems v1.0

25 Stack Located at one end of RAM Grows towards other end by each Function call Local variable Shrinks by each local variable end of scope Return from function call 0x Peripherals 0x RAM Stack 0x Flash 25 / 39 Multitasking in Embedded Systems v1.0

26 Global Variables Stored in RAM Initialized by code at program start Assembled into block by linker Reference to value points to address > 0x Example: int V = 42; void main() { V++; } 0x Peripherals Globals 0x RAM Stack 0x Flash 26 / 39 Multitasking in Embedded Systems v1.0

27 Memory Heap Block of memory in RAM Allocated via malloc() Freed via free() Different managers heap1, heap2, heap3 see corresponding extensions 0x Peripherals Globals Heap 0x RAM Stack 0x Flash 27 / 39 Multitasking in Embedded Systems v1.0

28 Multitasking & Stacks Stacks in Singletask Applications Stacks in Multitasking Applications Stacks in FreeRTOS Stackoverflow 28 / 39 Multitasking in Embedded Systems v1.0

29 Stacks in Singletask Applications One single stack Grows from one end of RAM Efficient memory usage (no holes) Always big egnough Only one stack size to calculate Mostly invisible to developer 0x RAM Stack 29 / 39 Multitasking in Embedded Systems v1.0

30 Stacks in Multitasking Applications One stack per thread Grows at different locations Memory holes between stacks sizes are tradeoff Each size hard to calculate Developer has to re-check size New local variables More function calls 0x RAM Stack Stack Stack Stack 30 / 39 Multitasking in Embedded Systems v1.0

31 Stacks in FreeRTOS Stacks handled by FreeRTOS Stack size defined at stack creation Argument to xtaskcreate() Cannot be changed during task execution Tasks normally do not end Stacks allocated on memory heap 31 / 39 Multitasking in Embedded Systems v1.0

32 Stackoverflow Two detection schemes in FreeRTOS Activated in FreeRTOSConfig.h Stack size checked whenever a task is put to sleep activate.300_scheduler_free_rtos_stack_check_1.sh Checks stack pointer to be within allowed boundaries Cannot find overflow occured during task run time Fast check (only two pointer comparisons) activate.300_scheduler_free_rtos_stack_check_2.sh First checks stack pointer via method 1 Each stack filled with known value Last 16 bytes of stack checked for changed values Will find out if stack has grown into last 16 bytes Slower than method 1 but more reliable 32 / 39 Multitasking in Embedded Systems v1.0

33 Stack size calculation Three step approach 1) Double stack sizes until no overflow occurs 2) Run application 3) Use high water marks to minimize sizes Problems How to force tasks to use maximum memory? Global variable: bool TestMode Recalculate after code changes 33 / 39 Multitasking in Embedded Systems v1.0

34 High Water Marks Configured in #define INCLUDE_uxTaskGetStackHighWaterMark 1 Activate via activate.300_scheduler_free_rtos_high_watermarks.sh FreeRTOS - HighWaterMark 34 / 39 Multitasking in Embedded Systems v1.0

35 Hardfault Handler CPU reads/ writes illegal memory address bus fault error generates interrupt calls cm3_hard_fault_handler_c() cm3_hard_fault_handler_c() Gathers information about fault reason Calls Assert_Halt_EC(ec_HardFault) Assert_Halt_EC() Stops execution in endless loop Contains Breakpoint 35 / 39 Multitasking in Embedded Systems v1.0

36 Debugging a Hardfault 36 / 39 Multitasking in Embedded Systems v1.0

37 Memfault Handler 37 / 39 Multitasking in Embedded Systems v1.0

38 Watchdogs 38 / 39 Multitasking in Embedded Systems v1.0

39 Binary file formats objdump 39 / 39 Multitasking in Embedded Systems v1.0

Embedded Systems. 5. Operating Systems. Lothar Thiele. Computer Engineering and Networks Laboratory

Embedded Systems. 5. Operating Systems. Lothar Thiele. Computer Engineering and Networks Laboratory Embedded Systems 5. Operating Systems Lothar Thiele Computer Engineering and Networks Laboratory Embedded Operating Systems 5 2 Embedded Operating System (OS) Why an operating system (OS) at all? Same