While that may be true, it’s generally not possible to use red locks to build a correct system is mutual exclusion is a strict requirement