We already have volatile for &quot;yes, please do this as two separate increments, don&#x27;t coalesce them&quot;. And atomics give you ordering guarantees and mappings to atomic instructions. And fence methods give you full fences where needed.<p>So we already have all those things you might need, they just got decomposed into different aspects that can be applied separately.