Back to Results
First PageMeta Content
Scheduling algorithms / Mathematics / Concurrency control / Cybernetics / FIFO / Inter-process communication / Linearizability / Linked list / Scheduling / Abstract data types / Computing / Concurrent computing


Electronic Notes in Theoretical Computer Science 89 NoURL: http://www.elsevier.nl/locate/entcs/volume89.html 14 pages Automatically Verifying Concurrent Queue Algorithms Eran Yahav Mooly Sagiv
Add to Reading List

Document Date: 2004-11-16 12:34:30

Open Document

File Size: 270,82 KB

Share Result on Facebook

Company

Elsevier Science B. V. / /

Country

Israel / /

Currency

pence / /

/

Facility

Tel-Aviv University / /

IndustryTerm

queue algorithm / cache coherence algorithm / concurrent algorithms / non-trivial concurrent queue algorithms / garbage collection algorithm / concurrent systems / queue algorithms / concurrent garbage-collection algorithm / non-blocking queue algorithm / concurrent queue algorithms / /

Organization

Automatically Verifying Concurrent Queue Algorithms Eran Yahav Mooly Sagiv School of Computer Science / U.S. Securities and Exchange Commission / Tel-Aviv University / Tel-Aviv / /

Position

collector / queue head / Head / head / fields Head / rt / this.Head / P4 Head / d2 head / head / list head / private QueueItem Head / programmer / /

ProgrammingLanguage

Java / /

PublishedMedium

Electronic Notes in Theoretical Computer Science / /

Technology

two-lock queue algorithm / cache coherence algorithm / garbage collection algorithm / two-lock queue algorithms / non-trivial concurrent queue algorithms / Java / finite state machine / non-blocking queue algorithm / concurrent garbage-collection algorithm / two concurrent queue algorithms / concurrent FIFO queue algorithms / 2 Concurrent Queue Algorithms / concurrent queue algorithms / CAS-based algorithms / queue algorithms / /

URL

http /

SocialTag