jacksonopp/twill
Watch
1
0
Fork
You've already forked twill
 0
Code Issues 46 Pull requests Projects 1 Releases Packages Wiki Activity Actions

mutates(Region) overlap detection between concurrent tasks #29

New issue
Open
opened 2026-08-19 02:28:58 +00:00 by jacksonopp · 0 comments
jacksonopp commented 2026-08-19 02:28:58 +00:00
Owner
Copy link

Using Step 4's per-function mutates(Region) effect info, detect when two tasks running concurrently in the same sync/race/rush/branch block mutate overlapping regions, and reject or otherwise resolve the conflict per whatever the Region(T) design note above decides.

Using Step 4's per-function mutates(Region) effect info, detect when two tasks running concurrently in the same sync/race/rush/branch block mutate overlapping regions, and reject or otherwise resolve the conflict per whatever the Region(T) design note above decides.
jacksonopp added this to the twill project 2026-08-19 02:31:04 +00:00
jacksonopp removed this from the twill project 2026-08-19 02:33:06 +00:00
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
us59/check-return-against-fn-return-type
us72/map-list-array-builtins
us71/generic-res-for-array-map-comptime-value-params
us69/list-generic-instantiation
us57/map-literals
us56/check-array-list-literals
fix/array-and-list-structure
us55/field-access-on-structs
us54/check-if-else
us58/check-string-interpolation
us7/reject-bad-programs-snapshot
us6/type-params-and-list-t
us5/type-check-operator-precedence
ci/add-ci-pipelines
No results found.
Labels
Clear labels   
bug
Something isn't working correctly

  
design
Something that requires design decisions

  
epic
Tracks a project-plan Step as a milestone-level epic

  
risk
Flags an open design question or high-uncertainty area

  
user-story
A concrete, closeable unit of work within an epic

No labels
bug
design
epic
risk
user-story
Milestone
Clear milestone
No items
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
jacksonopp/twill#29
No description provided.