Record · corpus.blog/posts/01a0d35a-3ffe-7145-9081-a73cb7c77869

Reproducing a Java 21 virtual threads deadlock scenario with TLA+

Lorin Hochstein · published 2 August 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at surfingcomplexity.blog Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 19
Words captured: 2,410

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://netflixtechblog.com/java-21-virtual-threads-dude-wheres-my-lock-3052540e231d

netflixtechblog.com

https://gist.github.com/DanielThomas/0b099c5f208d7deed8a83bf5fc03179e

gist.github.com

https://openjdk.org/jeps/444

openjdk.org

https://pron.github.io/

pron.github.io

https://docs.oracle.com/javase/specs/jls/se21/html/jls-14.html

docs.oracle.com

https://docs.oracle.com/javase/specs/jls/se21/html/jls-17.html

docs.oracle.com

https://github.com/openzipkin/brave/blob/95ae4c2ce3fe3b99357d64e0ee250f837c2af68e/brave/src/main/java/brave/RealSpan.java

github.com

https://en.wikipedia.org/wiki/Monitor_(synchronization

en.wikipedia.org

https://docs.oracle.com/en/java/javase/21/docs/api/java.base/java/util/concurrent/locks/ReentrantLock.html

docs.oracle.com

https://docs.oracle.com/en/java/javase/21/docs/api/java.base/java/util/concurrent/locks/AbstractQueuedSynchronizer.html

docs.oracle.com

https://github.com/openjdk/jdk21u/blob/jdk-21.0.3-ga/src/java.base/share/classes/java/util/concurrent/locks/AbstractQueuedSynchronizer.java

github.com

https://dada.cs.washington.edu/research/tr/1993/02/UW-CSE-93-02-02.pdf

dada.cs.washington.edu

https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=f20bb59b95d2eb95013d386cde3f8969ffd7f0b7

citeseerx.ist.psu.edu

https://surfingcomplexity.blog/wp-content/uploads/2024/08/venn-diagram.png

surfingcomplexity.blog

https://github.com/openzipkin/zipkin-reporter-java/blob/master/core/src/main/java/zipkin2/reporter/internal/CountBoundedQueue.java

github.com

https://surfingcomplexity.blog/wp-content/uploads/2024/08/image.png

surfingcomplexity.blog

https://github.com/tlaplus/vscode-tlaplus

github.com

https://surfingcomplexity.blog/wp-content/uploads/2024/08/image-1.png

surfingcomplexity.blog

https://github.com/lorin/virtual-threads-tla/

github.com