Re: response time in Fiasco

Gernot Heiser <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]> 
On 2 Aug 2014, at 8:15 , Yuxin Ren <[email protected]> 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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.