Tmr triplication diff - #5

Draft

ebepho wants to merge 40 commits into

radshield-mir-analysisfrom

tmr-triplication

Commits on May 26, 2026

Implement basic triplication of rad protected calls
Ezlanding1
committed
a50dc3f

Commits on May 29, 2026

Rename rad_protected attr to rad_protected_mir
Ezlanding1
committed
9db59c9
Add rad_protected attribute macro template
Ezlanding1
committed
eaee1c1
Revert "Implement basic triplication of rad protected calls"
Ezlanding1
committed
d69697d

Commits on May 30, 2026

Implement triplication of both callsites and function bodies
Ezlanding1
committed
7454576

Commits on May 31, 2026

Implement voting for results of triplicated functions
Ezlanding1
committed
ae31a8c

Commits on Jun 11, 2026

Commits on Jun 23, 2026

Add runtime support for rad_protected multithreading
Ezlanding1
committed
96d2764
Create an implementation of Multithreading using Std
Ezlanding1
committed
c7b12b5
Create multithreading context and pass to triplicated fns
Ezlanding1
committed
6d290ab
Move rad_protected AST transformation to its own mod
Ezlanding1
committed
1c073fc
Clean up AST triplication code
Ezlanding1
committed
24ea236
Add MutVisitor to track unsafe blocks in AST
Ezlanding1
committed
14f0e11
Implement patch_unsafe_block
Ezlanding1
committed
eb5e12c

Commits on Jun 29, 2026

Commits on Jul 15, 2026

Rework the rad_protected runtime
Ezlanding1
committed
5bb264d
Update AST pass for new runtime API
Ezlanding1
committed
7a23338
Track and patch unsafe blocks globally on the user's crate
Ezlanding1
committed
3752cb9

Commits on Jul 17, 2026

Implement mini_std to remove dependency on std library
Ezlanding1
committed
5cc724e
Move rad_protected to its own library, exported through std
Ezlanding1
committed
4e71a29
Use IPC via a shared mmap instead of pipes
Ezlanding1
committed
766d602

Commits on Jul 19, 2026

Commits on Aug 4, 2026

Re-enable MIR analysis pass
Ezlanding1
committed
6dfdd0a

Commits on Aug 5, 2026

Implement Liveness analysis MIR tracking
Ezlanding1
committed
89d18a7
Add debug print for liveness analysis results
Ezlanding1
committed
69d514a

Commits on Aug 6, 2026

Fix bug in liveness algorithm
Ezlanding1
committed
6e5389f
Optimize liveness algorithm
Ezlanding1
committed
2a3d497

Commits on Aug 7, 2026

Modify liveness analysis to track Checkpoint sync vars
Ezlanding1
committed
d0bf7e6

Commits on Aug 12, 2026

Inject call to empty checkpoint runtime library function
Ezlanding1
committed
f5f4a35
Simplify CheckpointAnalysis API
Ezlanding1
committed
ceaa8fc

Commits on Aug 13, 2026

Commits on Sep 1, 2026

Fix bug with checkpoint injection causing use before init and false checkpointing of call expr temporaries
Ezlanding1
committed
8fdb2b7

Commits on Sep 2, 2026

Move checkpoint marker injection to MIR building rather than AST
Ezlanding1
committed
79ba924

Commits on Sep 6, 2026

Create payload in shared mem, calculate and inject payload size in MIR
Ezlanding1
committed
30b7cd6