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(裴喜龙) <[email protected]> wrote: > Hi, > > In general, a high-availability system should have the following > software services > > http://electronicdesign.com/boards/high-availability-rtoss-deliver-five-nine > s-reliability : > - Heartbeat support for each server and each application. > - Event management capability for change notification. > - Alarm management for error handling. > - Transactions capability for check-pointing and > rollback/restart. > - Clustering for server management and applications links. > - Reliable storage support for RAIDs and for journaling > file > systems. > > I want to develop a high-availability system on seL4, can anyone > give me some suggestions? QNX has high availability support > http://www.qnx.com/developers/docs/6.3.0SP3/neutrino/sys_arch/ham.html , > can > we learn something from them? > > > Xilong Pei > Tongji University > 2015/6/11 > > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
