下一步需要做的功能模块


1. 动态库，只支持muslibc的动态库


2. 虚拟地址支持


3. Occlum的多进程机制，spawn


4. 可以使用virtio-fs来提高文件系统访问的性能


5. 带中断的驱动（中断处理函数lock，用户程序lock，或者系统调用lock会发生死锁）





晏巨广：


目标：


（1）写论文


（2）调性能


（3）监工，写文档


（4）带个人出来 --> 吴政


（5）动态链接


x86的musl，x86musl跑现有的应用





袁世平：


还有几个没有接进来
尝试把编译器实现的函数抓紧来

1. alpine linux里面的python调研一下，这里面是支持musl的


环境变量检查一下


跟着代码看一下

musl在静态编译的时候dlopen是空函数

还得把python允许原理搞清楚



徐金阳：


getrandom 用原来的实现，不用自己的简单的实现

apenat只能打开根目录文件，查找的时候必须从根目录开始查找，加上.和..支持？

cpuinfo文件不在，补充一下这个文件

C++的动态库是不是可以支持



cpp的测试程序测试一下

测试一下内存分配



熊思民：（两种方法都做）


目标：支持ruststd


- posix系统调用支持是否规范


- ruststd 通过muslibc支持（跟修改std不一样）


先在本地用musl-gcc 编译ruststd


参考一下北航那边是怎么做（能不能搞搞清楚）









陈正宁：


动态链接和示例文档，dlopen例子程序

默认执行动态链接的文档，分析动态链接的指向过程

放辅助向量

musl是如何指向应用程序的

往栈上放环境变量

环境变量需要继承，不能写死，辅助向量

MySQL执行流程






刘昊文：


append写不进去，要查一下

弄个lua，弄php的例子



吴政

正在做swap

tlb刷新

x86, riscv（都先不做）




朱若海：


地址先用固定地址

再检查设备树信息是不是对






汪乐平：




写论文






杨泽伟：

写论文

盯着同学们用






郑元昊：


升级软件qemu以及OpenSBI

-----Original Messages-----
From: 晏巨广 <coolyanjg@163.com>
Send time: Wednesday, 03/06/2024 14:03:29
To: "unikernel@syswonder.org" <unikernel@syswonder.org>
Subject: [Unikernel] Unikernel组会通知

3月7日组会在FIT-3-502，时间：下午两点开始。

谢谢