Linux内核同步方法(一)

简介: 版权声明:您好,转载请留下本人博客的地址,谢谢 https://blog.csdn.net/hongbochen1223/article/details/49101259 LInux...
版权声明:您好,转载请留下本人博客的地址,谢谢 https://blog.csdn.net/hongbochen1223/article/details/49101259

LInux内核提供了一组相当完备的同步方法.

(一):原子操作

原子操作是其他同步方法的基石.原子操作可以保证指令以原子的方式执行--执行过程不被打断.原子原本是指不可分割的微粒,所以,原子操作也就是不能够被分割的指令.两个原子操作绝对不可能并发的访问同一个变量.

内核提供了两组原子操作接口--一组针对整数的操作,另一组针对单独的位进行操作.在Linux支持的所有体系结构上都实现了这两组接口.大多数体系结构会提供支持原子操作的简单算术指令.

(1):原子整数操作

针对整数的原子操作只能对atomic_t类型的数据进行处理.在这里之所以引入了一个特殊的数据类型,而没有直接使用C语言的int类型,主要是出于两个原因:首先,让原子函数只接收atomic_t类型的操作数,可以确保原子操作只与这种特殊类型数据一起使用.同时,这也保证了该类型的数据不会被传递给任何非原子函数.其次,使用atomic_t类型确保编译器不对相应的值进行访问优化--这点使得原子操作最终接收到正确的内存地址,而不只是一个别名.最后,在不同体系结构上实现原子操作的时候,使用atomic_t可以屏蔽其间的差异.atomic_t类型定义在

typedef struct {
    volatile int counter;
} atomic_t;

#ifdef CONFIG_64BIT

typedef struct {
    volatile long counter;
} atomic64_t;
#endif

尽管Linux支持的所有机器上的整数数据都是32位的,但是使用atomic_t的代码只能将该类型的数据当做24位来使用.这个限制完全是因为在APARC体系结构上,原子操作的实现不同于其他体系结构:32位int类型的低8位被嵌入了一个锁,因为SPARC体系结构对原子操作缺乏指令级支持,所以只能利用该锁来避免对原子类型数据的并发访问.所以在SPARC机器上就只能使用24位了.虽然其他机器上的代码完全可以使用全部的32位,但是在SPARC机器上却可能会造成一些奇怪和微妙的错误.不过,最近SPARC可能已经支持32位的atomic_t了.

这里写图片描述

使用原子操作需要的声明都在asm/atomic.h文件中.有些体系结构会提供一些只能在该体系结构上使用的额外原子操作方法,但是所有的体系结构都能保证内核使用到的所有操作的最小集.在编写内核代码的时候,可以肯定,这个最小集合在所有的体系结构上都已经实现了.

定义一个atomic_t类型的数据方法很平常,还可以在定义的时候给他设定初值.

原子整数操作最常见的用途就是实现计数器.使用复杂的锁机制来保护一个单纯的计数器显然是杀鸡用了宰牛刀.所以,对于开发者来说,最好使用atomic_inc()和atomic_dec()这两个相对来说轻便一点的操作.

还可以用原子整数操作原子的执行一个操作并检查结果.一个常见的例子就是原子的减操作和检查.

int atomic_dec_and_test(atomic_t *v)

这个函数将给定的原子变量减1,如果结果为0,就返回真,否则结果返回假.某种特定的体系结构上是实现的所有操作可以在文件asm/atomic.h文件中找到.

我已经在我的另外一篇博客中讲述了该头文件,比较详细,可以看一下.

原子操作通常是内联函数,往往是通过内联汇编指令来实现的.如果某个函数本来就是原子的,那么他往往被定义成一个宏.例如,在大部分体系结构上,读取一个字本身就是原子操作,也就是说,在对一个字进行写入操作期间不可能完成对该字的读取.这样,把atomic_read()定义成一个宏,只须返回ztomic_t类型的整数值就可以了.

原子性和顺序性是不一样的.原子性确保指令执行期间不被打断,要么全部执行完,要么根本不执行.另一方面,顺序性确保即使两条或多条指令出现在独立的执行线程中,甚至独立的机器上,他们本该的执行顺序却依然要保持.

(2):64位原子操作

64位的原子操作是对长整型的一个封装,如果要使用64位的原子变量,则要使用atomic64_t,使用的方法和32位是一样的.

(3):原子位操作

除了原子整数操作以外,内核也提供了针对位这一级数据进行操作的函数.他们是与体系结构相关的操作,定义在文件asm/bitops.h中.

