Three easy pieces 第一部分(4) Mechanism: Limited Direct Execution

以下内容算对书内容的总结,有任何问题和见解,欢迎交流啊。

1.如果直接让程序直接运行在没有OS干涉的硬件上,会有什么问题?

这个是书中给出的直接运行的流程图,会带来如下的问题:

 (1)怎么限制程序的行为,因为一个程序不能肆无忌惮的对硬件进行操作。

 (2)怎么切换进程呢?

2.怎么让程序执行的行为得到控制?

    cpu的状态分为user mode和kernel mode。在user mode下,很多指令是无法执行的,比如对于DISK的操作。

    OS提供system call,让程序可以执行kernel mode才能执行的行为。


3.如何实现进程切换

1.在早期的实现中,用户进程和OS的切换是用户进程调用system call主动发起,或者用户进程出错也会将控制交还给os。但这种显然存在问题,比如加入用户进程死循环了怎么办?

2.所以现有的系统都是让OS来控制cpu的使用权的。实现这一方式的基础是硬件提供的时间中断(timer interrupt)。硬件会在固定时间进行一次中断,这个中断对应的处理代码是OS的代码,所以控制权就转到了OS。当然这就要求在系统启动的时候要将这个中断编号和对应的硬件计时器启动(当然这种操作肯定是只有在kernel mode 才可以运行的)。

xv6的context switch的代码如下

1 # void swtch(struct context **old, struct context *new);
2 #
3 # Save current register context in old
4 # and then load register context from new.
5 .globl swtch
6 swtch:
7 # Save old registers
8 movl 4(%esp), %eax # put old ptr into eax
9 popl 0(%eax) # save the old IP
10 movl %esp, 4(%eax) # and stack
11 movl %ebx, 8(%eax) # and other registers
12 movl %ecx, 12(%eax)
13 movl %edx, 16(%eax)
14 movl %esi, 20(%eax)
15 movl %edi, 24(%eax)
16 movl %ebp, 28(%eax)
17
18 # Load new registers
19 movl 4(%esp), %eax # put new ptr into eax
20 movl 28(%eax), %ebp # restore other registers
21 movl 24(%eax), %edi
22 movl 20(%eax), %esi
23 movl 16(%eax), %edx
24 movl 12(%eax), %ecx
25 movl 8(%eax), %ebx
26 movl 4(%eax), %esp # stack is switched here
27 pushl 0(%eax) # return addr put in place
28 ret # finally return into new ctxt
4.内核的并发问题怎么解决?

    如果内核正在处理一个中断,这个时候又来了一个中断应该怎么办?一种方案是在处理中断的时候屏蔽其他的中断,但这样会产生很多问题,比如一个I/O操作完成,发送中断信号到cpu,你屏蔽了它就相当于丢弃了这个信号,那需要这个I/O操作的进程就只能一直等了。

    另外一个方式就是采用可以应对并发操作的数据结构,这个在第二个部分会详细讲解。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值