一种新的操作系统设计
www.yinwang.org/blog-cn/2013/04/14/os-design
1 Users
0 Comments
8 Highlights
0 Notes
Tags
Top Highlights
程序语言的设计原理
使用带有类型和结构的数据
这避免了程序间通信繁琐的编码和解码过程
所有函数由同一种先进的高级程序语言写成
系统的执行的代码不是完全的机器代码，而必须通过进一步的验证和转换之后才会被硬件执行
比如把内存里的数据结构自动换出到硬盘上
Lisp Machine 似乎是其中最接近的一个。
另外还有人试图把 JVM 和 Erlang VM 直接放到硬件上执行。
Ready to highlight and find good content?
Glasp is a social web highlighter that people can highlight and organize quotes and thoughts from the web, and access other like-minded people’s learning.