深入理解计算机系统:进程

640?wx_fmt=gif

导语:这是篇读书笔记,每次重读CSAPP都有新的认知,尤其是在进入了后台通道之后才感受到每天和进程打交道的感觉是如此深刻。

0x00 What is Process?

640

[ system structure ]

  • 进程(Process)一个执行中的程序的实例,操作系统对一个正在运行的程序的一种抽象。并发运行,指的是一个进程的指令和另一个进程的指令交错执行。操作系统实现这种交错执行的机制称为上下文切换。

  • 线程(Thread)

  • 内核(Kernel)

  • 外壳(Shell)

  • 抢占(Preemption)

  • 异常控制流(ECF,Exceptional Control Flow)

Exceptions

任何情况下,处理器检测到event发生,通过异常表(exception table)跳转到专门处理这类事件的操作系统子程序(exception handler)。

异步异常由事件产生,同步异常是执行一条指令的直接产物。

中断(异步)陷阱(同步)故障(同步)终止(同步)

  • 中断——异步发生,处理器IO设备信号的结果。

  • 陷阱——有意的异常。最重要的用途是在用户程序和内核之间提供一个像过程一样的接口,叫做系统调用。

  • 故障——潜在可恢复的错误造成的结果。如果能被修复,则重新执行引起故障的指令,否则终止。

  • 终止——不可恢复的致命错误造成的结果。

有高达256种不同的异常类型,如出发错误(0)、一般保护故障(13)、缺页(14)、机器检查(18)、操作系统定义的异常(32-127,129-255)、系统调用(0x80)。

640

[ Examples of popular system calls ]

Processes

  • 逻辑控制流(Logical Control Flow)

  • 并发流(Concurrent Flows)

  • 私有地址空间(Private Address Space)

640

[ Process address space ]

  • 用户模式和内核模式(User and Kernel Modes)

  • 上下文切换(Context Switches)

    通用目的的寄存器、浮点寄存器、程序计数器、用户栈、状态寄存器、内核栈和各种内核数据结构(地址空间的页表、有关当前进程信息的进程表、进程已打开文件的信息的文件表

    内核调度器(scheduler)负责调度进程,抢占当前进程,重新开始先前被抢占的进程。

0x01 101 Inside Process

Process Control

如何控制进程?

PID

pid > 0

#include <sys/types.h> // for pid_t	
#include <unistd.h>	

	
pid_t getpid(void); // 获取进程ID	
pid_t getppid(void); // 获取父进程ID

Creating and Terminating Process

从程序角度来看,进程总处于以下三种状态:

  • Running——要么处于CPU执行中,要么处于等待被执行且最终会被内核调度。

  • Stopped——进程被挂起(suspend),且不会被调度。当收到SIGSTOP、SIGTSTP、SIGTTIN或者SIGTTOU信号时,进程停止,直到收到SIGCONT信号,进程再次开始运行。

  • Terminated——进程永远停止了。三种原因导致终止:

#include <sys/types.h>	
#include <unistd.h>	
/* 创建子进程	
* 返回:	
子进程=0,父进程=子进程PID,出错=-1	
*/	
pid_t fork(void);	

	
#include <stdlib.h>	
void exit(int status);

父进程通过调用fork创建一个新的运行子进程,最大的区别在于不同的PID。

  • fork():一次调用,返回两次。

  • 并发执行:父子进程是并发运行的独立进程。

  • 相同但是独立的地址空间。子进程与父进程用户级虚拟地址空间相同的拷贝,相同的本地变量值、堆、全局变量、以及代码。如代码中print出来不一样的x。

  • 共享文件:任何打开文件描述符相同的拷贝,如stdout。

int main() {	
    pid_t pid;	
    int x = 1;	

	
    pid = fork(); // 在此处分裂出了两条时间线!	
    if (pid == 0) {// 子进程	
        printf("child: x=%d\n", ++x);	
        exit(0);	
    }	
    // 父进程	
    printf("parent: x=%d\n", --x);	
    exit(0);	

	
    return 0;	
}

out:

child       |————x=2————	
father  ——————————x=0————	
          fork          exit

Reap Child Process

进程终止时,保持位已终止状态,直到被父进程回收(reap)。当父进程回收已终止的子进程,内核将子进程的退出状态传递给父进程,然后抛弃已终止的进程,此刻进程不复存在。

僵尸进程(zombie):一个终止了但还未被回收的进程。但是如果父进程没有回收就终止了,则内核安排init进程(PID=1)回收僵尸进程。

#include <sys/types.h>	
#include <sys/wait.h>	

	
/* 进程可以调用waitpid等待子进程终止或者结束。	
* 默认options=0,挂起调用进程,直到它等待集合中的一个子进程终止。如果等待集合中的一个进程在刚调用的时刻就已经终止了,那么waitpid立即返回。返回已终止的子进程PID,并去除该子进程。	

	
*输入参数pid:	
pid>0,等待集合就是一个单独的子进程,进程ID等于pid。	
pid=-1,等待集合是由父进程所有的子进程组成。	

	
*输入参数options:	
WNOHANGE:等待集合中任何子进程都还没有终止,立即返回0;默认行为还是挂起调用进程直到子进程终止。	
WUNTRACED:挂起调用进程执行,直到集合中有一个进程终止或停止。返回该进程PID。	
WNOHANGE|WUNTRACED:立刻返回,0=如果没有终止或停止的子进程;PID=终止或停止的子进程PID。	

	
*输入参数status:	
WIFEXITED:True=子进程是通过return或者exit终止的;	
WEXITSTATUS:返回exit状态,只有WIFEXITED=True时被定义;	
WIFSIGNALED:True=子进程是因为一个未被捕获的信号终止的;	
WTERMSIG:返回导致子进程终止信号量,只有WIFSIGNALED=True被定义;	
WIFSTOPPED:True=返回的子进程是停止的;	
WSTOPSIG:返回引起子进程停止的信号的数量,只有WIFSTOPPED=True被定义;	

	
返回:	
成功=子进程PID;if WNOHANG=0;	
其他错误=-1(errno=ECHILD,没有子进程;errno=EINTR,被一个信号中断)	
*/	
pid_t waitpid(pid_t pid, int *status, int options);	
pid_t wait(int *status); //等价于waitpid(-1, &status, 0);

Sleep

#include <unistd.h>	

	
// 返回:seconds left to sleep	
unsigned int sleep(unsigned int secs);	

	
// 让调用函数休眠,直到收到一个信号	
// 返回:-1	
int pause(void);

Loading and Running Programs

execve函数在当前进程的上下文中加载并运行一个新的程序,覆盖当前进程的地址空间,但并没有创建一个新进程,进程PID没有改变。

#include <unistd.h>	
// 返回:成功=不返回;出错=-1	
int execve(const char *filename, const char *argv[],	
            const char *envp[]);	
// 程序主入口:	
int main(int argc, char **argv, char **envp);	
int main(int argc, char *argv[], char *envp[]);

Signal

640

[ Linux Signal(`man 7 signal`) ]

信号传递到目的进程包括两个步骤:1)发送;2)接收。

  • 一个发出却没被接收的信号叫做待处理信号(Pending Signal)。

  • 一个进程有一个类型为k的待处理信号,后面发送到这个进程的k信号都会被丢弃。

  • 也可以选择性阻塞接收某个信号,信号被阻塞时仍可以发送,但产生的待处理信号不会被接收,直到进程取消对这种信号的阻塞。

  • 一个待处理信号最多只能被接收一次,内核为每个进程在pending位向量中维护待处理信号集合,而在blocked位向量中维护被阻塞的信号集合。

  • 只有接收了k信号,内核才会清除pending中的k位。

