Mercurial > ecos
annotate packages/kernel/current/tests/mutex3.cxx @ 2052:ec1655a2f96e
* tests/ksem1.c: Type fix to fix a compiler warning.
* tests/mutex3.cxx: new cannot be both static and global.
* tests/testaux.hxx: Ditto
| author | asl |
|---|---|
| date | Wed, 03 Aug 2005 20:57:41 +0000 |
| parents | 92cf4ff674de |
| children | 74dbf4c3f2e1 |
| rev | line source |
|---|---|
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
1 //========================================================================== |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
2 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
3 // mutex3.cxx |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
4 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
5 // Mutex test 3 - priority inheritance |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
6 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
7 //========================================================================== |
|
208
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
191
diff
changeset
|
8 //####ECOSGPLCOPYRIGHTBEGIN#### |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
191
diff
changeset
|
9 // ------------------------------------------- |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
191
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:
191
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:
191
diff
changeset
|
12 // |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
191
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:
191
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:
191
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:
191
diff
changeset
|
16 // |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
191
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:
191
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:
191
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:
191
diff
changeset
|
20 // for more details. |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
191
diff
changeset
|
21 // |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
191
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:
191
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:
191
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:
191
diff
changeset
|
25 // |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
191
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:
191
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:
191
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:
191
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:
191
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:
191
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:
191
diff
changeset
|
32 // |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
191
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:
191
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:
191
diff
changeset
|
35 // |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
191
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:
191
diff
changeset
|
38 // ------------------------------------------- |
|
e0c0827131d1
Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents:
191
diff
changeset
|
39 //####ECOSGPLCOPYRIGHTEND#### |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
40 //========================================================================== |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
41 //#####DESCRIPTIONBEGIN#### |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
42 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
43 // Author(s): hmt |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
44 // Contributors: hmt |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
45 // Date: 2000-01-06 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
46 // Description: Tests mutex priority inheritance |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
47 //####DESCRIPTIONEND#### |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
48 |
|
130
eb9fd8c04db3
Merge from eCos master repository on 2000-10-23-17:01:37-BST
jlarmour
parents:
115
diff
changeset
|
49 #include <pkgconf/hal.h> |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
50 #include <pkgconf/kernel.h> |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
51 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
52 #include <cyg/kernel/sched.hxx> // Cyg_Scheduler::start() |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
53 #include <cyg/kernel/thread.hxx> // Cyg_Thread |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
54 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
55 #include <cyg/kernel/mutex.hxx> |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
56 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
57 #include <cyg/infra/testcase.h> |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
58 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
59 #include <cyg/kernel/sched.inl> |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
60 #include <cyg/kernel/thread.inl> |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
61 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
62 #include <cyg/infra/diag.h> // diag_printf |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
63 |
|
130
eb9fd8c04db3
Merge from eCos master repository on 2000-10-23-17:01:37-BST
jlarmour
parents:
115
diff
changeset
|
64 #ifdef CYGSEM_HAL_STOP_CONSTRUCTORS_ON_FLAG |
|
eb9fd8c04db3
Merge from eCos master repository on 2000-10-23-17:01:37-BST
jlarmour
parents:
115
diff
changeset
|
65 externC void |
|
eb9fd8c04db3
Merge from eCos master repository on 2000-10-23-17:01:37-BST
jlarmour
parents:
115
diff
changeset
|
66 cyg_hal_invoke_constructors(); |
|
eb9fd8c04db3
Merge from eCos master repository on 2000-10-23-17:01:37-BST
jlarmour
parents:
115
diff
changeset
|
67 #endif |
|
eb9fd8c04db3
Merge from eCos master repository on 2000-10-23-17:01:37-BST
jlarmour
parents:
115
diff
changeset
|
68 |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
69 // ------------------------------------------------------------------------ |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
70 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
71 // These checks should be enough; any other scheduler which has priorities |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
72 // should manifest as having no priority inheritance, but otherwise fine, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
73 // so the test should work correctly. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
74 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
75 #if defined(CYGVAR_KERNEL_COUNTERS_CLOCK) && \ |
|
177
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
76 (CYGNUM_KERNEL_SCHED_PRIORITIES > 20) && \ |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
77 !defined(CYGPKG_KERNEL_SMP_SUPPORT) |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
78 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
79 // ------------------------------------------------------------------------ |
|
115
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
80 // Manufacture a simpler feature test macro for priority inheritance than |
|
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
81 // the configuration gives us. We have priority inheritance if it is configured |
|
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
82 // as the only protocol, or if it is the default protocol for dynamic protocol |
|
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
83 // choice. |
|
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
84 // FIXME: If we have dynamic protocol choice, we can also set priority inheritance |
|
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
85 // as the protocol to be used on the mutexes we are interested in. At present we |
|
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
86 // do not do this. |
|
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
87 |
|
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
88 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_INHERIT |
|
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
89 # ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DYNAMIC |
|
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
90 # ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT_INHERIT |
|
178
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
91 # define PRIORITY_INHERITANCE "dynamic-default-inherit" |
|
115
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
92 # endif |
|
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
93 # else |
|
178
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
94 # define PRIORITY_INHERITANCE "static-inherit" |
|
115
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
95 # endif |
|
178
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
96 #endif |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
97 |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
98 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_CEILING |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
99 # ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DYNAMIC |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
100 # ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT_CEILING |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
101 # if CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT_PRIORITY <= 5 |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
102 # define PRIORITY_INHERITANCE "dynamic-default-ceiling-high" |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
103 # elif CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT_PRIORITY >= 15 |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
104 # define NO_PRIORITY_INHERITANCE "dynamic-default-ceiling-low" |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
105 # else |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
106 # define PRIORITY_UNKNOWN "dynamic-default-ceiling-mid" |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
107 # endif |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
108 # endif |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
109 # else |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
110 # if CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT_PRIORITY <= 5 |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
111 # define PRIORITY_INHERITANCE "static-ceiling-high" |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
112 # elif CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT_PRIORITY >= 15 |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
113 # define NO_PRIORITY_INHERITANCE "static-ceiling-low" |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
114 # else |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
115 # define PRIORITY_UNKNOWN "static-ceiling-mid" |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
116 # endif |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
117 # endif |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
118 #endif |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
119 |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
120 #ifndef PRIORITY_INHERITANCE |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
121 # ifndef NO_PRIORITY_INHERITANCE |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
122 # define NO_PRIORITY_INHERITANCE "no scheme selected" |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
123 # endif |
|
115
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
124 #endif |
|
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
125 |
|
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
126 // ------------------------------------------------------------------------ |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
127 // Management functions |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
128 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
129 // Stolen from testaux.hxx and copied in here because I want to be able to |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
130 // reset the world also. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
131 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
132 #define NTHREADS 7 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
133 |
| 2052 | 134 inline void *operator new(size_t size, void *ptr) { return ptr; }; |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
135 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
136 #define STACKSIZE CYGNUM_HAL_STACK_SIZE_TYPICAL |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
137 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
138 static Cyg_Thread *thread[NTHREADS] = { 0 }; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
139 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
140 typedef CYG_WORD64 CYG_ALIGNMENT_TYPE; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
141 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
142 static CYG_ALIGNMENT_TYPE thread_obj[NTHREADS] [ |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
143 (sizeof(Cyg_Thread)+sizeof(CYG_ALIGNMENT_TYPE)-1) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
144 / sizeof(CYG_ALIGNMENT_TYPE) ]; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
145 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
146 static CYG_ALIGNMENT_TYPE stack[NTHREADS] [ |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
147 (STACKSIZE+sizeof(CYG_ALIGNMENT_TYPE)-1) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
148 / sizeof(CYG_ALIGNMENT_TYPE) ]; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
149 |
|
191
678094f34118
Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents:
178
diff
changeset
|
150 static volatile int nthreads = 0; |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
151 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
152 static Cyg_Thread *new_thread( cyg_thread_entry *entry, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
153 CYG_ADDRWORD data, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
154 CYG_ADDRWORD priority, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
155 int do_resume ) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
156 { |
|
191
678094f34118
Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents:
178
diff
changeset
|
157 int _nthreads = nthreads++; |
|
678094f34118
Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents:
178
diff
changeset
|
158 |
|
678094f34118
Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents:
178
diff
changeset
|
159 CYG_ASSERT(_nthreads < NTHREADS, |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
160 "Attempt to create more than NTHREADS threads"); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
161 |
|
191
678094f34118
Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents:
178
diff
changeset
|
162 thread[_nthreads] = new( (void *)&thread_obj[_nthreads] ) |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
163 Cyg_Thread(priority, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
164 entry, data, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
165 NULL, // no name |
|
191
678094f34118
Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents:
178
diff
changeset
|
166 (CYG_ADDRESS)stack[_nthreads], STACKSIZE ); |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
167 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
168 if ( do_resume ) |
|
191
678094f34118
Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents:
178
diff
changeset
|
169 thread[_nthreads]->resume(); |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
170 |
|
191
678094f34118
Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents:
178
diff
changeset
|
171 return thread[_nthreads]; |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
172 } |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
173 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
174 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
175 static void kill_threads( void ) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
176 { |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
177 CYG_ASSERT(nthreads <= NTHREADS, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
178 "More than NTHREADS threads"); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
179 CYG_ASSERT( Cyg_Thread::self() == thread[0], |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
180 "kill_threads() not called from thread 0"); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
181 while ( nthreads > 1 ) { |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
182 nthreads--; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
183 if ( NULL != thread[nthreads] ) { |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
184 thread[nthreads]->kill(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
185 thread[nthreads]->~Cyg_Thread(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
186 thread[nthreads] = NULL; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
187 } |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
188 } |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
189 CYG_ASSERT(nthreads == 1, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
190 "No threads left"); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
191 } |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
192 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
193 // ------------------------------------------------------------------------ |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
194 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
195 #define DELAYFACTOR 1 // for debugging |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
196 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
197 // ------------------------------------------------------------------------ |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
198 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
199 static Cyg_Mutex mutex; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
200 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
201 // These are for reporting back to the master thread |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
202 volatile int got_it = 0; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
203 volatile int t3ran = 0; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
204 volatile int t3ended = 0; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
205 volatile int extras[4] = {0,0,0,0}; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
206 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
207 volatile int go_flag = 0; // but this one controls thread 3 from thread 2 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
208 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
209 // ------------------------------------------------------------------------ |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
210 // 0 to 3 of these run generally to interfere with the other processing, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
211 // to cause multiple prio inheritances, and clashes in any orders. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
212 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
213 static void extra_thread( CYG_ADDRWORD data ) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
214 { |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
215 #define XINFO( z ) \ |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
216 do { z[13] = '0' + data; CYG_TEST_INFO( z ); } while ( 0 ) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
217 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
218 static char running[] = "Extra thread Xa running"; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
219 static char exiting[] = "Extra thread Xa exiting"; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
220 static char resumed[] = "Extra thread Xa resumed"; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
221 static char locked[] = "Extra thread Xa locked"; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
222 static char unlocked[] = "Extra thread Xa unlocked"; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
223 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
224 XINFO( running ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
225 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
226 Cyg_Thread *self = Cyg_Thread::self(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
227 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
228 self->suspend(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
229 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
230 XINFO( resumed ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
231 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
232 mutex.lock(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
233 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
234 XINFO( locked ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
235 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
236 mutex.unlock(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
237 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
238 XINFO( unlocked ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
239 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
240 extras[ data ] ++; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
241 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
242 XINFO( exiting ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
243 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
244 } |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
245 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
246 // ------------------------------------------------------------------------ |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
247 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
248 static void t1( CYG_ADDRWORD data ) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
249 { |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
250 Cyg_Thread *self = Cyg_Thread::self(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
251 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
252 CYG_TEST_INFO( "Thread 1 running" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
253 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
254 self->suspend(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
255 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
256 mutex.lock(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
257 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
258 got_it++; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
259 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
260 CYG_TEST_CHECK( 0 == t3ended, "T3 ended prematurely [T1,1]" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
261 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
262 mutex.unlock(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
263 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
264 CYG_TEST_CHECK( 0 == t3ended, "T3 ended prematurely [T1,2]" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
265 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
266 // That's all. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
267 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
268 CYG_TEST_INFO( "Thread 1 exit" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
269 } |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
270 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
271 // ------------------------------------------------------------------------ |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
272 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
273 static void t2( CYG_ADDRWORD data ) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
274 { |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
275 Cyg_Thread *self = Cyg_Thread::self(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
276 int i; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
277 cyg_tick_count then, now; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
278 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
279 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
280 CYG_TEST_INFO( "Thread 2 running" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
281 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
282 CYG_TEST_CHECK( 0 == (data & ~0x77), "Bad T2 arg: extra bits" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
283 CYG_TEST_CHECK( 0 == (data & (data >> 4)), "Bad T2 arg: overlap" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
284 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
285 self->suspend(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
286 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
287 // depending on our config argument, optionally restart some of the |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
288 // extra threads to throw noise into the scheduler: |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
289 for ( i = 0; i < 3; i++ ) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
290 if ( (1 << i) & data ) // bits 0-2 control |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
291 thread[i+4]->resume(); // made sure extras are thread[4-6] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
292 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
293 self->delay( DELAYFACTOR * 10 ); // let those threads run |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
294 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
295 Cyg_Scheduler::lock(); // do this next lot atomically |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
296 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
297 go_flag = 1; // unleash thread 3 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
298 thread[1]->resume(); // resume thread 1 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
299 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
300 // depending on our config argument, optionally restart some of the |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
301 // extra threads to throw noise into the scheduler at this later point: |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
302 for ( i = 4; i < 7; i++ ) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
303 if ( (1 << i) & data ) // bits 4-6 control |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
304 thread[i]->resume(); // made sure extras are thread[4-6] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
305 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
306 Cyg_Scheduler::unlock(); // let scheduling proceed |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
307 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
308 // Need a delay (but not a CPU yield) to allow t3 to awaken and act on |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
309 // the go_flag, otherwise we check these details below too soon. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
310 // Actually, waiting for the clock to tick a couple of times would be |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
311 // better, so that is what we will do. Must be a busy-wait. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
312 then = Cyg_Clock::real_time_clock->current_value(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
313 do { |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
314 now = Cyg_Clock::real_time_clock->current_value(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
315 // Wait longer than the delay in t3 waiting on go_flag |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
316 } while ( now < (then + 3) ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
317 |
|
178
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
318 #ifdef PRIORITY_UNKNOWN |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
319 CYG_TEST_INFO( "Not checking: " PRIORITY_UNKNOWN ); |
|
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
320 #else |
|
115
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
321 #ifdef PRIORITY_INHERITANCE |
|
178
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
322 CYG_TEST_INFO( "Checking priority scheme: " PRIORITY_INHERITANCE ); |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
323 CYG_TEST_CHECK( 1 == t3ran, "Thread 3 did not run" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
324 CYG_TEST_CHECK( 1 == got_it, "Thread 1 did not get the mutex" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
325 #else |
|
178
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
326 CYG_TEST_INFO( "Checking NO priority scheme: " NO_PRIORITY_INHERITANCE ); |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
327 CYG_TEST_CHECK( 0 == t3ran, "Thread 3 DID run" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
328 CYG_TEST_CHECK( 0 == got_it, "Thread 1 DID get the mutex" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
329 #endif |
|
178
aa8364213009
Merge from eCos master repository on 2001-08-15-01:50:29-BST
jlarmour
parents:
177
diff
changeset
|
330 #endif |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
331 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
332 CYG_TEST_CHECK( 0 == t3ended, "Thread 3 ended prematurely [T2,1]" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
333 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
334 self->delay( DELAYFACTOR * 20 ); // let those threads run |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
335 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
336 CYG_TEST_CHECK( 1 == t3ran, "Thread 3 did not run" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
337 CYG_TEST_CHECK( 1 == got_it, "Thread 1 did not get the mutex" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
338 CYG_TEST_CHECK( 1 == t3ended, "Thread 3 has not ended" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
339 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
340 for ( i = 0; i < 3; i++ ) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
341 if ( (1 << i) & (data | data >> 4) ) // bits 0-2 and 4-6 control |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
342 CYG_TEST_CHECK( 1 == extras[i+1], "Extra thread did not run" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
343 else |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
344 CYG_TEST_CHECK( 0 == extras[i+1], "Extra thread ran" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
345 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
346 CYG_TEST_PASS( "Thread 2 exiting, AOK" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
347 // That's all: restart the control thread. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
348 thread[0]->resume(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
349 } |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
350 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
351 // ------------------------------------------------------------------------ |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
352 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
353 static void t3( CYG_ADDRWORD data ) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
354 { |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
355 Cyg_Thread *self = Cyg_Thread::self(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
356 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
357 CYG_TEST_INFO( "Thread 3 running" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
358 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
359 mutex.lock(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
360 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
361 self->delay( DELAYFACTOR * 5 ); // let thread 3a run |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
362 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
363 thread[2]->resume(); // resume thread 2 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
364 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
365 while ( 0 == go_flag ) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
366 self->delay(1); // wait until we are told to go |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
367 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
368 t3ran ++; // record the fact |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
369 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
370 CYG_TEST_CHECK( 0 == got_it, "Thread 1 claims to have got my mutex" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
371 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
372 mutex.unlock(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
373 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
374 t3ended ++; // record that we came back |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
375 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
376 CYG_TEST_CHECK( 1 == got_it, "Thread 1 did not get the mutex" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
377 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
378 CYG_TEST_INFO( "Thread 3 exit" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
379 } |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
380 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
381 // ------------------------------------------------------------------------ |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
382 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
383 static void control_thread( CYG_ADDRWORD data ) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
384 { |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
385 Cyg_Thread *self = Cyg_Thread::self(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
386 int i; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
387 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
388 CYG_TEST_INIT(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
389 CYG_TEST_INFO( "Control Thread running" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
390 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
391 // Go through the 27 possibilitied of resuming the extra threads |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
392 // 0: not at all |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
393 // 1: early in the process |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
394 // 2: later on |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
395 // which are represented by bits 0-3 and 4-6 resp in the argument to |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
396 // thread 2 (none set means no resume at all). |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
397 for ( i = 0; i < 27; i++ ) { |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
398 static int xx[] = { 0, 1, 16 }; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
399 int j = i % 3; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
400 int k = (i / 3) % 3; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
401 int l = (i / 9) % 3; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
402 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
403 int d = xx[j] | (xx[k]<<1) | (xx[l]<<2) ; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
404 |
|
76
435cced73e2f
eCos v1.3.1 merged from eCos master repository on 2000-03-27-23:22:51-BST
jlarmour
parents:
66
diff
changeset
|
405 if ( cyg_test_is_simulator && (0 != i && 13 != i && 26 != i) ) |
|
435cced73e2f
eCos v1.3.1 merged from eCos master repository on 2000-03-27-23:22:51-BST
jlarmour
parents:
66
diff
changeset
|
406 continue; // 13 is 111 base 3, 26 is 222 base 3 |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
407 |
|
115
6ed91473a1cd
Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents:
76
diff
changeset
|
408 #ifdef PRIORITY_INHERITANCE |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
409 // If the simple scheme plus relay enhancement, or any other |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
410 // *complete* scheme, we can run all three ancillary threads no |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
411 // problem, so no special action here. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
412 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
413 #else |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
414 // If no priority inheritance at all, running threads 1a and 2a is |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
415 // OK, but not thread 3a; it blocks the world. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
416 if ( l ) // Cannot run thread 3a if no |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
417 break; // priority inheritance at all. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
418 #endif |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
419 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
420 mutex = Cyg_Mutex(); // Reinitialize this |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
421 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
422 got_it = 0; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
423 t3ran = 0; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
424 t3ended = 0; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
425 for ( int z = 0; z < 4; z++ ) extras[z] = 0; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
426 go_flag = 0; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
427 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
428 new_thread( t1, 0, 5, 1 ); // Slot 1 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
429 new_thread( t2, d, 10, 1 ); // Slot 2 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
430 new_thread( t3, 0, 15, 1 ); // Slot 3 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
431 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
432 new_thread( extra_thread, 1, 8, j ); // Slot 4 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
433 new_thread( extra_thread, 2, 12, k ); // Slot 5 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
434 new_thread( extra_thread, 3, 17, l ); // Slot 6 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
435 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
436 { |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
437 static char *a[] = { "inactive", "run early", "run late" }; |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
438 diag_printf( "\n----- [%2d] New Cycle: 0x%02x, Threads 1a %s, 2a %s, 3a %s -----\n", |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
439 i, d, a[j], a[k], a[l] ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
440 } |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
441 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
442 self->suspend(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
443 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
444 kill_threads(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
445 mutex.~Cyg_Mutex(); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
446 } |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
447 CYG_TEST_EXIT( "Control Thread exit" ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
448 } |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
449 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
450 // ------------------------------------------------------------------------ |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
451 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
452 externC void |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
453 cyg_user_start( void ) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
454 { |
|
130
eb9fd8c04db3
Merge from eCos master repository on 2000-10-23-17:01:37-BST
jlarmour
parents:
115
diff
changeset
|
455 #ifdef CYGSEM_HAL_STOP_CONSTRUCTORS_ON_FLAG |
|
eb9fd8c04db3
Merge from eCos master repository on 2000-10-23-17:01:37-BST
jlarmour
parents:
115
diff
changeset
|
456 cyg_hal_invoke_constructors(); |
|
eb9fd8c04db3
Merge from eCos master repository on 2000-10-23-17:01:37-BST
jlarmour
parents:
115
diff
changeset
|
457 #endif |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
458 new_thread( control_thread, 0, 2, 1 ); |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
459 } |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
460 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
461 #else // CYGVAR_KERNEL_COUNTERS_CLOCK &c |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
462 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
463 externC void |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
464 cyg_start( void ) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
465 { |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
466 CYG_TEST_INIT(); |
| 1507 | 467 CYG_TEST_INFO("Mutex3 test requires:\n" |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
468 "CYGVAR_KERNEL_COUNTERS_CLOCK &&\n" |
|
177
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
469 "(CYGNUM_KERNEL_SCHED_PRIORITIES > 20) &&\n" |
|
4c750ce71ae3
Merge from eCos master repository on 2001-08-10-19:22:57-BST
jlarmour
parents:
130
diff
changeset
|
470 "!defined(CYGPKG_KERNEL_SMP_SUPPORT)\n"); |
| 1507 | 471 CYG_TEST_NA("Mutex3 test requirements"); |
|
62
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
472 } |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
473 #endif // CYGVAR_KERNEL_COUNTERS_CLOCK &c |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
474 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
475 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
476 // ------------------------------------------------------------------------ |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
477 // Documentation: enclosed is the design of this test. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
478 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
479 // It has been carefully constructed so that it does NOT use other kernel |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
480 // facilities (aside from delay-task) to test that priority inheritance is |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
481 // working, or not, as intended by the configuration. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
482 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
483 // These notes describe the flow of control in one run of the test with the |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
484 // ancillary tasks optionally interspersed. The details of how those extra |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
485 // tasks are or are not allowed to run are not described. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
486 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
487 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
488 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
489 // The only change in the test that depends on whether there is inheritance or |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
490 // not is the check in thread 2 on "3-ran" and "got it" flags marked **** |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
491 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
492 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
493 // volatile &c booleans: |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
494 // "got it" = FALSE |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
495 // "3-ran" = FALSE |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
496 // "3-ended" = FALSE |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
497 // "extras"[3] = FALSE |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
498 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
499 // thread 1. prio 5, self-suspend. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
500 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
501 // thread 1a, prio 8, self-suspend. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
502 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
503 // thread 2. prio 10, self-suspend. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
504 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
505 // thread 2a, prio 12, self-suspend. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
506 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
507 // thread 3. prio 15, runs, lock mutex, resume(2) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
508 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
509 // thread 3a, prio 17, self-suspend. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
510 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
511 // 2. runs, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
512 // 2. resume(3a) +++OPTIONAL |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
513 // 2. resume(2a) +++OPTIONAL |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
514 // 2. resume(1a) +++OPTIONAL |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
515 // [1a lock-fail] thread 3->prio := 8 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
516 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
517 // [3. runs maybe, does the looping thing] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
518 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
519 // 2. sleep a while... |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
520 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
521 // [2a lock-fail] thread 3->prio := 12 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
522 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
523 // [3. runs maybe, does the looping thing] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
524 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
525 // [3a lock-fail] thread 3->prio unchanged |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
526 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
527 // [3. runs maybe, does the looping thing] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
528 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
529 // 2. lock scheduler |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
530 // 2. set "go-flag" |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
531 // 2. resume(1) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
532 // 2. resume(1a) +++OPTIONAL |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
533 // 2. resume(2a) +++OPTIONAL |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
534 // 2. resume(3a) +++OPTIONAL |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
535 // 2. unlock scheduler |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
536 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
537 // 1. runs, lock mutex - thread 3 has it locked |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
538 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
539 // 2. busy-waits a bit for thread 3 to come out of its delay() loop. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
540 // This must be a *busy*wait so that 3 can only run via the |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
541 // inherited raised priority. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
542 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
543 // [xa. all do the same: lock mutex, ] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
544 // [xa. unlock mutex ] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
545 // [xa. set a flag "extras"[x] to say we are done. ] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
546 // [xa. exit ] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
547 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
548 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
549 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
550 // INHERIT |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
551 // ------- |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
552 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
553 // thread 3->prio := 5 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
554 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
555 // 3. runs, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
556 // 3. set a flag to say "3-ran", |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
557 // 3. loop with a sleep(1) until "go-flag" is set. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
558 // 3. check "got it" is false, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
559 // 3. then unlock mutex, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
560 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
561 // thread 3->prio := 15 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
562 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
563 // 1. runs, set a flag to say "got it", |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
564 // 1. check "3-ended" flag is false |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
565 // 1. unlock mutex, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
566 // 1. check "3-ended" flag is still false |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
567 // 1. exit. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
568 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
569 // [1a locks, unlocks, exits] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
570 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
571 // 2. runs, check "3-ran" and "got it" flags are TRUE **** |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
572 // 2. check "3-ended" flag is false |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
573 // 2. sleeps for a while so that... |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
574 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
575 // [2a locks, unlocks, exits] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
576 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
577 // 3. runs, set "3-ended" flag, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
578 // 3. check "3-ran" and "got it" flags |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
579 // 3. exit |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
580 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
581 // [3a locks, unlocks, exits] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
582 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
583 // 2. awakens, checks all flags true, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
584 // 2. check that all "extra" threads that we started have indeed run |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
585 // 2. end of test. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
586 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
587 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
588 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
589 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
590 // NO-INHERIT |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
591 // ---------- |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
592 // thread 1 is waiting on the mutex |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
593 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
594 // [1a lock-fail] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
595 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
596 // 2. runs, checks that "3-ran" and "got it" flags are FALSE **** |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
597 // 2. check "3-ended" flag is false |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
598 // 2. sleeps for a while so that... |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
599 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
600 // [2a. lock-fail] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
601 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
602 // 3. runs, set a flag to say "3-ran", |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
603 // 3. check "got it" is false, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
604 // 3. then unlock mutex, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
605 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
606 // 1. runs, set a flag to say "got it", |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
607 // 1. check "3-ended" flag is false |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
608 // 1. unlock mutex, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
609 // 1. check "3-ended" flag is still false |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
610 // 1. exit. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
611 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
612 // [1a locks, unlocks, exits] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
613 // [2a locks, unlocks, exits] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
614 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
615 // 3. runs, set "3-ended" flag, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
616 // 3. check "3-ran" and "got it" flags |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
617 // 3. exit |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
618 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
619 // [3a locks, unlocks, exits] |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
620 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
621 // 2. awakens, checks all flags true, |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
622 // 2. check that all "extra" threads that we started have indeed run |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
623 // 2. end of test. |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
624 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
625 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
626 // (the end) |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
627 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
628 // |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
629 // ------------------------------------------------------------------------ |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
630 |
|
7a6ac9edc838
Merge from eCos master repository on 2000-01-24-19:43:49-GMT
jlarmour
parents:
diff
changeset
|
631 // EOF mutex3.cxx |
