diff options
| author | Giovanni Di Sirio <gdisirio@gmail.com> | 2016-03-28 14:22:13 +0000 |
|---|---|---|
| committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2016-03-28 14:22:13 +0000 |
| commit | 8ff61f3173e8ba55b5d0debf61dfa6e36e2da557 (patch) | |
| tree | d45d58251290cf7585ef981679457e88592a9f6b /test/rt | |
| parent | 60d04bd486fe23f20f017266fab5e624ae31df0c (diff) | |
| download | ChibiOS-8ff61f3173e8ba55b5d0debf61dfa6e36e2da557.tar.gz ChibiOS-8ff61f3173e8ba55b5d0debf61dfa6e36e2da557.tar.bz2 ChibiOS-8ff61f3173e8ba55b5d0debf61dfa6e36e2da557.zip | |
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@9175 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'test/rt')
| -rw-r--r-- | test/rt/configuration.xml | 186 |
1 files changed, 101 insertions, 85 deletions
diff --git a/test/rt/configuration.xml b/test/rt/configuration.xml index d02b17b75..338cc36ed 100644 --- a/test/rt/configuration.xml +++ b/test/rt/configuration.xml @@ -597,199 +597,215 @@ test_assert_sequence("ABCDE");]]></value> </step>
</steps>
</case>
- </cases>
- </sequence>
- <sequence>
- <type index="0">
- <value>Internal Tests</value>
- </type>
- <brief>
- <value>Semaphores.</value>
- </brief>
- <description>
- <value>This sequence tests the ChibiOS/NIL functionalities related to counter semaphores.</value>
- </description>
- <condition>
- <value>CH_CFG_USE_SEMAPHORES</value>
- </condition>
- <shared_code>
- <value><![CDATA[#include "ch.h" - -static semaphore_t sem1;]]></value>
- </shared_code>
- <cases>
<case>
<brief>
- <value>Semaphore primitives, no state change.</value>
+ <value>Priority change test.</value>
</brief>
<description>
- <value>Wait, Signal and Reset primitives are tested. The testing thread does not trigger a state change.</value>
+ <value>A series of priority changes are performed on the current thread in order to verify that the priority change happens as expected.</value>
</description>
<condition>
<value />
</condition>
<various_code>
<setup_code>
- <value><![CDATA[chSemObjectInit(&sem1, 1);]]></value>
+ <value />
</setup_code>
<teardown_code>
- <value><![CDATA[chSemReset(&sem1, 0);]]></value>
+ <value />
</teardown_code>
<local_variables>
- <value />
+ <value><![CDATA[tprio_t prio, p1;]]></value>
</local_variables>
</various_code>
<steps>
<step>
<description>
- <value>The function chSemWait() is invoked, after return the counter and the returned message are tested.</value>
+ <value>Thread priority is increased by one then a check is performed.</value>
</description>
<tags>
<value />
</tags>
<code>
- <value><![CDATA[msg_t msg; - -msg = chSemWait(&sem1); -test_assert_lock(chSemGetCounterI(&sem1) == 0, "wrong counter value"); -test_assert(MSG_OK == msg, "wrong returned message");]]></value>
+ <value><![CDATA[prio = chThdGetPriorityX();
+p1 = chThdSetPriority(prio + 1);
+test_assert(p1 == prio, "unexpected returned priority level");
+test_assert(chThdGetPriorityX() == prio + 1, "unexpected priority level");]]></value>
</code>
</step>
<step>
<description>
- <value>The function chSemSignal() is invoked, after return the counter is tested.</value>
+ <value>Thread priority is returned to the previous value then a check is performed.</value>
</description>
<tags>
<value />
</tags>
<code>
- <value><![CDATA[chSemSignal(&sem1); -test_assert_lock(chSemGetCounterI(&sem1) == 1, "wrong counter value");]]></value>
- </code>
- </step>
- <step>
- <description>
- <value>The function chSemReset() is invoked, after return the counter is tested.</value>
- </description>
- <tags>
- <value />
- </tags>
- <code>
- <value><![CDATA[chSemReset(&sem1, 2); -test_assert_lock(chSemGetCounterI(&sem1) == 2, "wrong counter value");]]></value>
+ <value><![CDATA[p1 = chThdSetPriority(p1);
+test_assert(p1 == prio + 1, "unexpected returned priority level");
+test_assert(chThdGetPriorityX() == prio, "unexpected priority level");]]></value>
</code>
</step>
</steps>
</case>
<case>
<brief>
- <value>Semaphore primitives, with state change.</value>
+ <value>Priority change test with Priority Inheritance.</value>
</brief>
<description>
- <value>Wait, Signal and Reset primitives are tested. The testing thread triggers a state change.</value>
+ <value>A series of priority changes are performed on the current thread in order to verify that the priority change happens as expected.</value>
</description>
<condition>
- <value />
+ <value>CH_CFG_USE_MUTEXES</value>
</condition>
<various_code>
<setup_code>
- <value><![CDATA[chSemObjectInit(&gsem1, 0);]]></value>
+ <value />
</setup_code>
<teardown_code>
- <value><![CDATA[chSemReset(&gsem1, 0);]]></value>
+ <value />
</teardown_code>
<local_variables>
- <value />
+ <value><![CDATA[tprio_t prio, p1;]]></value>
</local_variables>
</various_code>
<steps>
<step>
<description>
- <value>The function chSemWait() is invoked, after return the counter and the returned message are tested. The semaphore is signaled by another thread.</value>
+ <value>Simulating a priority boost situation (prio > realprio).</value>
</description>
<tags>
<value />
</tags>
<code>
- <value><![CDATA[msg_t msg; - -msg = chSemWait(&gsem1); -test_assert_lock(chSemGetCounterI(&gsem1) == 0, "wrong counter value"); -test_assert(MSG_OK == msg, "wrong returned message");]]></value>
+ <value><![CDATA[chThdGetSelfX()->prio += 2;
+test_assert(chThdGetPriorityX() == prio + 2, "unexpected priority level");]]></value>
</code>
</step>
<step>
<description>
- <value>The function chSemWait() is invoked, after return the counter and the returned message are tested. The semaphore is reset by another thread.</value>
+ <value>Raising thread priority above original priority but below the boosted level.</value>
</description>
<tags>
<value />
</tags>
<code>
- <value><![CDATA[msg_t msg; - -msg = chSemWait(&gsem2); -test_assert_lock(chSemGetCounterI(&gsem2) == 0,"wrong counter value"); -test_assert(MSG_RESET == msg, "wrong returned message");]]></value>
+ <value><![CDATA[p1 = chThdSetPriority(prio + 1);
+test_assert(p1 == prio, "unexpected returned priority level");
+test_assert(chThdGetSelfX()->prio == prio + 2, "unexpected priority level");
+test_assert(chThdGetSelfX()->realprio == prio + 1, "unexpected returned real priority level");]]></value>
+ </code>
+ </step>
+ <step>
+ <description>
+ <value>Raising thread priority above the boosted level.</value>
+ </description>
+ <tags>
+ <value />
+ </tags>
+ <code>
+ <value><![CDATA[p1 = chThdSetPriority(prio + 3);
+test_assert(p1 == prio + 1, "unexpected returned priority level");
+test_assert(chThdGetSelfX()->prio == prio + 3, "unexpected priority level");
+test_assert(chThdGetSelfX()->realprio == prio + 3, "unexpected real priority level");]]></value>
+ </code>
+ </step>
+ <step>
+ <description>
+ <value>Restoring original conditions.</value>
+ </description>
+ <tags>
+ <value />
+ </tags>
+ <code>
+ <value><![CDATA[chSysLock();
+chThdGetSelfX()->prio = prio;
+chThdGetSelfX()->realprio = prio;
+chSysUnlock();]]></value>
</code>
</step>
</steps>
</case>
+ </cases>
+ </sequence>
+ <sequence>
+ <type index="0">
+ <value>Internal Tests</value>
+ </type>
+ <brief>
+ <value>Semaphores.</value>
+ </brief>
+ <description>
+ <value>This sequence tests the ChibiOS/NIL functionalities related to counter semaphores.</value>
+ </description>
+ <condition>
+ <value>CH_CFG_USE_SEMAPHORES</value>
+ </condition>
+ <shared_code>
+ <value><![CDATA[#include "ch.h" + +static semaphore_t sem1;]]></value>
+ </shared_code>
+ <cases>
<case>
<brief>
- <value>Semaphores timeout.</value>
+ <value>Semaphore primitives, no state change.</value>
</brief>
<description>
- <value>Timeout on semaphores is tested.</value>
+ <value>Wait, Signal and Reset primitives are tested. The testing thread does not trigger a state change.</value>
</description>
<condition>
<value />
</condition>
<various_code>
<setup_code>
- <value><![CDATA[chSemObjectInit(&sem1, 0);]]></value>
+ <value><![CDATA[chSemObjectInit(&sem1, 1);]]></value>
</setup_code>
<teardown_code>
<value><![CDATA[chSemReset(&sem1, 0);]]></value>
</teardown_code>
<local_variables>
- <value><![CDATA[systime_t time; -msg_t msg;]]></value>
+ <value />
</local_variables>
</various_code>
<steps>
<step>
<description>
- <value>The function chSemWaitTimeout() is invoked a first time, after return the system time, the counter and the returned message are tested.</value>
+ <value>The function chSemWait() is invoked, after return the counter and the returned message are tested.</value>
</description>
<tags>
<value />
</tags>
<code>
- <value><![CDATA[time = chVTGetSystemTimeX(); -msg = chSemWaitTimeout(&sem1, MS2ST(1000)); -test_assert_time_window(time + MS2ST(1000), - time + MS2ST(1000) + 1, - "out of time window"); + <value><![CDATA[msg_t msg; + +msg = chSemWait(&sem1); test_assert_lock(chSemGetCounterI(&sem1) == 0, "wrong counter value"); -test_assert(MSG_TIMEOUT == msg, "wrong timeout message");]]></value>
+test_assert(MSG_OK == msg, "wrong returned message");]]></value>
</code>
</step>
<step>
<description>
- <value>The function chSemWaitTimeout() is invoked again, after return the system time, the counter and the returned message are tested.</value>
+ <value>The function chSemSignal() is invoked, after return the counter is tested.</value>
</description>
<tags>
<value />
</tags>
<code>
- <value><![CDATA[time = chVTGetSystemTimeX(); -msg = chSemWaitTimeout(&sem1, MS2ST(1000)); -test_assert_time_window(time + MS2ST(1000), - time + MS2ST(1000) + 1, - "out of time window"); -test_assert_lock(chSemGetCounterI(&sem1) == 0, "wrong counter value"); -test_assert(MSG_TIMEOUT == msg, "wrong timeout message");]]></value>
+ <value><![CDATA[chSemSignal(&sem1); +test_assert_lock(chSemGetCounterI(&sem1) == 1, "wrong counter value");]]></value>
+ </code>
+ </step>
+ <step>
+ <description>
+ <value>The function chSemReset() is invoked, after return the counter is tested.</value>
+ </description>
+ <tags>
+ <value />
+ </tags>
+ <code>
+ <value><![CDATA[chSemReset(&sem1, 2); +test_assert_lock(chSemGetCounterI(&sem1) == 2, "wrong counter value");]]></value>
</code>
</step>
</steps>
|