**徐金阳:** llama3 运行异常 cpp 异常问题:c++异常处理栈展开失败 找周智 **吴政:** mmap x86 的问题:IPI 核间中断 invaild tlb 的问题 mutex 锁很慢的问题:RUN_QUEUE 在调度和 sleep 的时候锁没有释放掉 去 asterinas上去试试。再看下多级页表的问题。 **陈正宁:** 改 PR 中的问题 操作系统比赛中的项目-调研 Erlang **朱若海** char_ptr_to_str()语义更改:新建一个函数 perl 的 PR 有点乱:新建一个仓库 exfat:先把 Linux 源码包一下?还是直接 rust 实现?先试试 fuse **刘昊文:** fatfs:做完合进仓库 写论文 **袁世平:** python 测试:性能和主流 linux 比来说更慢,试试用 blkfs 是否能提升性能 写论文 **郑元昊:** 编译 java: 使用了 gnu, 查找下原因,或者先编译 x86 架构下的 java **晏巨广:** 把 crates 放出去了 解析 dtb 信息:gicc 还需要再实现一下 redis 的 lpush 很慢 writev 很久之前的 bug 没有修复
**TODO LIST:** 有些可能做了,有些没做,做之前检查一下
1. dts 设备树解析 下一步需要做的功能模块 2. 动态库,只支持muslibc的动态库 3. 虚拟地址支持(吴政) 4. 支持类似Occlum的多进程机制,spawn(吴政) 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(不能再改了)
-----Original Messages----- From:吴政 wuzheng_study@163.com Send time:Wednesday, 05/08/2024 12:44:10 To: unikernel@syswonder.org Subject: [Unikernel] Unikernel组会通知
各位老师和同学好: Unikernel组例会时间定为本周四(5月9日)下午两点开始。
会议地点:北京大学理科一号楼1621会议室 线上参会方式:#腾讯会议:970-644-6531 请大家关注