下一步需要做的功能模块
1. 动态库,只支持muslibc的动态库
2. 虚拟地址支持
3. Occlum的多进程机制,spawn
4. 可以使用virtio-fs来提高文件系统访问的性能
5. 带中断的驱动(中断处理函数lock,用户程序lock,或者系统调用lock会发生死锁)


晏巨广:
目标:
(1)写论文
(2)调性能
(3)监工,写文档
(4)带个人出来 --> 吴政
(5)动态链接
x86的musl,x86musl跑现有的应用


袁世平:
1. python 无法执行./setup.py
2. alpine linux里面的python调研一下,这里面是支持musl的


徐金阳:
完成的工作:使用musl下面的libc++.a的库就可以静态链接(如何支持C++)
确定一下是不是真的跳过了libc
使用arm的版本运行一下,x86版本可能是没有完善的
有可能是先调用wasm的里面实现的libc
readlinkat???
写个文档,说明一下C++的支持情况,提供一些示例
看看模板类的支持情况,c++的版本标准
C++的动态库是不是可以支持


熊思民:(两种方法都做)
目标:支持ruststd
- posix系统调用支持是否规范
- ruststd 通过muslibc支持(跟修改std不一样)
先在本地用musl-gcc 编译ruststd
参考一下北航那边是怎么做(能不能搞搞清楚)


陈正宁:
运行mysql的过程中出现了系统调用的错误(晏巨广)
readlinkat(返回值是负数)
动态链接
用底下的文件系统
clock_gettime系统调用查一下
系统调用号233的需要看一下
mprotect
madvise
写一个文档,如何build一个应用程序,然后如何执行


刘昊文:
时间用原子变量来表示
check一下write的系统调用的实现。需要的话需要在exit位置把所有文件内容刷一下。
recv系统调用不对?ret1 = recv(fd, buffer, 32, MSG_PEEK | MSG_DONTWAIT);
看一下recv所有的flag


汪乐平:
多队列的接口改一下
锁需要重构
recv以队列为单位来做
按照六周,每周的计划


吴政:
1. 串口的中断处理完成
2. mmap的flag,swap
3. x86, riscv(都先不做)




朱若海:
uboot (emmc) -> RuxOS (SD, mmc)
找一下树莓派pi4下的对应的sd卡的驱动。找到初始化的代码。注意对应内存需要映射上


郑元昊:
搞清楚ecall和sret, eret的机制












-----Original Messages-----
From: 晏巨广 <coolyanjg@163.com>
Send time: Tuesday, 02/27/2024 14:51:46
To: "unikernel@syswonder.org" <unikernel@syswonder.org>
Subject: [Unikernel] Unikernel组会通知

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

谢谢