五、进程
3. 进程
在当前,我们只能通过执行可执行程序来让操作系统帮我们启动进程,那我们如何使用代码来自己启动进程呢?我们可以使用 fork() 函数。作用是创建子进程。
我们创建一个程序来使用使用。
我们可以看到,我们输出了一个 befor fork,但是输出了两个 after fork,这是因为,fork函数创建了一个子进程,该子进程共享下面的代码。该子进程的父进程是可执行程序的进程。
刚刚看到 fork 函数是有返回值的,我们也将其打印出来。
我们看到,同一个变量的值并不同,父进程访问时,返回值是子进程pid,子进程访问时,返回值是0 。有了不同的返回值,就可以控制后面代码对不同进程进行分流,不同进程做不同的代码块。
此时父进程和子进程同时分别执行自己的代码块。任意进程之间都是具有独立性的,相互之间不影响。
4. 进程状态
进程不是一直在运行的,即使进程放在了CPU上,也不是一直运行的。进程可能在等待某种软硬件资源,需要排队。
一般教材中对进程状态的表述有 :运行,阻塞,挂起。但在内核数据结构中,进程的状态本质就是 一个在 task_struct 中的一个整形变量 。
进程的状态决定了进程的后续动作。
每个CPU都会维护一个自身的 运行队列 ,凡是在运行队列里的进程都是 运行状态 。因为在运行队列里的进程都是已经准备好被调度的进程。
CPU是资源,具有运行队列,其他的软硬件资源同样有队列,是等待队列。当我们的进程在等待软硬件资源时,如果资源没有就绪,我们的进程 task_struct 只能将自己设置成 阻塞状态 ,并将自己的 PCB 连入等待的资源的等待队列。
状态的变迁,引起的是 PCB 会被 OS(操作系统) 变迁到不同的队列当中 。
当计算机的资源(内存)比较吃紧时,操作系统会将部分进程从内存中转到外存中,为计算机的内存“腾空间” 。此时就是 挂起状态 。
上图中的每个圆圈都可以当作一个 状态队列 来看。