期刊文献+

一个定制操作系统的工具包——OSKIT

A Toolkit for Designing an Operating System—OSKIT
下载PDF
导出
摘要 一直以来 ,对操作系统的研究和开发总是缺少一个有力的工具。而OSKIT正是为OS的研究和设计人员而开发的一个定制操作系统的工具包。利用OSKIT可以方便的实现OS设计中各种繁琐的工作 ,如系统引导 ,内存管理 ,内核调试等等。另外本文还例举了OSKIT在几个OS设计和在硬件基础上对编程语言的实现的研究项目。 There has always been a lack of powerful tools in the development of operating systems(OS).OSKIT is such a toolkit for the OS’ researchers and designers to build an OS.Using OSKIT we can solve many complicated problems expediently in OS designing,such as kernel bootstrap.memory management and kernel debugging In addition,this article gives several examples of research projects using OSKIT to design an OS and to implement the programming language on bare hardware.
作者 姚远 赵荣彩
出处 《信息工程大学学报》 2000年第2期33-35,共3页 Journal of Information Engineering University
关键词 OSKIT 操作系统 构件 接口 内核 OSKIT operating system component interface kernel
  • 相关文献

参考文献5

  • 1[1]Godmar Back Greg Benson,Jay Lepreau.The Flux OSKit:A Substrate for Kernel and Language Research[A].The 16th ACM Symposium on Operating Systems Principle Proceedings[C].1997.10.
  • 2[2]Bryan Ford,Kevin Van Maren.The Flux OS Toolkit:Reusable Components for OS Implementation[A].The 6th IEEE Workshop on Hot Topics in Operating Systems Proceedings[C].1997.5.
  • 3[3]Mike Hibler,Roland McGrath.Interface and Execution Model in the Fluke Kernel[A].The 3rd Symposium on Operating Systems Design and Implementation Proceedings[C].1999.2.
  • 4[4]Dougles B Orr.Application of Meta Protocols to Improve OS Services[A].The 5th IEEE Workshop on Hot Topics in Operating Systems Proceedings[C].1995.5.
  • 5[5]Patrick Tullmann,John McCorquodale.Formal Methods:A Practical Tool for OS Implementors[A].The 6th IEEE Workshop on Hot Topics in Operating Systems Proceedings[C].1997.5.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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