原语,原子,线程安全

原子操作和原语是计算机科学中常见的概念,通常用于多线程或多进程环境中,以确保数据的一致性和同步。

原子操作(Atomic Operations)

原子操作是不可再分的操作,在执行完毕之前不会被线程调度系统中断的操作。从外部看,一个原子操作要么是完全执行完成的,要么是未执行的,没有中间状态。这种特性使原子操作成为实现同步机制如互斥锁(mutexes)和信号量(semaphores)的理想选择。

原理:

原子操作的原理通常是基于硬件支持实现的。现代的CPU提供了一组特殊的指令,例如x86架构的CMPXCHG(比较并交换)和LOCK前缀指令,ARM架构的LDREX/STREX(加载-存储独占)指令等,它们可以用来创建无法被中断的操作序列。

实现:

原子操作在编程语言中通常以库的形式提供。例如,C++11及更高版本中提供了<atomic>头文件,支持多种原子操作。在Linux中,GCC提供了__sync和__atomic内置函数,用于实现原子操作。

原语(Primitives)

原语是操作系统提供的一组基础函数或操作,它们是建立更高级别同步构造(如锁、信号量等)的基础。在多任务和多线程编程中,这些原语通常用来控制资源的访问,保证在任何时刻只有一个线程可以使用该资源。

原理:

原语的实现依赖于操作系统内核提供的功能。操作系统设计了一套机制来确保在执行这些原语时可以维持进程间或线程间的同步。

实现:

操作系统通常提供系统调用或内核API来实现原语操作。例如,在Linux中,原语包括:

  • futexes(快速用户态互斥锁): 一种在用户态提供锁机制的系统调用。
  • spinlocks: 在内核中广泛使用的一种忙等锁,适用于锁持有时间非常短的情况。

例子:原子操作实现自旋锁

