Issued Patents All Time
Showing 26–50 of 53 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8019785 | Space-and time-adaptive nonblocking algorithms | Mark S. Moir, Maurice P. Herlihy | 2011-09-13 |
| 7945912 | Hierarchical queue-based locks | Daniel S. Nussbaum, Nir N. Shavit | 2011-05-17 |
| 7908441 | Value recycling facility for multithreaded computations | Mark S. Moir, Maurice P. Herlihy | 2011-03-15 |
| 7895401 | Software transactional memory for dynamically sizable shared data structures | Mark S. Moir, Maurice P. Herlihy | 2011-02-22 |
| 7870344 | Method and apparatus for emulating linked-load/store-conditional synchronization | Nir N. Shavit, Mark S. Moir | 2011-01-11 |
| 7865671 | Efficient non-blocking K-compare-single-swap operation | Nir N. Shavit, Mark S. Moir | 2011-01-04 |
| 7805467 | Code preparation technique employing lock-free pointer operations | Mark S. Moir, David L. Detlefs, Simon Doherty, Maurice P. Herlihy, Paul Martin +1 more | 2010-09-28 |
| 7793053 | Efficient non-blocking k-compare-single-swap operation | Nir N. Shavit, Mark S. Moir | 2010-09-07 |
| 7788242 | Method and system for implementing a concurrent set of objects | Nir N. Shavit, Maurice P. Herlihy, Steven K. Heller, Mark S. Moir | 2010-08-31 |
| 7769791 | Lightweight reference counting using single-target synchronization | Simon Doherty, Maurice P. Herlihy, Mark S. Moir | 2010-08-03 |
| 7720891 | Synchronized objects for software transactional memory | Virendra J. Marathe | 2010-05-18 |
| 7702628 | Implementing a fully dynamic lock-free hash table without dummy nodes | Paul Martin, Jan-Willem Maessen | 2010-04-20 |
| 7685583 | Obstruction-free mechanism for atomic update of multiple non-contiguous locations in shared memory | Mark S. Moir, Maurice P. Herlihy | 2010-03-23 |
| 7680986 | Practical implementation of arbitrary-sized LL/SC variables | Mark S. Moir, Simon Doherty, Maurice P. Herlihy | 2010-03-16 |
| 7577798 | Space-adaptive lock-free queue using pointer-sized single-target synchronization | Mark S. Moir, Simon Doherty, Maurice P. Herlihy | 2009-08-18 |
| 7533221 | Space-adaptive lock-free free-list using pointer-sized single-target synchronization | Simon Doherty, Mark S. Moir, Maurice P. Herlihy | 2009-05-12 |
| 7530051 | Method and apparatus for dimensional analysis encoded in metatypes and generics | Eric Allen, David R. Chase, Jan-Willem Maessen, Guy L. Steele, Jr. | 2009-05-05 |
| 7496726 | Controlling contention via transactional timers among conflicting transactions issued by processors operating in insistent or polite mode | Daniel S. Nussbaum, Mark S. Moir, Ori Shalev, Nir N. Shavit | 2009-02-24 |
| 7475228 | Ensuring progress in a system that supports execution of obstruction-free operations | Mark S. Moir, Nir N. Shavit | 2009-01-06 |
| 7424477 | Shared synchronized skip-list data structure and technique employing linearizable operations | Paul Martin, Guy L. Steele, Jr., Nir N. Shavit, Steven K. Heller, Mark S. Moir | 2008-09-09 |
| 7395274 | Space- and time-adaptive nonblocking algorithms | Mark S. Moir, Maurice P. Herlihy | 2008-07-01 |
| 7370054 | Method and apparatus for indexing a hash table which is organized as a linked list | Paul Martin, Jan-Willem Maessen | 2008-05-06 |
| 7328316 | Software transactional memory for dynamically sizable shared data structures | Mark S. Moir, Maurice P. Herlihy | 2008-02-05 |
| 7299242 | Single-word lock-free reference counting | Mark S. Moir, Maurice P. Herlihy | 2007-11-20 |
| 7293143 | Efficient non-blocking k-compare-single-swap operation | Nir N. Shavit, Mark S. Moir | 2007-11-06 |