move pthread_map and mutex_map inside of execution.h