Struct ObjMap

pub(crate) struct ObjMap {
    strong_arena: SlotMap<StrongIdx, Arc<dyn Object>>,
    weak_arena: SlotMap<WeakIdx, WeakArenaEntry>,
    reverse_map: HashMap<TaggedAddr, WeakIdx>,
}

A mechanism to look up RPC Objects by their ObjectId.

Fields

strong_arena: SlotMap<StrongIdx, Arc<dyn Object>>

Generationally indexed arena of strong object references.

weak_arena: SlotMap<WeakIdx, WeakArenaEntry>

Generationally indexed arena of weak object references.

Invariants:

• No object has more than one reference in this arena.
• Every entry in this arena at position idx has a corresponding entry in reverse_map entry such that reverse_map[entry.tagged_addr()] == idx.

reverse_map: HashMap<TaggedAddr, WeakIdx>

Backwards reference to look up weak arena references by the underlying object identity.

Invariants:

• For every weak (addr,idx) entry in this map, there is a corresponding ArenaEntry in arena such that arena[idx].tagged_addr() == addr

Implementations

impl ObjMap

pub(super) fn tidy(&mut self)

Reclaim unused space in this map’s weak arena.

This runs in O(n) time.

fn adjust_size(&mut self)

If needed, clean the weak arena and resize it.

(We call this whenever we’re about to add an entry. This ensures that our insertion operations run in O(1) time.)

pub(crate) fn insert_weak(&mut self, value: Arc<dyn Object>) -> GenIdx

Ensure that there is a weak entry for value in self, and return an index for it. If there is no entry, create a weak entry.

impl ObjMap

pub(crate) fn new() -> Self

Create a new empty ObjMap.

pub(crate) fn insert_strong(&mut self, value: Arc<dyn Object>) -> GenIdx

Unconditionally insert a strong entry for value in self, and return its index.

pub(crate) fn lookup(&self, idx: GenIdx) -> Option<Arc<dyn Object>>

Return the entry from this ObjMap for idx.

pub(crate) fn remove(&mut self, idx: GenIdx) -> Option<Arc<dyn Object>>

Remove and return the entry at idx, if any.

Trait Implementations

impl Default for ObjMap

fn default() -> ObjMap

Returns the “default value” for a type.