| 364 | 0 | 11 |
| 下载次数 | 被引频次 | 阅读次数 |
当前,高等院校的操作系统教学过程主要是基于传统的操作系统基本原理而进行的,与现代操作系统的发展不相适应,在教学过程中很难让学生理解当前操作系统发展的挑战和今后的发展方向。本文对现代操作系统的特性进行分析,阐述其在教学过程中的必要性和重要性,并介绍使用微软公司的Singularity项目进行操作系统教学的经验。实践表明,Singularity系统架构清晰简洁,很好地体现了现代操作系统的理念,适用于高等院校的操作系统教学。
Abstract:With the rapid development of software development and computer network technology,strict requirement for operating system is brought out on dependability,security,scalability,etc.However,the operating system course in university is still around traditional operating theoretical model and principles which is not suitable for development of modern operating system any more.In this teaching framework,students are not even able to understand the challenge and future of current operating system technology.In this paper,we first analyze features of modern operating system,and then present the necessity and importance of plugging such features in the teaching procedure.We adopt Singularity,an operating system research project from Microsoft in both teaching and experiments.An empirical study shows that Singularity is of simple but clear system architecture,and well achieves core concepts of modern operating system,that is suitable for operating system teaching in university.
[1]Martin Abadi.Access control in a world of software diversity[C]//Proceedings of the 10th conference on HotTopics in Operating Systems,2005,Volume 10.Santa Fe,NM,USENIX Association:22-25.
[2]Hunt G C,J R Larus.Broad new OS research:challenges and opportunities[C]//Proceedings of the 10th conferenceon Hot Topics in Operating Systems,2005,Volume 10.Santa Fe,NM,USENIX Association:15-19.
[3]Microsoft.Singularity Project[EB/OL].[2011-09-12].http://research.microsoft.com/os/singularity.
[4]Swift M M,B N Bershad.Improving the reliability of commodity operating systems[J].ACM Trans.Comput.Syst,2005,23(1):77-110.
[5]Chen H,N Li.Towards analyzing complex operating system access control configurations[C]//Proceeding of the15th ACM symposium on Access control models and technologies,2010,Pittsburgh,Pennsylvania,USA,ACM:13-22.
[6]Barnett M,Leino,KRM,et al.The Spec#programming system:An overview[C].In CASSIS 2004.LNCS,vol.3362,49–69.
[7]Chen H,Li N,Mao Z.Analyzing and Comparing the Protection Quality of Security Enhanced Operating Systems[C].In NDSS,2009:11-16.
[8]Microsoft.Singularity SDK[EB/OL].[2011-10-16].http://singularity.codeplex.com/.
基本信息:
DOI:10.16512/j.cnki.jsjjy.2011.21.019
中图分类号:TP316-4
引用信息:
[1]张钢,何小敏,钟灵,等.对现代操作系统的思考[J].计算机教育,2011,No.153(21):74-77.DOI:10.16512/j.cnki.jsjjy.2011.21.019.
基金信息:
广东省大学生创新实验项目(1184510037); 广东工业大学高教研究基金项目(2009C01)
2011-11-10
2011-11-10
