bend-collections

Search uses release 1.0.0.0 · 4,483 definitions

Releases (1)

1.0.0.0 indexed

Definitions (4,483)

src/containers/lru.bend

def pidx
def nidx
type EntAn entry about to be stored: its value, whether it is timed, its deadline.
def vacAn entry array of `depth` vacant cells (Array.new needs Data values).
type LRU
def bump_hi_go
type Made
def meta0
def init
def capacity
def new_checked
def new
def grow_tab_b
def grow_tab
def room_fin
def room_m
def roomKeep the table load <= 1/2 for one more entry.
def ent_dl
def life_hi
def life_lo
def ent_if
def ent_ttl
def entry_ofThe entry to store: immortal without a lifetime, else due at now + lifetime.
def set_if
def ul_fin
def ul_p
def unlinkDetach slot s from the recency list.
def link_tailAttach slot s as the newest.
def touch_go
def touch
def bump_hi
def bump_lo
def bump
def tidx
def dlo_idx
def dhi_idx
def put_entPresent key: new entry in place, touched, counted as an insertion.
def repl_fin
def replacePresent key: new entry in place, touched, counted as an insertion.
def drop_e
def drop_coreUnlink live slot s, free it and count it (c = 1 eviction, 2 removal); the table is updated by the caller.
def drop_slot
type DStep
def ds_if
def ds_l
def dstep
def dfind
def del_linkDelete the bucket holding link l (its check word is w): no key comparison.
def dl_h
def hidx
def dl_m
def remove_slotDrop slot s and its bucket (found by its stored hash and link).
def drop_v
def evict_oldest
def ps_fin
def put_slot
def grow_sz
def fresh_room
def fresh_sz
def fresh_f
def free_next
def alloc_pick
def insert_slotStore a new key (its bucket already written) in a free or fresh slot.
def next_slot_mThe slot insert_slot will take: the free-list head, else the next fresh one.
def set_bucket_m
def ins_m
def ins_mask
def miss_fullFull: evict the oldest first (which may shift buckets), then re-probe for an empty bucket; the key is known absent.
def mr_sizeNot full: the probe's empty bucket takes the key.
def mr_fresh
def mr_pick
def miss_roomNot full: the probe's empty bucket takes the key; the slot is chosen once.
def add_miss
def add_full
def add_pick
def add_e
def add_fd
def add_found
def add_m
def add_go
def add_long
def addInsert or replace key; the Bool reports whether an entry was evicted.
def fbump
def expired_choose
def expiredA deadline of zero never expires; otherwise deadline <= now (signed).
def gone_hiWhether slot s holds an expired entry (from its timing words in lk).
def gone_lo
def gone_t
def gone_r
def gone
def miss_if
def rd_live
def rd_gone
def rd_exp_m
def rd_expireThe expired entry found at bucket `at`: dropped as a removal, read as a miss.
def rd_val
def rd_v
def rd_live_f
def rd_gone_pick
def rd_g