五、进程

3. 进程

在当前，我们只能通过执行可执行程序来让操作系统帮我们启动进程，那我们如何使用代码来自己启动进程呢？我们可以使用 fork() 函数。作用是创建子进程。

我们创建一个程序来使用使用。



我们可以看到，我们输出了一个 befor fork，但是输出了两个 after fork，这是因为，fork函数创建了一个子进程，该子进程共享下面的代码。该子进程的父进程是可执行程序的进程。
刚刚看到 fork 函数是有返回值的，我们也将其打印出来。


我们看到，同一个变量的值并不同，父进程访问时，返回值是子进程pid，子进程访问时，返回值是0 。有了不同的返回值，就可以控制后面代码对不同进程进行分流，不同进程做不同的代码块。


此时父进程和子进程同时分别执行自己的代码块。任意进程之间都是具有独立性的，相互之间不影响。

4. 进程状态

进程不是一直在运行的，即使进程放在了CPU上，也不是一直运行的。进程可能在等待某种软硬件资源，需要排队。
一般教材中对进程状态的表述有 ：运行，阻塞，挂起。但在内核数据结构中，进程的状态本质就是 一个在 task_struct 中的一个整形变量 。

进程的状态决定了进程的后续动作。

每个CPU都会维护一个自身的 运行队列 ，凡是在运行队列里的进程都是 运行状态 。因为在运行队列里的进程都是已经准备好被调度的进程。
CPU是资源，具有运行队列，其他的软硬件资源同样有队列，是等待队列。当我们的进程在等待软硬件资源时，如果资源没有就绪，我们的进程 task_struct 只能将自己设置成 阻塞状态 ，并将自己的 PCB 连入等待的资源的等待队列。

状态的变迁，引起的是 PCB 会被 OS（操作系统） 变迁到不同的队列当中 。

当计算机的资源（内存）比较吃紧时，操作系统会将部分进程从内存中转到外存中，为计算机的内存“腾空间” 。此时就是 挂起状态 。

上图中的每个圆圈都可以当作一个 状态队列 来看。

未完待续