自旋锁是一种简单的锁,它在等待锁释放时不断循环检查锁的状态,这就需要原子操作来确保检查和设置锁状态的操作是不可分割的。

 
typedef struct spinlock {volatile int lock;
} spinlock_t;// 初始化锁
void spinlock_init(spinlock_t *lock) {__atomic_clear(&lock->lock, __ATOMIC_RELAXED);
}// 获取锁
void spinlock_lock(spinlock_t *lock) {while (__atomic_test_and_set(&lock->lock, __ATOMIC_ACQUIRE)) {// 在这里自旋等待lock被释放}
}// 释放锁
void spinlock_unlock(spinlock_t *lock) {__atomic_clear(&lock->lock, __ATOMIC_RELEASE);
}

在上面的代码中,__atomic_test_and_set 是GCC的一个原子操作函数,它会设置lock变量的值,并返回它之前的值。如果之前的值是0,表示锁是可用的,函数则会获取锁。否则,它会进入自旋等待状态。释放锁时使用__atomic_clear来将lock设置为0。

原子操作和原语是构建并发控制机制的基石,它们的正确实现对于保证程序的正确性和效率至关重要。

---------------------------------------------------------------------------------------------------------------------------

原语

内核或微核提供核外调用的过程或函数称为原语(primitive)。

原语是一段用机器指令编写的完成特定功能的程序,在执行过程中不允许中断。

BaiDu 解析

Introduction

操作系统用语范畴。  primitive or atomic action 是由若干多机器指令构成的完成某种特定功能的一段程序,具有不可分割性.即原语的执行必须是连续的,在执行过程中不允许被中断   不同层次之间对话的语言称为原语,即不同层之间通过原语来实现信息交换

Type

请求(Req)型原语,用于高层向低层请求某种业务;

证实(Cfm)型原语,用于提供业务的层证实某个动作已经完成;

指示(Ind)型原语,用于提供业务的层向高层报告一个与特定业务相关的动作;

响应(Res)型原语,用于应答,表示来自高层的指示原语已收到。

Application

原语通常由若干条指令组成,用来实现某个特定的操作。

通过一段不可分割的或不可中断的程序实现其功能。

原语是操作系统的核心,它不是由进程而是由一组程序模块所组成,是操作系统的一个组成部分,它必须在管态(一种机器状态,管态下执行的程序可以执行特权和非特权两类指令,通常把它定义为操作系统的状态)下执行,并且常驻内存,而个别系统有一部分不在管态下运行。

原语和广义指令都可以被进程所调用,两者的差别在于原语有不可中断性,它是通过在执行过程中关闭中断实现的,且一般由系统进程调用。

许多广义指令的功能都可用目态(一种机器状态,通常把它作为用户程序执行时的状态)下运行的系统进程完成,而不一定要在管态下完成。

例如文件的建立、打开、关闭、删除等广义指令,都是借助中断进入管态程序,然后转交给相应的进程,最终由进程实现其功能。  

引进原语的主要目的是为了实现进程的通信和控制。

原子操作

在多进程(线程)的操作系统中不能被其它进程(线程)打断的操作就叫原子操作,文件的原子操作是指操作文件时的不能被打断的操作。

原子还有一层意思,当该次操作不能完成的时候,必须回到操作之前的状态,原子操作不可拆分。

所有原子操作是同步的,而且不可被外部中断(内中断可以,不过一般是致命错误处理)。
 

也就是说,原子操作是中断安全的。

---------------------------------------------------------------------------------------------------------------

线程安全

如果你的代码所在的进程中有多个线程在同时运行,而这些线程可能会同时运行这段代码。如果每次运行结果和单线程运行的结果是一样的,而且其他的变量的值也和预期的是一样的,就是线程安全的。或者说:一个类或者程序所提供的接口对于线程来说是原子操作或者多个线程之间的切换不会导致该接口的执行结果存在二义性,也就是说我们不用考虑同步的问题。

线程安全问题都是由全局变量及静态变量引起的。若每个线程中对全局变量、静态变量只有读操作,而无写操作,一般来说,这个全局变量是线程安全的;若有多个线程同时执行写操作,一般都需要考虑线程同步,否则就可能影响线程安全。      

线程安全就是多线程访问时,采用了加锁机制,当一个线程访问该类的某个数据时,进行保护,其他线程不能进行访问直到该线程读取完,其他线程才可使用。不会出现数据不一致或者数据污染。 线程不安全就是不提供数据访问保护,有可能出现多个线程先后更改数据造成所得到的数据是脏数据

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/678176.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

「递归算法」:反转链表

一、题目 给你单链表的头节点 head &#xff0c;请你反转链表&#xff0c;并返回反转后的链表。 示例 1&#xff1a; 输入&#xff1a;head [1,2,3,4,5] 输出&#xff1a;[5,4,3,2,1]示例 2&#xff1a; 输入&#xff1a;head [1,2] 输出&#xff1a;[2,1]示例 3&#xff1a…

提升幸福感,中国的龙!理性看待个人发声——早读

打了过年球&#xff0c;爽&#xff01; 引言代码第一篇 人民日报 【夜读】新的一年&#xff0c;提升幸福感的6件小事第二篇 茶百道的广告文第三篇 人民日报 热搜第一&#xff01;《山河诗长安》&#xff0c;太燃了第四篇 人民日报 中国有真龙第五篇 人民日报 来啦 新闻早班车要…

C++ dfs 的状态表示(五十一)【第十一篇】

今天我们接着学习dfs&#xff08;状态表示&#xff09;。 1.抽象形式的dfs 前面用到的 DFS 算法都是比较容易想象出搜索过程的&#xff0c;接下来我们看一些不那么容易想象搜索过程的 DFS 过程&#xff0c;这些问题我们称为抽象形式的 DFS。 来回顾一下上节课遇到的一个问题&a…

vue对于安装依赖时不好习惯的反省

因为一个不好的习惯&#xff0c;我总是喜欢–save去安装依赖包&#xff0c;然后发现最后打包后的内容总是很大。就想着怎么能让包小一些&#xff0c;就发现我遗漏了vue安装依赖的一个小知识点 安装依赖的时候可以-s -d -g去安装&#xff0c;要根据使用的内容选择去安装&#xf…

【制作100个unity游戏之25】3D背包、库存、制作、快捷栏、存储系统、砍伐树木获取资源、随机战利品宝箱1(附带项目源码)

效果演示 文章目录 效果演示系列目录前言人物和视角基本控制简单的背包系统和物品交互绘制背包UI脚本控制 源码完结 系列目录 前言 欢迎来到【制作100个Unity游戏】系列&#xff01;本系列将引导您一步步学习如何使用Unity开发各种类型的游戏。在这第25篇中&#xff0c;我们将…

systemctl启动服务空间不足的问题

一、描述 使用systemctl重启服务时显示空间不足&#xff0c;但是实际的空间是足够的。有多种表现形式&#xff0c;但一般都会显示空间不足&#xff0c;以下是一种可能情况&#xff1a; Failed to add /run/systemd/ask-password to directory watch: No space left on device…

【实习】深信服防火墙网络安全生产实习

一、实习概况 1.1实习目的 1.掌握防火墙规则的作用2.掌握代理上网功能的作用3.掌握端口映射功能的作用 1.2实习任务 1.防火墙的WEB控制台 2.需要在防火墙上配置dnat …

C语言第二十二弹---指针(六)

✨个人主页&#xff1a; 熬夜学编程的小林 &#x1f497;系列专栏&#xff1a; 【C语言详解】 【数据结构详解】 指针 1. 回调函数是什么&#xff1f; 2、qsort使用举例 2.1、使用qsort函数排序整型数据 2.2 使用qsort排序结构体数据 3、qsort函数的模拟实现 总结 1. 回…

FFmpeg中的Color颜色参数解析、转码和HDR

前言 视频中帧的颜色信息非常重要&#xff0c;表示着编码时用到的标准&#xff0c;意味着解码时也要对应上&#xff0c;或者要使用正确的转换函数&#xff0c;否则就会带来色差问题。 关于FFmpeg中的颜色参数&#xff0c;有下边几个重要的结构体&#xff1a; 颜色参数相关的结…

C++ //练习 5.5 写一段自己的程序,使用if else语句实现把数字成绩转换成字母成绩的要求。

C Primer&#xff08;第5版&#xff09; 练习 5.5 练习 5.5 写一段自己的程序&#xff0c;使用if else语句实现把数字成绩转换成字母成绩的要求。 环境&#xff1a;Linux Ubuntu&#xff08;云服务器&#xff09; 工具&#xff1a;vim 代码块 /***************************…

Linux操作系统基础(七):Linux常见命令(二)

文章目录 Linux常见命令&#xff08;二&#xff09; 一、kill命令 二、ifconfig命令 三、clear命令 四、重启与关机命令 五、which命令 六、hostname命令 七、grep命令 八、|管道 九、useradd命令 十、userdel命令 十一、tar命令 十二、su命令 十三、ps命令 Linu…

腾讯云4核8G服务器多少钱?2024精准报价

腾讯云4核8G服务器S5和轻量应用服务器优惠价格表&#xff0c;轻量应用服务器和CVM云服务器均有活动&#xff0c;云服务器CVM标准型S5实例4核8G配置价格15个月1437.3元&#xff0c;5年6490.44元&#xff0c;标准型SA2服务器1444.8元一年&#xff0c;轻量应用服务器4核8G12M带宽一…

Docker 面试题 100 道

涵盖了Docker的基础知识、常用命令、网络和存储管理、Docker Compose、Docker Swarm等方面。 下面是一些样例面试题及其答案&#xff1a; 基础概念 什么是Docker&#xff1f; 答&#xff1a;Docker是一个开源的容器化平台&#xff0c;它允许开发者将应用及其依赖打包到一个轻量…

C语言-----自定义类型-----结构体枚举联合

结构体和数组一样&#xff0c;都是一群数据的集合&#xff0c;不同的是数组当中的数据是相同的类型&#xff0c;但是结构体中的数据类型可以不相同&#xff0c;结构体里的成员叫做成员变量 结构体类型是C语言里面的一种自定义类型&#xff0c;我们前面已经了解到过int,char,fl…

ChatGPT高效提问—prompt常见用法(续篇九)

ChatGPT高效提问—prompt常见用法(续篇九) ​ 如何准确地向大型语言模型提出问题,使其更好地理解我们的意图,从而得到期望的答案呢?编写有效的prompt的技巧,精心设计的prompt,获得期望的的答案。 1.1 增加条件 ​ 在各种prompt技巧中,增加条件是最常用的。在prompt中…

JS中ES5和ES6的区别

前言 ES5是JavaScript的第五个修订版本&#xff0c;于2009年发布。而ES6是JavaScript的第六个修订版本&#xff0c;也称为ES2015&#xff0c;于2015年发布。以下是它们两个版本之前的一些区别&#xff1a; 变量声明方式 在ES5中&#xff0c;使用var关键字进行变量声明&#…

【漏洞复现】狮子鱼CMS某SQL注入漏洞01

Nx01 产品简介 狮子鱼CMS&#xff08;Content Management System&#xff09;是一种网站管理系统&#xff0c;它旨在帮助用户更轻松地创建和管理网站。该系统拥有用户友好的界面和丰富的功能&#xff0c;包括页面管理、博客、新闻、产品展示等。通过简单直观的管理界面&#xf…

2024年 前端JavaScript入门到精通 第一天

主要讲解JavaScript核心知识&#xff0c;包含最新ES6语法&#xff0c;从基础到API再到高级。让你一边学习一边练习&#xff0c;重点知识及时实践&#xff0c;同时每天安排大量作业&#xff0c;加深记忆&#xff0c;巩固学习成果。 1.1 基本软件与准备工作 1.2 JavaScript 案例 …

6 scala-面向对象编程基础

Scala 跟 Java 一样&#xff0c;是一门面向对象编程的语言&#xff0c;有类和对象的概念。 1 类与对象 与 Java 一样&#xff0c;Scala 也是通过关键字 class 来定义类&#xff0c;使用关键字 new 创建对象。 要运行我们编写的代码&#xff0c;同样像 Java 一样&#xff0c;…

力扣面试题 17.04. 消失的数字(求和,位运算)

Problem: 面试题 17.04. 消失的数字 文章目录 题目描述思路复杂度Code 题目描述 思路 思路1:求和 先求取1-n的数字和,再减去数组中所有元素的和即为缺失数 思路2:位运算 我们利用异或运算的特性:相同位为0,不同位为1;0与仍何数异或后得到仍何数,即我们先另一个变量(初始为0)与…