Function record_obsolete 

fn record_obsolete(
    obsolete_entry_ids: &Arc<Mutex<HashMap<RegionId, EntryId>>>,
    region_id: RegionId,
    entry_id: EntryId,
)

Records the obsolete watermark of region_id, which never moves down.