Haskell中操作系统构建的原则方法
通过
托马斯·哈格伦
,
马克·P·琼斯
,
丽贝卡·莱斯利
,
安德鲁·托尔马赫
.
在
ICFP 2005年
.
摘要
我们描述了底层硬件功能的一元接口
这是构建操作系统的合适基础
在哈斯克尔。
该接口包含用于控制的原语
内存管理硬件、用户模式进程执行、,
和低级设备I/O。接口强制执行内存
几乎在所有情况下都是安全的。
其行为部分由形式断言指定
用称为P-logic的编程逻辑编写。
该接口已在裸IA32硬件上使用
格拉斯哥哈斯克尔编译器(GHC)运行时系统。
我们展示了如何构造各种简单的O/S内核
在界面顶部,包括一个简单的分离内核
和演示系统
其中包括内核、窗口系统和所有设备驱动程序
都是用哈斯克尔语写的。
全文:
PDF格式
,
秒
.
链接:
众议院网页
,
引用
(谷歌学者)