内核中的同步—临界区和竞争状态

如果把内核看做不断对各种请求进行响应的服务器,那么,正在CPU上执行的进程、发出中断请求的外部设备等相当于客户端。如服务器要随时响应客户端的请求一样,内核也会随时响应进程、中断等的请求。这样比喻是为了强调内核中的各个任务(内核线程、系统调用、中断服务程序、异常处理程序、下半部等几类)并不是严格按照顺序依次执行的,而是相互交错执行的。

对所有内核任务来说,内核中的很多数据(变量、队列、堆栈等数据结构)都是共享资源,对共享资源的访问必须遵循一定的访问规则,否则可能造成对共享资源的破坏。

一、临界区和竞争状态

临界区是访问和操作共享数据的代码段。多个内核任务并发访问同一个资源通常不安全。为避免对临界区并发访问,必须保证临界区代码被原子地执行。代码在执行期间不可被打断,如同整个临界区是一个不可分割的指令。如果两个内核任务处于同一个临界区中,这就是一种错误现象。如果确实发生这种情况,就称为竞争状态。注意竞争状态是小概率事件,因为竞争引起的错误有时出现,有时并不出现,调试这种错误会非常困难。把避免并发和防止竞争状态称为同步。

1、临界区举例

为进一步了解竞争状态,到处都存在,到处都有临界区 。首先,考虑一个非常简单的共享资源的例子:一个全局整型变量和一个简单的临界区,其中的操作仅仅是将整型变量的值增加1,如下:

i++;

该操作可以转化为下面三条机器指令序列。

(1)得到当前变量i的值并且拷贝到一个寄存器中

(2)将寄存器中的值加1

(3)把i的新值写回到内存中

这三条指令形成一个临界区。假定有两个内核任务同时进入这个临界区,如果i的初始值为1,那么,所期望的结果应该像下面这样:

内核任务一                                                                                    内核任务二

获得i(1)                                                                                           ——

增加i(1—>2)                                                                                   ——

写回i(2)                                                                                           ——

                                                 

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值