1、每个线程都有独立的:程序计数器、进程栈、一组进程寄存器。同一进程不同线程共享内容:进程地址空间、打开的文件、文件系统的信息、信号处理函数 、命名空间。
2、进程状态:
运行(TASK_RUNNING):包括正在运行和就绪态。
可中断睡眠状态(TASK_INTERRUPTIBLE):相应的进程被放在对应事件的等待队列中。等待事件发生,进程被唤醒。
不可中断睡眠状态(TASK_UNINTERRUPTIBLE):不可中断,指的并不是CPU不响应外部硬件的中断,而是指进程不响应异步信号,保证不被异步信号唤醒投入运行。
而TASK_UNINTERRUPTIBLE状态存在的意义就在于,内核的某些处理流程是不能被打断的。如果响应异步信号,程序的执行流程中就会被插入一段用于处理异步信号的流程(这个插入的流程可能只存在于内核态,也可能延伸到用户态),于是原有的流程就被中断了。(参见《linux内核异步中断浅析》)
在进程对某些硬件进行操作时(比如进程调用read系统调用对某个设备文件进行读操作,而read系统调用最终执行到对应设备驱动的代码,并与对应的物理设备进行交互),可能需要使用TASK_UNINTERRUPTIBLE状态对进程进行保护,以避免进程与设备交互的过程被打断,造成设备陷入不可控的状态。这种情况下的TASK_UNINTERRUPTIBLE状态总是非常短暂的,通过ps命令基本上不可能捕捉到。
linux系统中也存在容易捕捉的TASK_UNINTERRUPTIBLE状态。执行vfork系统调用后,父进程将进入TASK_UNINTERRUPTIBLE状态,直到子进程调用exit或exec(参见《神奇的vfork》)。
跟踪状态(TASK_TRACED):
暂停状态(TASK_STOPPED ):
退出状态(EXIT_ZOMBIE):用于给父进程提供信息,仅仅保存了内核栈、thread_info task_struct结构体。
内核线程:区别于进程,内核线程没有独立的地址空间。