Can a lock free algorithm maintain a partial order and detect a partial order violation? - View it on GitHub