• 班德拉

• 在134篇文章中引用[sw07663]
• Java的变量与内部状态锁物体。在这篇教程中。。。

• 霍格沃德

• 引用了50篇文章[sw28396号文件]
• 野猪！：一个锁-随机梯度下降并行化的自由方法。随机梯度下降。。。要求性能破坏内存锁定和同步。这项工作旨在展示运用新颖的理论。。。新加坡元可以在没有任何锁定. 我们提出了一个称为HOGWILD的更新方案。。。那个野猪！优于使用锁定一个数量级的。。。

• Nike2D系列

• 引用了60篇文章[sw12115]
• 排除网格的单元公式锁-ups及其相关的异常应力状态。变量节点。。。

• 橡皮擦

• 引用了43篇文章[sw08922]
• 橡皮擦，用于动态检测数据竞争锁-基于多线程程序。橡皮擦使用二进制重写。。。共享一元引用并验证一致性锁定观察行为。我们提出几个案例。。。

• 乔坎姆

• 在26篇文章中引用[sw02065]
• 水平时尚比传统的线程和-锁接近。。。

• 阿洛克

• 引用24篇文章[sw16800]
• 无记忆读写x锁. 我们证明了如果非扩张算子。。。

• 数据包

• 17条引用[sw12958]
• 模式生成），不连续的自动生成-锁定模型和提取隐藏的不连续性，允许。。。灵敏度计算可以正确进行间断性锁定)，以及用于测定分析导数的成分。。。

• 拉塞克斯

• 引用16条[sw09941]
• 积极推断检查信息，例如锁保护哪些操作，哪些代码上下文。。。推断检查信息，例如锁保护哪些操作，哪些代码上下文是多线程的。。。

• 德赖德

• 引用19篇文章[sw08916]
• 没有线程创建或锁定. 并发产生于Dryad调度顶点。。。

• 栅栏

• 引用19篇文章[sw09939]
• 条件语句、循环、指针、数组、结构、函数调用，锁，以及动态内存分配。格子篱笆让。。。

• 锁匠

• 在10篇文章中引用【sw20224】
• 共享位置始终由锁. 我们展示一种叫做锁匠的工具。。。这个模式。我们称之为锁他们保护了一致的位置。。。检查位置是否有适当的防护措施锁. 我们给出了算法的核心。。。推断线程局部性；用于建模的存在量化锁在数据结构中；以及用于建模的启发式。。。

• 典型的

• 引用8篇文章[sw23207]
• 以下程序分析或程序转换：锁-自由分析，死锁自由分析，无用代码消除。。。是否每次通信成功。这个锁-自由分析可以回答，例如，以下。。。请求？进程最终能否获得锁? 一个已经获得。。。锁最终释放锁? 无用代码消除（UCE）优化pi演算过程。。。

• STMBench7公司

• 引用9篇文章[sw08814]
• 比显式粗粒度更具伸缩性锁定而且比细粒度更容易使用锁定... 工作负载和并发模式的范围。同伴锁定策略是一个基线。。。

• GPU验证

• 在10篇文章中引用[sw11260]
• 交错和锁-GPU内核分析与验证的step语义。我们研究语义学。。。处理单元（GPU）。我们提供一本小说锁-表示GPU内核的步骤执行语义。。。

• 金发姑娘

• 在10篇文章中引用[sw12806]
• 除了使用事务的执行锁以及用于同步的可变变量。我们呈现。。。基准测试和一些微基准锁-基于和基于事务的同步。我们的实验。。。

• 掠夺

• 引用8篇文章[sw10079]
• 事件发生和检测死亡-锁活着-锁. 反例生成器提供。。。

• 圣杯

• 参考7篇文章[sw07704]
• 加入），互斥和读者作家锁，监视不变量、线程前置和后置条件。语言。。。允许细粒度锁定通过跟踪内存位置的部分权限的规范。研究。。。

• VeriCool公司

• 在10篇文章中引用[sw09749]
• 受对象保护的内存位置锁. 此外，我们将模型与。。。

• 西科诺斯

• 在10篇文章中引用[sw25724]
• 分段线性元件：功率转换器、整流器、相位-锁定环路（PLL）或模数转换器。。。

• 自动加载器

• 引用4篇文章[sw09532]
• 使用起来比手动操作更简单、更安全锁定它们增加了模块化。但是现有的提议。。。兼容性。悲观的原子部分使用锁定程序设计人员熟悉的机制，同时解除它们。。。大多数负担锁-基于编程，包括死锁。重要的是，悲观的原子部分将正确性与。。。通过细粒度提取更多的并行性锁定不用担心会引入错误。我们相信。。。