1.fork()调用,通过复制一个现有进程来创建一个全新的进程。调用fork()的进程称为父进程,新产生的进程称为子进程。调用结束时,在返回点这个相同位置上,父进程恢复执行,子进程开始执行。fork()从内核返回两次,一次返回到父进程,另一次返回到新产生的子进程。
Q:进程不是一次只能执行一个,为什么这里同时返回父进程和子进程,执行顺序是什么样的呢~
A:子进程作为父进程的一个单独线程在它的地址空间中运行,父进程被阻塞,直到子进程退出或执行exec()。
2.调用fork(),创建新进程;
调用exec(),创建新的地址空间,载入新程序;
调用exit(),退出执行;
父进程调用wait4(),查询子进程是否终结;
调用current宏,查找当前正在运行的进程描述符(PID)。
3.访问任务需要获得指向其task_struct的指针。
假定栈的大小为8KB,也就是说thread-info和栈所占的空间为8KB,栈从高位往低位增长,X86通过把栈指针的后13个有效位屏蔽掉来计算thread-info的偏移。该操作通过current-thread-info()函数完成,汇编代码如下:
movl $-8192, %eax
andl %eap, %eax
具体实现就是把那栈指针的后13位有效位给屏蔽掉。8192= 2的13次幂。若是4KB的栈,就用4096。最后,current再从thread_info的task域中提取并返回task_struct地址:current_thread_info()->task;
Q:这里,意思其实是左移了13位来读吧?没有屏蔽掉实际~
4.设置进程当前状态
set_task_state(current,state);
set_current_state(state);-----这两个含义相同。
五种进程状态,系统中每个进程都必然处于这五种状态中的一种:
TASK_RUNNING(运行)---正在执行或在队列中等待执行;
TASK_INTERRUPTIBLE(可中断)---正在睡眠,等待被唤醒;
TASK_UNINTERRUPTIBLE(不可中断)---等待时不受干扰,不接受信号唤醒,等待事件很快就会出现;
TASK_TRACED---被其他进程跟踪,如ptrace;
TASK_STOPPED(停止)---没运行,也不能投入运行,如在调试期间收到任何信号,都会使进程进入这种状态。
5.系统启动的最后阶段启动init进程(PID=1),所有的进程都是init进程的后代。
可按以下方式依次访问子进程:
struct task_struct *task;
struct list_head *list;
list_for_each(list, ¤t->children)
{
task = list_entry(list,struct task_struct,sibling);
/*task现在指向当前的某个子进程*/
}
宏next_task(task)和prev_task(task)可实现获取下一个或上一个进程,for_each_process(task)宏提供了依次访问整个任务队列的能力。
6.写时拷贝
上面提过,fork()通过拷贝当前进程创建一个子进程,exec()函数负责读取可执行文件并将其载入地址空间开始运行。这两步组合相当于其他系统中的产生(spawn)进程机制。
写时拷贝是说,fork()创建子进程时,实际是复制父进程的页表以及给子进程创建唯一的进程描述符。子进程创建完成后内核会有意选择子进程首先执行。因为一般子进程都会马上调用exec()函数,这样就不用拷贝父进程地址空间中的页(大量根本不会用到的数据),避免了额外开销。而如果从父进程开始执行,有可能会开始向地址空间写入。
与fork()区别是不拷贝父进程的页表项。子进程作为父进程的一个单独线程在它的地址空间中运行,父进程被阻塞,直到子进程退出或执行exec()。
7.内核线程
内核线程和普通进程间区别在于内核线程没有独立的地址空间,只能在内核空间运行。
内核是通过kthreadd内核进程中衍生出所有新的内核线程来创建新线程。新任务由kthread内核进程通过clone()系统调用创建。
新创建的进程处于不可运行的状态,如果不通过调用wake_up_process()明确唤醒它,它不会主动运行。
创建一个进程并让它运行起来,可以调用kthread_run()实现。这个例程实际是用宏实现了调用kthread_create()和wake_up_process()。
内核线程启动后一直运行,直到调用do_exit()或者内核其他部分调用kthread_stop()退出。