Load-link/store-conditional

✍ dations ◷ 2025-05-18 03:12:18 #协同控制,编译原理

load-link与store-conditional (LL/SC)是一对用于并发同步访问内存的CPU指令。Load-link返回内存位置处的当前值，随后的store-conditional在该内存位置处保存新值（如果从load-link后没有被修改）。这被用于实现无锁算法（英语：Non-blocking_algorithm）与read-modify-write原子操作。

LL/SC与compare-and-swap在理论上是等价的。

LL/SC最初是Jensen, Hagensen, Broughton在劳伦斯利佛摩国家实验室为S-1 AAP multiprocessor而设计。

LL/SC指令被下述架构支持：

LL/SC的硬件实现典型地不允许嵌套LL/SC对。嵌套的LL/SC机制用于提供MCAS原语（多字Compare-And-Swap，字可以是分布的）。 2013年Trevor Brown, Faith Ellen, Eric Ruppert软件实现了多地址LL/SC扩展。这被用来优化二叉搜索树。

相关

奇性定理彭罗斯-霍金奇点定理（英语：Penrose－Hawking singularity theorems）是关于广义相对论中何时产生引力奇点的问题的一些研究结果。爱因斯坦场方程解的奇点是指下面两个问题类空奇点
地球自转的效应科里奥利力（英语：Coriolis Force；简称科氏力）是一种惯性力，是对旋转体系中进行直线运动的质点由于惯性相对于旋转体系产生的直线运动的偏移的一种描述。此现象由法国著名数学家兼
通古斯大爆炸坐标：60°55′N 101°57′E / 60.917°N 101.950°E / 60.917; 101.950通古斯大爆炸（俄语：Тунгусский метеорит）是1908年6月30日上午7时17分（UTC 零时17分）发生
威廉斯堡威廉斯堡（Williamsburg）可以指：
蜥结龙属蜥结龙属（属名：，意为“蜥蜴的甲盾”）又名楯甲龙、蜥肋螈，是结节龙科恐龙的一属，生存于早白垩纪的北美洲。目前已有一个已命名种，爱氏蜥结龙（），但可能有其他种存在。就生理结构上而言，蜥
齿龈边搭嘴音齿龈边搭嘴音（又称齿龈边吸气音、边喌音）是一类搭嘴音的总称，该发音仅分布于非洲语言中。齿龈边搭嘴音也就是有时所发出的用来赶马的声音，英语：Lateral clicks（但在赶马的情境下，这
勒内·盖农勒内·盖农（René Guénon，1886年11月15日－1951年1月7日）是法国哲学家和隐微论（esotericism）者，传统主义学派的主要奠基人。对东方哲学尤其是印度教和伊斯兰苏非主义有深入的研究。
蓝紫色蓝紫色（英语：violet），英语名称来源于堇菜属植物（通称violet）的花色，因此也作堇紫色；由于violet常被误译为紫罗兰，又称紫罗兰色。蓝紫色是紫色中偏冷的部分，因为颜色中紫色是由红色和蓝
西萨特拉普王朝西萨特拉普王朝（Western Satraps/Kshatrapas/Kshaharatas，意为“西部总督”，公元35-405）是斯基泰人(塞迦人)在印度中西部建立的王国，范围包括索拉什特拉和摩腊婆，大致对应今天的古
阴极锁阴极锁是电控锁的一种，运用在门禁系统的通路管制。阴极锁适合用于铝门、木门，需搭配喇叭锁或弹簧锁使用。和一般电锁不一样之处是阴极锁无法单独使用，必须搭配机械锁匣（例如喇叭