各位老师和同学好:
Unikernel组例会时间定为本周四(7月4日)下午两点开始。
会议地点:北京大学理科一号楼1621会议室 线上参会方式:#腾讯会议:970-644-6531
请大家关注
刘昊文:
分析 smoltcp 的处理流程
写一份 smoltcp 的分析与原理文档
吴政:
明天做一个 release
多页面多进程 (vma 和 fs)
联系袁师兄,补一个 python 测试情况的 issue
陈正宁:
解决信号处理循环依赖的部分并提交PR
朱若海:
rabbit 模块是怎么编译
rabbit 的二进制脚本的源代码
徐金阳
分析一下 decoder 的计算过程
解决 llama.cpp 中的问题(只输出 "G")
熊思民
完成 rust_std 的基本支持
提交 PR
郑元昊
java
TODO LIST: 有些可能做了,有些没做,做之前检查一下
dts 设备树解析 下一步需要做的功能模块 动态库,只支持muslibc的动态库 虚拟地址支持(吴政) 支持类似Occlum的多进程机制,spawn(吴政)/多页表实现 fork 可以使用virtio-fs来提高文件系统访问的性能 通过muslibc 支持 ruststd 记住要改hugepage 内存泄露 Is a directory红色信息 riscv和x86的porting(完成) eBPF 对于affinity的支持,可能需要绑核 基于优先级的调度 可执行的程序占一个image,os占一个image,然后两个合在一起执行,os的image基本不动,大部分情况下生成程序的一个image就行了。(陈正宁)(完成) Linux每隔0.1秒flush一下全局文件系统。(完成) x86的musl,x86musl跑现有的应用 rustfatfs库的调用有问题 inode管理需要实现一下 健壮性测试,测试时间拉长,多测很多时间 操作系统一般一秒钟刷10次磁盘,文件系统需要改进,close的时候确保刷到磁盘(完成) 设备树的支持:virtio, memory, cpu, rtc 龙芯芯片的支持 添加 mount table 实现 llama3 的 CPP 实现 llama3 的 WAMR 实现 实现 exfat(不能再改了) fork 的两种实现方式: a) 单地址分段隔离;b)多个 ruxos 同时运行。 系统调用: brk, sched_getaffinity, membarrir, prctl, memfd_create 符号链接,文件 metadata 支持 内核在什么条件下会给用户态程序发 signal,以及什么信号 UNIX socket 支持 更新 virtio-drivers 安卓在 ruxos 上适配 fuse 文件系统 syzkaller 测试模块 shell 实时调试,监控(方案一:远程调试,中断监控;方案二:多进程实现 ssh)
在 2024-07-03 16:26:37,"吴政" wuzheng_study@163.com 写道:
各位老师和同学好:
Unikernel组例会时间定为本周四(7月4日)下午两点开始。
会议地点:北京大学理科一号楼1621会议室 线上参会方式:#腾讯会议:970-644-6531
请大家关注