41554 blogs · 4,756,248 posts Claim your blog

Record · corpus.blog/posts/01a0be00-348d-7034-b299-1aee4160d7d6

Finding the “Second Bug” in glibc’s Condition Variable

Probably Dance | I can program and like games · published 18 September 2022

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 probablydance.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 8
Words captured: 1,646

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

Reasons why Babies Cry in the First Three Months, How to Tell The Cries Apart, and What to Do Read at the source ↗

probablydance.com

Using TLA+ in the Real World to Understand a Glibc Bug Read at the source ↗

probablydance.com

https://sourceware.org/bugzilla/show_bug.cgi?id=25847

sourceware.org

https://sourceware.org/pipermail/libc-alpha/2021-September/130840.html

sourceware.org

https://github.com/ocaml-flambda/flambda-backend/blob/main/ocaml/otherlibs/systhreads/st_posix.h

github.com

https://github.com/skarupke/glibc_cv_tla_plus/blob/main/ocaml_mutex.tla

github.com

https://github.com/skarupke/glibc_cv_tla_plus/blob/main/second_bug.ods

github.com

https://github.com/tlaplus/tlaplus/releases/tag/v1.7.1

github.com