HomeSearchLibrary
Two-phase clock | OmniWiki