Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal

lock_free

lock_free

:
Any
 is
[Contains abstract features]
lock_free -- unit type feature grouping lock-free
data structures and algorithms

Constructors

(CTK 
type
:
property.hashable, CTV 
type
)
 ref
:
Mutable_Map CTK, CTV
 is
[Contains abstract features]
[Private constructor]
the ctrie
(K 
type
:
property.hashable, V 
type
, capacity i32)
 ref
:
Any
 is
[Contains abstract features]
"SIEVE is a cache eviction algorithm that decides what to keep in the cache and what to discard.
It achieves both simplicity and efficiency."
source: https://sievecache.com/
paper : https://junchengyang.com/publication/nsdi24-SIEVE.pdf

example usage:
cache0 := lock_free.Sieve_Cache String i32 3
say <| cache0.access "A" ()->1 # => 1
say <| cache0.access "B" ()->2 # => 2
say <| cache0.access "C" ()->3 # => 3
say <| cache0.access "A" ()->4 # => 1
say <| cache0.access "D" ()->5 # => 5
say <| cache0.access "C" ()->6 # => 3
(T 
type
)
:
Stack T
 is
[Contains abstract features]
lock-free stack using compare_and_set
invented by R. Kent Treiber
0.094dev (2025-06-18 15:08:51 GIT hash 89cffc23ae669b0898a5564fefbf793fcb8e5ca7 built by fridi@fzen)