Module Netplex_types

module Netplex_types: sig .. end

Types for Netplex


type encap = Netplex_encap.encap 
type param_value = [ `Bool of bool | `Float of float | `Int of int | `String of string ] 
type param_value_or_any = [ `Any of exn
| `Bool of bool
| `Encap of encap
| `Float of float
| `Int of int
| `String of string ]
type level = [ `Alert | `Crit | `Debug | `Emerg | `Err | `Info | `Notice | `Warning ] 

Log levels, modeled after syslog

class type logger = object .. end

A logger receives log messages

type parallelization_type = [ `Controller_attached | `Multi_processing | `Multi_threading ] 

Type of parallelization:

type thread_sys_id = [ `Process of int | `Thread of int ] 

A system-specific identifier of the thread/process

type socket_state = [ `Disabled | `Down | `Enabled | `Restarting of bool ] 

The state of a socket:

type container_id = <
   socket_service_name : string;
>

Such objects identify containers. As additional info, the method socket_service_name returns the name of the socket service the container implements

type container_state = [ `Accepting of int * float | `Busy | `Shutting_down | `Starting of float ] 

The container state for workload management:

type capacity = [ `Low_quality of int * bool | `Normal_quality of int * bool | `Unavailable ] 

How many connections a container can accept in addition to the existing connections:

The greedy flag sets whether greedy accepts are allowed.

type extended_address = [ `Container of
string * string * string * [ `Any | `Process of int | `Thread of int ]
| `Internal of string
| `Socket of Unix.sockaddr
| `Socket_file of string
| `W32_pipe of string
| `W32_pipe_file of string ]

Possible addresses:

type ('_, '_) eq = 
| Equal : ('a, 'a) eq
| Not_equal

Equality witness

type '_ polysocket_kind = ..

List possible argument types for polysockets (Netsys_polysocket), which are the basis for internal services. Since OCaml-4.02 this type is extensible by the user.

type '_ polysocket_kind += 
| Txdr : Netxdr.xdr_value polysocket_kind
| Tstring : string polysocket_kind
type 'a kind_check = {
   kind_check : 'b. 'b polysocket_kind -> ('a, 'b) eq;
}

Helper type for a polymorphic check whether a kind this the expected kind

type polysocket_kind_box = 
| Polysocket_kind_box : 'a polysocket_kind -> polysocket_kind_box

Boxed version of polysocket_kind where the type parameter is hidden

type polyserver_box = 
| Polyserver_box : 'a polysocket_kind * 'a Netsys_polysocket.polyserver -> polyserver_box

This type pairs a polysocket_kind with a polyserver as GADT. The type parameter is hidden.

type polyclient_box = 
| Polyclient_box : 'a polysocket_kind * 'a Netsys_polysocket.polyclient -> polyclient_box

This type pairs a polysocket_kind with a polyclient as GADT. The type parameter is hidden.

type extfd = 
| OS_descr of Unix.file_descr
| Poly_endpoint of Netxdr.xdr_value Netsys_polysocket.polyendpoint

Internally used

class type controller = object .. end

The controller is the object in the Netplex master process/thread that manages the containers, logging, and service definitions

class type controller_config = object .. end
class type socket_service = object .. end
class type socket_service_config = object .. end
class type protocol = object .. end
class type socket_controller = object .. end
class type ctrl_message_receiver = object .. end
class type processor_hooks = object .. end

Processor hooks can be used to modify the behavior of a processor.

class type processor = object .. end

The processor is the object that is notified when a new TCP connection is accepted.

class type container = object .. end

Containers encapsulate the control flow of the service components.

class type workload_manager = object .. end

See Netplex_workload for definitions of workload managers

class type plugin = object .. end

Plugins are extensions of the Netplex system that run in the controller and can be invoked from containers

class type par_thread = object .. end
class type parallelizer = object .. end
type config_tree = [ `Parameter of string * param_value
| `Section of string * config_tree list ]
type address = <
>
class type config_file = object .. end
class type processor_factory = object .. end
class type workload_manager_factory = object .. end
class type logger_factory = object .. end
class type netplex_config = object .. end