minor changes
DTS queue with a dynamic number of SP buffers
typo
linearizable optimization of the TS queue added