diff --git a/kernel/sy_old/mars_main.c b/kernel/sy_old/mars_main.c index 6762d56a..f3b6b2d5 100644 --- a/kernel/sy_old/mars_main.c +++ b/kernel/sy_old/mars_main.c @@ -4804,8 +4804,13 @@ static int check_deleted(void *buf, struct mars_dent *dent) goto done; } - if (!strcmp(dent->d_rest, my_id())) + if (!strcmp(dent->d_rest, my_id())) { global->deleted_my_border = serial; + if (global->deleted_my_border != global->old_deleted_my_border) { + global->old_deleted_my_border = global->deleted_my_border; + mars_remote_trigger(); + } + } /* Compute the minimum of the deletion progress among * the resource members. diff --git a/kernel/sy_old/strategy.h b/kernel/sy_old/strategy.h index 37aa6d59..31e22efc 100644 --- a/kernel/sy_old/strategy.h +++ b/kernel/sy_old/strategy.h @@ -110,6 +110,7 @@ struct mars_global { wait_queue_head_t main_event; int global_version; int deleted_my_border; + int old_deleted_my_border; int deleted_border; int deleted_min; bool main_trigger;