jacksonopp/twill

Watch

Step 7: Concurrency + Ownership Regions

New issue

sync/race/rush/branch/spawn, mutates(Region) overlap detection between concurrently-running tasks. Needs the full call graph and Step 4's effect system in place. Highest-risk step -- Region(T)'s runtime-checked-vs-fully-static-guarantee question is genuinely open.

-

0% Completed

Region(T) acquisition and .acquire[] checking

#31 opened 2026-08-19 02:28:59 +00:00 by jacksonopp

Reject rush/branch directly inside a loop body

#30 opened 2026-08-19 02:28:58 +00:00 by jacksonopp

mutates(Region) overlap detection between concurrent tasks

#29 opened 2026-08-19 02:28:58 +00:00 by jacksonopp

Check spawn

#28 opened 2026-08-19 02:28:58 +00:00 by jacksonopp

Check sync/race/rush/branch task lists

#27 opened 2026-08-19 02:28:57 +00:00 by jacksonopp

Design note: static vs. runtime-checked Region(T) guarantees

#26 opened 2026-08-19 02:28:57 +00:00 by jacksonopp