A modular approach to shared-memory consensus, with applications to the probabilistic-write model