test: Modify mng_mod/*/README

test/mng_mod/issues/1029/1029.patch

@@ -1,7 +1,7 @@
-diff --git a/kernel/include/process.h b/kernel/include/process.h
-index 1bd70e1..240fe03 100644
---- a/kernel/include/process.h
-+++ b/kernel/include/process.h
+diff --git kernel/include/process.h kernel/include/process.h
+index 1bf8f27..e55e40e 100644
+--- kernel/include/process.h
++++ kernel/include/process.h
 @@ -697,6 +697,9 @@ struct thread {
  	// for performance counter
  	unsigned long pmc_alloc_map;
@@ -12,11 +12,11 @@ index 1bd70e1..240fe03 100644
  };
  
  #define VM_RANGE_CACHE_SIZE	4
-diff --git a/kernel/process.c b/kernel/process.c
-index cdd4ab3..a3e6c8a 100644
---- a/kernel/process.c
-+++ b/kernel/process.c
-@@ -125,6 +125,7 @@ init_process(struct process *proc, struct process *parent)
+diff --git kernel/process.c kernel/process.c
+index 3dda3ea..eb65aa9 100644
+--- kernel/process.c
++++ kernel/process.c
+@@ -126,6 +126,7 @@ init_process(struct process *proc, struct process *parent)
  		proc->mpol_threshold = parent->mpol_threshold;
  		memcpy(proc->rlimit, parent->rlimit,
  		       sizeof(struct rlimit) * MCK_RLIM_MAX);
@@ -24,7 +24,7 @@ index cdd4ab3..a3e6c8a 100644
  #ifdef POSTK_DEBUG_TEMP_FIX_69 /* Fix problem not to inherit parent cpu_set. */
  		memcpy(&proc->cpu_set, &parent->cpu_set,
  		       sizeof(proc->cpu_set));
-@@ -3104,12 +3105,16 @@ out_schedule:
+@@ -3135,12 +3136,16 @@ out_schedule:
  	schedule();
  }
  
@@ -41,7 +41,7 @@ index cdd4ab3..a3e6c8a 100644
  
  	if (cpu_local_var(no_preempt)) {
  		kprintf("%s: WARNING can't schedule() while no preemption, cnt: %d\n",
-@@ -3139,6 +3144,62 @@ redo:
+@@ -3173,6 +3178,62 @@ redo:
  		}
  	}
  
@@ -101,10 +101,10 @@ index cdd4ab3..a3e6c8a 100644
 +	}
 +}
 +
+ 	/* 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);
-@@ -3172,6 +3233,58 @@ redo:
+@@ -3208,6 +3269,58 @@ redo:
  
  	set_timer();
  

test/mng_mod/issues/1029/README

@@ -2,17 +2,17 @@
 Issue#1029が解決され、既存機能にも影響がないことをストレステスト用いた確認（1項目）と、
 schedule()の基本動作確認（12項目）の計13項目のテストによって確認した。
 
-①ストレステストを用いた確認
- 以下のコマンドを実行し、Issue#1029で報告された事象が発生せず、テストがパスすることを確認した。
- # ./mck-mcexec.sh ./killit -np 16 -nosignal - ./signalonfutex
+1. ストレステストを用いた確認
+・Issue#1029 (https://postpeta.pccluster.org/redmine/issues/1029)
+報告で使用されたテストプログラムを用いて、現象が再現しないことを確認した。
  
-②schedule()の基本動作確認
+2. schedule()の基本動作確認
 schedule()実行時のコンテキストスイッチ前thread(prev)と、
 runqに積まれている実行待ちthreadの状態の組み合わせで、12項目のテストを実施した。
 
 基本動作確認の詳細を以下に示す。
 
-1. ファイルの説明
+(1) ファイルの説明
   1029.patch	動作確認用デバッグプリントを追加するパッチファイル
   sched_test.c	修正対象のschedule()の動作を確認するプログラム
 				複数の子プロセスをfork()し、それぞれの子プロセスでsched_setaffinity()を行う
@@ -20,19 +20,19 @@ runqに積まれている実行待ちthreadの状態の組み合わせで、12
 				sched_testプログラムを並列実行する
   result.log	go_testプログラムの実行結果
 
-2. テストの実行方法
- 以下の手順でテストを実行する
+(2) テストの実行方法
+以下の手順でテストを実行する
 	1. 1029.patch をMcKernelのソースコードに適用し、ビルドとインストールを行う
 	2. MakefileのMCK_DIR変数の内容を、McKernelがインストールされているディレクトリに変更する
-    3. McKernelを起動する
+	3. <mckernel-install>/bin/mcreboot.sh -c 2-7 -m 2G -O
 	4. sh make test を実行する
 
-3. テスト項目
+(3) テスト項目
 schedule()実行時のコンテキストスイッチ前thread(prev)と、
 runqに積まれている実行待ちthreadの状態の以下の組み合わせで、
 schedule()が想定どおりの動作をすることを確認する。
 
-◆prevがidleのケース
+・prevがidleのケース
 CT_001: runqが空 
         ⇒ コンテキストスイッチを行わない
 CT_002: runqに実行待ちのthreadが存在し、且つ、そのthreadが1度も実行状態になっていない
@@ -40,7 +40,7 @@ CT_002: runqに実行待ちのthreadが存在し、且つ、そのthreadが1度
 CT_003: runqに実行待ちのthreadが存在し、且つ、そのthreadが実行状態になったことがある
         ⇒ 非idleのthreadにスイッチする
 
-◆schedule時点で当該CPUのCPU_FLAGS_NEED_MIGRATEが活性化しているケース
+・schedule時点で当該CPUのCPU_FLAGS_NEED_MIGRATEが活性化しているケース
 CT_004: runqが空 
         ⇒ idleにスイッチする
 CT_005: runqに実行待ちのthreadが存在し、且つ、そのthreadが1度も実行状態になっていない
@@ -48,7 +48,7 @@ CT_005: runqに実行待ちのthreadが存在し、且つ、そのthreadが1度
 CT_006: runqに実行待ちのthreadが存在し、且つ、そのthreadが実行状態になったことがある
         ⇒ idleにスイッチする
 
-◆prevがidle以外で、statusがPS_EXITED以外：
+・prevがidle以外で、statusがPS_EXITED以外：
 CT_007: runqが空 
         ⇒ idleにスイッチする
 CT_008: runqに実行待ちのthreadが存在し、且つ、そのthreadが1度も実行状態になっていない
@@ -56,7 +56,7 @@ CT_008: runqに実行待ちのthreadが存在し、且つ、そのthreadが1度
 CT_009: runqに実行待ちのthreadが存在し、且つ、そのthreadが実行状態になったことがある
         ⇒ 非idleのthreadにスイッチする
 
-◆prevがidle以外で、statusがPS_EXITED：
+・prevがidle以外で、statusがPS_EXITED：
 CT_010: runqが空 
         ⇒ idleにスイッチする
 CT_011: runqに実行待ちのthreadが存在し、且つ、そのthreadが1度も実行状態になっていない
@@ -64,6 +64,6 @@ CT_011: runqに実行待ちのthreadが存在し、且つ、そのthreadが1度
 CT_012: runqに実行待ちのthreadが存在し、且つ、そのthreadが実行状態になったことがある
         ⇒ idleにスイッチする
 
-4. 結果
+(4) 結果
 テストプログラムの実行結果はresult.log に出力される。
 上記12項目で[OK]が出力されていることを確認した。