»
Sieve_Cache
lock_free.Sieve_Cache
Type Parameters
Fields
Functions
(key lock_free.Sieve_Cache.K, val Function lock_free.Sieve_Cache.V) => lock_free.Sieve_Cache.V[Contains abstract features]¶
(key lock_free.Sieve_Cache.K, val Function lock_free.Sieve_Cache.V)
=>
lock_free.Sieve_Cache.V[Contains abstract features]
¶access stored value for key,
if not in cache, compute and store in cache
if not in cache, compute and store in cache
0.094dev (2025-06-18 15:08:51 GIT hash 89cffc23ae669b0898a5564fefbf793fcb8e5ca7 built by fridi@fzen)
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