cs144 checkpoint0
问题 1: bytestream 使用什么数据结构？ 原始想法： 使用环形队列，因为容量是固定的，使用环形队列的两头，一头读，一头写，而且还是原地算法，真的很不错。最大的缺点是： index 不好确定，尾可能在头的前面，不好计算。刚开始没弄明白 peek() 函数是干嘛的，还觉得是环形队列的问题，很难评，有...
Recent Posts
dora node communication
有界通道 flume
dora musl compile
写这篇文章的目的是要交叉编译 arm 32架构的程序，并且使用的 C 库是 musl libc。下面的 docker 镜像主要是提供 musl 交叉编译的环境， rustup target 还是要自己换的。
MiaOS user app
写一个最小的可执行文件 首先去掉 std #![no_std] fn main() { println!("Hello, world!"); } 出现错误 ```bash error: cannot find macro println in this scope –> src/main.rs:...
通用操作系统和 unikernel 的权限模型
在写到 MiaOS 的时候，我遇到一个关于 unikernel 的问题，特权级模型和地址空间的问题。这篇文章主要记录通用操作系统和 unikernel 在特权级方面的设计区别。