proj357-RuxOS-Haskell

RuxOS语言层支持——Haskell

项目描述

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

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

Haskell是一款静态的、隐式类型的函数式编程语言。其函数式编程范式对于形式化推理、算法研究以及编程语言理论等领域具有强大的吸引力。同时，其优秀的并发编程模型支持使得Haskell在网络应用、并行和分布式计算等领域也有着独特的优势。

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

预期目标

• 修改、丰富RuxOS现有组件，设计并完成RuxOS对Haskell的支持。
• 在RuxOS上运行Haskell应用，通过标准测试框架。

特征

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

已有参考资源

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

赛题分类

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

参赛要求

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

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

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

难度

中等

License

Mulan PSL v2

所属赛道

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

项目导师

• 姓名：陈康
• 单位：清华大学计算机系
• github ID：nk7651
• email：[email protected]

助理导师

• 姓名：吴政

• email：[email protected]

• 姓名：徐金阳

• email：[email protected]