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...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
MDPI AG
2025-07-01
|
| Schriftenreihe: | Software |
| Schlagworte: | |
| Online-Zugang: | https://www.mdpi.com/2674-113X/4/3/15 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|