Mercurial > ecos
annotate packages/kernel/current/tests/mutex2.cxx @ 210:d2c90368aeef
Merge from eCos master repository on 2002-05-23-21:39:14-BST
| author | jlarmour |
|---|---|
| date | Thu, 23 May 2002 22:59:51 +0000 |
| parents | e0c0827131d1 |
| children | 92cf4ff674de |
| rev | line source |
|---|---|
| 2 | 1 //========================================================================== |
| 2 // | |
| 3 // mutex1.cxx | |
| 4 // | |
| 5 // Mutex test 1 | |
| 6 // | |
| 7 //========================================================================== | |
|
208
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
8 //####ECOSGPLCOPYRIGHTBEGIN#### |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
9 // ------------------------------------------- |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
10 // This file is part of eCos, the Embedded Configurable Operating System. |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
11 // Copyright (C) 1998, 1999, 2000, 2001, 2002 Red Hat, Inc. |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
12 // |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
13 // eCos is free software; you can redistribute it and/or modify it under |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
14 // the terms of the GNU General Public License as published by the Free |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
15 // Software Foundation; either version 2 or (at your option) any later version. |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
16 // |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
17 // eCos is distributed in the hope that it will be useful, but WITHOUT ANY |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
18 // WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
19 // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
20 // for more details. |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
21 // |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
22 // You should have received a copy of the GNU General Public License along |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
23 // with eCos; if not, write to the Free Software Foundation, Inc., |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
24 // 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA. |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
25 // |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
26 // As a special exception, if other files instantiate templates or use macros |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
27 // or inline functions from this file, or you compile this file and link it |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
28 // with other works to produce a work based on this file, this file does not |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
29 // by itself cause the resulting work to be covered by the GNU General Public |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
30 // License. However the source code for this file must still be made available |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
31 // in accordance with section (3) of the GNU General Public License. |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
32 // |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
33 // This exception does not invalidate any other reasons why a work based on |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
34 // this file might be covered by the GNU General Public License. |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
35 // |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
36 // Alternative licenses for eCos may be arranged by contacting Red Hat, Inc. |
|
210
d2c90368aeef
Merge from eCos master repository on 2002-05-23-21:39:14-BST
jlarmour
parents:
208
diff
changeset
|
37 // at http://sources.redhat.com/ecos/ecos-license/ |
|
208
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
38 // ------------------------------------------- |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
177
diff
changeset
|
39 //####ECOSGPLCOPYRIGHTEND#### |
| 2 | 40 //========================================================================== |
| 41 //#####DESCRIPTIONBEGIN#### | |
| 42 // | |
| 43 // Author(s): nickg | |
| 44 // Contributors: nickg | |
| 45 // Date: 1999-02-19 | |
| 46 // Description: Tests mutex release functionality | |
| 47 //####DESCRIPTIONEND#### | |
| 48 | |
| 49 #include <pkgconf/kernel.h> | |
| 50 | |
| 51 #include <cyg/kernel/sched.hxx> // Cyg_Scheduler::start() | |
| 52 #include <cyg/kernel/thread.hxx> // Cyg_Thread | |
| 53 | |
| 54 #include <cyg/kernel/mutex.hxx> | |
| 55 | |
| 56 #include <cyg/infra/testcase.h> | |
| 57 | |
| 58 #include <cyg/kernel/sched.inl> | |
| 59 #include <cyg/kernel/thread.inl> | |
| 60 | |
|
177
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
61 // ------------------------------------------------------------------------ |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
62 |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
63 #if !defined(CYGPKG_KERNEL_SMP_SUPPORT) |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
64 |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
65 // ------------------------------------------------------------------------ |
| 2 | 66 |
| 67 #define NTHREADS 4 | |
| 68 #include "testaux.hxx" | |
| 69 #include "testaux.h" | |
| 70 | |
|
177
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
71 // ------------------------------------------------------------------------ |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
72 |
| 2 | 73 static Cyg_Mutex m0, m1; |
| 74 static Cyg_Condition_Variable cvar0( m0 ), cvar1( m0 ), cvar2( m1 ); | |
| 75 | |
| 76 volatile int thread_state[NTHREADS]; | |
| 77 | |
|
177
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
78 // ------------------------------------------------------------------------ |
| 2 | 79 // This thread is meant to get hung up trying to re-acquire m0 |
| 80 // after waiting on the cv. | |
|
177
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
81 |
| 2 | 82 static void entry0( CYG_ADDRWORD data ) |
| 83 { | |
| 84 CYG_TEST_INFO( "thread0: lock mutex 0"); | |
| 85 | |
| 86 m0.lock(); | |
| 87 | |
| 88 CYG_TEST_INFO( "thread0: wait cvar 0"); | |
| 89 | |
| 90 thread_state[data] = 1; | |
| 91 | |
| 92 cvar0.wait(); | |
| 93 | |
| 94 thread_state[data] = 2; | |
| 95 | |
| 96 CYG_TEST_INFO( "thread0: woke from cvar 0"); | |
| 97 | |
| 98 CYG_TEST_INFO( "thread0: unlock mutex 0"); | |
| 99 | |
| 100 m0.unlock(); | |
| 101 | |
| 102 thread_state[data] = 3; | |
| 103 | |
| 104 CYG_TEST_INFO( "thread0: exit"); | |
| 105 | |
| 106 thread[data]->exit(); | |
| 107 } | |
| 108 | |
|
177
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
109 // ------------------------------------------------------------------------ |
| 2 | 110 // This thread is meant to claim and keep m0. |
|
177
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
111 |
| 2 | 112 static void entry1( CYG_ADDRWORD data ) |
| 113 { | |
| 114 CYG_TEST_INFO( "thread1: lock mutex 0"); | |
| 115 | |
| 116 m0.lock(); | |
| 117 | |
| 118 CYG_TEST_INFO( "thread1: lock mutex 1"); | |
| 119 | |
| 120 thread_state[data] = 1; | |
| 121 | |
| 122 m1.lock(); | |
| 123 | |
| 124 thread_state[data] = 2; | |
| 125 | |
| 126 CYG_TEST_INFO( "thread1: wait cvar 2"); | |
| 127 | |
| 128 cvar2.wait(); | |
| 129 | |
| 130 thread_state[data] = 3; | |
| 131 | |
| 132 CYG_TEST_INFO( "thread1: woke from cvar 2"); | |
| 133 | |
| 134 CYG_TEST_INFO( "thread1: unlock mutex 1"); | |
| 135 | |
| 136 m1.unlock(); | |
| 137 | |
| 138 thread_state[data] = 4; | |
| 139 | |
| 140 CYG_TEST_INFO( "thread1: unlock m0"); | |
| 141 | |
| 142 m0.unlock(); | |
| 143 | |
| 144 thread_state[data] = 5; | |
| 145 | |
| 146 CYG_TEST_INFO( "thread1: exit"); | |
| 147 | |
| 148 thread[data]->exit(); | |
| 149 } | |
| 150 | |
|
177
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
151 // ------------------------------------------------------------------------ |
| 2 | 152 // This thread is meant to get hung trying to acquire m0, and then get |
| 153 // released out of it by thread3. | |
| 154 | |
| 155 static void entry2( CYG_ADDRWORD data ) | |
| 156 { | |
| 157 CYG_TEST_INFO( "thread2: lock mutex 0"); | |
| 158 | |
| 159 thread_state[data] = 1; | |
| 160 | |
| 161 if( m0.lock() ) | |
| 162 { | |
| 163 thread_state[data] = 2; | |
| 164 | |
| 165 CYG_TEST_INFO( "thread2: lock mutex 0 - returned TRUE"); | |
| 166 CYG_TEST_FAIL_FINISH(" m0.lock() returned TRUE" ); | |
| 167 } | |
| 168 else | |
| 169 { | |
| 170 thread_state[data] = 3; | |
| 171 CYG_TEST_INFO( "thread2: lock mutex 0 - returned FALSE"); | |
| 172 } | |
| 173 | |
| 174 CYG_TEST_INFO( "thread2: exit"); | |
| 175 | |
| 176 thread[data]->exit(); | |
| 177 } | |
| 178 | |
|
177
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
179 // ------------------------------------------------------------------------ |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
180 |
| 2 | 181 static void entry3( CYG_ADDRWORD data ) |
| 182 { | |
| 183 | |
| 184 CHECK( thread_state[0] == 1 ); | |
| 185 CHECK( thread_state[1] == 2 ); | |
| 186 CHECK( thread_state[2] == 1 ); | |
| 187 | |
| 188 CYG_TEST_INFO( "thread3: signal cvar 0"); | |
| 189 | |
| 190 cvar0.signal(); | |
| 191 | |
| 192 CHECK( thread_state[0] == 1 ); | |
| 193 CHECK( thread_state[1] == 2 ); | |
| 194 CHECK( thread_state[2] == 1 ); | |
| 195 | |
| 196 CYG_TEST_INFO( "thread3: release mutex 0"); | |
| 197 | |
| 198 m0.release(); | |
| 199 | |
| 200 CHECK( thread_state[0] == 1 ); | |
| 201 CHECK( thread_state[1] == 2 ); | |
| 202 CHECK( thread_state[2] == 3 ); | |
| 203 | |
| 204 CYG_TEST_INFO( "thread3: signal cvar 2"); | |
| 205 | |
| 206 cvar2.signal(); | |
| 207 | |
| 208 CHECK( thread_state[0] == 3 ); | |
| 209 CHECK( thread_state[1] == 5 ); | |
| 210 CHECK( thread_state[2] == 3 ); | |
| 211 | |
| 212 CYG_TEST_PASS_FINISH( "mutex2 finished OK"); | |
| 213 | |
| 214 CYG_TEST_INFO( "thread3: exit"); | |
| 215 | |
| 216 thread[data]->exit(); | |
| 217 } | |
| 218 | |
|
177
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
219 // ------------------------------------------------------------------------ |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
220 |
| 2 | 221 void mutex2_main( void ) |
| 222 { | |
| 223 CYG_TEST_INIT(); | |
| 224 | |
| 225 new_thread(entry0, 0); | |
| 226 new_thread(entry1, 1); | |
| 227 new_thread(entry2, 2); | |
| 228 new_thread(entry3, 3); | |
| 229 | |
| 230 // Set priorities from the top to prevent two threads getting | |
| 231 // the same priority: this causes an ASSERT on some configurations. | |
| 232 thread[3]->set_priority( 5 ); | |
| 233 thread[2]->set_priority( 4 ); | |
| 234 thread[1]->set_priority( 3 ); | |
| 235 thread[0]->set_priority( 2 ); | |
| 236 | |
| 237 Cyg_Scheduler::start(); | |
| 238 | |
| 239 CYG_TEST_FAIL_FINISH("Not reached"); | |
| 240 } | |
| 241 | |
|
177
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
242 // ------------------------------------------------------------------------ |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
243 |
| 2 | 244 externC void |
| 245 cyg_start( void ) | |
| 246 { | |
|
130
eb9fd8c04db3
Merge from eCos master repository on 2000-10-23-17:01:37-BST
jlarmour
parents:
66
diff
changeset
|
247 #ifdef CYGSEM_HAL_STOP_CONSTRUCTORS_ON_FLAG |
|
eb9fd8c04db3
Merge from eCos master repository on 2000-10-23-17:01:37-BST
jlarmour
parents:
66
diff
changeset
|
248 cyg_hal_invoke_constructors(); |
|
eb9fd8c04db3
Merge from eCos master repository on 2000-10-23-17:01:37-BST
jlarmour
parents:
66
diff
changeset
|
249 #endif |
| 2 | 250 mutex2_main(); |
| 251 } | |
| 252 | |
|
177
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
253 // ------------------------------------------------------------------------ |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
254 |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
255 #else // CYGPKG_KERNEL_SMP_SUPPORT |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
256 |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
257 // ------------------------------------------------------------------------ |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
258 |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
259 externC void |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
260 cyg_start( void ) |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
261 { |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
262 CYG_TEST_INIT(); |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
263 CYG_TEST_PASS_FINISH("Mutex2 test requires:\n" |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
264 "!defined(CYGPKG_KERNEL_SMP_SUPPORT)\n"); |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
265 |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
266 } |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
267 |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
268 // ------------------------------------------------------------------------ |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
269 |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
270 #endif // CYGPKG_KERNEL_SMP_SUPPORT |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
271 |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
272 // ------------------------------------------------------------------------ |
| 2 | 273 // EOF mutex2.cxx |