Mercurial > ecos

annotate packages/kernel/current/tests/kmutex4.c @ 3292:7f8e529b4d82 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix FREESCALE_EDMA_NBYTES_MLOFFYES_MLOFF() so it works with negative offsets.
author vae
date Wed, 29 Apr 2015 23:31:48 +0000
parents 6724f8254bcb
children
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 //==========================================================================
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####
181
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
39 //==========================================================================
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
40 //#####DESCRIPTIONBEGIN####
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 // Author(s): hmt
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
43 // Contributors: hmt
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
44 // 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
45 // 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
46 // 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
47 // extensions.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
48 //####DESCRIPTIONEND####
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
49
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
50 #include <pkgconf/hal.h>
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
51 #include <pkgconf/kernel.h>
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
52
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
53 #include <cyg/infra/testcase.h>
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
54
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
55 #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
56
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
57 #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
58
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
59 #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
60 externC void
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
61 cyg_hal_invoke_constructors();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
62 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
63
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
64 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
65 //
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
66 // 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
67 // 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
68 // so the test should work correctly.
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 #if defined(CYGVAR_KERNEL_COUNTERS_CLOCK) && \
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
71 (CYGNUM_KERNEL_SCHED_PRIORITIES > 20) && \
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
72 defined(CYGFUN_KERNEL_API_C) && \
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
73 !defined(CYGPKG_KERNEL_SMP_SUPPORT) && \
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
74 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
75
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
76 #include <cyg/kernel/kapi.h>
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 #include <cyg/infra/cyg_ass.h>
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
79 #include <cyg/infra/cyg_trac.h>
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
80 #include <cyg/infra/diag.h> // diag_printf
3043
6724f8254bcb * tests/bin_sem2.cxx (PHILOSOPHERS):
sergeig
parents: 2729
diff changeset
81 #include CYGHWR_MEMORY_LAYOUT_H
181
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
82
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
83 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
84
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
85 #define nVERBOSE
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 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
88 // 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
89 // 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
90 // NONE
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
91 // INHERIT
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
92 // 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
93 // 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
94 // 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
95
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
96 #define PROTO_NONE (0)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
97 #define PROTO_INHERIT (1)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
98 #define PROTO_CEILING_HIGH (2)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
99 #define PROTO_CEILING_MID (3)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
100 #define PROTO_CEILING_LOW (4)
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 int proto;
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 static char * protnames[] = {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
105 "none",
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
106 "inherit",
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
107 "high ceiling",
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
108 "medium ceiling",
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
109 "low ceiling",
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
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 // Management functions
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 // 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
116 // reset the world also.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
117 //
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
118 // Translated into KAPI also.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
119
3043
6724f8254bcb * tests/bin_sem2.cxx (PHILOSOPHERS):
sergeig
parents: 2729
diff changeset
120 #if (CYGMEM_REGION_ram_SIZE <= 32768)
6724f8254bcb * tests/bin_sem2.cxx (PHILOSOPHERS):
sergeig
parents: 2729
diff changeset
121 # define NTHREADS 5
6724f8254bcb * tests/bin_sem2.cxx (PHILOSOPHERS):
sergeig
parents: 2729
diff changeset
122 #else
6724f8254bcb * tests/bin_sem2.cxx (PHILOSOPHERS):
sergeig
parents: 2729
diff changeset
123 # define NTHREADS 7
6724f8254bcb * tests/bin_sem2.cxx (PHILOSOPHERS):
sergeig
parents: 2729
diff changeset
124 #endif
181
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
125
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
126 #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
127
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
128 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
129
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
130 typedef cyg_uint64 CYG_ALIGNMENT_TYPE;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
131
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
132 static cyg_thread thread_obj[NTHREADS];
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
133
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
134 static CYG_ALIGNMENT_TYPE stack[NTHREADS] [
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
135 (STACKSIZE+sizeof(CYG_ALIGNMENT_TYPE)-1)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
136 / sizeof(CYG_ALIGNMENT_TYPE) ];
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
137
191
678094f34118 Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents: 181
diff changeset
138 static volatile int nthreads = 0;
181
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
139
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
140 #undef NULL
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
141 #define NULL (0)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
142
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
143 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
144 cyg_addrword_t data,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
145 cyg_addrword_t priority,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
146 int do_resume,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
147 char *name )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
148 {
191
678094f34118 Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents: 181
diff changeset
149 int _nthreads = nthreads++;
678094f34118 Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents: 181
diff changeset
150
678094f34118 Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents: 181
diff changeset
151 CYG_ASSERT(_nthreads < NTHREADS,
181
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
152 "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
153
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
154 cyg_thread_create( priority,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
155 entry,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
156 data,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
157 name,
191
678094f34118 Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents: 181
diff changeset
158 (void *)(stack[_nthreads]),
181
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
159 STACKSIZE,
191
678094f34118 Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents: 181
diff changeset
160 &thread[_nthreads],
678094f34118 Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents: 181
diff changeset
161 &thread_obj[_nthreads] );
181
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
162
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
163 if ( do_resume )
191
678094f34118 Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents: 181
diff changeset
164 cyg_thread_resume( thread[_nthreads] );
181
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
165
191
678094f34118 Merge from eCos master repository on 2001-10-19-06:43:02-BST
jlarmour
parents: 181
diff changeset
166 return thread[_nthreads];
181
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
167 }
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 static void kill_threads( void )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
171 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
172 CYG_ASSERT(nthreads <= NTHREADS,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
173 "More than NTHREADS threads");
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
174 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
175 "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
176 while ( nthreads > 1 ) {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
177 nthreads--;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
178 if ( NULL != thread[nthreads] ) {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
179 do
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
180 cyg_thread_kill( thread[nthreads] );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
181 while ( ! cyg_thread_delete ( thread[nthreads] ) );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
182 thread[nthreads] = NULL;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
183 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
184 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
185 CYG_ASSERT(nthreads == 1,
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
186 "No threads left");
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
187 }
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 // ------------------------------------------------------------------------
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 #define DELAYFACTOR 1 // for debugging
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
192
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
193 // ------------------------------------------------------------------------
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 cyg_mutex_t mutex_obj;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
196 static cyg_mutex_t *mutex;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
197
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
198 // 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
199 volatile int got_it = 0;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
200 volatile int t3ran = 0;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
201 volatile int t3ended = 0;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
202 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
203
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
204 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
205
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
206 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
207 // 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
208 // 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
209
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
210 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
211 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
212 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
213
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 #ifdef VERBOSE
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
216 #define xXINFO( z ) \
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
217 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
218
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
219 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
220 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
221 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
222 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
223 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
224 #else
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
225 #define XINFO( z ) /* nothing */
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
226 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
227
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
228 XINFO( running );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
229
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
230 cyg_thread_suspend( self );
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 XINFO( resumed );
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 cyg_mutex_lock( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
235
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
236 XINFO( locked );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
237
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
238 cyg_mutex_unlock( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
239
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
240 XINFO( unlocked );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
241
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
242 extras[ data ] ++;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
243
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
244 XINFO( exiting );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
245
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
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
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
250 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
251 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
252 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
253 #ifdef VERBOSE
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
254 CYG_TEST_INFO( "Thread 1 running" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
255 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
256 cyg_thread_suspend( self );
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 cyg_mutex_lock( mutex );
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 got_it++;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
261
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
262 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
263
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
264 cyg_mutex_unlock( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
265
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
266 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
267
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
268 // That's all.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
269 #ifdef VERBOSE
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
270 CYG_TEST_INFO( "Thread 1 exit" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
271 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
272 }
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 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
275
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
276 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
277 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
278 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
279 int i;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
280 cyg_tick_count_t then, now;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
281 #ifdef VERBOSE
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
282 CYG_TEST_INFO( "Thread 2 running" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
283 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
284 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
285 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
286
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
287 cyg_thread_suspend( self );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
288
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
289 // 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
290 // 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
291 for ( i = 0; i < 3; i++ )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
292 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
293 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
294
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
295 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
296
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
297 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
298
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
299 go_flag = 1; // unleash thread 3
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
300 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
301
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
302 // 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
303 // 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
304 for ( i = 4; i < 7; i++ )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
305 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
306 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
307
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
308 cyg_scheduler_unlock(); // let scheduling proceed
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 // 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
311 // 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
312 // 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
313 // 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
314 then = cyg_current_time();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
315 do {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
316 now = cyg_current_time();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
317 // 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
318 } while ( now < (then + 3) );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
319
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
320 // 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
321 // 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
322 if ( PROTO_CEILING_MID == proto ) {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
323 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
324 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
325 else if ( PROTO_INHERIT == proto ||
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
326 PROTO_CEILING_HIGH == proto ) {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
327 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
328 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
329 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
330 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
331 else {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
332 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
333 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
334 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
335 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
336
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
337 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
338
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
339 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
340
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
341 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
342 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
343 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
344
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
345 for ( i = 0; i < 3; i++ )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
346 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
347 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
348 else
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
349 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
350
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
351 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
352 // 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
353 cyg_thread_resume( thread[0] );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
354 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
355
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
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
358 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
359 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
360 #ifdef VERBOSE
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
361 CYG_TEST_INFO( "Thread 3 running" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
362 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
363 cyg_mutex_lock( mutex );
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_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
366
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
367 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
368
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
369 while ( 0 == go_flag )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
370 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
371
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
372 t3ran ++; // record the fact
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
373
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
374 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
375
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
376 cyg_mutex_unlock( mutex );
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 t3ended ++; // record that we came back
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
379
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
380 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
381 #ifdef VERBOSE
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
382 CYG_TEST_INFO( "Thread 3 exit" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
383 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
384 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
385
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
386 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
387
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
388 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
389 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
390 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
391 int i, z;
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 CYG_TEST_INIT();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
394 CYG_TEST_INFO( "Control Thread running" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
395
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
396 // 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
397 // 0: not at all
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
398 // 1: early in the process
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
399 // 2: later on
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
400 // 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
401 // 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
402 for ( i = 0; i < 27; i++ ) {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
403 static int xx[] = { 0, 1, 16 };
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
404 int j = i % 3;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
405 int k = (i / 3) % 3;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
406 int l = (i / 9) % 3;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
407
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
408 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
409
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
410 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
411 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
412
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
413 // 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
414 // (if supported in this configuration)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
415 // PROTO_NONE (0)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
416 // PROTO_INHERIT (1)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
417 // PROTO_CEILING_HIGH (2)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
418 // PROTO_CEILING_MID (3)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
419 // PROTO_CEILING_LOW (4)
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
420 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
421
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
422 // 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
423 // 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
424 if ( PROTO_NONE == proto ||
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
425 PROTO_CEILING_MID == proto ||
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
426 PROTO_CEILING_LOW == proto )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
427 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
428 continue; // priority inheritance at all.
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
429
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
430 mutex = &mutex_obj;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
431
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
432 switch ( proto ) {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
433 #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
434 case PROTO_NONE:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
435 cyg_mutex_init( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
436 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
437 break;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
438 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
439 #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
440 case PROTO_INHERIT:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
441 cyg_mutex_init( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
442 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
443 break;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
444 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
445 #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
446 case PROTO_CEILING_HIGH:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
447 cyg_mutex_init( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
448 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
449 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
450 break;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
451 case PROTO_CEILING_MID:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
452 cyg_mutex_init( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
453 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
454 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
455 break;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
456 case PROTO_CEILING_LOW:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
457 cyg_mutex_init( mutex );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
458 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
459 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
460 break;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
461 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
462 default:
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
463 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
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 got_it = 0;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
467 t3ran = 0;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
468 t3ended = 0;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
469 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
470 go_flag = 0;
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
471
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
472 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
473 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
474 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
475
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
476 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
477 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
478 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
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 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
482 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
483 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
484 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
485
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
486 cyg_thread_suspend( self );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
487
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
488 kill_threads();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
489 cyg_mutex_destroy( mutex );
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 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
492 CYG_TEST_EXIT( "Control Thread exit" );
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
493 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
494
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
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
497 externC void
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
498 cyg_user_start( void )
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
499 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
500 #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
501 cyg_hal_invoke_constructors();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
502 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
503 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
504 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
505
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
506 #else // CYGVAR_KERNEL_COUNTERS_CLOCK &c
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 externC void
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
509 cyg_start( void )
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 CYG_TEST_INIT();
1507
92cf4ff674de * tests/kmutex3.c (cyg_start): Use CYG_TEST_NA.
jlarmour
parents: 210
diff changeset
512 CYG_TEST_INFO("KMutex4 test requires:\n"
181
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
513 "CYGFUN_KERNEL_API_C &&\n"
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
514 "CYGVAR_KERNEL_COUNTERS_CLOCK &&\n"
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
515 "(CYGNUM_KERNEL_SCHED_PRIORITIES > 20) &&\n"
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
516 "!defined(CYGPKG_KERNEL_SMP_SUPPORT) &&\n"
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
517 "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
518 );
1507
92cf4ff674de * tests/kmutex3.c (cyg_start): Use CYG_TEST_NA.
jlarmour
parents: 210
diff changeset
519 CYG_TEST_NA("KMutex4 test requirements");
181
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
520 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
521 #endif // CYGVAR_KERNEL_COUNTERS_CLOCK &c
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
522
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
523
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
524 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
525 // 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
526 //
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
527 // See mutex3.cxx or kmutex3.c
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
528
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
529 // ------------------------------------------------------------------------
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST
jlarmour
parents:
diff changeset
530 // EOF mutex4.c