Load-link/store-conditional

✍ dations ◷ 2025-12-06 13:55:06 #协同控制,编译原理

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

相关

  • 消防员消防员为政府或民间团体所成立的灭火及救援团体的成员,通常是一个国家所成立专门司职于灭火及救援等事项的专门部门最底层的分枝,为站在第一线的政府机关;消防员即为其中成员。
  • 角鼻龙类角鼻龙类(Ceratosauria)是一群兽脚亚目恐龙,被定义为:在兽脚亚目之中,与角鼻龙拥有最近共同祖先,而非与鸟类拥有最近共同祖先的所有物种。目前对于角鼻龙类的鉴别特征、物种列表,并
  • 己亥东征应永外寇指的是1419年(己亥年,日本应永26年)朝鲜王朝进攻日本对马岛的事件。“应永外寇”日本方面对此战事的称呼,朝鲜则称之为己亥东征、己亥征倭役或者第三次对马岛征伐(제3차
  • GAINAXGAINAX是一家日本动画制作公司,于1984年12月24日成立。代表作有《王立宇宙军》《飞跃巅峰》《新世纪福音战士》《天元突破 红莲螺岩》等。GAINAX以颠覆传统的动画类型和实验
  • 八通关古道八通关古道,建于1875年,是台湾清治时期所建横贯台湾本岛东西部的三条道路之一,也是目前仅存的一条。该古道西起林杞埔(今南投县竹山镇),东至璞石阁(今花莲县玉里镇),全长265华里(约152
  • 额济纳河额济纳河(“亦集乃”的音转)是中国第二大内陆河,干流全长821公里。流经青海省、甘肃省和内蒙古自治区。上游叫羌谷水、鄂博河(蒙古语“先祖之地”,古作弱水),流淌在甘肃张掖地区;流
  • 邦巴赖半岛邦巴赖半岛(印尼语:Semenanjung Bomberai),是印度尼西亚位于新几内亚岛上的一个半岛,由西巴布亚省管辖,分属法克法克县、凯马纳县和宾图尼湾县,半岛上主要城市法克法克。
  • 也门穆塔瓦基利亚王国也门穆塔瓦基利亚王国(阿拉伯语:المملكة ‏المتوكلية اليمنية‎),或称也门王国,是北也门在1918年至1962年间的国号。北也门原本是由奥斯曼帝国统治的地方
  • 芮城花椒芮城花椒,是一款中华人民共和国山西省运城市芮城县的土特产花椒、中国地理标志产品。根据芮城县地貌,芮城县人民政府决定在中条山前沿洪积扇区和沿黄河坡门二阶台地建设两条花
  • 足轻大将足轻大将(日语:足軽大将/あしがるたいしょう  ?)是日本战国时代中,在战国大名之下率领足轻队的军职。别称足轻头。在应仁之乱以后,日本进入战国时代,合战规模变得相当大。受枪、