signature COUNTER = sig val make: unit -> unit -> int end;
structure Counter: COUNTER = struct
fun make () = let val counter = Synchronized.var "counter" 0; fun next () =
Synchronized.change_result counter
(fn i => let val k = i + 1; val n = if Thread_Data.is_virtual then 2 * k + 1 else 2 * k; in (n, k) end); in next end;
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
