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-octez-v20.1.tag.bz2

sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61

sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

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.