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