Space Complexity of Implementing Large Shared Registers
share
We prove two new space lower bounds for the problem of implementing a large shared register using smaller physical shared registers. We focus on the case where both the implemented and physical registers are single-writer, which means they can be accessed concurrently by multiple readers but only by a single writer. To strengthen our lower bounds, we let the physical registers be atomic and we only require the implemented register to be regular. Furthermore, the lower bounds hold for obstruction-free implementations, which means they also hold for lock-free and wait-free implementations. If m is the number values representable by the large register and b is the number of values representable by each physical register, our first lower bound says that any obstruction-free implementation that has an invisible reader requires at least m-1/b-1 physical registers. A reader is considered invisible if it never writes to shared registers. This lower bound is tight for the invisible reader case. We also prove a (m-1/b-1, r+m/b) space lower bound for the general case, which covers both visible and invisible readers. In this bound, r represents the number of readers.
READ FULL TEXT