Code

Thread-safe library initialization#37

Code

Merged

yugr merged 33 commits intomasteryugr/Implib.so:masterfrom threads/1yugr/Implib.so:threads/1Copy head branch name to clipboardJan 24, 2025

+1,349-84

Commits

Commits on Jan 18, 2025

• Thread-safe initialization.

  yugr

  committed
  62afdd2

  Copy full SHA for 62afdd2

• FreeBSD fixes.

  yugr

  committed
  cb534a1

  Copy full SHA for cb534a1

• Update README.

  yugr

  committed
  1e39bf6

  Copy full SHA for 1e39bf6

• Remove volatile.

  yugr

  committed
  b3ba7e9

  Copy full SHA for b3ba7e9

• Disable thread test on mipsel (can not repro fail locally).

  yugr

  committed
  d4b6bf5

  Copy full SHA for d4b6bf5

Commits on Jan 19, 2025

• Various test improvements.

  yugr

  committed
  dabd5ca

  Copy full SHA for dabd5ca

• Enable on 32-bit MIPS.

  yugr

  committed
  783237e

  Copy full SHA for 783237e

• Print result in threads test.

  yugr

  committed
  c16fa49

  Copy full SHA for c16fa49

• Updated comment.

  yugr

  committed
  fc01eaf

  Copy full SHA for fc01eaf

• Fix memory ordering.

  yugr

  committed
  8f5a484

  Copy full SHA for 8f5a484

Commits on Jan 20, 2025

• Add explicit void in prototypes.

  yugr

  committed
  f72abbd

  Copy full SHA for f72abbd

• Fix race condition between address resolution and library global ctor.

  yugr

  committed
  ba3672a

  Copy full SHA for ba3672a

• Fixed test comments

  yugr

  committed
  b1136c0

  Copy full SHA for b1136c0

• Added script for fuzz testing via unthread library.

  yugr

  committed
  d0de4eb

  Copy full SHA for d0de4eb

• Fixed Tsan test and fix harmless data race.

  yugr

  committed
  8788cd6

  Copy full SHA for 8788cd6

• Added another threading test with deep recursion in library ctor.

  yugr

  committed
  e75def0

  Copy full SHA for e75def0

• Fix Tsan checks.

  yugr

  committed
  bb902d3

  Copy full SHA for bb902d3

• Fix Tsan checks.

  yugr

  committed
  05d9492

  Copy full SHA for 05d9492

Commits on Jan 21, 2025

• Updated todo.

  yugr

  committed
  a3d9d58

  Copy full SHA for a3d9d58

Commits on Jan 22, 2025

• Remove redundant barrier.

  yugr

  committed
  6d5c357

  Copy full SHA for 6d5c357

• Added simple TLA+ model of Implib.so initialization code.

  yugr

  committed
  58aebdb

  Copy full SHA for 58aebdb

• Minor fixes in tests.

  yugr

  committed
  3cff3c2

  Copy full SHA for 3cff3c2

Commits on Jan 23, 2025

• Minor spec fix.

  yugr

  committed
  34ac3fd

  Copy full SHA for 34ac3fd

• Update spec README.

  yugr

  committed
  8fcffdf

  Copy full SHA for 8fcffdf

• Minor fixes in TLA spec.

  yugr

  committed
  78938c7

  Copy full SHA for 78938c7

• Added Promela initialization model.

  yugr

  committed
  a234adb

  Copy full SHA for a234adb

• Get rid of widths in Promela model.

  yugr

  committed
  4843208

  Copy full SHA for 4843208

Commits on Jan 24, 2025

• Added complaints about Promela.

  yugr

  committed
  a44d6bb

  Copy full SHA for a44d6bb

• Added todo.

  yugr

  committed
  f0ff27a

  Copy full SHA for f0ff27a

• Minor Promela updates.

  yugr

  committed
  39ec517

  Copy full SHA for 39ec517

• More automated verification driver.

  yugr

  committed
  eab849c

  Copy full SHA for eab849c

• Rename variable.

  yugr

  committed
  65cb1c6

  Copy full SHA for 65cb1c6

• Added comment in spec.

  yugr

  committed
  fc15374

  Copy full SHA for fc15374