参考资料

提示

• 盘古 OS 的设计仍在逐步改进与完善中，本文将随时发生变化，感兴趣的朋友们可以时刻保持关注；
• 在下方的版权声明中有本文作者的联系方式，有不同意见和相关建议的朋友可以与其保持联系；
• 也可在本文底部的评论区登录 Github 后，直接发表您的观点；

版权声明

• 文章作者: flytreeleft - flytreeleft@crazydan.org
• 文章链接: https://studio.crazydan.org/docs/pangu-os/background/references
• 版权声明: 本文章采用许可协议《署名 4.0 国际 (CC BY 4.0)》。 转载或商用请注明来自 Crazydan Studio！

• 一种自我进化的、可互操作的分布式应用系统: Reality World 的技术分享文档，其所要实现的愿景与 盘古 OS 十分接近， 并且其涉及更多方面、更专业、更系统的思考，有助于理解未来的基础架构的模式和模样。 这样也证明，在未来的道路上，盘古 OS 并非异类，还会有相同愿景的方案不断出现。
• 可逆计算：下一代软件构造理论: 引入逆元思想，由相同可复用，转变为相似即可复用，极大扩展了组件以及更高层次的复用性， 对于项目定制化开发、项目演化具有极佳的实践意义
• 一种新的操作系统设计: 转载文章在这里。
• Programmer's critique of missing structure of operating systems: 操作系统所遗留的历史缺陷。
• Pick Operating System: A demand-paged, multiuser, virtual memory, time-sharing computer operating system based around a MultiValue database.
• DBOS - A Database-oriented Operating System: 基于数据库的操作系统，按“一切皆表，一切皆存储过程”进行设计，面向云平台。含数据变更日志。
  • DBOS: A DBMS-Oriented Operating System (VLDB 2022)
  • A Progress Report on DBOS: A DBMS-Oriented Operating System (CIDR 2022)
• 数据结构
  • Tagged union: type Tree = Empty | Leaf Int | Node Tree Tree
    • Algebraic data type
  • Record (computer science): type alias User = {name: String, age: Int}
  • Metadata
    • 粒度粗细会影响维护成本，故版本控制、属性引用 id 化 能降低数据结构变更的影响
  • Purely Functional Data Structures
    • Git is a purely functional data structure
• Kry10: 以seL4® Microkernel为内核，基于 Erlang/Elixir 开发的 IoT 操作系统
  • Kry10 - a robust and secure OS for the IoT, based on seL4 and the Elixir stack
• Nerves: Elixir 应用的启动镜像打包工具，可创建极小（<30Mb）的可运行在嵌入式设备上的镜像
  • Scenic with Nerves: 通过 Nerves 打包 Elixir UI 框架 Scenic 应用
• Unison Lang: 以代码 AST 语法树的 Hash 值作为函数等数据的引用标识（内容寻址）的编程语言，可解决依赖版本更新和多版本共存等问题