20145313张雪纯《信息安全系统设计基础》第11周学习总结

20145313张雪纯《信息安全系统设计基础》第11周学习总结

教材

• 异常控制流（ECF）
  • 最简单的“平滑序列”类型的控制流是指PC中相邻的指令在存储器中也相邻。而异常控制流则是指程序变量表示的内部程序状态中的变化、系统状态的变化等突发情况使得控制系统做出的反映。
  • 应用程序如何与操作系统实现交互。应用程序使用系统调用（system call）的ECF形式向操作系统请求服务；实现并发的基本机制；提供软件异常机制等等
• 异常
  • 处理器中的变化（事件）触发从应用程序到异常处理程序的突发的控制转移，也就是异常。比如：被零除，缺页，存储器访问违例，断点，算术溢出；系统调用，来着外部I/O设备的信号等等。
  • 在任何情况下，当处理器检测到有事件发生时，它就会通过一张叫做异常表的跳转表进行一个间接过程调用，到一个专门处理这类时间的操作系统子程序（异常处理程序）；当 exception handler处理结束之后，会有三种结果 ：处理程序将控制返回给事件发生的时候正在执行的指令；处理程序将控制返回给如果没有发生异常将会执行的下一条指令；处理程序终止被终端的程序
• 异常&过程调用
  • 过程调用的时候，在跳转到处理程序之前，处理器将返回地址压入栈中。然而根据异常的类型，要么返回当前指令，要么返回下一条指令；
  • 异常虽然类似于过程调用，但在压入栈的数据方面有不同。它会把一些额外的处理器状态压入栈中；并且如果是转移到内核的程序，压入的是内核栈中；
  • 异常处理程序运行在内核模式下，意味着它们对所有的系统资源都有完全的访问权限

• 异常表，其条目k中包含着异常k的处理程序的地址。其中，异常表的起始地址放在异常表基址寄存器中，而异常号是异常表中的索引，相当于偏移地址

• 中断（异常类型1）
  • 原因：由I/O设备的信号引起的结果
  • 类型：异步（不是由任何一条指令造成的）
  • 处理：i/o设备，例如定时器芯片、网络控制器等，通过处理器芯片上的一个引脚发信号，并将异常号（标识引起中断的设备）放在系统总线上；在当前指令完成之后，处理器注意到引脚电压变化，从系统总线中读取异常信号，调用中断处理程序处理中断；处理器返回（无中断的时候）应该执行的下一条指令。

• 陷阱（异常类型2）

  • 原因：有意的异常，是执行指令的结果
  • 类型：同步
  • 处理：用户程序需要或者希望向内核请求服务（比如创建或者终止进程、读文件等）的时候，执行 syscall n（n是想要请求的服务号）指令；把控制权交给处理程序；陷阱处理程序运行；处理程序结束之后，返回到下一条指令。
• 故障（异常类型3）
  • 原因：由潜在的可恢复的错误的情况引起
  • 类型：同步；可能能够被修复然后返回当前指令。
  • 过程：当前指令导致故障；控制转移给处理程序；故障处理程序运行，如果可以修正这个错误，就将控制引起故障的指令从而重新执行它；否则，返回内核中的abort例程，abort终止引起故障的程序。
• 终止（异常类型 4）
  • 原因：由不可恢复的致命错误造成；通常是一些硬件错误
  • 类型：同步
  • 过程：发生致命硬件错误；传递控制给处理程序；处理程序将控制返回给abort例程，该例程终止此应用程序

• 进程

  • 定义：一个执行中的程序的实例。系统中的每个程序都运行在某个进程的上下文中。上下文是由程序正确运行所需要的状态组成的。这个状态包括放在存储器中的程序的代码和数据等
• 进程提供给了应用程序几个关键抽象：
  • 一个独立的逻辑控制流——提供好像程序独占处理器的假象；
  • 一个私有的地址空间——提供好像程序独占存储系统的假象；
• 逻辑控制流
  • 进程计数器（PC）中的每一个值都唯一地对应于包含在程序的可执行目标文件中的指令，或者是包含在运行时动态链接的到程序的共享对象中的指令。这个PC值的序列叫做逻辑控制流。
  • 进程是轮流使用处理器的；每个进程执行它的流的一部分然后被挂起，其他进程执行。 对于一个运行在其中一个进程上下文中的程序而言，它看上去就像是唯一地占用了处理器（只不过如果精确测量的话，会发现对于一个进程来说，它在执行期间好像被停顿了若干个很短的时间）。
• 并发流
  • 计算机系统中有很多逻辑流的不同形式，比如异常处理程序、进程、信号处理程序等；一个逻辑流的执行在时间上与另一个流重叠，称为并发流；多个流并发执行的现象称为并发；一个进程和其他进程轮流运行，称为多任务；又叫做时间分片。
  • 如果两个流并发地运行在不同的处理器核或者计算机上，那么我们称它们为并行流。
• 私有地址空间
  • 在一台有n位地址的机器上，地址空间是一个2^n个可能地址的集合。一个进程为每个程序提供它自己的私有地址空间；一般而言，和这个空间中某个地址相关联的那个存储器字节是不能够被其他进程读或者写的（所以说它是私有的）
  • 存储器内容通用结构：地址空间底部留给用户程序，包括通常的文本、数据等；地址空间顶部保留给内核（包括内核在代表进程执行指令的时候使用的代码、数据和栈）
