diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-06-11 12:08:10 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-06-11 12:08:10 -0400 |
| commit | 20a19f433956f063d8048f032aaf5dcce1d61e7c (patch) | |
| tree | c9720211c62e75a245c252c82f6353e5162fcb86 /docs/type_system/shared.md | |
| parent | 51d055dc7e1a6edbaedb7ea80b1e678eff924fe0 (diff) | |
add algo for mutating shared object
Diffstat (limited to 'docs/type_system/shared.md')
| -rw-r--r-- | docs/type_system/shared.md | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/docs/type_system/shared.md b/docs/type_system/shared.md index db8e6dc..2af408d 100644 --- a/docs/type_system/shared.md +++ b/docs/type_system/shared.md @@ -5,13 +5,9 @@ Hold multiple references to the same object ```text -Shared[[LOCK] Type] +Shared[[] Type] ``` -### `LOCK` - -The shared type has been detected across asynchronous tasks and needs to lock the mutex on mutation - # Garbage Collection A tracing mark and sweep garbage collector is used |