A type system that lets actors share mutable memory by pointer, not by copy, and still guarantees no two of them can ever race. Most actor systems solve concurrent memory sharing one of two ways: copy everything between actors, the way Erlang does, or trust the programmer to lock correctly, the way most actor frameworks …
Most actor systems solve concurrent memory sharing one of two ways: copy everything between actors, the way Erlang does, or trust the programmer to lock correctly, the way most actor frameworks …
The page is ready to read now. The fuller skim-friendly version will appear here automatically.
A type system that lets actors share mutable memory by pointer, not by copy, and still guarantees no two of them can ever race. Most actor systems solve concurrent memory sharing one of two ways: copy everything between actors, the way Erlang does, or trust the programmer to lock correctly, the way most actor frameworks …
Open the app view to save this story, compare related coverage, and continue from the same source.