A simple pessimistic lock implementation using Redis