From 8d5f95de04647b4df2996770278dbf0465f58202 Mon Sep 17 00:00:00 2001
From: Masamichi Takagi <masamichi.takagi@riken.jp>
Date: Mon, 12 Mar 2018 17:11:20 +0900
Subject: [PATCH] schedule: Add comment on #1029

refs #1029
---
 kernel/process.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/kernel/process.c b/kernel/process.c
index f574aa1c..3dda3ea7 100644
--- a/kernel/process.c
+++ b/kernel/process.c
@@ -3173,6 +3173,8 @@ redo:
 		}
 	}
 
+	/* Switch to idle() when prev is PS_EXITED since it always reaches release_thread() 
+	   because it always resumes from just after ihk_mc_switch_context() call. See #1029 */
 	if (v->flags & CPU_FLAG_NEED_MIGRATE ||
 	    prev->status == PS_EXITED) {
 		next = &cpu_local_var(idle);