A Comparison Of Concurrent Correctness Criteria For Shared Memory Based Data Structure