郑元昊:(研二)
解决muslcc的问题(x86)
启动arceos的时候只分配和映射一半的内存
写一个mmap函数,使得分配一个新的虚拟地址空间,但是没有物理地址映射
char * p = mmap
p[100]='A';
进入page fault


晏巨广:(老师)
libctest:
libcbench测试有下面的问题:
内存分配器可能有问题,调查一下内存分配器,std 分配器,embedded rust内存分配
call贾越凯,问一下有可能是什么原因。(内存分配器)pthread的实现


写一个guide,说明一下如何写入到目录树里面




袁世平:(研三)




徐金阳:(大四)
确定TSD是不是TLS,并且实现到正确的位置。
一起搞python的编译???
WASM(物联网),Web Assembly(tutorial)


熊思民:
搞清楚mount的概念
(调研linux启动的时候需要有哪些固定文件,initrd,里面要配置什么东西)
调研Linux的启动过程,直到装载磁盘文件系统为止,到启动shell为止
启动完成之后,initrd怎么处理了,已经初始化过的驱动是否要重新初始化?
/dev/下面的设备,/proc文件系统 是不是需要重新初始化?
(配合一起做python的移植)
继续练
getaddrinfo(怎么在我们现在的结构里面支持getaddressinfo)
56 openat (在 getaddrinfo 中使用,修改 getaddrinfo 的实现)
- 需要打开 /etc/hosts 暂时没有支持
- 目前对 getaddrinfo 还是采用 rukos 的函数(注释掉 musl/src/network/getaddrinfo.c,和 freeaddrinfo.c)


刘昊文:
(读的时候需要多次调用,改libc)
绕过mmap,继续
继续实现nginx需要的函数
尝试扩大disk image的size


吴政:
9pfs,9p2000.l,9p2000.u
继续。(和晏巨广商量一下如何提PR)


汪乐平
多队列的smoltcp




-----原始邮件-----
发件人: 晏巨广 <coolyanjg@163.com>
发送时间: 2023-10-18 16:15:38 (星期三)
收件人: "unikernel@syswonder.org" <unikernel@syswonder.org>
主题: [Unikernel] Unikernel组会通知

10月19日组会在FIT-3-502,时间:下午两点开始。

谢谢