Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

lock_free

lock_free

lock_free -- unit type feature grouping lock-free
data structures and algorithms

Constructors

(CTK 
type
:
Type, CTV 
type
:
Type)
 ref
:
Mutable_Map CTK, CTV
 is
[Contains abstract features]
[Private constructor]
the ctrie
(K 
type
:
Type, V 
type
:
Type, capacity i32)
 ref
:
Any
 is
"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
lock-free stack using compare_and_set
invented by R. Kent Treiber
0.095dev (2025-08-15 12:02:22 GIT hash 301b5b75e77076d091b38f555473f9f0e31e5b5c built by fridi@fzen)