Question

有一个启动100个流程的流程：

for (int i = 0; i < 100; ++i) {
        MSG_process_create("w", executor, NULL, MSG_host_self());
    }

执行程序创建示例任务并执行它。因此，有100个进程同时开始执行任务并完成同时执行任务。为了监控我有void plusOneActiveProcess()和void minusOneActiveProcess()：

的流程数量

由于所有executor进程同时启动，一切正常：

[  0.000000] (2:w@Worker) Active process amount is 1
[  0.000000] (3:w@Worker) Active process amount is 2
[  0.000000] (4:w@Worker) Active process amount is 3
....................................................
[  0.000000] (101:w@Worker) Active process amount is 100

当executor完成执行任务时，每个进程应逐步减少（如我所料）活动进程的数量。但它并没有发生：

[100.000000] (101:w@Worker) Active process amount is 99
[100.000000] (2:w@Worker) Active process amount is 99
[100.000000] (3:w@Worker) Active process amount is 99
....................................................
[100.000000] (100:w@Worker) Active process amount is 99

如何正确地做到这一点？

这是函数代码plusOneActiveProcess()，minusOneActiveProcess，executor()：

int executor(){
    plusOneActiveProcess();
    msg_error_t a = MSG_task_execute(MSG_task_create("", 1e9, 0, NULL));
    minusOneActiveProcess();
    MSG_process_kill(MSG_process_self());
    return 0;
}

void plusOneActiveProcess(){
    char kot[50];
    long number;
    number = xbt_str_parse_int(MSG_host_get_property_value(MSG_host_self(), "activeProcess"), "error");
    number++;
    sprintf(kot, "%ld", number);
    MSG_host_set_property_value(MSG_host_self(), "activeProcess", xbt_strdup(kot), NULL);
    XBT_INFO("Active process amount is %s", MSG_host_get_property_value(MSG_host_self(), "activeProcess"));
    memset(kot, 0, 50);
}

void minusOneActiveProcess(){
    char kot[50];
    long number;
    number = xbt_str_parse_int(MSG_host_get_property_value(MSG_host_self(), "activeProcess"), "error");
    number--;
    sprintf(kot, "%ld", number);
    MSG_host_set_property_value(MSG_host_self(), "activeProcess", xbt_strdup(kot), NULL);
    //XBT_INFO("Active process amount is %s", MSG_host_get_property_value(MSG_host_self(), "activeProcess"));
    memset(kot, 0, 50);
}

Answer 1

啊哈，这很有意思。问题是set_property（）是一个SimGrid simcall，因此您可以保证对set_property（）的所有调用始终以相同的顺序进行线性化。但是get_property（）是一个常规函数调用，它在调度回合开始时返回值。由于所有进程都在相同的调度轮次中询问值，它们都获得相同的值（即100），递减它然后执行simcall以推送新值（所有进程都想推送99）。

您希望将get +设置为原子，即确保任何进程在其他人执行get_property（）之前推送更新的值。为此，我建议使用SimGrid Mutexes或其他东西。

如何在SimGrid中同时正确设置属性？

1 个答案: