Load-link/store-conditional

✍ dations ◷ 2025-12-11 10:30:40 #协同控制,编译原理

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

相关

  • 微量元素微量元素是一个化学和生物化学上的概念,可以是指:
  • 神圣罗马帝国皇帝神圣罗马皇帝(德语:Römisch-deutscher Kaiser;拉丁语:Imperatores Romani Sacri)是历史学家称呼中世纪时获教宗赐予“罗马皇帝”头衔的德意志国王和罗马人民的国王,和1356年后统
  • 夏道行夏道行,是一位中国数学家。1930年生于中国江苏省泰州,数学家。1946年考入江苏学院数学系,后又入山东大学数学系,1950年入浙江大学数学研究所,师从陈建功教授。1952年进入复旦大学
  • 西瓜Citrullus vulgaris西瓜(学名:Citrullus lanatus),古称寒瓜,是葫芦科西瓜属的一种植物或其果实。原产于非洲,是一种双子叶开花植物,形状像蔓藤,叶子呈羽毛状。它所结出的果实是假果,
  • 鲻形目鲻科(学名:Mugilidae)为鲻形目(学名:Mugiliformes)的唯一科,属辐鳍鱼纲卵附系。本科鱼类广泛分布在全世界温、热带海域。栖息于水深0至40米。本科鱼类头略平扁,断成三角形,体呈圆柱形
  • 贺龙体育文化中心贺龙体育文化中心(新世纪文化中心)位于湖南省长沙市城南的天心区内,由芙蓉中路、劳动西路、白沙路与城南西路合围的大片区域,总面积约为70公顷。该中心于2000年12月28日开工,2003
  • 月球日在太空探索,月球日是地球的卫星相对于太阳绕着自身的转轴完成一个完整的旋转所经历的时间。等同于月球在轨道上完整的绕着地球回到相同相位的时间。它通常被标示为从朔到下一
  • 扎巴坚赞 (萨迦)扎巴坚赞(1147年-1216年),藏传佛教萨迦派第三祖。扎巴坚赞出自昆氏家族,衮噶宁布的第三子。十一岁时能讲喜金刚怛特罗,深得要领。十二岁跟随父亲学法,十三岁替二哥索南孜摩主持萨迦
  • 伊万·霍夫汉内斯·巴格拉米扬伊万·赫里斯托福罗维奇·巴格拉米扬(I)(或称霍夫汉内斯·哈恰图罗维奇·巴格拉米扬,亚美尼亚语:Հովհաննես Խաչատուրի(或者称Քրիստափորի,拉丁化:Chri
  • 爱乐之城《爱乐之城》(英语:)是一部于2016年上映的美国歌舞爱情浪漫喜剧片,由达米恩·查泽雷执导和编剧。电影由瑞恩·高斯林和艾玛·斯通担纲主演,他们分别饰演爵士钢琴家和充满抱负的女