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