Hi All,
We’re in the middle of finalising the camera ready for our latest publication in the area of fault detection (fault tolerance is future work). It should be available in the next week or so.
I don’t want to delve into too much detail prior, but basically the kernel features new (non-verified) mechanisms to enable the redundant execution of seL4-based systems, including replicas of seL4 itself. There are some assumptions/caveats, with the most prominent being non-redundant hardware devices are a single point of failure, which is also obvious. However, except for a small part of drivers and kernel code, the rest of the system is within the sphere of replication.
Stay tuned for more details when the camera ready is finished.
- Kevin
From: Devel [mailto:devel-bounces@sel4.systems] On Behalf Of Yuxin Ren
Sent: Monday, 15 June 2015 6:47 AM
To: XilongPei(裴喜龙)
Cc: devel@sel4.systems
Subject: Re: [seL4] high-availability system should have these software services
I am also curious to know if sel4 kernel support fault-tolerant for system-level service. Though those services are not implemented in the
kernel, they are still critical for the whole system.
Can we achieve such fault-tolerant without kernel support?
Thanks.
Yuxin
On Wed, Jun 10, 2015 at 9:59 PM, XilongPei(裴喜龙)