Sending Signal

  • 每个进程都只属于一个进程组,进程组ID标识。unix所有发送信号的机制都是基于进程组(process group)/

#include <unistd.h>	

	
// 返回:调用进程的进程组ID	
pid_t getpgrp(void);	
// 返回:成功=1,错误=-1	
int setpgid(pid_t pid, pid_t pgid);

  • 用/bin/kill程序发送信号

    /bin/kill -9 15213

    发送信号9到进程组15213中的每个进程。

    /bin/kill -9 -15213

  • 从键盘发送信号

640

[ 前台进程子进程和父进程具有相同的进程组ID。]

  • 用KILL函数发送信号。

#include <signal.h>	
// 输入参数pid:	
// pid>0:发送SIGKILL给进程pid	
// pid<0:发送SIGKILL给进程组abs(pid)	
// 返回:成功=0,失败=-1	
int kill(pid_t pid, int sig);

  • alarm函数发送信号

#include <unistd.h>	
// 发送SIGALRM给调用进程,如果secs位0,则不会调度alarm。任何情况,对alarm调用都将取消任何pending alarm,并返回pending alarm在被发送前还剩下的秒数。	
// 返回:前一次alarm剩余的秒数,0=以前没有设定alarm	
unsigned int alarm(unsigned int secs);	

	

	
/* 定时1s触发alarm handler,5s结束 */	
#include <unistd.h>	
#include <stdio.h>	
#include <stdlib.h>	

	

	
void handler(int sig) {	
   static int beeps = 0;	
   printf("BEEP\n");	
   if (++beeps < 5) {	
       alarm(1);	
   } else {	
        printf("BOOM!\n");	
        exit(0);	
   }	
}	

	

	
int main() {	
   signal(SIGALRM, handler);	
   alarm(1);	
   for(;;);	
   exit(0);	
}

Receiving Signals

wtf:	
当异常处理程序返回时,准备转移控制权给进程p时,会检查非被阻塞的待处理信号的集合(pending&~blocked)	
if 集合为空:	
   进程p的逻辑控制流下一跳指令	
