下一步需要做的功能模块 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,时间:下午两点开始。
谢谢