期刊文献+

对现代操作系统的思考

Thinking of Modern Operating System and Teaching Practice
下载PDF
导出
摘要 当前,高等院校的操作系统教学过程主要是基于传统的操作系统基本原理而进行的,与现代操作系统的发展不相适应,在教学过程中很难让学生理解当前操作系统发展的挑战和今后的发展方向。本文对现代操作系统的特性进行分析,阐述其在教学过程中的必要性和重要性,并介绍使用微软公司的Singularity项目进行操作系统教学的经验。实践表明,Singularity系统架构清晰简洁,很好地体现了现代操作系统的理念,适用于高等院校的操作系统教学。 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 modem 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 modem 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 modem operating system, that is suitable for operating system teaching in university.
出处 《计算机教育》 2011年第21期74-77,共4页 Computer Education
基金 广东省大学生创新实验项目(1184510037) 广东工业大学高教研究基金项目(2009C01)
关键词 现代操作系统 SINGULARITY 教学实践 modem operating system Singularity teaching practice
  • 相关文献

参考文献8

  • 1Martin hbadi, hccess control in a world of software diversity[C]//Proceedings of the 10th conference on Hot Topics in Operating Systems, 2005, Volume 10. Santa Fe, NM, USENIX Association: 22-25.
  • 2Hunt 6C, J RLarus. Broad newOS research: challenges andopportunities[C]//Proceedings of the 10thconference on Hot Topics in Operating Systems , 2005, Volume 10. Santa Fe, NM, USENIX Association: 15-19.
  • 3Microsoft. Singularity Project[EB/OL]. [2011-09-12]. http://research, microsoft, com/os/singularity.
  • 4Swift MM, B N Bershad. Improving the reliability of commodity operating systems[J]. ACM Trans. Comput. Syst, 2005, 23(1): 77-110.
  • 5Chen H, N Li. Towards analyzing complex operating system access control configurations[C]//Proceeding of the 15thACM symposium on Access control models and technologies, 2010, Pittsburgh, Pennsylvania, USA, heM: 13-22.
  • 6Barnett M, Leino, KRM, et al. The Spec# programming system: An overview[C]. In CASSIS 2004. LNCS, vol. 3362, 49-69.
  • 7Chen H, Li N, Mao Z. Analyzing and Comparing the Protection Quality of Security Enhanced Operating Systems[C]. In NDSS, 2009: 11-16.
  • 8Microsoft. Singularity SDK[EB/OL]. [2011-10-16]. http://singularity, codeplex, com/.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部