Module Thread_tableSource

A lock-free thread-safe integer keyed hash table.

This is designed for associating thread specific state with threads within a domain.

⚠️ This is not parallelism-safe — only thread-safe within a single domain.

Sourcetype 'v t

A lock-free thread-safe integer keyed hash table.

Sourceval create : unit -> 'v t

create () returns a new lock-free thread-safe integer keyed hash table. The hash table is automatically resized.

Sourceval length : 'v t -> int

length t returns the number of bindings in the hash table t.

⚠️ The returned value may be greater than the number of distinct keys in the hash table.

Sourceval find : 'v t -> int -> 'v

find t k returns the current binding of k in hash table t, or raises Not_found if no such binding exists.

⚠️ This may use raise_notrace for performance reasons.

Sourceval add : 'v t -> int -> 'v -> unit

add t k v adds a binding of key k to value v to the hash table shadowing the previous binding of the key k, if any.

Sourceval remove : 'v t -> int -> unit

remove t k removes the most recent existing binding of key k, if any, from the hash table t thereby revealing the earlier binding of k, if any.