Mercurial > ecos

annotate packages/kernel/current/tests/kmutex4.c @ 181:d61da071934c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge from eCos master repository on 2001-08-22-06:38:55-BST
author jlarmour
date Wed, 22 Aug 2001 06:27:14 +0000
parents
children 678094f34118
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
181
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
1 //==========================================================================
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
2 //
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
3 // kmutex4.c
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
4 //
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
5 // Mutex test 4 - dynamic priority inheritance protocol
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
6 //
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
7 //==========================================================================
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
8 //####COPYRIGHTBEGIN####
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
9 //
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
10 // -------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
11 // The contents of this file are subject to the Red Hat eCos Public License
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
12 // Version 1.1 (the "License"); you may not use this file except in
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
13 // compliance with the License. You may obtain a copy of the License at
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
14 // http://www.redhat.com/
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
15 //
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
16 // Software distributed under the License is distributed on an "AS IS"
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
17 // basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See the
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
18 // License for the specific language governing rights and limitations under
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
19 // the License.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
20 //
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
21 // The Original Code is eCos - Embedded Configurable Operating System,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
22 // released September 30, 1998.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
23 //
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
24 // The Initial Developer of the Original Code is Red Hat.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
25 // Portions created by Red Hat are
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
26 // Copyright (C) 1998, 1999, 2000, 2001 Red Hat, Inc.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
27 // All Rights Reserved.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
28 // -------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
29 //
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
30 //####COPYRIGHTEND####
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
31 //==========================================================================
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
32 //#####DESCRIPTIONBEGIN####
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
33 //
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
34 // Author(s): hmt
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
35 // Contributors: hmt
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
36 // Date: 2000-01-06, 2001-08-10, 2001-08-21
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
37 // Description: Tests mutex priority inheritance. This is an extension of
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
38 // kmutex3.c, to test the new "set the protocol at run-time"
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
39 // extensions.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
40 //####DESCRIPTIONEND####
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
41
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
42 #include <pkgconf/hal.h>
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
43 #include <pkgconf/kernel.h>
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
44
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
45 #include <cyg/infra/testcase.h>
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
46
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
47 #include <cyg/hal/hal_arch.h> // CYGNUM_HAL_STACK_SIZE_TYPICAL
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
48
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
49 #include <cyg/infra/diag.h> // diag_printf
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
50
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
51 #ifdef CYGSEM_HAL_STOP_CONSTRUCTORS_ON_FLAG
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
52 externC void
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
53 cyg_hal_invoke_constructors();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
54 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
55
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
56 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
57 //
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
58 // These checks should be enough; any other scheduler which has priorities
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
59 // should manifest as having no priority inheritance, but otherwise fine,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
60 // so the test should work correctly.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
61
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
62 #if defined(CYGVAR_KERNEL_COUNTERS_CLOCK) && \
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
63 (CYGNUM_KERNEL_SCHED_PRIORITIES > 20) && \
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
64 defined(CYGFUN_KERNEL_API_C) && \
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
65 !defined(CYGPKG_KERNEL_SMP_SUPPORT) && \
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
66 defined(CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DYNAMIC) \
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
67
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
68 #include <cyg/kernel/kapi.h>
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
69
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
70 #include <cyg/infra/cyg_ass.h>
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
71 #include <cyg/infra/cyg_trac.h>
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
72 #include <cyg/infra/diag.h> // diag_printf
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
73
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
74 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
75
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
76 #define nVERBOSE
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
77
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
78 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
79 // We have dynamic protocol choice, so we can set the protocol to whatever
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
80 // we want. We'll do these combinations:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
81 // NONE
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
82 // INHERIT
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
83 // CEILING = 4 = higher than any thread === INHERIT in behaviour
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
84 // CEILING = 11 = mixed in with threads === cannot check anything
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
85 // CEILING = 17 = lower than any threads === NONE in behaviour
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
86
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
87 #define PROTO_NONE (0)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
88 #define PROTO_INHERIT (1)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
89 #define PROTO_CEILING_HIGH (2)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
90 #define PROTO_CEILING_MID (3)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
91 #define PROTO_CEILING_LOW (4)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
92
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
93 int proto;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
94
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
95 static char * protnames[] = {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
96 "none",
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
97 "inherit",
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
98 "high ceiling",
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
99 "medium ceiling",
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
100 "low ceiling",
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
101 };
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
102
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
103 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
104 // Management functions
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
105 //
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
106 // Stolen from testaux.hxx and copied in here because I want to be able to
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
107 // reset the world also.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
108 //
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
109 // Translated into KAPI also.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
110
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
111 #define NTHREADS 7
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
112
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
113 #define STACKSIZE CYGNUM_HAL_STACK_SIZE_TYPICAL
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
114
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
115 static cyg_handle_t thread[NTHREADS] = { 0 };
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
116
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
117 typedef cyg_uint64 CYG_ALIGNMENT_TYPE;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
118
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
119 static cyg_thread thread_obj[NTHREADS];
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
120
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
121 static CYG_ALIGNMENT_TYPE stack[NTHREADS] [
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
122 (STACKSIZE+sizeof(CYG_ALIGNMENT_TYPE)-1)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
123 / sizeof(CYG_ALIGNMENT_TYPE) ];
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
124
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
125 static int nthreads = 0;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
126
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
127 #undef NULL
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
128 #define NULL (0)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
129
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
130 static cyg_handle_t new_thread( cyg_thread_entry_t *entry,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
131 cyg_addrword_t data,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
132 cyg_addrword_t priority,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
133 int do_resume,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
134 char *name )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
135 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
136 CYG_ASSERT(nthreads < NTHREADS,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
137 "Attempt to create more than NTHREADS threads");
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
138
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
139 cyg_thread_create( priority,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
140 entry,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
141 data,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
142 name,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
143 (void *)(stack[nthreads]),
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
144 STACKSIZE,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
145 &thread[nthreads],
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
146 &thread_obj[nthreads] );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
147
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
148 if ( do_resume )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
149 cyg_thread_resume( thread[nthreads] );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
150
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
151 return thread[nthreads++];
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
152 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
153
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
154
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
155 static void kill_threads( void )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
156 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
157 CYG_ASSERT(nthreads <= NTHREADS,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
158 "More than NTHREADS threads");
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
159 CYG_ASSERT( cyg_thread_self() == thread[0],
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
160 "kill_threads() not called from thread 0");
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
161 while ( nthreads > 1 ) {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
162 nthreads--;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
163 if ( NULL != thread[nthreads] ) {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
164 do
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
165 cyg_thread_kill( thread[nthreads] );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
166 while ( ! cyg_thread_delete ( thread[nthreads] ) );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
167 thread[nthreads] = NULL;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
168 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
169 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
170 CYG_ASSERT(nthreads == 1,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
171 "No threads left");
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
172 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
173
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
174 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
175
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
176 #define DELAYFACTOR 1 // for debugging
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
177
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
178 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
179
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
180 static cyg_mutex_t mutex_obj;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
181 static cyg_mutex_t *mutex;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
182
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
183 // These are for reporting back to the master thread
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
184 volatile int got_it = 0;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
185 volatile int t3ran = 0;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
186 volatile int t3ended = 0;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
187 volatile int extras[4] = {0,0,0,0};
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
188
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
189 volatile int go_flag = 0; // but this one controls thread 3 from thread 2
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
190
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
191 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
192 // 0 to 3 of these run generally to interfere with the other processing,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
193 // to cause multiple prio inheritances, and clashes in any orders.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
194
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
195 static void extra_thread( cyg_addrword_t data )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
196 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
197 cyg_handle_t self = cyg_thread_self();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
198
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
199
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
200 #ifdef VERBOSE
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
201 #define xXINFO( z ) \
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
202 do { z[13] = '0' + data; CYG_TEST_INFO( z ); } while ( 0 )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
203
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
204 static char running[] = "Extra thread Xa running";
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
205 static char exiting[] = "Extra thread Xa exiting";
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
206 static char resumed[] = "Extra thread Xa resumed";
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
207 static char locked[] = "Extra thread Xa locked";
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
208 static char unlocked[] = "Extra thread Xa unlocked";
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
209 #else
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
210 #define XINFO( z ) /* nothing */
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
211 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
212
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
213 XINFO( running );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
214
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
215 cyg_thread_suspend( self );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
216
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
217 XINFO( resumed );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
218
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
219 cyg_mutex_lock( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
220
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
221 XINFO( locked );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
222
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
223 cyg_mutex_unlock( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
224
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
225 XINFO( unlocked );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
226
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
227 extras[ data ] ++;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
228
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
229 XINFO( exiting );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
230
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
231 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
232
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
233 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
234
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
235 static void t1( cyg_addrword_t data )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
236 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
237 cyg_handle_t self = cyg_thread_self();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
238 #ifdef VERBOSE
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
239 CYG_TEST_INFO( "Thread 1 running" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
240 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
241 cyg_thread_suspend( self );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
242
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
243 cyg_mutex_lock( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
244
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
245 got_it++;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
246
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
247 CYG_TEST_CHECK( 0 == t3ended, "T3 ended prematurely [T1,1]" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
248
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
249 cyg_mutex_unlock( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
250
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
251 CYG_TEST_CHECK( 0 == t3ended, "T3 ended prematurely [T1,2]" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
252
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
253 // That's all.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
254 #ifdef VERBOSE
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
255 CYG_TEST_INFO( "Thread 1 exit" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
256 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
257 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
258
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
259 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
260
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
261 static void t2( cyg_addrword_t data )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
262 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
263 cyg_handle_t self = cyg_thread_self();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
264 int i;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
265 cyg_tick_count_t then, now;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
266 #ifdef VERBOSE
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
267 CYG_TEST_INFO( "Thread 2 running" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
268 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
269 CYG_TEST_CHECK( 0 == (data & ~0x77), "Bad T2 arg: extra bits" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
270 CYG_TEST_CHECK( 0 == (data & (data >> 4)), "Bad T2 arg: overlap" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
271
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
272 cyg_thread_suspend( self );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
273
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
274 // depending on our config argument, optionally restart some of the
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
275 // extra threads to throw noise into the scheduler:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
276 for ( i = 0; i < 3; i++ )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
277 if ( (1 << i) & data ) // bits 0-2 control
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
278 cyg_thread_resume( thread[i+4] ); // extras are thread[4-6]
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
279
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
280 cyg_thread_delay( DELAYFACTOR * 10 ); // let those threads run
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
281
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
282 cyg_scheduler_lock(); // do this next lot atomically
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
283
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
284 go_flag = 1; // unleash thread 3
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
285 cyg_thread_resume( thread[1] ); // resume thread 1
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
286
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
287 // depending on our config argument, optionally restart some of the
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
288 // extra threads to throw noise into the scheduler at this later point:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
289 for ( i = 4; i < 7; i++ )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
290 if ( (1 << i) & data ) // bits 4-6 control
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
291 cyg_thread_resume( thread[i] ); // extras are thread[4-6]
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
292
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
293 cyg_scheduler_unlock(); // let scheduling proceed
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
294
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
295 // Need a delay (but not a CPU yield) to allow t3 to awaken and act on
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
296 // the go_flag, otherwise we check these details below too soon.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
297 // Actually, waiting for the clock to tick a couple of times would be
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
298 // better, so that is what we will do. Must be a busy-wait.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
299 then = cyg_current_time();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
300 do {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
301 now = cyg_current_time();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
302 // Wait longer than the delay in t3 waiting on go_flag
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
303 } while ( now < (then + 3) );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
304
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
305 // Check for whatever result we expect from the protocol selected:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
306 // This mirrors what is done in configury in kmutex3.c and mutex3.cxx
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
307 if ( PROTO_CEILING_MID == proto ) {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
308 CYG_TEST_INFO( "Not checking: ceiling mid value" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
309 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
310 else if ( PROTO_INHERIT == proto ||
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
311 PROTO_CEILING_HIGH == proto ) {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
312 CYG_TEST_INFO( "Checking priority scheme operating" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
313 CYG_TEST_CHECK( 1 == t3ran, "Thread 3 did not run" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
314 CYG_TEST_CHECK( 1 == got_it, "Thread 1 did not get the mutex" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
315 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
316 else {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
317 CYG_TEST_INFO( "Checking NO priority scheme operating" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
318 CYG_TEST_CHECK( 0 == t3ran, "Thread 3 DID run" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
319 CYG_TEST_CHECK( 0 == got_it, "Thread 1 DID get the mutex" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
320 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
321
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
322 CYG_TEST_CHECK( 0 == t3ended, "Thread 3 ended prematurely [T2,1]" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
323
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
324 cyg_thread_delay( DELAYFACTOR * 20 ); // let those threads run
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
325
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
326 CYG_TEST_CHECK( 1 == t3ran, "Thread 3 did not run" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
327 CYG_TEST_CHECK( 1 == got_it, "Thread 1 did not get the mutex" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
328 CYG_TEST_CHECK( 1 == t3ended, "Thread 3 has not ended" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
329
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
330 for ( i = 0; i < 3; i++ )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
331 if ( (1 << i) & (data | data >> 4) ) // bits 0-2 and 4-6 control
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
332 CYG_TEST_CHECK( 1 == extras[i+1], "Extra thread did not run" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
333 else
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
334 CYG_TEST_CHECK( 0 == extras[i+1], "Extra thread ran" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
335
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
336 CYG_TEST_PASS( "Thread 2 exiting, AOK" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
337 // That's all: restart the control thread.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
338 cyg_thread_resume( thread[0] );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
339 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
340
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
341 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
342
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
343 static void t3( cyg_addrword_t data )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
344 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
345 #ifdef VERBOSE
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
346 CYG_TEST_INFO( "Thread 3 running" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
347 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
348 cyg_mutex_lock( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
349
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
350 cyg_thread_delay( DELAYFACTOR * 5 ); // let thread 3a run
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
351
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
352 cyg_thread_resume( thread[2] ); // resume thread 2
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
353
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
354 while ( 0 == go_flag )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
355 cyg_thread_delay(1); // wait until we are told to go
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
356
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
357 t3ran ++; // record the fact
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
358
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
359 CYG_TEST_CHECK( 0 == got_it, "Thread 1 claims to have got my mutex" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
360
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
361 cyg_mutex_unlock( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
362
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
363 t3ended ++; // record that we came back
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
364
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
365 CYG_TEST_CHECK( 1 == got_it, "Thread 1 did not get the mutex" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
366 #ifdef VERBOSE
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
367 CYG_TEST_INFO( "Thread 3 exit" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
368 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
369 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
370
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
371 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
372
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
373 static void control_thread( cyg_addrword_t data )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
374 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
375 cyg_handle_t self = cyg_thread_self();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
376 int i, z;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
377
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
378 CYG_TEST_INIT();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
379 CYG_TEST_INFO( "Control Thread running" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
380
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
381 // Go through the 27 possibilities of resuming the extra threads
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
382 // 0: not at all
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
383 // 1: early in the process
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
384 // 2: later on
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
385 // which are represented by bits 0-3 and 4-6 resp in the argument to
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
386 // thread 2 (none set means no resume at all).
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
387 for ( i = 0; i < 27; i++ ) {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
388 static int xx[] = { 0, 1, 16 };
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
389 int j = i % 3;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
390 int k = (i / 3) % 3;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
391 int l = (i / 9) % 3;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
392
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
393 int d = xx[j] | (xx[k]<<1) | (xx[l]<<2) ;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
394
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
395 if ( cyg_test_is_simulator && (0 != i && 13 != i && 26 != i) )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
396 continue; // 13 is 111 base 3, 26 is 222 base 3
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
397
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
398 // Go through all these priority inversion prevention protocols:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
399 // (if supported in this configuration)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
400 // PROTO_NONE (0)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
401 // PROTO_INHERIT (1)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
402 // PROTO_CEILING_HIGH (2)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
403 // PROTO_CEILING_MID (3)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
404 // PROTO_CEILING_LOW (4)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
405 for ( proto = PROTO_NONE; proto <= PROTO_CEILING_LOW; proto++ ) {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
406
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
407 // If no priority inheritance at all, running threads 1a and 2a is
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
408 // OK, but not thread 3a; it blocks the world.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
409 if ( PROTO_NONE == proto ||
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
410 PROTO_CEILING_MID == proto ||
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
411 PROTO_CEILING_LOW == proto )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
412 if ( l ) // Cannot run thread 3a if no
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
413 continue; // priority inheritance at all.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
414
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
415 mutex = &mutex_obj;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
416
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
417 switch ( proto ) {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
418 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_NONE
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
419 case PROTO_NONE:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
420 cyg_mutex_init( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
421 cyg_mutex_set_protocol( mutex, CYG_MUTEX_NONE );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
422 break;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
423 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
424 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_INHERIT
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
425 case PROTO_INHERIT:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
426 cyg_mutex_init( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
427 cyg_mutex_set_protocol( mutex, CYG_MUTEX_INHERIT );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
428 break;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
429 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
430 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_CEILING
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
431 case PROTO_CEILING_HIGH:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
432 cyg_mutex_init( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
433 cyg_mutex_set_protocol( mutex, CYG_MUTEX_CEILING );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
434 cyg_mutex_set_ceiling( mutex, (cyg_priority_t) 4 );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
435 break;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
436 case PROTO_CEILING_MID:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
437 cyg_mutex_init( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
438 cyg_mutex_set_protocol( mutex, CYG_MUTEX_CEILING );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
439 cyg_mutex_set_ceiling( mutex, (cyg_priority_t) 11 );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
440 break;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
441 case PROTO_CEILING_LOW:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
442 cyg_mutex_init( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
443 cyg_mutex_set_protocol( mutex, CYG_MUTEX_CEILING );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
444 cyg_mutex_set_ceiling( mutex, (cyg_priority_t) 17 );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
445 break;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
446 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
447 default:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
448 continue; // Break out of the prio for loop - do nothing
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
449 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
450
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
451 got_it = 0;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
452 t3ran = 0;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
453 t3ended = 0;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
454 for ( z = 0; z < 4; z++ ) extras[z] = 0;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
455 go_flag = 0;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
456
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
457 new_thread( t1, 0, 5, 1, "test 1" ); // Slot 1
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
458 new_thread( t2, d, 10, 1, "test 2" ); // Slot 2
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
459 new_thread( t3, 0, 15, 1, "test 3" ); // Slot 3
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
460
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
461 new_thread( extra_thread, 1, 8, j, "extra 1" ); // Slot 4
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
462 new_thread( extra_thread, 2, 12, k, "extra 2" ); // Slot 5
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
463 new_thread( extra_thread, 3, 17, l, "extra 3" ); // Slot 6
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
464
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
465 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
466 static char *a[] = { "inactive", "run early", "run late" };
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
467 diag_printf( "\n----- %s [%2d] New Cycle: 0x%02x, Threads 1a %s, 2a %s, 3a %s -----\n",
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
468 protnames[proto], i, d, a[j], a[k], a[l] );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
469 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
470
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
471 cyg_thread_suspend( self );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
472
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
473 kill_threads();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
474 cyg_mutex_destroy( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
475 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
476 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
477 CYG_TEST_EXIT( "Control Thread exit" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
478 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
479
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
480 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
481
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
482 externC void
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
483 cyg_user_start( void )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
484 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
485 #ifdef CYGSEM_HAL_STOP_CONSTRUCTORS_ON_FLAG
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
486 cyg_hal_invoke_constructors();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
487 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
488 new_thread( control_thread, 0, 2, 1, "control thread" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
489 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
490
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
491 #else // CYGVAR_KERNEL_COUNTERS_CLOCK &c
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
492
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
493 externC void
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
494 cyg_start( void )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
495 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
496 CYG_TEST_INIT();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
497 CYG_TEST_PASS_FINISH("KMutex4 test requires:\n"
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
498 "CYGFUN_KERNEL_API_C &&\n"
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
499 "CYGVAR_KERNEL_COUNTERS_CLOCK &&\n"
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
500 "(CYGNUM_KERNEL_SCHED_PRIORITIES > 20) &&\n"
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
501 "!defined(CYGPKG_KERNEL_SMP_SUPPORT) &&\n"
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
502 "defined(CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DYNAMIC)\n"
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
503 );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
504 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
505 #endif // CYGVAR_KERNEL_COUNTERS_CLOCK &c
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
506
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
507
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
508 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
509 // Documentation: enclosed is the design of this test.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
510 //
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
511 // See mutex3.cxx or kmutex3.c
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
512
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
513 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
514 // EOF mutex4.c