Load-link/store-conditional

✍ dations ◷ 2025-07-03 11:09:23 #协同控制,编译原理

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

相关

类型论在最广泛的层面上，类型论（英语：type theory）是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上，它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖
存水弯存水弯，是U型、S型、或J形的管件装置，让废水及污水流进地下室筏基，并且阻止臭气及其他气体逆流或倒灌进室内， Alexander Cummings（英语：Alexander Cummings）在1775年发明S型弯的，但
螺戊二烯螺戊二烯（英语：Spiropentadiene）或称为领结二烯（bowtiediene）是一种分子式为C5H4的烃类物质。螺戊二烯是最简单的螺环状环烯烃，因其巨大的三元环张力，化学性质非常不稳定，需在零下10
新古典学派犯罪学（英语：Criminology）是一门社会科学，主题是寻找犯罪行为的现象与规律，寻找犯罪发生的原因，借此寻找方法以减轻犯罪对社会的影响（最后这项于今日已被更精致地分科为刑事政策，而
伊集院彦吉伊集院彦吉（日语：伊集院彦吉／いじゅういんひこきち Ijūin Hikokichi；1864年7月22日－1924年4月26日），日本明治、大正时代的外交官、日本驻华公使、外务大臣、男爵。任内历经辛亥
智障 (消歧义)智障可以指：
2018年中国内地一周票房冠军2018年中国内地一周票房冠军为2018年中国内地一周内的电影票房冠军列表，列表将星期一到星期天视为一周。
云登·奥特根巴亚尔云登·奥特根巴亚尔（蒙古语：Ёндонгийн Отгонбаяр，英语：Yondon Otgonbayar，1965年－）蒙古族，蒙古国乌兰巴托人，蒙古政治家。奥特根巴亚尔于1965年生于蒙古人民共和国
陶瀛孙陶瀛孙（1909年9月－2003年5月19日），女，江苏无锡人，中国社会活动家，上海中学教师。1909年9月父母留学日本期间出生于东京。曾在日本小学学习，回国后在无锡竞志女中及上海立达学园学习
方全方全（1440年－？），字用周，直隶庐州府合肥县人，山西大同左卫官籍。明朝政治人物。同进士出身。山西乡试第四十名。成化八年（1472年）壬辰科进士。历官户部郎中。弘治二年（1489年），升浙江布政