Load-link/store-conditional

✍ dations ◷ 2025-02-23 20:47:12 #协同控制,编译原理

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

相关

波德戈里察波德戈里察（塞尔维亚-克罗地亚语：Подгорица），是欧洲国家黑山首都。南斯拉夫联邦时期（1948年～1992年）时名为铁托格勒。轰炸波德戈里察是第二次世界大战中，同盟国应南斯拉夫
雨果·德弗里斯许霍·马里·德弗里斯（Hugo Marie de Vries，荷兰语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode"
情报信息（英语：Information），又称情报，是一个严谨的科学术语，其定义不统一，是由它的极端复杂性决定的，获取信息的主要方法为六何法。信息的表现形式多不胜数：声音、图片、温度、体积、颜
巴托克巴托克·贝洛·维克托·亚诺什（匈牙利语：Bartók Béla Viktor János，1881年3月25日－1945年9月26日），匈牙利作曲家，是二十世纪最伟大的作曲家之一，匈牙利现代音乐的领袖人物。他的
南丰县南丰县是中国江西省抚州市所辖的一个县。总面积为1920平方公里，辖5乡7镇1场，人口近30万，多为汉族江右民系。三国吴太平二年（257年），析南城县南部设丰县，为与徐州丰县相别，故称南丰县
医疗卫生科学医疗卫生科学（又称：医疗科学、健康科学、保健科学）与应用科学息息相关，旨在运用理工及技术之知识，解决与生物健康有关的问题。除了传统的医学外，此类学科还包括护理、公共卫生等学
古着古着，由日本流行而来，衣物是具有历史及故事的，而非单纯二手的定义。称之为“古著”的衣物，年代介于1920-1980年间，但不是这期间的衣物就是古著，不同性质的古著有不同的年代来界定
富饶组富饶组是位于中国黑龙江嘉荫县一带的上白垩世地层，1981年由黑龙江第一区域地质调查大队隋连成命名。该地层以灰、黑褐色碳质泥岩、粉砂质泥岩、粉砂岩为主，间夹细砂岩、层凝灰
ShuuKaRenShuuKaRen是日本的二人歌唱舞蹈组合，由姐姐藤井萩花和妹妹藤井夏恋组成。组合名取自二人名字的罗马字Shuu和Karen。所属事务所为LDH公司。所属唱片公司为日本索尼音乐娱乐旗
济度济度（1633年－1660年），满洲爱新觉罗氏。清太祖努尔哈赤三弟追封和硕庄亲王舒尔哈齐之孙、郑献亲王济尔哈朗第二子，承袭简亲王爵位。顺治八年（1651年），摄政王多尔衮死后被清算时，朝廷封