module Plasma_shm:Management of large buffers incl. shared memorysig
..end
This is now also used for large buffers that are not shared.
typeid =
[ `Buf_id of int | `Shm_id of int ]
typekind =
[ `Buf | `Shm ]
typecondition =
[ `Normal | `Tight ]
type
watermarks = {
|
low : |
|
high : |
|
max : |
exception Shm_max_exceeded
Plasma_util.Out_of_shared_memory
).exception Buf_max_exceeded
class type shm_manager =object
..end
class null_shm_manager :unit ->
shm_manager
`Normal
class netplex_shm_manager :unit ->
shm_manager
module Netplex_shm_manager:sig
..end