Computer-Science

Browse posts by tag

Multiprocessor synchronization: tournament-Peterson lock

Multiprocessor synchronization is a notoriously tricky subject matter. Unlike with a single thread of execution, in a shared-resource system, where resources are shared among multiple independent processors, we must think very hard about how the …

Bloom Filters and the Art of Probabilistic Certainty

One of the most elegant ideas I encountered during my CS masters work is the Bloom filter—a data structure that gives you probabilistic membership testing with extraordinary space efficiency.

The Core Insight

A Bloom filter can tell you two things: …