Plasma GitLab Archive
Projects Blog Knowledge

Module Plasma_shm


module Plasma_shm: sig .. end
Management of shared memory


The idea of this module is to count the shared memory allocations, and to provide information whether shared memory is well available or tight
type shm_id = [ `Shm_id of int ] 
type shm_condition = [ `Normal | `Tight ] 
class type shm_manager = object .. end
class null_shm_manager : unit -> shm_manager
This manager always reports the condition `Normal
class netplex_shm_manager : unit -> shm_manager
This manager puts the shm accouning information into Netplex shared variables.
module Netplex_shm_manager: sig .. end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml