D
David Detlefs
Researcher at Microsoft
Publications - 43
Citations - 469
David Detlefs is an academic researcher from Microsoft. The author has contributed to research in topics: Software transactional memory & Transactional memory. The author has an hindex of 12, co-authored 43 publications receiving 469 citations.
Papers
More filters
Patent
Parallel nested transactions in transactional memory
TL;DR: In this paper, several technologies and techniques are disclosed for supporting parallel nested transactions in a transactional memory system. But they do not describe how to ensure that the effects of the parallel closed nested transactions are hidden from other transactions outside the parent transaction until the parent transactions commit.
Patent
Reader/writer lock with reduced cache contention
TL;DR: In this article, a scalable reader/writer lock system is described that allows processors to access shared data with reduced cache contention to increase parallelism and scalability, and a careful protocol allows the system to reuse space allocated for a read lock for subsequent locking to avoid frequent reallocating of read lock data structures.
Patent
Transactional memory compatibility management
Dana Groff,Yosseff Levanoni,Stephen H. Toub,Michael M. Magruder,Weirong Zhu,Tim Harris,Christopher W. Dern,John Joseph Duffy,David Detlefs,Martín Abadi,Sukhdeep S. Sodhi,Lingli Zhang,Alexander Dadiomov,Vinod Grover +13 more
TL;DR: Transactional memory compatibility type attributes are associated with intermediate language code to specify, for example, that intermediate code must be run within a transaction, or must not be run in a transaction as mentioned in this paper.
Patent
Accelerating parallel transactions using cache resident transactions
TL;DR: In this paper, a cache resident transaction with nested structured parallelism construct is handled, and a determination is made as to whether the transaction would run faster serially in cache resident mode or faster parallel in software transactional memory mode for the overall transaction.
Patent
Garbage collector support for transactional memory
Tim Harris,David Detlefs +1 more
TL;DR: In this article, a software transactional memory system is described, which utilizes decomposed software transaction memory instructions as well as runtime optimizations to achieve efficient performance, such as code movement around procedure calls, addition of operations to provide strong atomicity, removal of unnecessary read-to-update upgrades, and removal of operations for newly-allocated objects.