从threads/Vaddr.h中得知，意思是Valid address.即里面的函数都是判断地址空间的有效性。
pintos一页为4KB。
31 12 11 0
+--------------+----------+
| page number | offset |
+--------------+----------+
因此第一页的末尾地址为100....0后面有12个0，第二页末尾是第一页末尾左移一位。
#define PGSHIFT 0
#define PGBITS 12
#define PGMASK BITMASK(PGSHIFT, PGBITS)
#define BITMASK(SHIFT, CNT) (((1ul > PGBITS;
}
已知一个32位地址，向右移12位，得到的就是page number。
已知一个虚拟地址，
举个例子，
static inline void *pg_round_down (const void *va) {
return (void *) ((uintptr_t) va & ~PGMASK);
}
这个函数的目的是给定一个地址，需要返回一个页的起始地址，即把最后12位都变成0.
vaddr.h
最新推荐文章于 2025-12-04 15:24:59 发布
扫一扫
1038
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
