Linux内核的同步互斥机制

简介: 自旋锁相关函数声明和数据类型定义,在linux/spinlock.h中

一:什么是同步与互斥


互斥与同步机制是计算机系统中,用于控制进程对某些特定资源的访问的机制。
同步是指用于实现控制多个进程按照一定的规则或顺序访问某些系统资源的机制。
互斥是指用于实现控制某些系统资源在任意时刻只能允许一个进程访问的机制。
互斥是同步机制中的一种特殊情况。同步机制是linux操作系统可以高效稳定运行的重要机制。
同步:强调的是顺序性 
互斥:强调的是排他性
竞态:多个执行单元同时被执行,处理的是同一个资源,就会导致竞态
导致竞态原因: 
  1.多进程同时访问操作临界资源(进程和抢占它的进程之间会导致竞态) 
  2.进程和中断 
  3.对称多处理器


二:解决竞态的具体方法

1.屏蔽中断


中断屏蔽;local_irq_disable() 临界区; 使能中断;local_irq_enable()


    要求:临界区代码执行时间足够短。
    中断屏蔽函数,只能屏蔽本CPU的中断


2.自旋锁


自旋锁相关函数声明和数据类型定义,在linux/spinlock.h中


自旋锁数据类型:spinlock_t


spin_lock_init(spinlock_t *lock) 功能:初始化自旋锁 参数: @lock 自旋锁结构体指针
void spin_lock(spinlock_t *lock) 功能:自旋锁上锁 参数: @lock 自旋锁结构体指针


  int spin_trylock(spinlock_t *lock) 功能:自旋锁上锁 参数: @lock    自旋锁结构体指针  特点:如果上锁失败,错误返回
  void spin_unlock(spinlock_t *lock) 功能:自旋锁解锁 参数: @lock    自旋锁结构体指针 
 void flags_init(int *flags,int val) 2 { 3  *flags = val; 4 } 5 int flags_sub_and_test(int *flags) 6 { 7  (*flags)‐‐;
8  if(*flags == 0){ 9  return 1; 10  }else{ 11  return 0; 12  } 13 } 14 void flags_add(int *flags,int val) 15 { 16  *flags+=val; 17 }
18 19 int demo_open(struct inode *inode, struct file *filp) 20 { 21  spin_lock(&(my_cdev‐>spin)); 22  if(!flags_sub_and_test(&(my_cdev‐>flags))){ 23  flags_add(&(my_cdev‐>flags),1); 24  spin_unlock(&(my_cdev‐>spin)); 25  return ‐EBUSY; 26  } 27  spin_unlock(&(my_cdev‐>spin)); 28  printk("‐‐‐devfile_minor:%d‐‐‐\n",MINOR(inode‐>i_rdev)); 29  printk(KERN_DEBUG "‐‐‐%s‐‐‐%s‐‐‐%d‐‐‐\n",__FILE__,__func__,__LINE__); 30  return 0; 31 }
32 33 int demo_release(struct inode *inode, struct file *filp) 34 { 35  spin_lock(&(my_cdev‐>spin)); 36  flags_add(&(my_cdev‐>flags),1); 37  spin_unlock(&(my_cdev‐>spin)); 38  printk(KERN_DEBUG "‐‐‐%s‐‐‐%s‐‐‐%d‐‐‐\n",__FILE__,__func__,__LINE__); 39  return 0; 40 }
41 42 int __init demo_init(void) 43 { 44  ... 45  flags_init(&(my_cdev‐>flags),1); 46  spin_lock_init(&(my_cdev‐>spin)); 47  return 0;
48 }


3.原子操作


对变量的操作,一次性完成,中间不能被打断。 要完成原子操作,必须使用到汇编代码,C嵌套汇编的形式实现。 汇编代码和体系架构相关。 <asm/atomic.h>


原子操作相关的代码:


