- e_xbt_parmap_mode_t mode = XBT_PARMAP_FUTEX;
- const char* mode_name = xbt_cfg_get_string(_surf_cfg_set, "contexts/synchro");
- if (!strcmp(mode_name, "posix")) {
- mode = XBT_PARMAP_POSIX;
- }
- else if (!strcmp(mode_name, "futex")) {
- mode = XBT_PARMAP_FUTEX;
- }
- else if (!strcmp(mode_name, "busy_wait")) {
- mode = XBT_PARMAP_BUSY_WAIT;
- }
- else {
- XBT_WARN("Command line setting of the parallel synchronization mode should "
- "be one of \"posix\", \"futex\" or \"busy_wait\"");
- }
- return mode;