Module `Core.Process`Source

Sourcetype exit_reason =

| Normal
| Exit_signal
| Bad_link
| Link_down of Pid.t
| Exception of exn

Sourcemodule Messages : sig ... end

Sourcetype state =

| Runnable
| Waiting_message
| Waiting_io of {
1. syscall : string;
2. mode : [ `r | `rw | `w ];
3. fd : Util.Fd.t;
}
| Running
| Exited of exit_reason
| Finalized

Sourcetype process_flags = {

trap_exits : bool Atomic.t;

}

Sourcetype process_flag =

| Trap_exit of bool

Sourceval default_flags : unit -> process_flags

Sourcetype t = {

pid : Pid.t;
sid : Scheduler_uid.t;
flags : process_flags;
state : state Atomic.t;
mutable cont : exit_reason Proc_state.t;
mailbox : Mailbox.t;
save_queue : Mailbox.t;
mutable read_save_queue : bool;
links : Pid.t list Atomic.t;
monitors : Pid.t list Atomic.t;

}

Sourceexception Process_reviving_is_forbidden of t

Sourceval make : Scheduler_uid.t -> (unit -> exit_reason) -> t

Sourceval pp : Format.formatter -> t -> unit

Sourceval pp_state : Format.formatter -> state -> unit

Sourceval pp_reason : Format.formatter -> exit_reason -> unit

Sourceval pp_flags : Format.formatter -> process_flags -> unit

Sourceval cont : t -> exit_reason Proc_state.t

Sourceval pid : t -> Pid.t

Sourceval sid : t -> Scheduler_uid.t

Sourceval state : t -> state

Sourceval monitors : t -> Pid.t list

Sourceval links : t -> Pid.t list

Sourceval is_alive : t -> bool

Sourceval is_exited : t -> bool

Sourceval is_waiting : t -> bool

Sourceval is_waiting_io : t -> bool

Sourceval is_runnable : t -> bool

Sourceval is_running : t -> bool

Sourceval is_finalized : t -> bool

Sourceval has_empty_mailbox : t -> bool

Sourceval has_messages : t -> bool

Sourceval message_count : t -> int

Sourceval should_awake : t -> bool

Sourceval mark_as_awaiting_io : t -> string -> [ `r | `rw | `w ] -> Util.Fd.t -> unit

Sourceval mark_as_awaiting_message : t -> unit

Sourceval mark_as_running : t -> unit

Sourceval mark_as_runnable : t -> unit

Sourceval mark_as_exited : t -> exit_reason -> unit

Sourceval mark_as_finalized : t -> unit

Sourceval set_flag : t -> process_flag -> unit

Sourceval set_cont : t -> exit_reason Proc_state.t -> unit

Sourceval add_link : t -> Pid.t -> unit

Sourceval add_monitor : t -> Pid.t -> unit

Sourceval next_message : t -> Message.envelope option

Sourceval add_to_save_queue : t -> Message.envelope -> unit

Sourceval read_save_queue : t -> unit

Sourceval send_message : t -> Message.t -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/riot.core/Core/Process/index.html

Module `Core.Process`Source

package riot

Install

Dune Dependency

Authors

Maintainers

Sources

doc/riot.core/Core/Process/index.html

Module Core.ProcessSource

Module `Core.Process`Source