单片机原子性操作_多线程程序中操作的原子性

最新推荐文章于 2024-10-08 16:11:04 发布

机智团队(风清扬)

最新推荐文章于 2024-10-08 16:11:04 发布

阅读量654

点赞数

文章标签：单片机原子性操作

本文链接：https://blog.csdn.net/weixin_29584723/article/details/112772733

版权

本文探讨了多线程环境中原子操作的重要性，特别是在单片机中的应用。针对x86架构，详细分析了原子性操作的硬件支持，指出x=1是原子的，而x++和++x需要同步。位域（Bit field）的读写操作通常不是线程安全的，需要额外的同步措施。最后，建议程序员使用平台提供的原子API，如C++0x的atomic_int，以保证多线程程序的正确性。

摘要由CSDN通过智能技术生成

(给CPP开发者加星标，提升C/C++技能)

来源： Guancheng (G.C.)

0. 背景

原子操作就是不可再分的操作。在多线程程序中原子操作是一个非常重要的概念，它常常用来实现一些同步机制，同时也是一些常见的多线程Bug的源头。

本文主要讨论了三个问题：

1. 多线程程序中对变量的读写操作是否是原子的？

2. 多线程程序中对Bit field(位域)的读写操作是否是线程安全的？

3. 程序员该如何使用原子操作？

我们先从一道很热门的百度笔试题讲起。很多人讲不清楚其背后的原理，下面我们就来对它进行一下剖析(其实这个题目有点歧义，后面我们会讲到)：

以下多线程对int型变量x的操作，哪几个需要进行同步：( )
A. x=y; B. x++; C. ++x; D. x=1;

要彻底理解这个问题，我们首先需要从硬件讲起。以常见的X86 CPU来说，根据Intel的参考手册，它基于以下三种机制保证了多核中加锁的原子操作(8.1节)：

(1)Guaranteed atomic operations (注：8.1.1节有详细介绍)
(2)Bus locking, using the LOCK# signal and the LOCK instruction prefix
(3)Cache coherency protocols that ensure that atomic operations can be carried out on cached data structures (cache lock); this mechanism is present in the Pentium 4, Intel Xeon, and P6 family processors

这三个机制相互独立，相辅相承。简单的理解起来就是：

(1)一些基本的内存读写操作是本身已经被硬件提供了原子性保证(例如读写单个字节的操作)；
(2)一些需要保证原子性但是没有被第(1)条机制提供支持的操作(例如read-modify-write)可以通过使用”LOCK#”来锁定总线，从而保证操作的原子性
(3)因为很多内存数据是已经存放在L1/L2 cache中了，对这些数据的原子操作只需要与本地的cache打交道，而不需要与总线打交道，所以CPU就提供了cache coh