Mercurial > flash_v2

annotate packages/kernel/current/tests/kmutex3.c @ 760:74589c7c236e

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