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. Thank you. Yuxin
Hi, On Fri Aug 01, 2014 at 18:15:18 -0400, Yuxin Ren wrote:
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.
Nothing recent I know of but you can take a look at http://os.inf.tu-dresden.de/papers_ps/rtss2002.pdf Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
On 2 Aug 2014, at 8:15 , Yuxin Ren <ryx@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
participants (3)
-
Adam Lackorzynski -
Gernot Heiser -
Yuxin Ren