proj358-RuxOS-OCaml

RuxOS语言层支持——OCaml

项目描述

RuxOS是由矽望社区开发和维护的一款兼容Linux应用程序的轻量化库操作系统，遵循Unikernel设计思想。

RuxOS运行于QEMU之上，并支持X86_64、AArch64、Riscv64三种架构。目前，在应用支持方面，RuxOS已经支持了多个主流应用：Redis、Nginx、WAMR等；在编程语言方面，RuxOS提供了C标准库API，并完成了musl libc在X86_64和AArch64上的支持。此外，还支持了C++语言，目前正在进行Rust以及Python的支持。

OCaml是一款静态类型的函数式编程语言，提供了轻量级的并发编程机制和丰富的标准库和工具链，包括用于数据结构、并发编程、网络编程等方面的库，在编写编译器、解释器和语言工具，以及系统编程和网络编程等方面有着广泛的应用。

本项目的目的是丰富RuxOS的语言层支持，完成对OCaml的支持。

预期目标

• 修改、丰富RuxOS现有组件，设计并完成RuxOS对OCaml的支持。
• 在RuxOS上运行OCaml应用，通过基准测试程序OCamlBench。

特征

• 分析、利用Unikernel的特点设计OCaml的支持思路，形成详细文档。
• 考虑多架构的支持，分别测试在X86_64和AArch64上的运行情况。

已有参考资源

• 矽望社区技术文档
• RuxOS-Book
• RuxOS开源代码

赛题分类

• 新型内核（如unikernel、微内核等）
• 编程语言支持（如转换、编码等）

参赛要求

• 以小组为单位参赛，最多三人一个小组，且小组成员是来自同一所高校的本科生或研究生

• 允许学生参加大赛的多个不同题目，最终自己选择一个题目参与评奖

• 请遵循“2024全国大学生操作系统比赛”的章程和技术方案要求

难度

中等

License

Mulan PSL v2

所属赛道

2024全国大学生操作系统比赛的“OS功能挑战”赛道

项目导师

• 姓名：陈康
• 单位：清华大学计算机系
• github ID：nk7651
• email：chenkang@tsinghua.edu.cn

助理导师

• 姓名：吴政

• email：ken4647@outlook.com

• 姓名：徐金阳

• email：459461160@qq.com