synchronized_set
