A fault-tolerant dedicated computer system model

WANG Jing; XIA Lu-Ning; JING Ji-Wu; GU Qing

doi:10.7523/j.issn.2095-6134.2009.6.014

Journal of University of Chinese Academy of Sciences >

2009 , Vol. 26 >Issue 6: 826 - 834

DOI: https://doi.org/10.7523/j.issn.2095-6134.2009.6.014

Research Articles

A fault-tolerant dedicated computer system model

WANG Jing ,
XIA Lu-Ning ,
JING Ji-Wu ,
GU Qing

Expand

1. Department of Electronic Engineering and Information Science, University of Science and Technology of China, Hefei 230027, China;
2. State Key Lab of Information Security, Graduate University, Chinese Academy of Sciences, Beijing 100049, China;
3. Research Center of National 863 Program Information Security Infrastructure, Shanghai 201203, China

Received date: 2009-03-09

Revised date: 2009-04-28

Online published: 2009-11-15

Supported by

国家863计划(2006AA01Z454)和电子信息产业发展基金资助 

Fold

Abstract

Security and survivability are important requirements of dedicated computer system. The legacy embedded operating systems with microkernel suffer from lacking of these desired features. In this paper, we propose ultra-kernel model to make dedicated system tolerant code bugs and improve the security of system. We have implemented a prototype firewall system based on our ultra-kernel design in a developing environment. Measurements show that, latency at 10Mbps of ultra-kernel system is about 20% better than at Linux system on the same hardware platform.

Key words： computer system model; fault-tolerance mechanism; ultra-kernel

Cite this article

WANG Jing , XIA Lu-Ning , JING Ji-Wu , GU Qing . A fault-tolerant dedicated computer system model[J]. Journal of University of Chinese Academy of Sciences, 2009 , 26(6) : 826 -834 . DOI: 10.7523/j.issn.2095-6134.2009.6.014

References

[1] Dan hildebrand: An architectural overview of QNX //Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures.1992.

[2] Peter G Neumann, Richard J. Feiertag: PSOS revisited //Proceedings of the 19th Annual Computer Security Applications Conference. 2003.

[3] Jean Arlat, Jean-Charles Fabre, Manuel Rodriguez.FrZdZric salles: dependability of COTS microkernel-based systems
[J]. IEEE Transactions on Computers, 2002,51(Issue 2).

[4] Hulse D,Dearle A.Trends in operating systems design: towards a customizable persistent micro-kernel . Report Pastel RT1R4. University of Stirling,1998.

[5] Debian security advisory . . http://www.debian.org/security/2002/dsa-131.

[6] Alexander Gostev. Mobile malware evolution: an overview. Part 2
[M].2006.

[7] Coverity prevent, Linux kernel maintainer mulls "bug fix-only cycle" .http://www.linuxdevices.com/news/NS8779577691.html, .

[8] Tim Leschke. Achieving speed and flexibility by separating management from protection: embracing the Exokernel operating system
[J]. Operating Systems Review,2004,38(4): 5-19.

[9] Engler D R,Kaashoek M F, J OToole Jr.Exokernel: an operating system architecture for application-specific resource management //Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles.1995: 251-266.

[10] Swift M,Bershad B, Levy H.Improving the reliability of commodity operating systems
[J]. ACM Trans Computer Systems, 2005,23:77-110.

[11] Paul N Leroux, Kerry Johnson. Using resource partitioning to build secure survivable embedded systems
[M]. QNX software 2006 white paper section 10, Retrieved from http://www.rtcmagazine.com/home/article.php?id=100749&pg=1 .

[12] Galen C Hunt,James R Larus.Singularity: rethinking the software stack . Microsoft Research Redmond, 2005.

[13] Mark Aiken, Manuel Fhndrich, Chris Hawblitzel, et al.Larus: deconstructing process isolation //ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC 2006). ASPLOS, 2006.

Options

Outlines

模态框（Modal）标题

Abstract

Cite this article

References