response time in Fiasco

Gernot Heiser gernot at cse.unsw.edu.au
Wed Aug 6 01:39:29 CEST 2014


On 2 Aug 2014, at 8:15 , Yuxin Ren <ryx at gwmail.gwu.edu> wrote:

> Hi All,
> 
> Are there any papers or documentation talking about response time in Fiasco?
> I think this is an important aspect in Fiasco as it is designed for real time.

To the best of my knowledge, seL4 (http://sel4.systems/) is the only protected-mode real-time OS with a complete and sound WCET analysis, see 
- http://www.ssrg.nicta.com.au/publications/papers/Blackham_SCRH_11.abstract
- http://www.ssrg.nicta.com.au/publications/papers/Blackham_SH_12.abstract

All other systems that claim suitability for hard RT use an unsound empirical approach (i.e. put a high load on the system, measure response time, add a fudge factor).

Gernot




More information about the l4-hackers mailing list