[sheepdog] [PATCH 1/2] corosync: fix bug when processing blocked event
Yunkai Zhang
yunkai.me at gmail.com
Tue Jul 10 19:30:59 CEST 2012
From: Yunkai Zhang <qiushu.zyk at taobao.com>
In old code, corosync driver could not process blocked event
correctly.
For example:
Suppose there was two requests: R1, R2.
1) In queue_cluster_request(), R1 sent a BLOCK event(B1) to cluster,
R1 was added to sys->pending_list.
2) When B1 was received, cdrv_cpg_deliver() was executed, and sd_block_handler()
would be called in __dispatch_corosycn_one(). sd_block_handler() will get R1
from sys->pending_list(but not delete R1 from it), cluster_op_running was set
TRUE, and then queue_work().
3) Before cluster_op_done() of R1 was executed, R2 was coming and sent a BLOCK
event(B2) to cluster in queue_cluster_request().
4) Now, cluster_op_done() of R1 was called, R1 sent an UNBLOCK event(U1) to
cluster, and cluster_op_running was set FALSE.
5) And then, B2 was received, cdrv_cpg_deliver()->__dispatch_corosycn_one()
would be called. Because cluster_op_running was FALSE again, so
sd_block_handler() would be executed again, as R1 was also at the head of
sys->pending_list, then R1 would be queue_work() again, ..., this bug will
lead to so many segment fault.
Accord has the same problem, I will fix it in next patch. But zookeeper dirver
works well at this situation.
Signed-off-by: Yunkai Zhang <qiushu.zyk at taobao.com>
---
sheep/cluster/corosync.c | 14 +++++++++++++-
1 file changed, 13 insertions(+), 1 deletion(-)
diff --git a/sheep/cluster/corosync.c b/sheep/cluster/corosync.c
index bd955bb..7810a2e 100644
--- a/sheep/cluster/corosync.c
+++ b/sheep/cluster/corosync.c
@@ -38,6 +38,7 @@ static struct cpg_node cpg_nodes[SD_MAX_NODES];
static size_t nr_cpg_nodes;
static int self_elect;
static int join_finished;
+static int corosync_notify_blocked;
/* event types which are dispatched in corosync_dispatch() */
enum corosync_event_type {
@@ -342,7 +343,8 @@ static int __corosync_dispatch_one(struct corosync_event *cevent)
sd_leave_handler(&cevent->sender.ent, entries, nr_cpg_nodes);
break;
case COROSYNC_EVENT_TYPE_BLOCK:
- sd_block_handler(&cevent->sender.ent);
+ if (sd_block_handler(&cevent->sender.ent))
+ corosync_notify_blocked = 1;
/* block other messages until the unblock message comes */
return 0;
@@ -368,6 +370,14 @@ static void __corosync_dispatch(void)
cevent = list_first_entry(&corosync_notify_list,
typeof(*cevent), list);
+ /*
+ * When there is unfinished blocked event, only cfgchg events
+ * could continue to be processed(as we have given priotiry to
+ * process cfgchg events now).
+ */
+ if (!event_is_confchg(cevent->type) && corosync_notify_blocked)
+ return;
+
/* update join status */
if (!join_finished) {
switch (cevent->type) {
@@ -687,6 +697,8 @@ static void corosync_unblock(void *msg, size_t msg_len)
{
send_message(COROSYNC_MSG_TYPE_UNBLOCK, 0, &this_node, NULL, 0,
msg, msg_len);
+
+ corosync_notify_blocked = 0;
}
static int corosync_notify(void *msg, size_t msg_len)
--
1.7.10.4
More information about the sheepdog
mailing list