| 12346753 |
Systems and methods for safely subscribing to locks using hardware extensions |
David Dice, Timothy L. Harris, Alex Kogan, Yosef Lev |
2025-07-01 |
|
| 12288196 |
Sharded permissioned distributed ledgers |
Harold Carr, Maurice P. Herlihy, Isaac Sheff |
2025-04-29 |
|
| 11989704 |
Sharded permissioned distributed ledgers |
Harold Carr, Maurice P. Herlihy, Isaac Sheff |
2024-05-21 |
$202,049,000 |
| 11809917 |
Systems and methods for safely subscribing to locks using hardware extensions |
David Dice, Timothy L. Harris, Alex Kogan, Yosef Lev |
2023-11-07 |
$143,483,000 |
| 11538003 |
Sharded permissioned distributed ledgers |
Harold Carr, Maurice P. Herlihy, Isaac Sheff |
2022-12-27 |
$65,164,000 |
| 11269839 |
Authenticated key-value stores supporting partial state |
Victor Cacciari Miraldo, Harold Carr, Maurice P. Herlihy, Alex Kogan |
2022-03-08 |
$88,216,000 |
| 10776154 |
Method and system for inter-thread communication using processor messaging |
David Dice |
2020-09-15 |
$89,321,000 |
| 10740733 |
Sharded permissioned distributed ledgers |
Harold Carr, Maurice P. Herlihy, Isaac Sheff |
2020-08-11 |
$54,788,000 |
| 10521277 |
Systems and methods for safely subscribing to locks using hardware extensions |
David Dice, Timothy L. Harris, Alex Kogan, Yosef Lev |
2019-12-31 |
$37,732,000 |
| 10191741 |
System and method for mitigating the impact of branch misprediction when exiting spin loops |
David Dice |
2019-01-29 |
$39,345,000 |
| 9727369 |
System and method for implementing reader-writer locks using hardware transactional memory |
David Dice, Yosef Lev, Yujie Liu, Victor M. Luchangco |
2017-08-08 |
$72,376,000 |
| 9619281 |
Systems and methods for adaptive integration of hardware and software lock elision techniques |
David Dice, Alex Kogan, Yosef Lev, Timothy Merrifield |
2017-04-11 |
$44,567,000 |
| 9417910 |
System and method for implementing shared probabilistic counters storing update probability values |
David Dice, Yosef Lev |
2016-08-16 |
$44,887,000 |
| 9367363 |
System and method for integrating best effort hardware mechanisms for supporting transactional memory |
David Dice |
2016-06-14 |
$47,268,000 |
| 9342380 |
System and method for implementing reader-writer locks using hardware transactional memory |
David Dice, Yosef Lev, Yujie Liu, Victor M. Luchangco |
2016-05-17 |
$87,538,000 |
| 9323586 |
Obstruction-free data structures and mechanisms with separable and/or substitutable contention management mechanisms |
Victor M. Luchangco, Maurice P. Herlihy |
2016-04-26 |
$37,582,000 |
| 9304776 |
System and method for mitigating the impact of branch misprediction when exiting spin loops |
David Dice |
2016-04-05 |
$46,575,000 |
| 9208081 |
Concurrent object management |
David Dice, Nir N. Shavit, Antonios Printezis |
2015-12-08 |
$40,544,000 |
| 9183043 |
Systems and methods for adaptive integration of hardware and software lock elision techniques |
David Dice, Alex Kogan, Yosef Lev, Timothy Merrifield |
2015-11-10 |
$25,528,000 |
| 9183048 |
System and method for implementing scalable contention-adaptive statistics counters |
David Dice, Yosef Lev |
2015-11-10 |
$25,528,000 |
| 9135178 |
Efficient non-blocking K-compare-single-swap operation |
Nir N. Shavit, Victor M. Luchangco |
2015-09-15 |
$33,812,000 |
| 9110718 |
Supporting targeted stores in a shared-memory multiprocessor system |
David Dice, Paul N. Loewenstein |
2015-08-18 |
$58,136,000 |
| D733681 |
Speaker box |
— |
2015-07-07 |
|
| 9052944 |
Obstruction-free data structures and mechanisms with separable and/or substitutable contention management mechanisms |
Victor M. Luchangco, Maurice P. Herlihy |
2015-06-09 |
$62,274,000 |
| 9043363 |
System and method for performing memory management using hardware transactions |
Aleksandar Dragojevic, Maurice P. Herlihy, Yosef Lev |
2015-05-26 |
$46,445,000 |
