Merge pull request #139 from grapherd/hotfix/ipc_deliver_check_sender…

…_intend Fix: ipc_deliver must check from_thr intend
f9micro · Nov 22, 2016 · 604035e · 604035e
2 parents 8e7ae4c + c88077a
commit 604035e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/kernel/ipc.c b/kernel/ipc.c
@@ -346,7 +346,9 @@ uint32_t ipc_deliver(void *data)
 				thr->ipc_from != L4_ANYTHREAD &&
 				thr->ipc_from != TID_TO_GLOBALID(THREAD_INTERRUPT)) {
 				from_thr = thread_by_globalid(thr->ipc_from);
-				if (from_thr->state == T_SEND_BLOCKED)
+				/* NOTE: Must check from_thr intend to send*/
+				if (from_thr->state == T_SEND_BLOCKED &&
+				    from_thr->utcb->intended_receiver == thr->t_globalid)
 					do_ipc(from_thr, thr);
 			}
 			break;