Linux内核学习之同步
Linux内核学习之同步
[临界区和竞争条件]
所谓临界区就是访问和操作共享数据的代码段。多个执行线程并发访问同一个资源通常是不安全的,为了避免在临界区中并发访问,coder必须保证这些代码原子执行。
如果两个执行线程有可能处于同一个临界区中同时执行,那么这就是程序包含的一个bug。如果这种情况确实发生了,我们就称它是竞争条件(race conditions)。避免并发和防止竞争条件称为同步(synchronization)。
[造成并发执行的原因]
用户空间之所以需要同步,是因为用户程序会被调度程序抢占和重新调度。在内核中有类似可能造成并发执行的原因:
中断:中断几乎可以在任何时刻异步发生,也就是随时打断当前正在执行的代码;
软中断和tasklet:内核能在任何时刻唤醒或调度软中断和tasklet,打断当前正在执行的代码;
内核抢占:因为内核具有抢占性,所以内核中的任务可能会被另一任务抢占;
睡眠及与用户空间的同步:在内核执行的进程可能会睡眠,这就会唤醒调度程序,从而导致调度一个新的用户进程执行;
对称处理器:两个或多个处理器可以同时执行代码。
[哪些代码需要同步]
我们在编写内核代码时,你要问自己下面这些问题:
这个数据是不是全局的?除了当前线程外,其他线程能不能访问它?
这个数据会不会在进程上下文和中断上下文种共享?它是不是要在两个不同的中断处理程序中共享?
进程在访问数据时可不可能被抢占?被调度的新程序会不会访问同一数据?
当前进程是不是会睡眠(阻塞)在某些资源上,如果是,它会让共享数据处于何种状态?
怎样防止数据失控?
如果这个函数又在另一个处理上被调度将会发生什么呢?
如何确保代码远离并发威胁呢?
简而言之,几乎访问所有的内核全局变量和共享数据都需要某种形式的同步方法。
[死锁]
死锁的产生需要一定的条件:要一个或多个执行线程和一个或多个资源,每个线程都在等待其中的一个资源,但所有的资源都已经被占用了。所有线程都在相互等待,但它们永远不会释放已经占有的资源,于是任何资源都无法继续,这就意味着死锁的发生。
Example:有两个线程和两把锁
线程1 线程2
获得锁A 获得锁B
试图获得锁B 试图获得锁A
等待锁B 等待锁A
[原子操作]
原子操作可以保证指令以原子的方式执行-执行过程不被打断。内核提供了两组原子操作接口:一组针对整数进行操作,另一组针对单独的位进行操作。
原子整数类型
- typedef struct {
- intcounter;
- } atomic_t;
[自旋锁]
自旋锁(spin lock)最多只能被一个可执行线程持有。如果一个执行线程试图获得一个被已经持有(即所谓的争用)的自旋锁,那么该线程就会一直进行忙循环-旋转-等待锁重新可用。
spinlock结构体:
- typedef struct spinlock {
- union {
- struct raw_spinlock rlock;
- #ifdef CONFIG_DEBUG_LOCK_ALLOC
- # define LOCK_PADSIZE (offsetof(struct raw_spinlock, dep_map))
- struct {
- u8 __padding[LOCK_PADSIZE];
- struct lockdep_map dep_map;
- };
- #endif
- };
- } spinlock_t;
一个被争用的自旋锁是的请求它的线程在等待锁重新可用时自旋,特别浪费处理器时间,这种行为是自旋锁的要点。所以自旋锁不应该被长时间持有。持有自旋锁的时间最好小于完成两次上下文切换的耗时。
自旋锁可以用于中断处理程序中,但是信号量不可以,信号量会导致睡眠。
使用锁的时候一定要对症下药,要有针对性。要知道需要保护的是数据而不是代码。
|
评论暂时关闭