annotate packages/kernel/current/src/sync/bin_sem.cxx @ 1777:c16341b1bac6 default tip

* Added execute permissions to files missed in conversion from CVS
author alexs
date Mon, 12 Oct 2009 02:26:09 +0100
parents e8b69d9c90a6
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
1 //==========================================================================
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
2 //
2
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
3 // sync/bin_sem.cxx
0
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
4 //
2
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
5 // Binary semaphore implementation
0
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
6 //
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
7 //==========================================================================
208
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents: 115
diff changeset
8 //####ECOSGPLCOPYRIGHTBEGIN####
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents: 115
diff changeset
9 // -------------------------------------------
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents: 115
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: 115
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: 115
diff changeset
12 //
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents: 115
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: 115
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: 115
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: 115
diff changeset
16 //
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents: 115
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: 115
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: 115
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: 115
diff changeset
20 // for more details.
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents: 115
diff changeset
21 //
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents: 115
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: 115
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: 115
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: 115
diff changeset
25 //
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents: 115
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: 115
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: 115
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: 115
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: 115
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: 115
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: 115
diff changeset
32 //
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents: 115
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: 115
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: 115
diff changeset
35 //
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents: 115
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: 115
diff changeset
38 // -------------------------------------------
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST
jlarmour
parents: 115
diff changeset
39 //####ECOSGPLCOPYRIGHTEND####
0
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
40 //==========================================================================
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
41 //#####DESCRIPTIONBEGIN####
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
42 //
2
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
43 // Author(s): nickg
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
44 // Contributors: nickg
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
45 // Date: 1997-09-24
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
46 // Purpose: Cyg_Binary_Semaphore implementation
443894e2e912 Block commit of eCos version 1.2.1
jlarmour
parents: 0
diff changeset
47 // Description: This file contains the implementations of the binary semaphore
0
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
48 // class.
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
49 //
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
50 //####DESCRIPTIONEND####
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
51 //
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
52 //==========================================================================
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
53
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
54 #include <pkgconf/kernel.h>
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
55
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
56 #include <cyg/kernel/ktypes.h> // base kernel types
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
57 #include <cyg/infra/cyg_trac.h> // tracing macros
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
58 #include <cyg/infra/cyg_ass.h> // assertion macros
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
59 #include <cyg/kernel/instrmnt.h> // instrumentation
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
60
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
61 #include <cyg/kernel/thread.inl> // Cyg_Thread inlines
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
62
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
63 #include <cyg/kernel/sema.hxx> // our header
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
64
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
65 #include <cyg/kernel/sched.inl> // scheduler inlines
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
66
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
67 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
68
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
69 Cyg_Binary_Semaphore::Cyg_Binary_Semaphore (
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
70 cyg_bool init_state
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
71 )
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
72 {
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
73 state = init_state;
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
74 }
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
75
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
76 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
77
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
78 Cyg_Binary_Semaphore::~Cyg_Binary_Semaphore ( )
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
79 {
1062
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
80 CYG_ASSERT( queue.empty(), "Destroying semaphore with waiting threads");
0
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
81 }
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
82
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
83 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
84
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
85 cyg_bool Cyg_Binary_Semaphore::wait()
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
86 {
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
87 cyg_bool result = true;
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
88 Cyg_Thread *self = Cyg_Thread::self();
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
89
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
90 // Prevent preemption
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
91 Cyg_Scheduler::lock();
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
92
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
93 CYG_INSTRUMENT_BINSEM( CLAIM, this, state );
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
94
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
95 while( !state && result )
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
96 {
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
97 self->set_sleep_reason( Cyg_Thread::WAIT );
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
98
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
99 self->sleep();
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
100
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
101 queue.enqueue( self );
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
102
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
103 CYG_INSTRUMENT_BINSEM( WAIT, this, 0 );
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
104
115
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents: 66
diff changeset
105 // Allow other threads to run
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST
jlarmour
parents: 66
diff changeset
106 Cyg_Scheduler::reschedule();
0
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
107
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
108 CYG_INSTRUMENT_BINSEM( WOKE, this, state );
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
109
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
110 switch( self->get_wake_reason() )
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
111 {
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
112 case Cyg_Thread::DESTRUCT:
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
113 case Cyg_Thread::BREAK:
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
114 result = false;
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
115 break;
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
116
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
117 case Cyg_Thread::EXIT:
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
118 self->exit();
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
119 break;
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
120
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
121 default:
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
122 break;
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
123 }
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
124
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
125 }
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
126
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
127 if( result ) state = false;
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
128
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
129 // Unlock the scheduler and maybe switch threads
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
130 Cyg_Scheduler::unlock();
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
131
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
132 return result;
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
133 }
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
134
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
135 // -------------------------------------------------------------------------
1062
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
136 // Wait until the state can be set false or timeout
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
137
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
138 #ifdef CYGFUN_KERNEL_THREADS_TIMER
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
139
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
140 cyg_bool
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
141 Cyg_Binary_Semaphore::wait( cyg_tick_count timeout )
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
142 {
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
143 cyg_bool result = true;
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
144 Cyg_Thread *self = Cyg_Thread::self();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
145
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
146 // Prevent preemption
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
147 Cyg_Scheduler::lock();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
148
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
149 CYG_INSTRUMENT_BINSEM( CLAIM, this, state );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
150
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
151 // Set the timer _once_ outside the loop.
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
152 self->set_timer( timeout, Cyg_Thread::TIMEOUT );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
153
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
154 // If the timeout is in the past, the wake reason will have been
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
155 // set to something other than NONE already. If the semaphore is
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
156 // not available, set the result false to force an immediate
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
157 // return. If it is available, then go ahead and claim it.
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
158
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
159 if( self->get_wake_reason() != Cyg_Thread::NONE && !state )
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
160 result = false;
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
161
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
162 while ( !state && result ) {
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
163
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
164 // must reset the sleep reason every time
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
165 self->set_sleep_reason( Cyg_Thread::TIMEOUT );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
166
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
167 self->sleep();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
168
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
169 queue.enqueue( self );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
170
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
171 CYG_INSTRUMENT_BINSEM( WAIT, this, 0 );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
172
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
173 // Allow other threads to run
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
174 Cyg_Scheduler::reschedule();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
175
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
176 CYG_INSTRUMENT_BINSEM( WOKE, this, state );
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
177
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
178 switch( self->get_wake_reason() )
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
179 {
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
180 case Cyg_Thread::TIMEOUT:
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
181 result = false;
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
182 CYG_INSTRUMENT_BINSEM( TIMEOUT, this, state);
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
183 break;
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
184
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
185 case Cyg_Thread::DESTRUCT:
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
186 case Cyg_Thread::BREAK:
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
187 result = false;
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
188 break;
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
189
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
190 case Cyg_Thread::EXIT:
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
191 self->exit();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
192 break;
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
193
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
194 default:
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
195 break;
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
196 }
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
197 }
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
198
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
199 // Clear the timeout. It is irrelevant whether the alarm has
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
200 // actually gone off or not.
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
201 self->clear_timer();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
202
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
203 if( result ) state = false;
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
204
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
205 // Unlock the scheduler and maybe switch threads
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
206 Cyg_Scheduler::unlock();
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
207
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
208 return result;
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
209 }
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
210
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
211 #endif // CYGFUN_KERNEL_THREADS_TIMER
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
212
e8b69d9c90a6 * cdl/kernel.cdl: Added tests/bin_sem3 to list of kernel tests.
nickg
parents: 210
diff changeset
213 // -------------------------------------------------------------------------
0
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
214
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
215 cyg_bool Cyg_Binary_Semaphore::trywait()
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
216 {
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
217 cyg_bool result = true;
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
218
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
219 // Prevent preemption
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
220 Cyg_Scheduler::lock();
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
221
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
222 if( state ) state = false;
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
223 else result = false;
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
224
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
225 CYG_INSTRUMENT_BINSEM( TRY, this, result );
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
226
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
227 // Unlock the scheduler and maybe switch threads
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
228 Cyg_Scheduler::unlock();
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
229
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
230 return result;
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
231 }
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
232
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
233 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
234
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
235 void Cyg_Binary_Semaphore::post()
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
236 {
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
237 // Prevent preemption
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
238 Cyg_Scheduler::lock();
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
239
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
240 CYG_INSTRUMENT_BINSEM( POST, this, 0 );
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
241
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
242 state = true;
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
243
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
244 if( !queue.empty() ) {
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
245
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
246 // The queue is non-empty, so grab the next
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
247 // thread from it and wake it up. The waiter
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
248 // will clear the flag.
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
249
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
250 Cyg_Thread *thread = queue.dequeue();
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
251
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
252 thread->set_wake_reason( Cyg_Thread::DONE );
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
253
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
254 thread->wake();
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
255
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
256 CYG_INSTRUMENT_BINSEM( WAKE, this, thread );
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
257 }
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
258
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
259 // Unlock the scheduler and maybe switch threads
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
260 Cyg_Scheduler::unlock();
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
261
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
262 }
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
263
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
264 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
265
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
266 cyg_bool Cyg_Binary_Semaphore::posted()
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
267 {
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
268 // This is a single read of the value of state.
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
269 // This is already atomic, hence there is no need
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
270 // to lock the scheduler.
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
271
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
272 return state;
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
273 }
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
274
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
275 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1
jlarmour
parents:
diff changeset
276 // EOF sync/bin_sem.cxx