Added futex-based sorters