Module Xenstore_server.QuotaSource

Sourceexception Limit_reached

The maximum number of entries has been created

Sourceexception Data_too_big

The value to be written is too big

Sourceexception Transaction_opened

Too many transactions have been started

Sourceval maxent : int ref

The current global default maximum number of entries per domain

Sourceval maxsize : int ref

The current global default maximum value size

Sourceval maxwatch : int ref

The current global default maximum number of watches

Sourceval maxtransaction : int ref

The current global default maximum number of open transactions

Sourceval maxwatchevent : int ref

The current global maximum number of outstanding watch events

Sourcetype overrides
Sourceval maxent_overrides : overrides

Per-domain overrides for the maxent limit

Sourceval maxwatch_overrides : overrides

Per-domain overrides for the maxwatch limit

Sourceval maxtransaction_overrides : overrides

Per-domain overrides for the maxtransaction limit

Sourceval maxwatchevent_overrides : overrides

Per-domain overrides for the maxwatchevent limit

Sourceval set_override : overrides -> int -> int option -> unit

set_override kind t domid x sets the kind override for domid to x

Sourceval get_override : overrides -> int -> int option

get_override kind t domid returns any current kind override for domid

Sourceval list_overrides : overrides -> (int * int) list

list_overrides kind returns the current kind (domid, override) pairs

Sourceval maxwatch_of_domain : int -> int

maxwatch_of_domain domid returns the max number of watches for domid

Sourceval maxtransaction_of_domain : int -> int

maxtransaction_of_domain domid returns the max number of transactions for domid

Sourceval maxwatchevent_of_domain : int -> int

maxwatchevent_of_domain domid returns the max number of outstanding watch events for domid

Sourcetype t

Represents the current per-domain number of entries

Sourceval create : unit -> t

Create an empty t

Sourceval copy : t -> t

Return a duplicate of t

Sourceval union : t -> t -> unit

union a b adds all entries from b to a

Sourceval merge : t -> t -> t -> unit

union a b adds all entries from b to a

Sourceval check : t -> int -> int -> unit

check t domid size throws Data_too_big if size is too large throws Limit_reached if domid has reached its entry limit

Sourceval get : t -> int -> int

get domid returns the number of entries associated with domid

Sourceval list : t -> (int * int) list

list t returns all (domid, entry count) pairs

Sourceval incr : t -> int -> unit

incr t domid adds an entry to domid

Sourceval decr : t -> int -> unit

decr t domid removes an entry from domid