如果把内核看做不断对各种请求进行响应的服务器,那么,正在CPU上执行的进程、发出中断请求的外部设备等相当于客户端。如服务器要随时响应客户端的请求一样,内核也会随时响应进程、中断等的请求。这样比喻是为了强调内核中的各个任务(内核线程、系统调用、中断服务程序、异常处理程序、下半部等几类)并不是严格按照顺序依次执行的,而是相互交错执行的。
对所有内核任务来说,内核中的很多数据(变量、队列、堆栈等数据结构)都是共享资源,对共享资源的访问必须遵循一定的访问规则,否则可能造成对共享资源的破坏。
一、临界区和竞争状态
临界区是访问和操作共享数据的代码段。多个内核任务并发访问同一个资源通常不安全。为避免对临界区并发访问,必须保证临界区代码被原子地执行。代码在执行期间不可被打断,如同整个临界区是一个不可分割的指令。如果两个内核任务处于同一个临界区中,这就是一种错误现象。如果确实发生这种情况,就称为竞争状态。注意竞争状态是小概率事件,因为竞争引起的错误有时出现,有时并不出现,调试这种错误会非常困难。把避免并发和防止竞争状态称为同步。
1、临界区举例
为进一步了解竞争状态,到处都存在,到处都有临界区 。首先,考虑一个非常简单的共享资源的例子:一个全局整型变量和一个简单的临界区,其中的操作仅仅是将整型变量的值增加1,如下:
i++;
该操作可以转化为下面三条机器指令序列。
(1)得到当前变量i的值并且拷贝到一个寄存器中
(2)将寄存器中的值加1
(3)把i的新值写回到内存中
这三条指令形成一个临界区。假定有两个内核任务同时进入这个临界区,如果i的初始值为1,那么,所期望的结果应该像下面这样:
内核任务一 内核任务二
获得i(1) ——
增加i(1—>2) ——
写回i(2) ——