vx6
文章平均质量分 83
lhw---9999
一个广义分离散列函数SHF(N; m, n,{w1, w2, …, wt})的矩阵表示满足下列性质:已知W1, W2, …, Wt (|Wi|=wi,1≤i≤t)是两两互不相交的分离子集,则在矩阵A中至少存在一行r,使得{ A(r, x): x∈Wi}∩{ A(r, x): x∈Wj}= (i≠j). 由定义可得。
展开
专栏收录文章
- 默认排序
- 最新发布
- 最早发布
- 最多阅读
- 最少阅读
-
xv6实验课程--xv6的写时复制fork(2023)
对于大的地址空间,这样的复制过程很慢,并且是数据密集的。更糟糕的是,这项工作的大部分往往被浪费了,例如,fork()后的子进程紧接着执行exec()函数,这将导致子进程丢弃复制的内容,也就是说,这些复制的内容根本就没有被用到。修改uvmcopy()。fork函数会调用kernel/vm.c里的uvmcopy进行复制,因此只需要修改uvmcopy函数即可:删去uvmcopy中的kalloc函数,将子进程页表映射到父进程的物理地址,清除父子进程PTE的PTE_W位,增加COW标志位,增加物理内存引用计数。原创 2023-11-06 05:46:20 · 1733 阅读 · 0 评论 -
xv6:一个简单的类Unix的教学操作系统-01
Xv6大体上遵循了v6的结构和风格,但它是用ANSI C[7]在多核RISC-V[15]上实现。在阅读本文时应该与xv6的源代码一起阅读,xv6的灵感来自John Lions的《Commentary on UNIX 6th Edition》[11]。参见https://pdos.csail.mit.edu/6.1810上xv6和xv6的线上资源,包括几个使用xv6进行实验的作业。转载 2022-10-25 10:27:45 · 1163 阅读 · 0 评论
分享