Load-link/store-conditional

✍ dations ◷ 2025-12-11 03:38:29 #协同控制,编译原理

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

相关

  • 液态液体(英语:Liquid)是物质的四个基本状态之一(其它状态有固体、气体、等离子体),没有确定的形状,但有一定体积,具有移动与转动等运动性。液体是由经分子间作用力结合在一起的微小振动
  • 军阀中国国民党 国民革命军支持: 德国 捷克斯洛伐克国民党中央派系:中国国民党 国民革命军国民党地方派系:中原大战是指1930年5月至11月,蒋中正(即蒋介石)与阎锡山、冯玉祥、李宗仁等
  • 朗缪尔欧文·朗缪尔(英语:Irving Langmuir,1881年1月31日-1957年8月16日),美国化学家、物理学家。他最知名的出版物是1919年发表的文章"电子在原子与分子中的排列"("The Arrangement of E
  • 汽化汽化是指物质状态从液体向气体转换的一种相变,过程进行中需要吸热。汽化有两种形式,蒸发、沸腾。蒸发是只在液体表面发生,并且液体温度低于某一压力时的沸点。而沸腾是一种剧烈
  • 建昌鸟建昌鸟属(学名:Jianchangornis)是一种生存于白垩纪早期的原始今鸟类。2009年首次发现于辽宁西部建昌县境内的早白垩世九佛堂组,以发现地命名。模式种为小齿建昌鸟
  • 精子清洗精子清洗(英语:sperm washing)是指 将精子从精液中抽取出来。这是人工授精、体外人工受精涉及到的基本步骤,主要原因为:
  • 伊斯兰教与动物在伊斯兰教里,《古兰经》指示穆斯林要善待动物,不要虐待它们。虽然它们不是以人类的语言表达,但所有生物都被认为会赞美真主。《古兰经》明确表明允许穆斯林进食某些清真肉类。
  • 沈有容谕退红毛番碑“沈有容谕退红毛番韦麻郎等”为台湾现存年代最早的石碑,碑题“红毛番”指的是荷兰人。目前保存于台湾澎湖县马公市澎湖天后宫。此碑于大正八年(1919年)被发现前,台、澎地区最古
  • 拉瑞·弗莱恩特小拉瑞·克莱斯顿·弗莱恩特(英语:Larry Claxton Flynt, Jr.,1942年11月1日-)是一位美国出版商,拉瑞·弗莱恩特出版集团(英语:Larry Flynt Publications)总裁。2003年,英国的《竞技场(
  • 斜口筒形玉器斜口筒形玉器是一种常见于红山文化的陪葬用玉器,该类型之玉器在红山文化墓葬中经常被发现于墓主头下或胸前。由国立自然科学博物收藏之红山文化斜口筒形玉器之材质为淡绿色闪