其中位操作函数是对普通的内存地址进行操作的.他的参数是一个指针和一个位号,第0位是给定地址的最低有效位,第31位是给定地址的最高有效位,第32位是下一个字的最低有效位.虽然,使用原子位操作在多数情况下是对一个字长的内存进行访问,因而位号应该位于0~31之间(64位是0~63),但是,对位号的范围并没有限制.

由于原子位操作是对普通的指针进行的操作,所以不像原子整型对应atomic_t,这里没有特殊的数据类型.相反,只要指针指向了任何你希望的数据,你就可以对他进行操作.

内核还提供了一组对于位的非原子操作.非原子函数和原子函数的操作完全相同.但是,前者不保证原子性,且其名字前缀多两个下划线.例如,与test_bit()相对应的非原子函数为__test_bit().如果你不需要原子操作(比如说,你已经用锁保护了自己的数据),那么这些非原子的位函数比原子的位函数可能会执行的快一些.

内核还提供了两个例程用来从指定的地址开始搜索第一个被设置的(或未被设置的)位:

int find_first_bit(unsigned long *addr,unsigned int size);
int find_first_zero_bit(unsigned long *addr,unsigned int size);

这两个函数中第一个参数是一个指针,第二个参数是要搜索的总位数.返回值分别是第一个被设置的(或没被设置)的位的位号.如果你的搜索范围仅限一个字,使用_ffs()和ffz()这两个函数更好,他们只需要给定一个要搜索的地址做参考.

 未完,待续----  

目录
相关文章
|
14天前
|
Linux C语言
Linux内核队列queue.h
Linux内核队列queue.h
|
15天前
|
关系型数据库 MySQL Linux
linux CentOS 7.4下 mysql5.7.20 密码改简单的方法
linux CentOS 7.4下 mysql5.7.20 密码改简单的方法
19 0
|
22天前
|
Ubuntu Linux
常用Linux开机启动添加方法
常用Linux开机启动添加方法
15 1
|
7天前
|
算法 Linux 调度
深入理解Linux内核的进程调度机制
【4月更文挑战第17天】在多任务操作系统中,进程调度是核心功能之一,它决定了处理机资源的分配。本文旨在剖析Linux操作系统内核的进程调度机制,详细讨论其调度策略、调度算法及实现原理,并探讨了其对系统性能的影响。通过分析CFS(完全公平调度器)和实时调度策略,揭示了Linux如何在保证响应速度与公平性之间取得平衡。文章还将评估最新的调度技术趋势,如容器化和云计算环境下的调度优化。
|
12天前
|
算法 Linux 调度
深度解析:Linux内核的进程调度机制
【4月更文挑战第12天】 在多任务操作系统如Linux中,进程调度机制是系统的核心组成部分之一,它决定了处理器资源如何分配给多个竞争的进程。本文深入探讨了Linux内核中的进程调度策略和相关算法,包括其设计哲学、实现原理及对系统性能的影响。通过分析进程调度器的工作原理,我们能够理解操作系统如何平衡效率、公平性和响应性,进而优化系统表现和用户体验。
20 3
|
15天前
|
Linux Shell 虚拟化
linux 部署docker容器虚拟化平台(二)--------docker 镜像制作方法
linux 部署docker容器虚拟化平台(二)--------docker 镜像制作方法
25 0
|
17天前
|
监控 Linux
|
19天前
|
负载均衡 算法 Linux
深度解析:Linux内核调度器的演变与优化策略
【4月更文挑战第5天】 在本文中,我们将深入探讨Linux操作系统的核心组成部分——内核调度器。文章将首先回顾Linux内核调度器的发展历程,从早期的简单轮转调度(Round Robin)到现代的完全公平调度器(Completely Fair Scheduler, CFS)。接着,分析当前CFS面临的挑战以及社区提出的各种优化方案,最后提出未来可能的发展趋势和研究方向。通过本文,读者将对Linux调度器的原理、实现及其优化有一个全面的认识。
|
19天前
|
Ubuntu Linux
Linux查看内核版本
在Linux系统中查看内核版本有多种方法:1) 使用`uname -r`命令直接显示版本号;2) 通过`cat /proc/version`查看内核详细信息;3) 利用`dmesg | grep Linux`显示内核版本行;4) 如果支持,使用`lsb_release -a`查看发行版及内核版本。
36 6
|
21天前
|
存储 缓存 监控
深入解析linux内存指标:快速定位系统内存问题的有效技巧与实用方法(free、top、ps、vmstat、cachestat、cachetop、sar、swap、动态内存、cgroops、oom)
深入解析linux内存指标:快速定位系统内存问题的有效技巧与实用方法(free、top、ps、vmstat、cachestat、cachetop、sar、swap、动态内存、cgroops、oom)