Changeset 315 for rubycfg_asp/trunk/asp_dcre/test/test_cpuexc4.c

Timestamp:

Jul 23, 2017, 2:29:40 PM (7 years ago)

Author:

coas-nagasima

Message:

SVNプロパティを設定

File:

• rubycfg_asp/trunk/asp_dcre/test/test_cpuexc4.c (modified) (3 diffs, 1 prop)

rubycfg_asp/trunk/asp_dcre/test/test_cpuexc4.c

@@ -6 +6 @@
  *              Graduate School of Information Science, Nagoya Univ., JAPAN
  * 
- *  上記著作権è€
-は，以下の(1)～(4)ã®æ¡ä»¶ã‚’æº€ãŸã™å ´åˆã«é™ã‚Šï¼Œæœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§
- *  ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
- *  変・再é
-å¸ƒï¼ˆä»¥ä¸‹ï¼Œåˆ©ç”¨ã¨å‘¼ã¶ï¼‰ã™ã‚‹ã“とを無償で許諾する．
- *  (1) æœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å½¢ã§åˆ©ç”¨ã™ã‚‹å ´åˆã«ã¯ï¼Œä¸Šè¨˜ã®è‘—ä½œ
- *      権表示，この利用条件および下記の無保証規定が，そのままの形でソー
- *      スコード中に含まれていること．
- *  (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
- *      用できる形で再é
-å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œå†é
-å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨
- *      è€
-マニュアルなど）に，上記の著作権表示，この利用条件および下記
- *      の無保証規定を掲載すること．
- *  (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
- *      用できない形で再é
-å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œæ¬¡ã®ã„ずれかの条件を満たすこ
- *      と．
- *    (a) 再é
-å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨è€
-マニュアルなど）に，上記の著
- *        作権表示，この利用条件および下記の無保証規定を掲載すること．
- *    (b) 再é
-å¸ƒã®å½¢æ
-‹ã‚’，別に定める方法によって，TOPPERSプロジェクトに
- *        å ±å‘Šã™ã‚‹ã“ã¨ï¼Ž
- *  (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
- *      害からも，上記著作権è€
-およびTOPPERSプロジェクトをå
-è²¬ã™ã‚‹ã“と．
- *      また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
- *      由に基づく請求からも，上記著作権è€
-およびTOPPERSプロジェクトを
- *      å
-è²¬ã™ã‚‹ã“と．
+ *  上記著作権者は，以下の(1)～(4)の条件を満たす場合に限り，本ソフトウェ
+ *  ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
+ *  変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
+ *  (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
+ *      権表示，この利用条件および下記の無保証規定が，そのままの形でソー
+ *      スコード中に含まれていること．
+ *  (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
+ *      用できる形で再配布する場合には，再配布に伴うドキュメント（利用
+ *      者マニュアルなど）に，上記の著作権表示，この利用条件および下記
+ *      の無保証規定を掲載すること．
+ *  (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
+ *      用できない形で再配布する場合には，次のいずれかの条件を満たすこ
+ *      と．
+ *    (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
+ *        作権表示，この利用条件および下記の無保証規定を掲載すること．
+ *    (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
+ *        報告すること．
+ *  (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
+ *      害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
+ *      また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
+ *      由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
+ *      免責すること．
  * 
- *  本ソフトウェアは，無保証で提供されているものである．上記著作権è€
-お
- *  よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
- *  に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
- *  アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
- *  ã®è²¬ä»»ã‚’è² ã‚ãªã„ï¼Ž
+ *  本ソフトウェアは，無保証で提供されているものである．上記著作権者お
+ *  よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
+ *  に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
+ *  アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
+ *  の責任を負わない．
  * 
  *  $Id$
@@ -54 +39 @@
 
 /* 
- *              CPU例外処理のテスト(4)
+ *              CPU例外処理のテスト(4)
  *
- * 【テストの目的】
+ * 【テストの目的】
  *
- *  タスクコンテキスト，割込ロック状æ
-‹ã§ç™ºç”Ÿã—たCPU例外におけるシステム
- *  状æ
-‹ã®ãƒ†ã‚¹ãƒˆï¼Žå‰²è¾¼ã¿å„ªå
-ˆåº¦ãƒžã‚¹ã‚¯ï¼TIPM_ENAALL，ディスパッチ禁止状æ
-‹ï¼Œ
- *  タスク例外許可状æ
-‹ã§ãƒ†ã‚¹ãƒˆã™ã‚‹ï¼Ž
+ *  タスクコンテキスト，割込ロック状態で発生したCPU例外におけるシステム
+ *  状態のテスト．割込み優先度マスク＝TIPM_ENAALL，ディスパッチ禁止状態，
+ *  タスク例外許可状態でテストする．
  *
- * 【テストé 
-目】
+ * 【テスト項目】
  *
- *  いずれも，タスクコンテキスト，割込ロック状æ
-‹ã§ç™ºç”Ÿã—たCPU例外におい
- *  て，
+ *  いずれも，タスクコンテキスト，割込ロック状態で発生したCPU例外におい
+ *  て，
  *
- *      (A) CPU例外ハンドラ実行開始時にCPUロックフラグが変化しないこと
- *              ！割込みロック状æ
-‹ã§ç™ºç”Ÿã—たCPU例外では，システム状æ
-‹ã‚’正しく読
- *              めることが保証されないため，テストできない．
- *      (B) CPU例外ハンドラ実行開始時に割込み優å
-ˆåº¦ãƒžã‚¹ã‚¯ãŒå¤‰åŒ–しないこと
- *              ！割込みロック状æ
-‹ã§ç™ºç”Ÿã—たCPU例外では，システム状æ
-‹ã‚’正しく読
- *              めることが保証されないため，テストできない．
- *      (C) CPU例外ハンドラ実行開始時にディスパッチ禁止フラグが変化しないこと
- *              ！割込みロック状æ
-‹ã§ç™ºç”Ÿã—たCPU例外では，システム状æ
-‹ã‚’正しく読
- *              めることが保証されないため，テストできない．
- *      (D) CPU例外ハンドラ実行開始時にタスク例外処理禁止フラグが変化しないこと
- *              ！割込みロック状æ
-‹ã§ç™ºç”Ÿã—たCPU例外では，システム状æ
-‹ã‚’正しく読
- *              めることが保証されないため，テストできない．
- *      (E) CPU例外ハンドラリターン時にCPUロックフラグがå
-ƒã«æˆ»ã‚‹ã“と
- *              ！CPUä¾‹å¤–ãƒãƒ³ãƒ‰ãƒ©ã‹ã‚‰ãƒªã‚¿ãƒ¼ãƒ³ã§ãã‚‹å ´åˆã®ã¿ãƒ†ã‚¹ãƒˆã™ã‚‹ï¼Ž
- *      (F) CPU例外ハンドラリターン時に割込み優å
-ˆåº¦ãƒžã‚¹ã‚¯ãŒå
-ƒã«æˆ»ã‚‹ã“と
- *              ！CPUä¾‹å¤–ãƒãƒ³ãƒ‰ãƒ©ã‹ã‚‰ãƒªã‚¿ãƒ¼ãƒ³ã§ãã‚‹å ´åˆã®ã¿ãƒ†ã‚¹ãƒˆã™ã‚‹ï¼Ž
- *      (G) CPU例外ハンドラリターン時にディスパッチ禁止フラグが変化しないこと
- *              ！CPUä¾‹å¤–ãƒãƒ³ãƒ‰ãƒ©ã‹ã‚‰ãƒªã‚¿ãƒ¼ãƒ³ã§ãã‚‹å ´åˆã®ã¿ãƒ†ã‚¹ãƒˆã™ã‚‹ï¼Ž
- *      (H) CPU例外ハンドラリターン時にタスク例外処理禁止フラグが変化しないこと
- *              ！CPUä¾‹å¤–ãƒãƒ³ãƒ‰ãƒ©ã‹ã‚‰ãƒªã‚¿ãƒ¼ãƒ³ã§ãã‚‹å ´åˆã®ã¿ãƒ†ã‚¹ãƒˆã™ã‚‹ï¼Ž
- *      (I) xsns_xpnがtrueを返すこと
- *      (J) xsns_dpnがtrueを返すこと
+ *      (A) CPU例外ハンドラ実行開始時にCPUロックフラグが変化しないこと
+ *              ！割込みロック状態で発生したCPU例外では，システム状態を正しく読
+ *              めることが保証されないため，テストできない．
+ *      (B) CPU例外ハンドラ実行開始時に割込み優先度マスクが変化しないこと
+ *              ！割込みロック状態で発生したCPU例外では，システム状態を正しく読
+ *              めることが保証されないため，テストできない．
+ *      (C) CPU例外ハンドラ実行開始時にディスパッチ禁止フラグが変化しないこと
+ *              ！割込みロック状態で発生したCPU例外では，システム状態を正しく読
+ *              めることが保証されないため，テストできない．
+ *      (D) CPU例外ハンドラ実行開始時にタスク例外処理禁止フラグが変化しないこと
+ *              ！割込みロック状態で発生したCPU例外では，システム状態を正しく読
+ *              めることが保証されないため，テストできない．
+ *      (E) CPU例外ハンドラリターン時にCPUロックフラグが元に戻ること
+ *              ！CPU例外ハンドラからリターンできる場合のみテストする．
+ *      (F) CPU例外ハンドラリターン時に割込み優先度マスクが元に戻ること
+ *              ！CPU例外ハンドラからリターンできる場合のみテストする．
+ *      (G) CPU例外ハンドラリターン時にディスパッチ禁止フラグが変化しないこと
+ *              ！CPU例外ハンドラからリターンできる場合のみテストする．
+ *      (H) CPU例外ハンドラリターン時にタスク例外処理禁止フラグが変化しないこと
+ *              ！CPU例外ハンドラからリターンできる場合のみテストする．
+ *      (I) xsns_xpnがtrueを返すこと
+ *      (J) xsns_dpnがtrueを返すこと
  *
- * 【使用リソース】
+ * 【使用リソース】
  *
- *      TASK1: TA_ACT，中優å
-ˆåº¦ï¼Œã‚¿ã‚¹ã‚¯ä¾‹å¤–処理ルーチン登録
+ *      TASK1: TA_ACT，中優先度，タスク例外処理ルーチン登録
  *      CPUEXC1: TA_NULL
  *
- * 【テストシーケンス】
+ * 【テストシーケンス】
  *
- *      == TASK1（中優å
-ˆåº¦ï¼‰==
- *      1:      状æ
-‹ã®ãƒã‚§ãƒƒã‚¯
+ *      == TASK1（中優先度）==
+ *      1:      状態のチェック
  *              dis_dsp()
  *              ena_tex()
- *      2:      状æ
-‹ã®ãƒã‚§ãƒƒã‚¯
+ *      2:      状態のチェック
  *              SIL_LOC_INT()
  *              RAISE_CPU_EXCEPTION
@@ -130 +92 @@
  *      3:      xsns_xpn() == true                      ... (I)
  *              xsns_dpn() == true                      ... (J)
- *      4:      CPUä¾‹å¤–ãƒãƒ³ãƒ‰ãƒ©ã‹ã‚‰ãƒªã‚¿ãƒ¼ãƒ³ã§ããªã„å ´åˆã¯ï¼Œã“ã“ã§çµ‚äº†
- *      4:      リターン
- *      == TASK1（続き）==
+ *      4:      CPU例外ハンドラからリターンできない場合は，ここで終了
+ *      4:      リターン
+ *      == TASK1（続き）==
  *      5:      SIL_UNL_LOC()
- *      6:      状æ
-‹ã®ãƒã‚§ãƒƒã‚¯                                ... (E)(F)(G)(H)
- *      7:      テスト終了
+ *      6:      状態のチェック                         ... (E)(F)(G)(H)
+ *      7:      テスト終了
  */