一、陷阱中断
还是想记录下这方面的知识吧,所以想来也写写。
现代的操作系统其实都是由中断驱动的,中断其实本质上就是一种电信号,当有某些事件发生之后就会去产生中断,然后中断控制器进行接收,它可以接收多个外部中断源的中断请求,并进行优先级判断,选中当前优先级最高的中断请求,并将此请求送到CPU的INTR端。当CPU响应中断并进入中断服务程序的处理过程后,中断控制器仍负责对外部中断请求的管理。
在我们的计算机中,如果没有进程要执行的话,没有I/O设备要进行服务,以及没有用户请求要去请求切换到内核模式执行系统调用的话等等事情,那么操作系统就会去等待某个事件的发生。
而这个事件又往往是由中断或者陷阱引起的。而中断又可以分为硬中断和软中断,硬中断是由与系统相连的外设(比如网卡、硬盘)自动产生的。主要是用来通知操作系统系统外设状态的变化。比如当网卡收到数据包就会发生中断,所以我们在收到网络数据的时候大多数框架都会提供一个回调机制,其实也就是基于此进行操作的。
陷阱通常是一种软件中断也就是说用户应用程序可以调用相应的函数所产生,就比如说在Mach操作系统中可以这么做通过调用mach_msg_trap() 时会触发陷阱机制,切换到内核态。
还和RunLoop有关,里面调用的是CFRunLoopServiceMachPort方法,关于这个方法,RunLoop休眠时,调用的就是下面这个函数,这个函数等待接收mach_port消息,而mach_msg()的本质是一个调用mach_msg_trap(),这相当于一个系统调用,会触发内核状态切换。
当程序静止时,RunLoop停留在static Boolean __CFRunLoopServiceMachPort(mach_port_name_t port, mach_msg_header_t **buffer, size_t buffer_size, mach_port_t *livePort, mach_msg_timeout_t timeout, voucher_mach_msg_state_t *voucherState, voucher_t *voucherCopy)
而这个函数内部就是调用了mach_msg让程序处于休眠状态。。
这种软件中断可能是源于程序出错,也可能是源于用户程序的一个特别的请求比如说请求去调用操作系统服务。对于每一种不同类型的中断操作系统中不同的代码段决定了将要采取的动作,操作系统中的中断服务程序就是用来去处理中断的。
二、双重模式
由于操作系统和用户共享了计算机系统的硬件和软件,必须要去保证用户程序中的一个出错仅仅去影响的是正在运行的程序,因为如果采用了共享计算机资源的话,如果不区分操作系统代码和用户定义代码的执行的话,很有可能会发生许多进程可能会受到一个程序中的一个bug的影响,就比如说一个进程陷入了死循环中,那么有可能这个死循环就会去阻止很多其他进程的正确操作。而且也很有可能出现的问题就是这个一个错误的程序可能去修改另一个程序的数据,甚至是操作系统本身。
所以现在的操作系统大多都是采用两种独立的操作模式,一种就是用户模式,另外一种就是内核模式,在计算机硬件中会增加一个称为模式位的位去表示当前模式比如说0表示内核模式,1表示用户模式,有了这个模式位,就可以区分出操作系统所执行的任何和用户所执行的任务。
当计算机系统表示用户应用程序正在执行,系统处于用户模式。在当用户应用程序需要操作系统的服务的时候,它就必须从用户模式转换过来去执行请求。下面就是用户模式到内核模式的转换
也就是说如果出现了陷阱或者终端,硬件就会将用户模式切换到内核模式,其实也就是把模式位设置为0,因此,只要操作系统获得了对计算机的控制,它就处于内核模式。系统把控制交还给用户程序的时候就会切换回用户模型,也就是把模式位设置为1。
双重模式的实现方法其实就是将能引起损害的机器指令作为特权指令,如果再用户模式下试图执行特权指令,那么硬件是不会执行该指令,并且认为这个指令是非法的,会以陷阱的形式去通知操作系统。
其实上述操作可以总结为,最初的时候控制权在操作系统中,之后如果当控制权转到一个用户应用程序之后,模式变为用户模式,最后会通过中断、陷阱或者系统调用将控制权返回给操作系统。
系统调用为用户程序请求操作系统代表用户程序完成预留给操作系统的任务提供了方法。
三、定时器
为了确保操作系统能够对CPU的控制,也为了防止用户程序陷入到死循环中或者不去调用系统服务,并且不将控制权返回到操作系统,可以使用定时器,并且将定时器设置为在给定的时间后去中断计算机。时间段可以是固定的也可以是可变的。
操作系统在将控制权给用户之前,应该去确保设置好了定时器以方便的去产生中断。如果定时器产生中断,那么控制权就会自动交给控制系统,操作系统会针对不同的中断,做出不同的事情,比如说可以将中断作为致命的错误来处理,当然也可以给予用户程序更多的时间。