src/synchronizer/element_info_per_processor.cc