> [...] provide atomic operations on stacks and queues, such atomic operations cannot be combined into larger atomic operations
Questions aboud.
Is this about combining operations and then reducing them to a single atomic (read intel's TSX) primitive? Or is it about batching them together?
This is inspiring. Composability means so much more than just chaining things together. I believe type systems should carry way more information about orthogonal properties (can it block? is it associative, commutative? what does it want to be prefetched? does it contain locks? does it contain atomic operations?)
> represented as a k-CAS
If I understand correctly, the hardware has not been there yet for a few years now. Wikipedia lists a few unsucessful attempts [1]