From 5818d254ce5dbf6ef91dbf0a3e5abb52bd3fa354 Mon Sep 17 00:00:00 2001 From: Thomas Schoebel-Theuer Date: Wed, 13 Dec 2017 00:53:56 +0100 Subject: [PATCH] main: remote_trigger after deletions --- kernel/sy_old/mars_main.c | 7 ++++++- kernel/sy_old/strategy.h | 1 + 2 files changed, 7 insertions(+), 1 deletion(-) 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;