使用原子 TAS 指令实现自旋锁
2025年11月28日 05:43
使用原子 TAS 指令实现自旋锁
使用原子 TAS 指令实现自旋锁 Implementing a Spinlock Using the Atomic TAS Instruction 从零实现自旋锁：基于 TAS 的最小同步原语 Building a Spinlock from Scratch with Atomic TAS 用 test-and-set 实现最简单的互斥锁 Implementing a Minimal Mutex Using Test-and-Set 自旋锁的底层原理：TAS、原子性与忙等待 Inside Spinlocks: TAS, Atomicity, and Busy Waiting 原子操作与自旋锁：用 C 语言实现线程同步 Atomic Operations and Spinlocks: Thread Synchronization in C 从原子指令到锁：全面理解 TAS 和自旋锁 From Atomic Instructions to Locks: A Complete Guide to TAS and Spinlocks 动手写一个自旋锁：tryLock / lockAcquire / lockRelease 全实现 Hands-On Spinlock Implementation: tryLock, lockAcquire, and lockRelease 你的第一个自旋锁：基于 C 语言的 TAS 实现 Your First Spinlock: A TAS-Based Implementation in C 原子交换与线程互斥：自旋锁实现指南 Atomic Exchange and Thread Mutual Exclusion: A Guide to Implementing Spinlocks假设我们有一个 TAS（Take-And-Set）函数。该操作返回内存中原来的值，并以原子方式将其替换为新值。原子性（atomicity）意味着没有其他线程能够观察到中间状态；整个读-写操作是一体不可分的。 在 C++ 中，标准库函数
std::exchange 在逻辑上表现相同，但它不是原子操作。同步原语需要硬件级别的原子性。
int TAS(int* memory, int newVal) {
int old = *memory;
*memory = newVal;
return old;
}
我们想使用这个原语来实现一个简单的自旋锁，包括：
lockAcquire()lockRelease()
typedef struct {
int lock;
} lockType;
typedef struct {
int val;
} threadArgType;
void threadFunc(void* arg) {
lockAcquire((static_cast<lockType*>arg)->lock);
(static_cast<threadArgType*>arg)->val++;
lockRelease((static_cast<lockType*>arg)->lock);
}
实现 tryLock
tryLock 函数尝试获取锁一次。如果锁为空（值为 0），TAS 将其设置为 1 并返回原值（0）。如果锁已被占用，TAS 返回 1。tryLock 函数是非阻塞的——它会立即返回。
因此 tryLock() 只有在 TAS 返回 0 时才会成功：
enum {
UNLOCKED = 0,
LOCKED = 1
}
int tryLock(lockType* lock) {
// 如果之前已锁定返回 1，如果之前未锁定返回 0
int old = TAS(lock->lock, LOCKED);
return (old == UNLOCKED); // true (1) = 成功获取锁
}
实现 lockAcquire()
普通的锁获取应当“自旋”直到 tryLock() 成功。这称为 自旋锁，因为 CPU 会忙等待。必要时可以加入短暂的 sleep。例如，sleep(0) 并不会真正暂停执行，而是让出 CPU，允许其他线程运行。
它通常用于实现跨线程的互斥自旋锁。
void lockAcquire(lockType* lock) {
while (!tryLock(lockType* lock)) {
// 自旋直到锁可用
}
}
另一种实现：
void lockAcquire(lockType* lock) {
do {
if (tryLock(lockType* lock)) {
break;
}
} while (1);
}
展开 tryLock：
void lockAcquire(lockType* lock) {
do {
int old = TAS(lock->lock, LOCKED);
// 无论锁是否已被获取，锁都已设置为 LOCKED
if (old == UNLOCKED) {
break;
}
} while (1);
}
这是使用 TAS 实现的最简单方法。在实际系统中，我们可能会加入 pause 指令或退避策略，但基本思路是相同的。
实现 lockRelease()
释放锁时，持有者只需将锁变量写为 0。由于 TAS 是“设置新值并返回旧值”，它同样适用于释放锁：
void lockRelease(lockType* lock) {
TAS(lock->lock, UNLOCKED);
}
或者使用简单的原子存储也足够，但由于 TAS 是我们唯一的工具，我们重用它。请注意，在这里重复释放锁是安全的，因为再次将其设置为 UNLOCKED=0 不会产生副作用。
总结
仅使用原子 TAS 指令，我们实现了：- 一个
tryLock()尝试 - 一个
lockAcquire()自旋锁 - 一个
lockRelease()解锁操作
相关文章：
- 简易教程: C++的智能指针 C++ 智能指针教程 C++ 中的智能指针提供了自动且安全的内存管理。它们通过 RAII（资源获取即初始化）机制，帮助开发者避免内存泄漏和悬空指针的问题，确保对象在生命周期结束时被正确释放。 本教程将介绍 C++ 中三种主要的智能指针： std::unique_ptr：独占式所有权 std::shared_ptr：共享式所有权 std::weak_ptr：非拥有式弱引用 1. std::unique_ptr unique_ptr 拥有独占所有权。一个资源只能被一个...
- C++中的 const和constexpr 比较 C++ const 与 constexpr：真正的区别是什么？ 一眼看都是定义常量。 为什么这很重要 现代 C++ 鼓励编写不可变、高效且表达力强的代码。两个关键字—const 和 constexpr—是这一理念的核心。它们看起来很相似，但理解它们的不同语义，对于正确利用编译期与运行期行为至关重要。 高层次对比 特性 const constexpr...
- 被动收入之: 微博红包 今年开始重新经营我的微博帐号 drlai 收到两笔微信红包，应该是来自于官方的支持，150元（成功提现到支付宝）。虽然这不能持久，也没多少，但毕竟实现了零的突破，意义重大。 如果流量上来，内容创作者可能会接受到比较多的赞赏，这也是一个比较简单的变现方法。这也能作为一种被动收入，不过如果不是头部网红，可能杯水车薪，但如果你有好几个类似这样的，也能积少成多！ 在用户中心，微博用户可以每天登陆手机微博APP打卡，获取点数和少量的红包钱（几分钱），积少成多！ 微博做些小任务可获得积分和几分钱。聊胜于无。 微博的主要盈利模式 微博的主要盈利模式主要包括以下几个方面： 广告收入：微博的大部分收入来源于广告，尤其是品牌广告和效果广告。广告形式包括信息流广告（类似于推文广告）、热门话题广告、开屏广告和视频广告。品牌和企业可以利用微博庞大的用户群和社交互动来提升曝光率、推广品牌和产品。 会员服务：微博提供的VIP会员服务，用户可以支付订阅费用来享受更多的特权，比如个性化的主题、特有的表情包、私密权限设置等。这些会员服务主要面向个人用户，提升其社交体验。 直播和打赏：微博提供直播平台，用户可以通过购买虚拟礼物来支持主播，微博会从这些打赏中抽取一定比例的分成。此外，微博与内容创作者分成，通过内容付费、知识付费等形式变现。 增值服务：针对企业和大V（拥有大量粉丝的用户），微博还提供增值服务，如账号认证、粉丝数据分析、精准推送、推广和营销工具等。这些服务帮助企业提升营销效果，同时也增加了微博的收入来源。 电商和导流：微博上有大量的电商导流业务，尤其是和明星、网红的合作推广。微博用户在浏览社交内容时，可以直接跳转到商品购买链接，微博通过这种方式赚取导流佣金。 游戏联运：微博也会与一些游戏公司合作推出联合运营的游戏，微博负责推广和流量引入，用户充值或付费时，微博可以获得一部分的分成。 这些模式相结合，使得微博能够在广告市场、内容创作和电商等多个领域获利。...
- 借助AI快速开源了N个小工具: 写代码越来越像做产品了, AI 真把我宠坏了(Vibe Coding) 程序员的未来？Vibe Coding + AI 一起上！ 借助 AI 快速开源了三个小工具 最近，我利用 ChatGPT-4o 和 o4-mini 快速开发并开源了几个小工具。起因其实很简单——每次想转换 YAML/JSON 或进行...
- 豪车的修理费用就是贵一些 去年买了保时捷卡宴SUV（Porsche Cayenne）后，我一直担心将来修车费用会很高。当时购车时，车厂做了一次全面保养，把车里里外外都清洁了一遍。虽然这辆车已经三年车龄，但看上去几乎和新车没区别。 在英国，三年以内的新车通常不需要做MOT年检。而且很多这类新车会通过PCP（个人合同购车）方式出租给车主。简单来说，就是车主每月支付一笔租金，租期通常为三年，期满后可以选择一次性付清尾款买下车辆，也可以继续换租一辆新车。 举个例子，如果一辆新车售价是10万英镑，车厂可能按未来三年折旧后的50%残值来计算每月租金。三年后，如果车主不想买断，车厂就会将车辆作为二手车卖出，回收那5万英镑的残值。这样一来，车厂基本不会亏钱。此外，PCP合同中还有附加条款，比如每年限行1万英里，超出的部分需要额外付费，这些内容都会写在合同里。 车龄到了三年，车辆需要首次做MOT年检，同时车辆的市场价值也会首次出现较大幅度的贬值（一般是50%，甚至更多）。修车厂老板告诉我，相比玛莎拉蒂等其他豪车，保时捷的保值率相对较高。 这一年我开这辆保时捷基本没出什么问题。今年年初做了年检，顺利通过。随后又做了一次常规保养，修车厂老板告诉我，前后刹车片已经磨损了80%–85%。我们住剑桥村里，开车比较多（上班、送娃、家庭旅游都要用车），一年大概能开1-2万英理。 几周后我将车送回去更换刹车片。修完后账单是将近900英镑。我觉得有点贵，车行老板解释说，不仅换了前后刹车片，还有一个前雷达的传感器掉进了车体内部，为了修这个传感器需要拆掉前保险杠等部件，花了6个小时人工费。 我当时质疑说为啥这次修这么贵，他说：“因为这是保时捷。”我说：“那和别的车有什么区别？”他说：“It is not the same.” 我说不都一样么，他说：“It is not...
- 重要通知: 弃用 FeedBurner RSS 请改用 https://justyy.com/feed 最近我发现原本的 RSS（/rss、/feed）没有按时更新。 进一步检查后发现这些地址都被 301 重定向到了 FeedBurner（https://feeds.feedburner.com/zhihua-xblog），而 FeedBurner 已经久未维护，偶有抓取失败或延迟，导致读者无法及时收到新文章。 造成这次重定向的原因是我们使用的第三方主题/插件（mytheme）里曾经内置了将站点 feed 转发到 FeedBurner 的功能。 当时之所以做 301...
- 换了个奥迪Q5大灯花了我1000英镑 我那辆奥迪Q5 SUV今年年检没通过，原因是左前车灯坏了，需要更换。车厂告诉我，光是订购零件就要700多英镑，加上人工费，总费用得1000英镑。但没办法，如果不修，车辆年检（MOT）就过不了，车也不能上路。 MOT是英国的机动车强制性安全检测（Ministry of Transport Test）的简称。 近侧前位置灯不工作 drl/位置灯集成（4.2.1(a)(ii)） Nearside Front Position lamp not working drl/position...
- 你给SteemIt中文微信群拖后腿了么? 这年头不缺算法, 就缺数据. 这两天花了很多时间在整API上, 整完之后自己用了一下还觉得真是挺方便的. 今天就突然想看一看自己是否给大家拖后腿了, 于是调用每日中文区微信群排行榜单的API, 刷刷拿着 NodeJs 练手: // @justyy var request = require("request")...
今天聊一下时间的话题。在分布式系统中，“时间” 是一个挺有趣，但是很难处理的东西。我把自己的理解简单整理下来。