Load-link/store-conditional

✍ dations ◷ 2025-12-09 14:13:36 #协同控制,编译原理

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

相关

  • 安德烈·波伽利安德烈·波切利(Andrea Bocelli,1958年9月22日-)是一位意大利盲人歌手。他是一位古典跨界音乐男高音,和英国女高音莎拉·布莱曼(Sarah Brightman),新西兰女高音海莉·薇思特拉等同属
  • 人口素质人口素质亦称人口质素、人口质量',是包括了国家或地区人口的身体质素、文化质素及思想及道德质素的三个方面,涉及人口学及社会科学等的范畴。人口素质含有不同观点,在不同认识
  • 玛德琳尼·罗宾森玛德琳尼·罗宾森(英语:Madeleine Robinson,1917年11月5日-2004年8月1日),是一名法国女演员。她出生于巴黎附近,母亲是法国人,而父亲是捷克人。
  • 东北亚语言阿尔泰语系韩日-琉球语族:由于日语、韩语等,到底是孤立语言,还是从属于阿尔泰语系或其它语系,学界争论不休,所以,阿尔泰语系之下的“韩日-琉球语族”的合理性更为学界所争议。有学
  • 胡安·德·加雷胡安·德·加雷(Juan de Garay,1528年-1583年),文艺复兴时期欧洲探险家。他曾对西班牙在阿根廷的开拓殖民地作出了贡献,他奴役当地的土著人,后来,为几个仆人所刺杀。
  • 硫酸氧钛硫酸氧钛(Titanyl sulfate),别名硫酸钛酰,化学式TiOSO4。分子量159.94。相对密度约1.47。白色或微黄色潮解粉末,溶于水,在热水中易水解,生成水合二氧化钛。硫酸氧钛在溶液或晶体内
  • 林兑林兑 (1906年-?),日治时期台中州大甲郡龙井庄人。一名政治立场激进的台湾旅日青年,留日时期积极从事当时具有强烈反殖民色彩的社会主义运动,多次遭日本当局逮捕入狱后一蹶不振,出狱
  • 威尔纳·冯·弗里奇威尔纳·冯·弗里奇男爵(Werner Freiherr von Fritsch,1880年8月4日-1939年9月22日)是一位德国将军,最终阶级为大将,于1935年至1938年期间担任纳粹德国的国防军陆军总司令部总司令
  • 英埃战争英埃战争(Anglo-Egyptian War),指英国和埃及在1882年进行的一场战争。英国为了把埃及纳入自己的版图之内,压制由艾哈迈德·阿拉比领导的民族解放运动,确保苏伊士运河的安全,首先行
  • 卡胡纳卡胡纳(英语:Kahuna)是一个夏威夷词汇,是当地对工匠、专家、僧侣、药师、教师以及其他智者的总称。用于神官的场合,最高地位的神官被称为Kahuna nui。用于药师的场合,Kahuna lapaa