Yönetim mantığı, birisi durum senkronizasyonu aracılığıyla bir oylama baypası bulana kadar güvenlidir. Bu, kod kapsamında görünmez. Mantık mutantlarında görünür.