package octez-distributed-internal

You can search for identifiers within the package.

in-package search v0.2.0

Fork of distributed. Use for Octez only

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (6)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-18.1.tar.gz

sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d

sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

doc/octez-distributed-internal/Distributed/index.html

Module `Distributed`Source

This module provides modules to create distribtued computations. Distributed comutations are described using the Process. Process provides a monadic interface to describe distributed computations.

author essdotteedot <essdotteedot_at_gmail_dot_com>

version 0.6.0

Some nomenclature :

Node : A node corresponds to a operating system process. There can be many nodes on a single machine.

Process : A process corresponds to a light weight thread (i.e., user space cooperative threads). There can be many processes on a single Node.

Sourcemodule Node_id : sig ... end

This module provides a type representing a node id.

Sourcemodule Process_id : sig ... end

This module provides a type representing a process id.

Sourcemodule type Nonblock_io = sig ... end

Abstract type which can perform monadic concurrent IO.

Sourcemodule type Message_type = sig ... end

The abstract type representing the messages that will be sent between processes.

Sourcemodule type Process = sig ... end

A unit of computation which can be executed on a local or remote host, is monadic.

Source

module Make
  (I : Nonblock_io)
  (M : Message_type) : 
  Process with type message_type = M.t and type 'a io = 'a I.t

Functor to create a module of type Process given a message module M of type Message_type.