Load-link/store-conditional

✍ dations ◷ 2025-04-26 20:59:31 #协同控制,编译原理

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

相关

  • 离心离心机是一种机械,可借由电动机或其他机械的带动而高速转动,产生数千倍于重力的离心力,以加快液体中颗粒的沉降速度,把样品中不同沉降系数和密度质量的物质分离。离心力的大与小
  • 宋礼成宋礼成(1937年7月-),中国有机化学家。南开大学化学系教授。生于山东济南,籍贯山东济南。1962年毕业于南开大学化学系,1979-1981年在美国麻理工学院任访问学者。2007年当选为中国科
  • 说文解字注《说文解字注》,凡30卷,清代段玉裁著。段玉裁是戴震的弟子,戴震最早将古韵分为九类二十五部,以为“故训音声相表里”。段玉裁在这个基础下,分古音为十七部,根据许慎《说文解字》的
  • 雅娜·卡尔芒让娜·路易丝·卡尔芒(法语:Jeanne Louise Calment;1875年2月21日-1997年8月4日),法国人,据纪录活了122岁又164天,这是近代史上已知的最长寿命。她的寿命已经由科学研究记录建档;比起
  • 摩尔达维亚SSR摩尔达维亚苏维埃社会主义共和国(摩尔达维亚语/罗马尼亚语:Република Советикэ Сочиалистэ Молдовеняскэ/Republica Sovietică Soci
  • 康西诺·孔奇尼康西诺·孔奇尼,昂克尔侯爵(法语:Concino Concini, Count della Penna, Marquis and Maréchal d'Ancre,1575年?月?日-1617年4月24日),意大利冒险家和政治家。路易十三时的法国首席大
  • 普鲁士邦联普鲁士邦联由53名贵族、教士以及19个城市为了对抗条顿骑士团,于1440年2月21日在克维曾创立。它的基础奠基于1397年创立的秘密组织“蜥蜴同盟”(Lizard Union)。1454年,邦联领导
  • 新田站 (咸镜北道)新田站(韩语:신전역)是朝鲜民主主义人民共和国咸镜北道会宁市的一个铁路车站,属于咸北线。咸北线
  • 卡尔·卡斯滕斯卡尔·卡斯滕斯(Karl Carstens,1914年12月14日-1992年5月30日)不来梅人,德国政治家,德国基督教民主联盟人。年轻时曾参与纳粹党,1976年至1979年任德国联邦议院议长,1979年至1984年任
  • 葛天民葛天民,字无怀,越州山阴(今浙江绍兴)人。居台州黄岩(今属浙江)。曾剃发为僧,法名义铦,字朴翁,后还俗,居杭州西湖。能诗,与叶绍翁、姜夔、赵师秀等有往来。擅长人物画,画有《诸天花雨图》