else:	
   选择某个最小信号k,强制p接收信号k	
   goto wtf

每个信号类型预定义的默认行为(查看Figure8.25):

  • 进程终止

  • 进程终止并转存储器(dump core)

  • 进程停止直到被SIGCONT信号重启

  • 进程忽略该信号

#include <signal.h>	

	

	
// 定义信号处理函数(signal handler)	
// 输入int为信号量	
typedef void (*sighandler_t)(int);	
// 输入函数sighandler_t:	
// handler=SIG_IGN,忽略类型为signum的信号;	
// handler=SIG_DFL,重置类型为signum信号的行为。	
//	
// 返回:成功=指向前次处理程序指针,出错=SIG_ERR(不设置errno)	
sighandler_t signal(int signum, sighandler_t handler); // installing the handler	

	

	

	

	
/* ctrl-c中断sleep,并打印睡眠时间 */	
#include <unistd.h>	
#include <stdlib.h>	
#include <stdio.h>	
#include <signal.h>	

	

	
void handler(int sig) {} // 改变SIGINT处理函数	

	

	
int snooze(unsigned int sec) {	
   int left_sleep_sec = sleep(sec);	
   printf("Slept for %d of %d secs.\tUser hits ctrl-c after %d seconds\n",	
           left_sleep_sec, sec, sec-left_sleep_sec);	
}	

	

	
int main(int argc, char *argv[]) {	
   if (SIG_ERR == signal(SIGINT, handler)) {	
       exit(-1);	
   }	

	

	
   unsigned int sleep_sec = 0;	
   if (argc > 1) {	
       sleep_sec = atoi(argv[1]);	
   } else {	
       exit(0);	
   }	
   printf("sleep for %d seconds\n", sleep_sec);	
   snooze(sleep_sec);	
   exit(0);	
}

Signal Handling Issues

当程序需要捕获多个信号时,问题产生了。

  • 待处理信号被阻塞。Unix信号处理程序通常会阻塞当前处理程序正在处理的类型的待处理信号k。如果另一个信号k传递到该进程,则信号k将变成待处理,但是不会被接收,直到处理程序返回。再次检查发现仍有待处理信号k,则再次调用信号处理函数。

  • 待处理信号不会排队等待。任意类型最多只有一个待处理信号。当目的进程正在执行信号k的处理程序时是阻塞的,当发送两个信号k,仅第一个信号k会变成待处理,第二个则直接被丢弃,不会排队等待。

  • 系统调用可以被中断。像read、wait和accept调用过程会阻塞进程的称谓慢速系统调用,当捕获到一个信号时,被中断的慢速系统调用在信号处理返回时不再继续,而是立即返回用户一个错误条件,并将errno设置为EINTR。(即使sleep被信号处理捕获后仍会返回)

Explicitly Blocking and Unblocking Signals

#include <signal.h>	

	

	
// how = SIG_BLOCK, blocked=blocked | set	
// how = SIG_UNBLOCK, blocked=blocked &~ set	
// how = SIG_SETMASK, blocked = set	
int sigprocmask(int how, const sigset_t *set, sigset_t *oldset); int sigemptyset(sigset_t *set);	
// 将每个信号添加到set	
int sigfillset(sigset_t *set);	
// 添加signum到set	
int sigaddset(sigset_t *set, int signum);	
// 从set中删除signum	
int sigdelset(sigset_t *set, int signum);	
//Returns: 0 if OK, −1 on error	

	

	
int sigismember(const sigset_t *set, int signum);	
//Returns: 1 if member, 0 if not, −1 on error

Nonlocal Jump

作用允许从一个深层嵌套的函数调用中立即返回。

#include <setjmp.h>	

	

	
int setjmp(jmp_buf env);	
int sigsetjmp(sigjmp_buf env, int savesigs);	
// Returns: 0 from setjmp, nonzero from longjmps	

	

	
void longjmp(jmp_buf env, int retval);	
void siglongjmp(sigjmp_buf env, int retval);	
// Never returns	

	

	
jmp_buf env;	
rc=setjmp(env); // 保存当前调用环境	
if(rc == 0) dosomething();	
else if (rc == 1) dosomething1(); // 如果	
else if (rc == 2) dosomething2();	

	

	
int dosomething() {	
   longjmp(buf,1); // 跳转到setjmp,返回1	
   // longjmp(buf,2); // 跳转到setjmp,返回2	
}

操作进程工具

STRACE:打印一个正在运行的程序和它的子程序调用的每个系统调用的轨迹。

PS:列出当前系统中的进程(包括僵尸进程)。

TOP:打印关于当前进程资源使用的信息。

PMAP:显示进程的存储器映射。

/proc:一个虚拟文件系统,以ASCII输出大量内核数据结构的内容。如cat /proc/loadavg,观察Linux系统上的当前的平均负载。

640?wx_fmt=gif

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

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值