WIP: TSAN checkpoint restart - #9

Draft

gc00 wants to merge 29 commits into

mainfrom

tsan-checkpoint-restart

Commits on Jun 30, 2026

Compile fixes for gcc-13
gc00
committed
7622348

Commits on Jul 1, 2026

Port libmcmini DMTCP plugin from plugin API v3 to v4

gc00
and
claude
committed
5be8500
Make RECORD-mode thread-creation prologue TSan-safe (Fix A)

gc00
and
claude
committed
4bf2720
Route mc_pthread_join's timed join through a libtsan-bypassing handle

gc00
and
claude
committed
eedb385

Commits on Jul 2, 2026

Make libmcmini's template thread visible to ThreadSanitizer

gc00
and
claude
committed
6c4aaa8

Commits on Jul 5, 2026

Phase 0 baseline cleanup: strip TSan debug SIGSEGV instrumentation

gc00
and
claude
committed
b38da82
Add design spec for TSan port Phase 1 (R1): exclude TSan-internal threads from restart barrier

gc00
and
claude
committed
4d78676
Add implementation plan for TSan port Phase 1 (R1)

gc00
and
claude
committed
d8d87cb
Add thread_blocks_signal() TSan-internal-thread probe

gc00
and
claude
committed
1f34a24
Exclude TSan-internal threads from template_thread()'s restart barrier

gc00
and
claude
committed
a3332e4
Abort loudly if template_thread()'s tid classification misses self/ckpt tid

gc00
and
claude
committed
74d5126
Add design spec for TSan port Phase 2 (R2+R3+R4)

gc00
and
claude
committed
3664e7a
Add implementation plan for TSan port Phase 2 (R2+R3+R4)

gc00
and
claude
committed
a18a5cd
Add standalone harness proving R3 (__clone) + R4-remainder (forker fiber) under TSan

gc00
and
claude
committed
a5c719b
Apply R3 (__clone) and R4 remainder (forker fiber) to fast_multithreaded_fork

gc00
and
claude
committed
b4527a1
Correct overstated R4-remainder claim in fastpath fork/clone/fiber harness comment
gc00
committed
64376d4
Fix cosmetic inaccuracy in harness comment re: forking-thread fiber switch

gc00
and
claude
committed
1b2354a
Add design spec for TSan port Phase 3 (R5)

gc00
and
claude
committed
e6575df
Add implementation plan for TSan port Phase 3 (R5)

gc00
and
claude
committed
ee48016
Add standalone test proving the libpthread_pthread_exit dlopen+dlsym technique

gc00
and
claude
committed
c7dfaf6
Add mc_pthread_exit() interceptor (R5: pthread_exit shim)

gc00
and
claude
committed
fb9ecd0
Use MCMINI_NO_RETURN macro for pthread_exit declarations in interception.h

gc00
and
claude
committed
f9e404c
Fix mc_pthread_exit to run restart transition before treating thread as live

gc00
and
claude
committed
cfba39d
Add design spec for TSan port Phase 4 (hardening)

gc00
and
claude
committed
9d389b2
Add implementation plan for TSan port Phase 4 (hardening)

gc00
and
claude
committed
99f02b5
Add repeated-fork stress harness proving R2 stability across sequential branches

gc00
and
claude
committed
b532825
Close PLAN.txt D7/Q4: explicit-pthread_exit-at-scale residual doesn't apply to McMini

gc00
and
claude
committed
3c2ea3d
Fix template_thread()'s self_tid/ckpt_tid: DMTCP virtualizes gettid() too

gc00
and
claude
committed
faf71a1
Fix DMTCP's own __clone interception in restart_child_threads_fast()

gc00
and
claude
committed
7773e63