On 04/18/2018 01:35 PM, Gustav Johansson wrote: > Hi! > > > I'm running Xenomai on Raspberry Pi 3 given by: > http://www.cs.ru.nl/lab/xenomai/ and I > > have some questions. > > > Where can I find information on how often the system timer interrupts for > scheduling > > regarding rt tasks? When using command "dmesg | grep pipe -i" I get : > > > > "[ 0.000000] I-pipe, 19.200 MHz clocksource, wrap in 960767920505705 ms > [ 0.000000] clocksource ipipe_tsc: mask: 0xffffffffffffffff max_cycles: > 0x46d987e47, > > max_idle_ns: 440795202767 ns > [ 0.000894] Interrupt pipeline (release #9) > [ 0.171104] Switched to clocksource ipipe_tsc" > > > Is the frequency 19.200MHz how often the scheduler will execute? >
19.2Mhz indirectly gives you the resolution of the hardware clock device Xenomai refers to for determining the current machine time, expressing timestamps and delays. This is not directly related to the timer device issuing IRQs. Xenomai always programs the core timer in oneshot mode with the date of the next (i.e. closest) event scheduled in the timeline; there is no periodic rescheduling, only scheduling when needed. If the next event is due when hell freezes, the scheduler might then be considered as dead code. -- Philippe. _______________________________________________ Xenomai mailing list Xenomai@xenomai.org https://xenomai.org/mailman/listinfo/xenomai
