From f64731ab340d4fa4b5918ca6811a1a59f76569e2 Mon Sep 17 00:00:00 2001 From: Balazs Gerofi Date: Thu, 5 Dec 2019 15:19:21 +0900 Subject: [PATCH] do_migrate: kick scheduler on target CPU Change-Id: Ib5875ecf0c6a3118d32973329a6f1595a910562f --- kernel/process.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/kernel/process.c b/kernel/process.c index c00e29ea..b066dd07 100644 --- a/kernel/process.c +++ b/kernel/process.c @@ -3301,8 +3301,11 @@ static void do_migrate(void) dkprintf("%s: migrated TID %d from CPU %d to CPU %d\n", __FUNCTION__, req->thread->tid, old_cpu_id, cpu_id); - + v->flags |= CPU_FLAG_NEED_RESCHED; + /* Kick scheduler on target CPU */ + ihk_mc_interrupt_cpu(cpu_id, ihk_mc_get_vector(IHK_GV_IKC)); + waitq_wakeup(&req->wq); double_rq_unlock(cur_v, v, irqstate); continue;