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()这两个函数更好,他们只需要给定一个要搜索的地址做参考.

 未完,待续----  

目录
相关文章
|
11月前
|
安全 网络协议 Linux
深入理解Linux内核模块:加载机制、参数传递与实战开发
本文深入解析了Linux内核模块的加载机制、参数传递方式及实战开发技巧。内容涵盖模块基础概念、加载与卸载流程、生命周期管理、参数配置方法,并通过“Hello World”模块和字符设备驱动实例,带领读者逐步掌握模块开发技能。同时,介绍了调试手段、常见问题排查、开发规范及高级特性,如内核线程、模块间通信与性能优化策略。适合希望深入理解Linux内核机制、提升系统编程能力的技术人员阅读与实践。
984 1
|
11月前
|
Ubuntu Linux
Ubuntu 23.04 用上 Linux 6.2 内核,预计下放到 22.04 LTS 版本
Linux 6.2 带来了多项内容更新,修复了 AMD 锐龙处理器设备在启用 fTPM 后的运行卡顿问题,还增强了文件系统。
|
11月前
|
Ubuntu Linux
Ubuntu 23.10 现在由Linux内核6.3提供支持
如果你想在你的个人电脑上测试一下Ubuntu 23.10的最新开发快照,你可以从官方下载服务器下载最新的每日构建ISO。然而,请记住,这是一个预发布版本,所以不要在生产机器上使用或安装它。
|
11月前
|
传感器 监控 Ubuntu
10 月发布,Ubuntu 23.10 已升级到 Linux Kernel 6.3 内核
硬件方面,Linux 6.3 引入了在 HID 中引入了原生的 Steam Deck 控制器接口,允许罗技 G923 Xbox 版赛车方向盘在 Linux 上运行;改善 8BitDo Pro 2 有线控制器的行为;并为一系列华硕 Ryzen 主板添加传感器监控。
|
11月前
|
Ubuntu Linux
Ubuntu24.04LTS默认采用Linux 6.8内核,实验性版本可通过PPA获得
IT之家提醒,当下的 Ubuntu 23.10 也是一个“短期支持版本”,该版本将在今年 7 月终止支持,而今年 4 月推出的 Ubuntu 24.04 LTS 长期支持版本将获得 5 年的更新支持。
|
11月前
|
Ubuntu 物联网 Linux
从零安装一个Linux操作系统几种方法,以Ubuntu18.04为例
一切就绪后,我们就可以安装操作系统了。当系统通过优盘引导起来之后,我们就可以看到跟虚拟机中一样的安装向导了。之后,大家按照虚拟机中的顺序安装即可。 好了,今天主要介绍了Ubuntu Server版操作系统的安装过程,关于如何使用该操作系统,及操作系统更深层的原理,还请关注本号及相关圈子。
|
11月前
|
缓存 监控 Linux
Linux系统清理缓存(buff/cache)的有效方法。
总结而言,在大多数情形下你不必担心Linux中buffer与cache占用过多内存在影响到其他程序运行;因为当程序请求更多内存在没有足够可用资源时,Linux会自行调整其占有量。只有当你明确知道当前环境与需求并希望立即回收这部分资源给即将运行重负载任务之前才考虑上述方法去主动干预。
2600 10
|
11月前
|
监控 Ubuntu Linux
什么Linux,Linux内核及Linux操作系统
上面只是简单的介绍了一下Linux操作系统的几个核心组件,其实Linux的整体架构要复杂的多。单纯从Linux内核的角度,它要管理CPU、内存、网卡、硬盘和输入输出等设备,因此内核本身分为进程调度,内存管理,虚拟文件系统,网络接口等4个核心子系统。
1082 0
|
11月前
|
Web App开发 缓存 Rust