Load-link/store-conditional

✍ dations ◷ 2025-11-15 08:17:00 #协同控制,编译原理

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扩展。这被用来优化二叉搜索树。

相关

  • 五大湖地区五大湖地区(Great Lakes Region)是指由环绕北美洲五大湖的加拿大安大略省和美国的伊利诺伊州、印第安纳州、俄亥俄州、密歇根州、明尼苏达州、纽约州、宾夕法尼亚州和威斯康星
  • 雅典执政官列表雅典自从公元前1068年废除王政以来,权利转往执政官手中。雅典的第一任执政官是墨冬,他是雅典末代国王科德鲁斯的儿子。由于,科德鲁斯在位时,多利亚人从墨伽拉进犯雅典。德尔斐神
  • 方阵 (军事)方阵(英语:phalanx),是一种长方形的大规模军事阵法,通常完全由重步兵手持矛、长柄枪、萨里沙长矛或类似的武器所构成。该词特别用来描述古希腊战争中所使用的这种阵法,虽然古希腊
  • 卡拉布里亚卡拉布里亚(意大利语:Calabria,意大利语发音:),从前称为“Brutium”,是意大利南部的一个大区,包含了那不勒斯以南像“足尖”的意大利半岛。大区北邻巴斯利卡塔大区,西南邻西西里自治
  • 实体化石化石是存留在岩石中的古生物遗体、遗物或生活痕迹,最常见的是骸骨和贝壳等。研究化石可以了解生物的演化并能帮助确定地层的年代。保存在地壳的岩石中的古动物或古植物的遗体
  • 塞缪尔·亚当斯塞缪尔·亚当斯(Samuel Adams,1722年~1803年),美国革命家、政治家、开国元勋,约翰·亚当斯堂兄。生于麻萨诸塞州波士顿,毕业于哈佛大学。他积极参加革命活动,是自由之子(茶党)的创建者
  • 曾益新曾益新(1962年10月-),湖南涟源人,中国肿瘤学家。1985年毕业于湖南衡阳医学院,1990年获中山医科大学医学博士学位。曾任中山大学肿瘤防治中心主任、华南肿瘤学国家重点实验室主任,兼
  • 满城满城区,史称北平,在河北省中部偏西、太行山东麓,是保定市下辖的一个市辖区。区政府驻满城镇中山路。汉朝置北平县,属中山国,魏晋皆因袭之;东魏侨置之南营州永乐县治县内乐城(今县城
  • 青瓦台事件青瓦台事件(又称一二一事件、金新朝事件)是指在1968年1月21日,31名北朝鲜的特种部队人员越过军事分界线,企图入侵韩国青瓦台行刺韩国总统朴正熙的事件。1968年1月13日,朝鲜民族保
  • 主妇联合会主妇联合会(日语:主婦連合会)是在1948年成立后,日本主要的消费者团体之一。日本“主妇联合会”的起源是日本妇女为了抗议二次大战后日本在黑市、通膨、还有日常用品和食品品质低