摘要：A framework is provided for automatic inference of memory fences in concurrent programs. A method is provided for generating a set of ordering constraints that prevent executions of a program violatin... 阅读全文

摘要：A data processing system includes a global promotion facility and a plurality of processors coupled by an interconnect. In response to execution of an acquisition instruction by a first processor amon... 阅读全文

摘要：A multiprocessing system having a plurality of processing nodes interconnected by an interconnect network. To optimize performance during spin-lock operations, a home agent prioritizes the servicing o... 阅读全文

摘要：A method and apparatus for executing lock instructions speculatively in an out-of-order processor are disclosed. In one embodiment, a prediction is made whether a given lock instruction will actually ... 阅读全文

摘要：In one embodiment, a method includes receiving an instruction for decoding in a processor core and dynamically handling the instruction with one of multiple behaviors based on whether contention is pr... 阅读全文

摘要：On the Intel type of x86 processors including AMD, increasingly there are more CPU cores or processors running in parallel. In the old days when there was a single processor, the operation: ++i; Woul... 阅读全文

摘要：A method and apparatus for aatomicoperationis described. A method comprises receiving a first program unit in a parallel computing environment, the first program unit including a memory updateoper... 阅读全文

摘要：A turn-oriented thread and/or process synchronization facility obtains a ticket value from a monotonically increasing ticket counter and waits until a memory location contains a value equal to the tic... 阅读全文

摘要：A technique for implementing read-copy update in a shared-memory computing system having two or more processors operatively coupled to a shared memory and to associated incoherent caches that cache co... 阅读全文

摘要：Hybrid transaction memory systems and accompanying methods. A transaction to be executed is received, and an initial attempt is made to execute the transaction in a hardware path. Upon a failure to su... 阅读全文

摘要：本文以一个实例开始，介绍GCCSTM的实现框架。在后面的文章中也许可以进一步深入分析实现的更多细节。博注：本文前面的部分分析来自对http://natsys-lab.blogspot.com/2012/05/software-transactional-memory-stm-in.html的翻译，后面的分析属于原创，特此说明。GCC 4.7引入了新的惊人的功能 - 软件事务内存（STM）。虽然是仍处于试验阶段尚未优化的功能，但我们已经可以看看STM是如何工作的了。目前，最初GCC实现的是纯软件TM，即没有硬件支持。英特尔公司已经宣布在其Haswell的微体系结构中实现的事务性同步扩展（TSX） 阅读全文

摘要：无锁的并发编程原著：KeirFraser, Tim Harris原名：ConcurrentProgramming Without Locks原文：http://research.microsoft.com/en-us/um/people/tharris/papers/2007-tocs.pdf翻译：CoryXie <cory.xie@gmail.com>摘要：互斥锁仍然是共享内存数据结构的并发控制机制事实上的标准。然而，他们明显的简单性是骗人的：很难设计可扩展的锁策略，因为锁机制可能隐藏问题，如优先级反转（priority inversion），死锁（deadlock）和锁护航（c 阅读全文

摘要：原著：MagedM. Michael原名：Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects原文：http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.130.8984&rep=rep1&type=pdf翻译：CoryXie<cory.xie@gmail.com>摘要：无锁（Lock-free）对象比传统的基于锁的对象提供了显著的性能和可靠性等优点。然而，由于缺乏一个有效可移植的无锁方法来回收这些对象中删除掉的动态节点所占用的内存，成 阅读全文

摘要：原著：Patrick Garrity ‘12 – St. OlafCollege – garrity@stolaf.edu原文：http://www2.css.edu/mics/Submissions/submissions/Lock-Free%20Algorithms%20for%20Thread%20Safe%20Programming.pdf翻译：CoryXie <cory.xie@gmail.com>摘要：一个对象是无锁的，只要它能保证在系统中的操作该对象的多个线程中的“一些”线程能够在有限的步骤内完成对该对象的操作，不管其他线程发生了什么。更实际的说，无锁编程是无需使用锁 阅读全文

摘要：【博注：本文为转载。原本我自己本想翻译这篇文章，但恰巧在网上找到一个专门搞技术翻译的译者已经翻译了，因此算是捡了个便宜。译文原文发表在此处：http://bbs.51cto.com/thread-442124-1-1.html。英文原名：Lock-Free Data Structures with Hazard Pointers。我一般将Lock-Free译为“无锁”，但是该译者译为“锁无关”，似乎也挺不错。】================================================================================Andrei Alexan 阅读全文