Data Structures for Task-based Priority Scheduling