RuxOS是由矽望社区开发和维护的一款兼容Linux应用程序的轻量化库操作系统,遵循Unikernel设计思想。
RuxOS运行于QEMU之上,并支持X86_64、AArch64、Riscv64三种架构。目前,在应用支持方面,RuxOS已经支持了多个主流应用:Redis、Nginx、WAMR等;在编程语言方面,RuxOS提供了C标准库API,并完成了musl libc在X86_64和AArch64上的支持。此外,还支持了C++语言,目前正在进行Rust以及Python的支持。
Erlang是一种并发性高、容错性强的编程语言,主要用于构建可靠、分布式、并发性强的系统,在通信领域、实时系统、大规模分布式系统等方面有着广泛的应用。
本项目的目的是丰富RuxOS的语言层支持,完成对Erlang的支持。
- 修改、丰富RuxOS现有组件,设计并完成RuxOS对Erlang的支持。
- 在RuxOS上运行Erlang应用,通过基准测试。
- 分析、利用Unikernel的特点设计Erlang的支持思路,形成详细文档。
- 考虑多架构的支持,分别测试在X86_64和AArch64上的运行情况。
- 矽望社区技术文档
- RuxOS-Book
- RuxOS开源代码
- 新型内核(如unikernel、微内核等)
- 编程语言支持(如转换、编码等)
-
以小组为单位参赛,最多三人一个小组,且小组成员是来自同一所高校的本科生或研究生
-
允许学生参加大赛的多个不同题目,最终自己选择一个题目参与评奖
-
请遵循“2024全国大学生操作系统比赛”的章程和技术方案要求
中等
Mulan PSL v2
2024全国大学生操作系统比赛的“OS功能挑战”赛道
- 姓名:陈康
- 单位:清华大学计算机系
- github ID:nk7651
- email:[email protected]
-
姓名:吴政
-
email:[email protected]
-
姓名:徐金阳
-
email:[email protected]