Analysing Concurrent Queues Using CSP: Examining Java’s <i>ConcurrentLinkedQueue</i>
In this paper we examine the OpenJDK library implementation of the <i>ConcurrentLinkedQueue</i>. We use model checking to verify that it behaves according to the algorithm it is based on: Michael and Scott’s fast and practical non-blocking concurrent queue algorithm. In addition, we develop a simple...
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Artigo |
| Lingua: | Inglês |
| Pubblicazione: |
MDPI AG
2025-07-01
|
| Serie: | Software |
| Soggetti: | |
| Accesso online: | https://www.mdpi.com/2674-113X/4/3/15 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|