Lightweight annotations for controlling sharing in concurrent data structures