原子变量的数据类型: typedef struct { int counter; } atomic_t; atomic_set(atomic_t *v,int i) //设置原子变量值 void atomic_add(int i, atomic_t *v) //原子变量加i int atomic_add_return(int i, atomic_t *v) //对原子变量进行加操作,操作后,返回 加完以后的值 void atomic_sub(int i, atomic_t *v) //原子变量减i int atomic_sub_return(int i, atomic_t *v) //对原子变量进行减操作,操作后,返回 加完以后的值
#define atomic_inc(v) atomic_add(1, v) //自加 #define atomic_dec(v) atomic_sub(1, v) //自减
#define atomic_inc_and_test(v) (atomic_add_return(1, v) == 0) //自加并测 试,和0进行比较 #define atomic_dec_and_test(v) (atomic_sub_return(1, v) == 0) //自减并测 试,和0进行比较


/

1 int demo_open(struct inode *inode, struct file *filp) 2 { 3  if(!atomic_dec_and_test(&(my_cdev‐>ato))){ 4  atomic_inc(&(my_cdev‐>ato)); 5  return ‐EBUSY; 6  } 7  printk("‐‐‐devfile_minor:%d‐‐‐\n",MINOR(inode‐>i_rdev)); 8  printk(KERN_DEBUG "‐‐‐%s‐‐‐%s‐‐‐%d‐‐‐\n",__FILE__,__func__,__LINE__); 9  return 0; 10 }
11 12 int demo_release(struct inode *inode, struct file *filp) 13 { 14  atomic_inc(&(my_cdev‐>ato)); 15  printk(KERN_DEBUG "‐‐‐%s‐‐‐%s‐‐‐%d‐‐‐\n",__FILE__,__func__,__LINE__); 16  return 0; 17 }
18 19 int __init demo_init(void) 20 { 21  ... 22  atomic_set(&(my_cdev‐>ato),1); 23  ... 24  return 0; 25 }


4.互斥体


<linux/mutex.h> 互斥体的数据类型: struct mutex
mutex_init(struct mutex *mutex) 功能:初始化互斥体
参数: @mutex 互斥体结构体指针
void mutex_lock(struct mutex *lock) //上锁 void mutex_unlock(struct mutex *lock) //解锁


1.初始化 2.找到临界资源和临界区 3.使用互斥体来保护临界区


互斥体上锁 —>>> 互斥体上锁失败,会导致应用层进程休眠 临界区 互斥体解锁


5.信号量

信号量的操作本质就是PV操作(加减操作),如果信号量为0,执行减操作失败,会导 致应用层进程休眠。


<linux/semaphore.h>
信号量数据类型: struct semaphore
#define DEFINE_SEMAPHORE(name)     //定义并初始化信号量,name 信号量变 量名
void sema_init(struct semaphore *sem, int val) 功能:初始化信号量 参数: @sem  信号量结构体指针 @val        初始化信号量的值
void down(struct semaphore *sem);
功能:信号量减操作,减失败后进程休眠等(不可中断休眠态) int  down_interruptible(struct semaphore *sem); 功能:信号量减操作,减失败后进程休眠等(可中断休眠态) int  down_trylock(struct semaphore *sem); 功能:信号量减操作,减操作失败,报错返回 void up(struct semaphore *sem); 功能:信号量加操作


进程的可中断和不可中断指的是被信号中断


信号量可以实现同步,也可以实现互斥,就看信号量的值被初始化成几

