Where do you see k-CAS? If, by control of allocation you mean doing something like RCU or its garbage-collected equivalent, sure, if it’s reasonable in your en

Where do you see k-CAS? If, by control of allocation you mean doing something like RCU or its garbage-collected equivalent, sure, if it’s reasonable in your environment, go for it. But seqlocks and their variants produce no garbage and can be extremely efficient in appropriate contexts. (The Linux vDSO, for example, cannot usefully participate in GC or RCU. seqlocks it is.)