~/talk

Distributed Actors in OCaml

Talkat OCaml 2024 · on Saturday, 2024-09-07· [distributed-systems]
name:Wenke DU
links:none on file
links:none on file
links:none on file
slides:none on file

Delivered a working actors-ocaml library that uses OCaml 5 features (shared-memory parallelism and algebraic effect handlers) to create, call and await remote futures across nodes, with a PPX-based metadata generator that produces mock classes and descriptors for actor sharing. Runtime centralizes network IO in a single proxy thread per node and maps remote calls to local futures. Examples and code are available, but the system requires explicit type annotations for serialization and has minimal error recovery.

AI-written summary · about

  1. 0:00Distributed actors in OCaml
  2. 0:45Actor model in programming
  3. 2:12Defining actors in OCaml
  4. 4:01Extending to distributed systems
  5. 5:26Remote method calls
  6. 7:17Secure actor sharing
  7. 9:48Runtime system architecture
  8. 10:50Compile-time reflection
  9. 12:14Library summary and limits
  10. 13:39Q&A error handling
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.