【并发缺陷】data race数据竞争、atomicity violation原子违背、order violation顺序违背

本文介绍了并发编程中的三种重要缺陷:data race、atomicity violation和order violation。数据竞争发生在并发线程对同一内存位置无保护地进行读写操作时。原子性违背是指原子性执行的代码块在并发执行中交错,导致预期结果无法达成。顺序违背则涉及内存访问顺序与程序员预期不符,可能导致执行错误。理解并避免这些缺陷对于构建可靠的并发系统至关重要。
摘要由CSDN通过智能技术生成

三类均是跟共享变量的内存访问有关的缺陷。
对于并发缺陷的分类目前国内许多是分死锁、数据竞争、原子违背、顺序违背。
在这里插入图片描述或者在并发缺陷中又细分 concurrency vulnerability :死锁和数据竞争。
感觉各个作者有自己的分类方法?

以下引用的中文解释来自<并发缺陷暴露、检测与规避研究综述>哈工大的苏小红老师实验室发表在2015年计算机学报上

目前找到外文文献分为7类。其他四类是我上篇说的死锁(Deadlock)、活锁(LiveLock)、饥饿(Starvation)、挂起(Suspension)

data race数据竞争

race condition竞用条件:

  1. 并发线程在同一个内存地址上操作
  2. 其中至少一个是写操作
  3. 内存没有使用同步机制

注意:满足竞用条件时,不一定产生数据竞争。
Data race occurs when at least two threads access the same memory location , with at least one of them writing data to that location and these accesses are not protected by locks
谷歌翻译: 当至少两个线程访问同一内存位置时发生数据争用,其中至少一个线程将数据写入该位置,并且这些访问不受锁的保护
中文解释࿱

  • 2
    点赞
  • 7
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
在Linux系统上使用VS Code配置C/C++环境可以提供一个方便的开发环境。以下是配置步骤: 1. 安装VS Code:首先,你需要在Linux系统上安装VS Code。你可以从VS Code官方网站下载适用于Linux的安装包,并按照指示进行安装。 2. 安装C/C++扩展:打开VS Code,点击左侧的扩展图标(四个方块组成的图标),搜索并安装"C/C++"扩展。这个扩展提供了C/C++开发所需的功能和工具。 3. 安装GCC编译器:C/C++代码需要使用GCC编译器进行编译。在终端中运行以下命令安装GCC编译器: ``` sudo apt-get install build-essential ``` 4. 配置任务:在VS Code中,按下Ctrl+Shift+P打开命令面板,输入"Tasks: Configure Task"并选择"Create tasks.json file from template"。然后选择"C++"模板,这将创建一个tasks.json文件。 5. 配置编译任务:编辑tasks.json文件,将以下内容添加到"tasks"数组中: ``` { "label": "build", "type": "shell", "command": "g++", "args": [ "-g", "${file}", "-o", "${fileDirname}/${fileBasenameNoExtension}" ], "group": { "kind": "build", "isDefault": true } } ``` 这个配置将使用g++编译器编译当前打开的文件,并将可执行文件保存在与源文件相同的目录中。 6. 配置调试器:在VS Code中,点击左侧的调试图标(类似于虫子的图标),然后点击旁边的齿轮图标,选择"C++ (GDB/LLDB)"。这将在.vscode目录下创建一个launch.json文件。 7. 配置调试任务:编辑launch.json文件,将以下内容添加到"configurations"数组中: ``` { "name": "(gdb) Launch", "type": "cppdbg", "request": "launch", "program": "${fileDirname}/${fileBasenameNoExtension}", "args": [], "stopAtEntry": false, "cwd": "${workspaceFolder}", "environment": [], "externalConsole": true, "MIMode": "gdb", "miDebuggerPath": "/usr/bin/gdb" } ``` 这个配置将使用GDB调试器来调试编译后的可执行文件。 8. 开始编写和调试:现在你已经完成了C/C++环境的配置。你可以创建一个新的C/C++文件,编写代码,并使用Ctrl+B进行编译。然后,你可以使用调试功能来运行和调试你的程序。 希望以上步骤对你有帮助!如果你有任何问题,请随时提问。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值