• 进程控制
  • 获取ID每个进程都有一个唯一的进程ID（PID）；getpid函数获取进程的PID；getppid获取创建调用进程的进程（即它的父进程）的PID。以上两个函数的返回值为pid_t，在linux系统中，它在types.h中被定义为int
  • 创建和终止进程:父进程通过调用fork函数来创建一个新的运行子进程。新创建的子进程拥有和父进程相同的，但是独立的用户级虚拟地址空间拷贝，包括文本、数据和bss段、堆和用户栈等；子进程和父进程拥有独立的地址空间，所以二者对某一相同变量值的修改是互相不受影响的。
  • 终止进程
    • 运行：进程要么在CPU上运行，要么在等待被执行且最终被内核调度；
    • 停止：进程的执行被挂起，且不会被调度。【当进程收到SIGSTOP,SIGTSTP,SIDTTIN,SIGTTOU信号的时候，进程就会停止，并且保持停止直到它收到一个SIGCONT信号，在此时再次运行】
    • 终止：进程永远地停止。三种原因：1）收到一个信号，其默认为终止程序；2）从主程序返回；3）调用exit函数（exit（int stauts）,其中status是退出状态）
  • 回收子进程：当一个进程由于某种原因终止的时候，内核并不是把它从系统中清除，而是保持在已经终止的状态中，直到被它的父进程回收。这时，内核将子进程的退出状态传递给父进程，然后抛弃已经终止的进程。这之后，该进程才可以说是“不存在”了。
    • 等待回收子进程：一个进程可以通过调用waitpid函数来等待它的子进程终止或者停止。父进程创建N个子进程，然后子进程以一个唯一的退出状态退出;waitpid函数被阻塞直到某个子进程终止，然后进入while循环测试是否是正常终止的；是正常的话就输出；当回收了所有的子进程之后，再调用waitpid就返回-1，并且设置errno为ECHILD；如果不是正常终止的，就输出一个错误消息
  • 加载并运行程序
• 非本地跳转：C语言提供了一种用户级异常控制流形式，称为非本地跳转；它将一个函数转移到一个当前正在执行的函数，而省略了调用-返回序列这一步
  • 函数：setjmp,longjmp。setjmp函数在env缓冲区中保存当前调用环境（包括PC，栈指针，通用寄存器），以供后面的longjmp使用，并返回0；longjmp函数从env缓冲区中回复调用环境，然后触发一个从最近一次初始化env开始的setjmp函数调用的返回；main函数先调用setjmp保存以前的调用环境，然后调用函数foo；foo调用bar；如果这两个函数中一个遇到错误，就立即通过longjmp调用从setjmp返回；setjmp非零返回值指明了错误类型
  • 应用：用于允许从一个深层嵌套的函数调用之中立即返回，而不是费力地解开栈。用于使一个信号处理程序分支到一个特殊的代码位置而不是返回到被信号中断了的指令的位置。在程序第一次启动的时候，调用setjmp保存上下文环境；随后主函数进入无限处理循环；用户键入ctrl-c之后，外壳发送SIGINT信号给进程，该进程捕获这个信号然后处理程序执行一个非本地跳转，回到主函数开始的地方

代码调试

• exec
  

代码中实现的是ls的功能

• forkdemo1
  

打印进程pid，调用fork函数生成子进程，休眠一秒后再次打印进程id

• forkdemo2
  

调用两次fork

• forkdemo3
  

fork产生子进程，父进程返回子进程pid

• forkdemo4
  

先打印进程pid，然后fork创建子进程，父进程返回子进程pid

• forkdemogdb
  

父进程打印两句，休眠一秒，再打印一句；子进程打印一句，休眠一秒，再打印两句

• psh1
  

调用函数

• psh2
  

加入了循环

• testbuf1
  

• testbuf2
  

• testbuf3
  

内容格式化输出到标准错误、输出流中

• testpid
  

输出当前进程pid和父进程pid

• waitdemo
  

如果有子进程，则终止子进程，成功返回子进程pid

• waitdemo2
  

把子进程分为3个状态exit，sig和core

• environ
  

打印环境变量

• environvar
  

简单打印环境变量表

• consumer
  

memset(void s,int ch,size_t n);将s中前n个字节用ch替换并返回s
open（const char pathname,int flags);第一个参数是欲打开的文件路径字符串，第二个参数是打开方式

• producer
  

代码托管

链接：http://git.oschina.net/entropy_z/Linux

学习进度条

	代码行数（新增/累积）	博客量（新增/累积）	学习时间（新增/累积）	重要成长
目标	5000行	30篇	400小时
第一周	200/200	1/1	20/20
第二周	300/500	1/2	18/38
第三周	500/1000	1/3	22/60
第四周	150/1150	1/4	30/90
第五周	150/1300	1/5	30/120
第六周	50/1350	1/6	30/150
第七周	50/1400	1/7	20/170
第八周	50/1450	1/8	20/190
第九周	50/1500	1/9	20/210
第十周	300/1800	1/10	20/230
第十一周	300/2100	1/11	20/250

参考资料

• 《深入理解计算机系统V2》学习指导