implementing highly concurrent data structures methodology 9840183