https://123dok.com/document/zxvk8mdy-efficient-algorithms-for-sorting-and-synchronization.html