Add support for read-only cowns

microsoft · Sep 2, 2024 · 6ec6b0e · 6ec6b0e
1 parent a72b5ce
commit 6ec6b0e
Show file tree

Hide file tree

Showing 5 changed files with 575 additions and 144 deletions.
diff --git a/src/rt/sched/behaviour.h b/src/rt/sched/behaviour.h
@@ -101,6 +101,8 @@ namespace verona::rt
         auto* s = new (&slots[i]) Slot(requests[i].cown());
         if (requests[i].is_move())
           s->set_move();
+        if (requests[i].is_read())
+          s->set_read_only();
       }
 
       return body;