launch producer and consumers threads concode_field_sep int SLEEP_TIME concode_elem_sep MigrationOptions options concode_elem_sep P producer concode_field_sep C createConsumer concode_elem_sep P createProducer concode_elem_sep MigrationOptions getOptions
void function ( ) { MigrationTaskManager loc0 = new MigrationTaskManager ( ) ; producer = createProducer ( loc0 ) ; for ( int loc1 = 0 ; loc1 < options . getConsumerCount ( ) ; loc1 ++ ) { createConsumer ( loc0 ) ; } }