Plasma GitLab Archive
Projects Blog Knowledge

Class type Netsys_global.propagator

class type propagator = object .. end

method propagate : string -> string -> int64

propagate name value version: push the new value of the variable called name to other processes. The version of the new value is returned.

method update : string -> int64 -> (string * int64) option

update name version: checks whether there is a new value of the variable name with a version higher than the passed version. If not, None is returned. If so, Some(val,vers) is returned where val is the value with version vers.

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml