This repository was archived by the owner on Jan 15, 2021. It is now read-only.
This repository was archived by the owner on Jan 15, 2021. It is now read-only.
Re-entrant BinaryHeap implementation is not re-entrant in the general case. #87
Description
The BinaryHeap implementation palces critical sections around insertion and deletion but not around get_root(). For types that are not single copy atomic get_root() may observe a partial update of array[0]