Chapter 8: Exceptional Control Flow

最新推荐文章于 2024-11-16 19:06:08 发布

weixin_30912051

最新推荐文章于 2024-11-16 19:06:08 发布

阅读量120

点赞数

文章标签：操作系统

原文链接：http://www.cnblogs.com/justforfun12/p/5009891.html

版权

概述：

　　我们可以用一种“流”的概念来理解处理器的工作流程，PC（Program Counter)依次为a0,a1,a2,...,an-1，这个序列可以称作control flow。当然我们并不总是按顺序执行，有时会遇到各种各样的异常使得an-1的下一个并不是an，最常见的就是交互设备的I/O。

　　这一章我们就研究下exception control flow在计算机中扮演的重要角色！

Exception:

　　Exception可以分为4种：Interrupt, Trap, Fault, Abort，主要区别如下：

　　操作系统在启动过程中会分配一个exception table，如图。每个exception有其对应数字，这些对应一般是约定俗成的，比如exception 128(0x80)为system call。当exception发生时，系统就会根据这个表寻常相应处理方法，即exception handler。所以咱们遇到异常时的步骤可以归纳为：exception -> handler -> return。

Process:

　　Process就是program加载入内存运行。我们同时运行多个进程其实只是一种错觉，单核处理器一次是只能运行一个进程的，但由于它的速度是在太快，所以我们感觉是多个进程在同时运行。这种情况我们称为concurrent，而parallel是指多核同时运行多个进程。

　　每个process有自己的private address space，这样不同的process之间不至于互相干扰。

　　每个process都有一个context记录其信息，这个context由系统内核维护，不同进程间的切换运行称作context switch。

Process Control：

　　一个process有三种状态：Running, Stopped或Terminated。在linux中用pid(process id)来标示每个process，新建一个process通过fork()函数，从父进程中新建一个子进程，两个进程运行同一个程序，fork()返回两次，将子进程的pid返回给父进程，将0返回给子进程。利用这个特性我们可以如下编程：

#include "csapp.h"    /*本书配套的一个头文件*/

int main() 
{
    pid_t pid;
    int x = 1;
    
    pid = Fork();
    if ( pid == 0 ) {    /*Child*/
        printf("child : x=%d\n", ++x);
        exit(0);
    }

    /*Parent*/
    printf("parent: x=%d\n", --x);
    exit(0);
}