Fast and lock-free concurrent priority queues for multi-thread systems

Linearizability: a correctness condition for concurrent objects

Maurice Herlihy, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1990 · 3.2K citations · Full text

Data Object, Engineering, Verification +16

Priority inheritance protocols: an approach to real-time synchronization

Lui Sha, R. Rajkumar, John P. Lehoczky · IEEE Transactions on Computers · 1990 · 2.2K citations

Engineering, Priority Ceiling Protocol, Computer Architecture +22

Wait-free synchronization

Maurice Herlihy · ACM Transactions on Programming Languages and Systems · 1991 · 1.8K citations · Full text

Data Object, Engineering, Computer Architecture +18

Operating System Concepts

Silberschatz · 1991 · 1.6K citations

Operating System Concepts, Operating Systems, Engineering +10

Skip lists: a probabilistic alternative to balanced trees

William Pugh · Communications of the ACM · 1990 · 1.2K citations · Full text

Engineering, Data Science, Data Mining +10