Linux内核同步机制之信号量与锁
Linux内核同步控制方法有很多,信号量、锁、原子量、RCU等等,不同的实现方法应用于不同的环境来提高操作系统效率。首先,看看我们最熟悉的两种机制——信号量、锁。
一、信号量
首先还是看看内核中是怎么实现的,内核中用struct semaphore数据结构表示信号量(<linux/semphone.h>中):
struct semaphore {
spinlock_t lock;
unsigned int count;
struct list_head wait_list;
};
其中lock为自旋锁,放到这里是为了保护count的原子增减,无符号数count为我们竞争的信号量(PV操作的核心),wait_list为等待此信号量的进程链表。
初始化:
对于这一类工具类使用较多的机制,包括用于同步互斥的信号量、锁、completion,用于进程等待的等待队列、用于Per-CPU的变量等等,内核都提供了两种初始化方法,静态与动态方式。
1) 静态初始化,实现代码如下:
#define __SEMAPHORE_INITIALIZER(name, n) \
{ \
.lock = __SPIN_LOCK_UNLOCKED((name).lock), \
.count = n, \
.wait_list = LIST_HEAD_INIT((name).wait_list), \
}
#define DECLARE_MUTEX(name) \
struct semaphore name = __SEMAPHORE_INITIALIZER(name, 1)
可以看到,这种初始化使我们在编程的时候直接用一条语句DECLARE_MUTEX(name);就可以完成申明与初始化,另一种下面要说的动态初始化方式申请与初始化分离。
2) 我们看到,静态初始化时信号量的count值初始化为1,当我们需要初始化为0时需要用动态初始化方法。
#define init_MUTEX(sem) sema_init(sem, 1)
#define init_MUTEX_LOCKED(sem) sema_init(sem, 0)
static inline void sema_init(struct semaphore *sem, int val)
{
static struct lock_class_key __key;
*sem = (struct semaphore) __SEMAPHORE_INITIALIZER(*sem, val);
lockdep_init_map(&sem->lock.dep_map, "semaphore->lock", &__key, 0);
}
操作:
获取信号量
/*获取信号量*/
void down(struct semaphore *sem)
{
unsigned long flags;
spin_lock_irqsave(&sem->lock, flags);
if (likely(sem->count > 0))
sem->count--;
else
__down(sem);
spin_unlock_irqrestore(&sem->lock, flags);
}
__down(sem)最终由下面函数实现
static inline int __sched __down_common(struct semaphore *sem, long state,
long timeout)
{
struct task_struct *task = current;
struct semaphore_waiter waiter;
list_add_tail(&waiter.list, &sem->wait_list);
waiter.task = task;
waiter.up = 0;
for (;;) {
if (signal_pending_state(state, task))
goto interrupted;
if (timeout <= 0)
goto timed_out;
__set_task_state(task, state);
spin_unlock_irq(&sem->lock);
timeout = schedule_timeout(timeout);
spin_lock_irq(&sem->lock);
if (waiter.up)
return 0;
}
timed_out:
list_del(&waiter.list);
return -ETIME;
interrupted:
list_del(&waiter.list);
return -EINTR;
}
释放信号量
void up(struct semaphore *sem)
{
unsigned long flags;
spin_lock_irqsave(&sem->lock, flags);
if (likely(list_empty(&sem->wait_list)))
sem->count++;
else
__up(sem);
spin_unlock_irqrestore(&sem->lock, flags);
}
static noinline void __sched __up(struct semaphore *sem)
{
struct semaphore_waiter *waiter = list_first_entry(&sem->wait_list,
struct semaphore_waiter, list);
list_del(&waiter->list);
waiter->up = 1;
wake_up_process(waiter->task);
}
从上面代码可以看出,信号量的获取和释放很简单,不外乎修改count值、加入或移除等待队列元素,其中count值的修改需要自旋锁的支持。还有几个down和up类函数,实现类似,使用时可以看看源码不同之处。
运用:
用信号量我们实现两个线程的同步,我们用kernel_thread创建两个线程,对变量num的值进行同步访问,代码如下,文件为semaphore.c
#include <linux/init.h>
#include <linux/kernel.h>
#include <linux/module.h>
#include <linux/sched.h>
#include <linux/semaphore.h>
#define N 15
MODULE_LICENSE("GPL");
static unsigned count=0,num=0;
struct semaphore sem_2;
DECLARE_MUTEX(sem_1);/*init 1*/
int ThreadFunc1(void *context)
{
char *tmp=(char*)context;
while(num<N){
down(&sem_1);
printk("<2>" "%s\tcount:%d\n",tmp,count++);
num++;
up(&sem_2);
}
return 0;
}
int ThreadFunc2(void *context)
{
char *tmp=(char*)context;
while(num<N){
down(&sem_2);
printk("<2>" "%s\tcount:%d\n",tmp,count--);
num++;
up(&sem_1);
}
return 0;
}
static __init int semaphore_init(void)
{
char *ch1="this is first thread!";
char *ch2="this is second thread!";
init_MUTEX_LOCKED(&sem_2);/*init 0*/
kernel_thread(ThreadFunc1,ch1,CLONE_KERNEL);
kernel_thread(ThreadFunc2,ch2,CLONE_KERNEL);
return 0;
}
static void semaphore_exit(void)
{
}
module_init(semaphore_init);
module_exit(semaphore_exit);
MODULE_AUTHOR("Mike Feng");
实现结果如下。
可以看到线程1和线程2交替运行,实现了同步。
读、写信号量:
类似操作系统中学习的读者、写者问题,内核中,许多任务可以划分为两种不同的工作类型:一些任务只需要读取受保护的数据结构,而其他的则必须做出修改。循序多个并发的读者是可能的,只要他们之中没有哪个要做出修改。Linux内核为这种情形提供了一种特殊的信号量类型——读、写信号量。struct rw_semaphore作为其数据结构,初始化和信号量类似,down_read、up_read等类函数实现信号量控制,这些函数实现比较复杂,用到了读写锁(将在后面分析),有兴趣可以看看,。我们运用读、写信号实现哪个古老的读者、写者同步问题:
文件down_read.c
#include <linux/init.h>
#include <linux/module.h>
#include <linux/kernel.h>
#include <linux/sched.h>
#include <linux/rwsem.h>
#include <linux/semaphore.h>
MODULE_LICENSE("GPL");
static int count=0,num=0,readcount=0,writer=0;
struct rw_semaphore rw_write;
struct rw_semaphore rw_read;
struct semaphore sm_1;
int ThreadRead(void *context)
{
down_read(&rw_write);
down(&sm_1);
count++;
readcount++;
up(&sm_1);
printk("<2>" "Read Thread %d\tcount:%d\n",readcount,count);
msleep(10);
printk("<2>" "Read Thread Over!\n",readcount);
up_read(&rw_write);
return 0;
}
int ThreadWrite(void *context)
{
down_write(&rw_write);
writer++;
printk("<2>" "Write Thread %d\tcount:%d\n",writer,--count);
msleep(10);
printk("<2>" "Write Thread %d Over!\n",writer);
up_write(&rw_write);
return count;
}
static __init int rwsem_init(void)
{
static int i,iread=0,iwrite=0;
init_rwsem(&rw_read);
init_rwsem(&rw_write);
init_MUTEX(&sm_1);
for(i=0;i<2;i++){
kernel_thread(ThreadWrite,&i,CLONE_KERNEL);
iwrite++;
}
for(i=0;i<2;i++){
kernel_thread(ThreadRead,&i,CLONE_KERNEL);
iread++;
}
for(i=2;i<5;i++){
kernel_thread(ThreadRead,&i,CLONE_KERNEL);
iread++;
}
for(i=2;i<5;i++){
kernel_thread(ThreadWrite,&i,CLONE_KERNEL);
iwrite++;
}
return 0;
}
static void rwsem_exit(void)
{
}
module_init(rwsem_init);
module_exit(rwsem_exit);
MODULE_AUTHOR("Mike Feng");
实验结果:
从代码上看,实现起来很简单。
二、自旋锁
读写信号量基于自旋锁实现。内核中为如下结构:
typedef struct {
raw_spinlock_t raw_lock;
#ifdef CONFIG_GENERIC_LOCKBREAK
unsigned int break_lock;
#endif
#ifdef CONFIG_DEBUG_SPINLOCK
unsigned int magic, owner_cpu;
void *owner;
#endif
#ifdef CONFIG_DEBUG_LOCK_ALLOC
struct lockdep_map dep_map;
#endif
} spinlock_t;
其中raw_lock为实现的原子量控制。下面我们就信号量和自旋锁实现我们上面用读写信号量实现的读者、写者问题:spinlock.c文件
#include <linux/init.h>
#include <linux/module.h>
#include <linux/kernel.h>
#include <linux/sched.h>
#include <linux/semaphore.h>
#include <linux/spinlock.h>
MODULE_LICENSE("GPL");
static int count=0,num=0,readcount=0,writer=0,writecount=0;
struct semaphore sem_w,sem_r;
spinlock_t lock1=SPIN_LOCK_UNLOCKED;
int ThreadRead(void *context)
{
down(&sem_r);
spin_lock(&lock1);
readcount++;
if(readcount==1)
down(&sem_w);
spin_unlock(&lock1);
up(&sem_r);
printk("<2>" "Reader %d is reading!\n",readcount);
msleep(10);
printk("<2>" "Reader is over!\n");
spin_lock(&lock1);
readcount--;
if(readcount==0)
up(&sem_w);
spin_unlock(&lock1);
return count;
}
int ThreadWrite(void *context)
{
spin_lock(&lock1);
writecount++;
if(writecount==1)
down(&sem_r);
spin_unlock(&lock1);
down(&sem_w);
writer++;
printk("<2>" "Writer %d is writting!\n",writer);
msleep(10);
printk("<2>" "Writer %d is over!\n",writer);
up(&sem_w);
spin_lock(&lock1);
writecount--;
if(writecount==0)
up(&sem_r);
spin_unlock(&lock1);
return count;
}
static __init int rwsem_init(void)
{
static int i;
init_MUTEX(&sem_r);
init_MUTEX(&sem_w);
for(i=0;i<2;i++){
kernel_thread(ThreadWrite,&i,CLONE_VM);
}
for(i=0;i<2;i++){
kernel_thread(ThreadRead,&i,CLONE_KERNEL);
}
for(i=2;i<5;i++){
kernel_thread(ThreadRead,&i,CLONE_KERNEL);
}
for(i=2;i<5;i++){
kernel_thread(ThreadWrite,&i,CLONE_KERNEL);
}
return 0;
}
static void rwsem_exit(void)
{
}
module_init(rwsem_init);
module_exit(rwsem_exit);
MODULE_AUTHOR("Mike Feng");
运行结果:
从结果上看,和我们上面的结果略有差别,因为我们这里实现的是写者优先算法。
读写锁:
读写信号量的实现是基于读写锁的。可以想到他们的应用都差不多。自旋锁、读写锁中不能有睡眠,我们就不做实验验证了,当你在锁之间添加msleep函数时,会造成系统崩溃。
顺序锁:
顺序锁和读写锁非常相似,只是他为写者赋予了较高的优先级:事实上,即使在读者正在读的时候也允许写者继续运行。这种策略的好处是写者永远不会等待(除非另外一个写者正在写),缺点是有些时候读者不得不反复读相同数据直到他获得有效的副本。
最后,为完整起见,附上代码的Makefile文件:
obj-m+=semaphore.o down_read.o spinlock.o
CURRENT:=$(shell pwd)
KERNEL_PATH:=/usr/src/kernels/$(shell uname -r)
all:
make -C $(KERNEL_PATH) M=$(CURRENT) modules
clean:
make -C $(KERNEL_PATH) M=$(CURRENT) clean
本篇文章来源于 Linux公社网站(www.linuxidc.com) 原文链接:http://www.linuxidc.com/Linux/2012-03/57667p5.htm
Linux内核同步机制之信号量与锁相关推荐
- Linux内核同步机制之(四):spin lock【转】
转自:http://www.wowotech.net/kernel_synchronization/spinlock.html 一.前言 在linux kernel的实现中,经常会遇到这样的场景:共享 ...
- linux 内核同步--理解原子操作、自旋锁、信号量(可睡眠)、读写锁、RCU锁、PER_CPU变量、内存屏障
内核同步 内核中可能造成并发的原因: 中断–中断几乎可以在任何时刻异步发生,也就可以随时打断当前正在执行的代码. 软中断和tasklet–内核能在任何时刻唤醒或调度软中断和tasklet,打断当前正在 ...
- 内核同步机制-读写信号量(rw_semaphore)
四.读写信号量(rw_semaphore) 读/写信号量适于在读多写少的情况下使用.如果一个任务需要读和写操作时,它将被看作写者,在不需要写操作的情况下可降级为读者.任意多个读者可同时拥有一个读/写信 ...
- linux 内核 同步机制
原子操作 原子操作是由编译器来保证的,保证一个线程对数据的操作不会被其他线程打断. 自旋锁 原子操作只能用于临界区只有一个变量的情况,实际应用中,临界区的情况要复杂的多.对于复杂的临界区,L ...
- Linux内核同步机制--自旋锁【转】
本文转载自:http://www.cppblog.com/aaxron/archive/2013/04/12/199386.html 自旋锁与互斥锁有点类似,只是自旋锁不会引起调用者睡眠,如果自旋锁已 ...
- Linux内核同步机制之completion
内核编程中常见的一种模式是,在当前线程之外初始化某个活动,然后等待该活动的结束.这个活动可能是,创建一个新的内核线程或者新的用户空间进程.对一个已有进程的某个请求,或者某种类型的硬件动作,等等.在这种 ...
- Linux线程同步机制四--信号量sem
一.信号量基本原理 信号量概念由荷兰科学家Dijkstra首先提出.信号量是一个特殊类型的变量,它可以被增加或者减少.但对其的关键访问被保证是原子操作,即使在一个多线程程序中也是如此. 信号量有两种类 ...
- Linux内核同步机制之(一):原子操作
作者: 郭健 来源: wowotech 一.源由 我们的程序逻辑经常遇到这样的操作序列: 1.读一个位于memory中的变量的值到寄存器中 2.修改该变量的值(也就是修改寄存器中的值) 3.将寄存器中 ...
- linux内核同步机制-RCU(3)
在正式开始之前,我们来回顾两个比较重要的概念,grace period和quiescent state. grace period的确定在rcu里很重要,它代表了读操作是否完成,也就是是否退出了临界区 ...
最新文章
- 网易云课堂 学习教程
- Unity3D之主菜单
- soft nms torch测试
- ~/.fcitx/config
- MATLAB之GUI学习经典举例
- Luggage Lock 偏移,bfs,预处理(2021.11.沈阳)
- eureka-server详解
- mysql 表单属性_php表单常用属性有什么?
- [vue] 移动端ui你用的是哪个ui库?有遇到过什么问题吗?
- Coursera自动驾驶课程第13讲:Least Squares
- 单点登陆_规避单点故障,MySQL 8.0 MGR软负载怎么选?
- python命令行参数作用_python中命令行参数和os模块常用函数
- 错误报告函数:strerror和perror
- ios 苹果支付(IAP)
- 博客营销成功案例分析
- LayUI分页查询展示数据(SSH框架)
- vue+js纯手写日历(包含农历,节假日)
- POJ - 1789 Truck History (最小生成树)
- Python---None
- easyui datagrid表格头部鼠标右键进行列隐藏和展示
热门文章
- mysql b 树 锁_mysql索引B+树、MVCC、锁一文搞懂
- python 数据变化——n次多项式
- django runserver开启服务(开启外网访问与ipv6访问)
- django-crontab 快速配置,高效执行django的定时任务/周期性任务
- Intellij IDEA 安装jnetpcap开发环境与 no jnetpcap in java.library.path 的解决方案
- Test 2018-07-19 二中集训
- [CF718C] Sasha and Array
- LeetCode 38. Count and Say
- Android Service与Thread的区别
- 对软件工程实践课程的预定目标