gnu M4F Timing Benchmarks

ti.platforms.stellaris:LM4F232H5QD

Benchmark Cycles (1)
Interrupt latency 127 (2)
Hwi_enable 4
Hwi_disable 3
Hwi dispatcher prolog 146
Hwi dispatcher epilog 232
Hwi dispatcher 367
Hardware Interrupt to Blocked Task 688
Hardware Interrupt to Software Interrupt 385
Swi_enable 60
Swi_disable 11
Post Software Interrupt Again 31
Post Software Interrupt without Context Switch 113
Post Software Interrupt with Context Switch 197
Create a New Task without Context Switch 2113
Set a Task Priority without a Context Switch 210
Task_yield 276
Post Semaphore, No Waiting Task 53
Post Semaphore No Task Switch 248
Post Semaphore with Task Switch 391
Pend on Semaphore, No Context Switch 52
Pend on Semaphore with Task Switch 385
Clock_getTicks 9

(1) The benchmark application was built using BIOS.LibType_Custom with the following BIOS.customCCOpts settings:

"-mcpu=cortex-m4 -mthumb -mfloat-abi=hard -mfpu=fpv4-sp-d16 -mabi=aapcs -O3 -g -Wunused -Wunknown-pragmas -ffunction-sections -fdata-sections -Dti_sysbios_Build_useHwiMacros -Dfar= -D__DYNAMIC_REENT__".

Timings were obtained using the Stellaris Launchpad LM4F120 board running at 40MHz.

(2) The M4F target also supports zero latency interrupts. See ti.sysbios.family.arm.m3.Hwi cdocs for details.