基本信息

n the actor model, an actor is the fundamental unit of computation that encapsulates state and behavior,
communicating exclusively by exchanging messages. Because the state is completely encapsulated, invisible
to the outside world, the use of this model has been popular for building highly concurrent applications.
The goal of this thesis is to design, implement and test an actor system for OCaml. The system should
provide an API for creating a network of actors and a runtime system facilitating their communication and
orchestration. Actors will be organized in a hierarchy allowing actor supervision and monitoring. The
messaging system shall provide an at-most-once delivery guarantee. Actors should use location
transparency allowing them to communicate across different runtimes. The implementation should be
lightweight focused on low actor memory footprint and high message throughput. The API should leverage
OCaml language features such as pattern matching and immutable values.