相关文章
|
3天前
|
算法 Linux 开发者
深入探究Linux内核中的内存管理机制
本文旨在对Linux操作系统的内存管理机制进行深入分析,探讨其如何通过高效的内存分配和回收策略来优化系统性能。文章将详细介绍Linux内核中内存管理的关键技术点,包括物理内存与虚拟内存的映射、页面置换算法、以及内存碎片的处理方法等。通过对这些技术点的解析,本文旨在为读者提供一个清晰的Linux内存管理框架,帮助理解其在现代计算环境中的重要性和应用。
|
1天前
|
缓存 网络协议 Linux
Linux操作系统内核
Linux操作系统内核 1、进程管理: 进程调度 进程创建与销毁 进程间通信 2、内存管理: 内存分配与回收 虚拟内存管理 缓存管理 3、驱动管理: 设备驱动程序接口 硬件抽象层 中断处理 4、文件和网络管理: 文件系统管理 网络协议栈 网络安全及防火墙管理
18 4
|
3天前
|
人工智能 算法 大数据
Linux内核中的调度算法演变:从O(1)到CFS的优化之旅###
本文深入探讨了Linux操作系统内核中进程调度算法的发展历程,聚焦于O(1)调度器向完全公平调度器(CFS)的转变。不同于传统摘要对研究背景、方法、结果和结论的概述,本文创新性地采用“技术演进时间线”的形式,简明扼要地勾勒出这一转变背后的关键技术里程碑,旨在为读者提供一个清晰的历史脉络,引领其深入了解Linux调度机制的革新之路。 ###
|
5天前
|
算法 Linux 定位技术
Linux内核中的进程调度算法解析####
【10月更文挑战第29天】 本文深入剖析了Linux操作系统的心脏——内核中至关重要的组成部分之一,即进程调度机制。不同于传统的摘要概述,我们将通过一段引人入胜的故事线来揭开进程调度算法的神秘面纱,展现其背后的精妙设计与复杂逻辑,让读者仿佛跟随一位虚拟的“进程侦探”,一步步探索Linux如何高效、公平地管理众多进程,确保系统资源的最优分配与利用。 ####
28 4
|
6天前
|
缓存 负载均衡 算法
Linux内核中的进程调度算法解析####
本文深入探讨了Linux操作系统核心组件之一——进程调度器,着重分析了其采用的CFS(完全公平调度器)算法。不同于传统摘要对研究背景、方法、结果和结论的概述,本文摘要将直接揭示CFS算法的核心优势及其在现代多核处理器环境下如何实现高效、公平的资源分配,同时简要提及该算法如何优化系统响应时间和吞吐量,为读者快速构建对Linux进程调度机制的认知框架。 ####
|
7天前
|
消息中间件 存储 Linux
|
8天前
|
缓存 Linux
揭秘Linux内核:探索CPU拓扑结构
【10月更文挑战第26天】
25 1
|
8天前
|
缓存 运维 Linux
深入探索Linux内核:CPU拓扑结构探测
【10月更文挑战第18天】在现代计算机系统中,CPU的拓扑结构对性能优化和资源管理至关重要。了解CPU的核心、线程、NUMA节点等信息,可以帮助开发者和系统管理员更好地调优应用程序和系统配置。本文将深入探讨如何在Linux内核中探测CPU拓扑结构,介绍相关工具和方法。
10 0
|
14天前
|
缓存 算法 安全
深入理解Linux操作系统的心脏:内核与系统调用####
【10月更文挑战第20天】 本文将带你探索Linux操作系统的核心——其强大的内核和高效的系统调用机制。通过深入浅出的解释,我们将揭示这些技术是如何协同工作以支撑起整个系统的运行,同时也会触及一些常见的误解和背后的哲学思想。无论你是开发者、系统管理员还是普通用户,了解这些基础知识都将有助于你更好地利用Linux的强大功能。 ####
25 1
|
6天前
|
缓存 算法 Linux
Linux内核中的内存管理机制深度剖析####
【10月更文挑战第28天】 本文深入探讨了Linux操作系统的心脏——内核,聚焦其内存管理机制的奥秘。不同于传统摘要的概述方式,本文将以一次虚拟的内存分配请求为引子,逐步揭开Linux如何高效、安全地管理着从微小嵌入式设备到庞大数据中心数以千计程序的内存需求。通过这段旅程,读者将直观感受到Linux内存管理的精妙设计与强大能力,以及它是如何在复杂多变的环境中保持系统稳定与性能优化的。 ####
13 0