1666_MIT 6.828 JOS隔离机制的大纲

文章介绍了Unix操作系统中关于隔离的实现,主要通过MMU硬件机制,以及用户和内核模式的作用。中断处理由内核托管,中断堆栈使用内核空间。页表机制用于限制用户程序的存储空间访问。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

         全部学习汇总: GreyZhang/g_unix: some basic learning about unix operating system. (github.com)

         这一次简单看一份文本性的幻灯片大纲。

1. 在OS的设计中有很多要求,对于隔离的要求可能是最严格的。

2. 隔离的实现是通过硬件的机制,主要是MMU。

3. 隔离的主要作用:防止错误的扩散、进程之间的相关监控、过多的CPU占用以及一些异常行为的阻断。

4. 用户或者内核模式的设置,会赋给指令不同的执行权限。

5. 在用户模式下,访问内核权限的区域会失败。

6. 我现在接触的很多嵌入式的MCU其实也有类似的机制,更加直接地从访问模式上分为了用户以及管理员模式。不过,在我的项目执行中类似的功能很少去尝试实施。

1. 关于中断的处理,感觉上全都是由内核来托管的。而用户触发的相应的中断会在内核处理,而接下来的操作只有对应的用户可以承接。这种设计很合理,但是想不通如何实现。

2. 为什么中断的堆栈会使用内核的堆栈空间呢?其实从这一页前半段就能够看得出来,中断的处理其实都是内核托管的,由内核来处理。因此,使用的信息需要是内核空间。处理的过程中还会传递给用户程序,中断用户程序,因此需要做一个现场的保护处理。这个,是下一页文档中的一个问题。其实结合这里的信息,一起坐着一个思考更加合适。

3. 这一页也介绍了芯片对于中断的处理机制,这个我觉得不同芯片都是类似的,我也看过很多芯片的类似功能。这里就直接跳过了。

         最后的总结中,提到了页表的机制其实是进行用户程序存储空间区间访问的限制。这个其实是前面lab2中进行的功能调试,在计划表中的安排在这里出现没有理清楚缘由。可能后续会基于这个机制做更多、更深的一些功能设计?

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值