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(裴喜龙)
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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel