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); 功能:信号量加操作


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


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

相关文章
|
16天前
|
算法 Linux 调度
深入理解Linux内核调度器:从基础到优化####
本文旨在通过剖析Linux操作系统的心脏——内核调度器,为读者揭开其高效管理CPU资源的神秘面纱。不同于传统的摘要概述,本文将直接以一段精简代码片段作为引子,展示一个简化版的任务调度逻辑,随后逐步深入,详细探讨Linux内核调度器的工作原理、关键数据结构、调度算法演变以及性能调优策略,旨在为开发者与系统管理员提供一份实用的技术指南。 ####
57 4
|
5天前
|
缓存 网络协议 Linux
深入探索Linux操作系统的内核优化策略####
本文旨在探讨Linux操作系统内核的优化方法,通过分析当前主流的几种内核优化技术,结合具体案例,阐述如何有效提升系统性能与稳定性。文章首先概述了Linux内核的基本结构,随后详细解析了内核优化的必要性及常用手段,包括编译优化、内核参数调整、内存管理优化等,最后通过实例展示了这些优化技巧在实际场景中的应用效果,为读者提供了一套实用的Linux内核优化指南。 ####
19 1
|
10天前
|
算法 Linux 开发者
Linux内核中的锁机制:保障并发控制的艺术####
本文深入探讨了Linux操作系统内核中实现的多种锁机制,包括自旋锁、互斥锁、读写锁等,旨在揭示这些同步原语如何高效地解决资源竞争问题,保证系统的稳定性和性能。通过分析不同锁机制的工作原理及应用场景,本文为开发者提供了在高并发环境下进行有效并发控制的实用指南。 ####
|
18天前
|
缓存 资源调度 安全
深入探索Linux操作系统的心脏——内核配置与优化####
本文作为一篇技术性深度解析文章,旨在引领读者踏上一场揭秘Linux内核配置与优化的奇妙之旅。不同于传统的摘要概述,本文将以实战为导向,直接跳入核心内容,探讨如何通过精细调整内核参数来提升系统性能、增强安全性及实现资源高效利用。从基础概念到高级技巧,逐步揭示那些隐藏在命令行背后的强大功能,为系统管理员和高级用户打开一扇通往极致性能与定制化体验的大门。 --- ###
48 9
|
17天前
|
缓存 负载均衡 Linux
深入理解Linux内核调度器
本文探讨了Linux操作系统核心组件之一——内核调度器的工作原理和设计哲学。不同于常规的技术文章,本摘要旨在提供一种全新的视角来审视Linux内核的调度机制,通过分析其对系统性能的影响以及在多核处理器环境下的表现,揭示调度器如何平衡公平性和效率。文章进一步讨论了完全公平调度器(CFS)的设计细节,包括它如何处理不同优先级的任务、如何进行负载均衡以及它是如何适应现代多核架构的挑战。此外,本文还简要概述了Linux调度器的未来发展方向,包括对实时任务支持的改进和对异构计算环境的适应性。
38 6
|
18天前
|
缓存 Linux 开发者
Linux内核中的并发控制机制:深入理解与应用####
【10月更文挑战第21天】 本文旨在为读者提供一个全面的指南,探讨Linux操作系统中用于实现多线程和进程间同步的关键技术——并发控制机制。通过剖析互斥锁、自旋锁、读写锁等核心概念及其在实际场景中的应用,本文将帮助开发者更好地理解和运用这些工具来构建高效且稳定的应用程序。 ####
35 5
|
18天前
|
算法 Unix Linux
深入理解Linux内核调度器:原理与优化
本文探讨了Linux操作系统的心脏——内核调度器(Scheduler)的工作原理,以及如何通过参数调整和代码优化来提高系统性能。不同于常规摘要仅概述内容,本摘要旨在激发读者对Linux内核调度机制深层次运作的兴趣,并简要介绍文章将覆盖的关键话题,如调度算法、实时性增强及节能策略等。
|
18天前
|
Java Linux Android开发
深入探索Android系统架构:从Linux内核到应用层
本文将带领读者深入了解Android操作系统的复杂架构,从其基于Linux的内核到丰富多彩的应用层。我们将探讨Android的各个关键组件,包括硬件抽象层(HAL)、运行时环境、以及核心库等,揭示它们如何协同工作以支持广泛的设备和应用。通过本文,您将对Android系统的工作原理有一个全面的认识,理解其如何平衡开放性与安全性,以及如何在多样化的设备上提供一致的用户体验。
|
18天前
|
缓存 运维 网络协议
深入Linux内核架构:操作系统的核心奥秘
深入Linux内核架构:操作系统的核心奥秘
36 2
|
Linux 程序员 API
Linux 同步机制比较与联系
操作系统提供的同步原语包括:互斥锁、读写锁、条件变量、信号量,支持多任务的OS一般都会实现上述几种同步方式。Linux作为多任务、多用户系统,同样实现了上述几种同步方式。对于在Linux系统下编程的程序员来说,可能都或多或少的使用或者听说过这几种方式,对于它们的基本使用方式可能都大体的解了。
142 0