(五)内核中的同步

 1、单一处理器、对称多处理,分别在哪些时候可能会并发地访问数据

单一处理器: 比较简单。只有在中断发生的时候,或在内核代码明确地请求重新调度、执行另一个任务的时候,数据才能被并发访问。
对称多处理器:比较麻烦。意味着 内核代码可以同时运行在两个或者多个的处理器上,如果不加保护,完全可能在同一时刻发生并发访问共享数据。

2、什么是临界区、竞争状态、同步?

– 临界区:就是访问和操作共享数据的代码段,这段代码必须被原子地执行
– 竞争状态:多个内核任务同时访问同一临界区
– 同步:避免并发和防止竞争状态称为同步(synchronization)

3、哪些情况可能产生竞争条件

当多个进程都企图对共享数据进行某种处理,而最后的结果又取决于进程运行的顺序时,则我们认为这发生了竞争条件(race condition)。

 4、内核中可能造成并发执行的原因?

 中断——中断几乎可以在任何时刻异步发生,也可能随时打断正在执行的代码。
 内核抢占——若内核具有抢占性,内核中的任务就可能会被另一任务抢占
 睡眠及与用户空间的同步——在内核执行的进程可能会睡眠,这将唤醒调度程序,导致调度一个新的用户进程执行
 对称多处理——两个或多个处理器可以同时执行代码 ,“真并发”
两个处理器绝对不能同时访问同一共享数据

5、哪些对象需要保护、加锁

大多数内核数据结构都需要加锁:若有其它内核任务可以访问这些数据,那么就给这些数据加上某种形式的锁;若任何其它东西能看到它,那么就要锁住它。
内核任务的局部数据仅仅被它本身访问,显然不需要保护
如果数据只会被特定的进程访问,也不需加锁

 6、死锁的概念

死锁产生的条件:有一个或多个并发执行的内核任务和一个或多个资源,每个任务都在等待其中的一个资源,但所有的资源都已经被占用。所有任务都在相互等待,但它们永远不会释放已经占有的资源,于是任何任务都无法继续。

在这里插入图片描述

在这里插入图片描述

7、使用atomic_t数据类型执行原子操作的两个原因

原子整数操作最常见的用途就是实现计数器。
使用atomic_t数据类型操作相对来说轻便一点的操作,还可以用原子整数操作原子地执行一个操作并检查结果。

8、	Linux上的自旋锁的三种实现

中断控制(仅在中断代码可能访问临界区时需要)
抢占控制(仅存在于可抢占内核中需要)
自旋锁标志控制 (仅SMP系统需要)

9、	自旋锁和信号量

自旋锁:在短期内进行轻量级的锁定。一个被持有的自旋锁使得请求它的任务在等待锁重新可用期间进行自旋,所以自旋锁不应该被持有时间过长,如果需要长时间锁定,最好使用信号量。
 自旋锁在内核中主要用来防止多处理器中并发访问临界区,防止内核抢占造成的竞争
 自旋锁不允许任务睡眠,持有自旋锁的任务睡眠会造成自死锁,因此自旋锁能够在中断上下文中使用
信号量:一种睡眠锁,若有一个任务试图获得一个已被持有的信号量时,信号量会将其推入等待队列,然后让其睡眠。
 信号量具有睡眠特性,适用于锁会被长时间持有的情况,只能在进程上下文中使用
在这里插入图片描述

10、	读-写自旋锁原理

一个或多个读任务可以并发的持有读者锁;相反,用于写的锁最多只能被一个写任务持有,而且此时不能有并发的读操作。
读/写锁也叫共享/排斥锁,或者并发/排斥锁:对读者共享,对写者排斥。
 优点:多个读者可以安全地获得同一个读锁,即使一个线程递归地获得同一读锁也是安全的。
 缺点:照顾读比照顾写要多一点,大量读者必定会使挂起的写者处于饥饿状态。

11、	内核任务及其之间的并发关系 

系统调用:是用户程序通过门机制来进入内核执行的内核例程,它运行在内核态,处于进程上下文中,可以认为是代表用户进程的内核任务。
内核线程:内核线程可以理解成在内核中运行的特殊进程,它有自己的“进程上下文”。定时器任务队列:任务队列属于下半部,主要有调度队列、定时器队列和及时队列等三种任务队列 。
系统调用和内核线程可能和各种内核任务并发执行,可能发生竞争。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值