synchronized critical part in LabelingMapping