20240606 Unikernel组会 郑元昊: 1. 重新实现一下 getrlimit 吴政: 1. vfork/clone 先实现 aarch64 架构 2. 等多队列调度实现 setaffinity 陈正宁: 1. 信号量 rt_sigaction 合并 朱若海: 1. 跑一个 erlang 的应用,编译一下 袁世平: 1. 网络抓包,解决 loopback 的问题 徐金阳: 1. llama3 的移植问题(llama.cpp,wasm) 刘昊文: 1. 实现 loopback 2. 合并 lwip 杨泽伟: 1. 写文档
TODO LIST: 有些可能做了,有些没做,做之前检查一下 1. dts 设备树解析下一步需要做的功能模块 2. 动态库,只支持muslibc的动态库 3. 虚拟地址支持(吴政) 4. 支持类似Occlum的多进程机制,spawn(吴政)/多页表实现 fork 5. 可以使用virtio-fs来提高文件系统访问的性能 6. 通过muslibc 支持 ruststd 7. 记住要改hugepage 8. 内存泄露 9. Is a directory红色信息 10. riscv和x86的porting(完成) 11. eBPF 12. 对于affinity的支持,可能需要绑核 13. 基于优先级的调度 14. 可执行的程序占一个image,os占一个image,然后两个合在一起执行,os的image基本不动,大部分情况下生成程序的一个image就行了。(陈正宁)(完成) 15. Linux每隔0.1秒flush一下全局文件系统。(完成) 16. x86的musl,x86musl跑现有的应用rustfatfs库的调用有问题inode管理需要实现一下 17. 健壮性测试,测试时间拉长,多测很多时间 18. 操作系统一般一秒钟刷10次磁盘,文件系统需要改进,close的时候确保刷到磁盘(完成) 19. 设备树的支持:virtio, memory, cpu, rtc 20. 龙芯芯片的支持 21. 添加 mount table 实现 22. llama3 的 CPP 实现 23. llama3 的 WAMR 实现 24. 实现 exfat(不能再改了) 25. fork 的两种实现方式: a) 单地址分段隔离;b)多个 ruxos 同时运行。 26. 系统调用: brk, sched_getaffinity, membarrir, prctl, memfd_create 27. 符号链接,文件 metadata 支持 28. 内核在什么条件下会给用户态程序发 signal,以及什么信号 29. UNIX socket 支持 30. 更新 virtio-drivers
-----Original Messages----- From:吴政 wuzheng_study@163.com Send time:Wednesday, 06/05/2024 10:18:25 To: unikernel@syswonder.org Subject: [Unikernel] Unikernel组会通知
各位老师和同学好: Unikernel组例会时间定为本周四(6月6日)下午两点开始。
会议地点:北京大学理科一号楼1621会议室 线上参会方式:#腾讯会议:970-644-6531 请大家关注