flash_v2: packages/kernel/current/src/sync/mutex.cxx annotate

annotate packages/kernel/current/src/sync/mutex.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	d2c90368aeef
children

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/mutex.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 // Mutex and condition variable 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: 182 diff changeset	8 //####ECOSGPLCOPYRIGHTBEGIN####
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	9 // -------------------------------------------
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 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: 182 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: 182 diff changeset	12 //
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 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: 182 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: 182 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: 182 diff changeset	16 //
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 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: 182 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: 182 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: 182 diff changeset	20 // for more details.
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	21 //
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 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: 182 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: 182 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: 182 diff changeset	25 //
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 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: 182 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: 182 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: 182 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: 182 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: 182 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: 182 diff changeset	32 //
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 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: 182 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: 182 diff changeset	35 //
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 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: 182 diff changeset	38 // -------------------------------------------
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 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, jlarmour
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	45 // Date: 1999-02-17
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	46 // Purpose: Mutex implementation
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	47 // Description: This file contains the implementations of the mutex
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	48 // and condition variable classes.
0 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/mutex.hxx> // our header
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/thread.inl> // thread inlines
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	64 #include <cyg/kernel/sched.inl> // scheduler inlines
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	65 #include <cyg/kernel/clock.inl> // clock inlines
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	66
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	67 // -------------------------------------------------------------------------
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	68 // Mutex protocol test macros.
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	69 // If the dynamic protocol option is enabled, then these generate appropriate
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	70 // tests on the protocol field. If there is no dynamic choice then they simply
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	71 // result in empty statements.
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	72
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	73 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DYNAMIC
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	74
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	75 #define IF_PROTOCOL_INHERIT if( protocol == INHERIT )
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	76 #define IF_PROTOCOL_CEILING if( protocol == CEILING )
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	77 #define IF_PROTOCOL_ACTIVE if( protocol != NONE )
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	78
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	79 #else
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	80
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	81 #define IF_PROTOCOL_INHERIT
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	82 #define IF_PROTOCOL_CEILING
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	83 #define IF_PROTOCOL_ACTIVE
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	84
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	85 #endif
0 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 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	88 // Constructor
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 Cyg_Mutex::Cyg_Mutex()
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	91 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	92 CYG_REPORT_FUNCTION();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	93
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	94 locked = false;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	95 owner = NULL;
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	96
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	97 #if defined(CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT) && \
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	98 defined(CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DYNAMIC)
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	99
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	100 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT_INHERIT
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	101 protocol = INHERIT;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	102 #endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	103 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT_CEILING
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	104 protocol = CEILING;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	105 ceiling = CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT_PRIORITY;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	106 #endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	107 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT_NONE
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	108 protocol = NONE;
182 f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	109 #endif
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	110
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	111 #else // not (DYNAMIC and DEFAULT defined)
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	112
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	113 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_CEILING
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	114 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT_PRIORITY
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	115
182 f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	116 // if there is a default priority ceiling defined, use that to initialize
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	117 // the ceiling.
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	118 ceiling = CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT_PRIORITY;
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	119
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	120 #else
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	121
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	122 // Otherwise set it to zero.
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	123 ceiling = 0;
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	124
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	125 #endif
182 f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	126 #endif
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	127
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	128 #endif // DYNAMIC and DEFAULT defined
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	129
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	130 CYG_REPORT_RETURN();
0 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
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	133 // -------------------------------------------------------------------------
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	134 // Construct with defined protocol
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	135
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	136 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DYNAMIC
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	137
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	138 Cyg_Mutex::Cyg_Mutex( cyg_protcol protocol_arg )
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	139 {
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	140 CYG_REPORT_FUNCTION();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	141
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	142 locked = false;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	143 owner = NULL;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	144
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	145 protocol = protocol_arg;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	146
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	147 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_CEILING
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	148 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT_PRIORITY
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	149
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	150 // if there is a default priority ceiling defined, use that to initialize
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	151 // the ceiling.
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	152 ceiling = CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DEFAULT_PRIORITY;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	153
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	154 #else
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	155
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	156 // Otherwise set it to zero.
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	157 ceiling = 0;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	158
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	159 #endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	160 #endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	161
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	162 CYG_REPORT_RETURN();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	163 }
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	164
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	165 #endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	166
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	167 // -------------------------------------------------------------------------
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	168 // Destructor
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	169
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	170 Cyg_Mutex::~Cyg_Mutex()
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	171 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	172 CYG_REPORT_FUNCTION();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	173
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	174 CYG_ASSERT( owner == NULL, "Deleting mutex with owner");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	175 CYG_ASSERT( queue.empty(), "Deleting mutex with waiting threads");
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	176 CYG_REPORT_RETURN();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	177 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	178
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	179 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	180
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	181 #ifdef CYGDBG_USE_ASSERTS
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	182
78 59d97b6ba612 Merge from eCos master repository on 2000-03-28-19:50:47-BST jlarmour parents: 66 diff changeset	183 cyg_bool
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	184 Cyg_Mutex::check_this( cyg_assert_class_zeal zeal) const
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	185 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	186 // CYG_REPORT_FUNCTION();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	187
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	188 // check that we have a non-NULL pointer first
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	189 if( this == NULL ) return false;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	190
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	191 switch( zeal )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	192 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	193 case cyg_system_test:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	194 case cyg_extreme:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	195 case cyg_thorough:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	196 case cyg_quick:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	197 case cyg_trivial:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	198 if( locked && owner == NULL ) return false;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	199 if( !locked && owner != NULL ) return false;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	200 case cyg_none:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	201 default:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	202 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	203 };
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	204
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	205 return true;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	206 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	207
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	208 #endif
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	209
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	210 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	211 // Lock and/or wait
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	212
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	213 cyg_bool
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	214 Cyg_Mutex::lock(void)
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	215 {
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	216 CYG_REPORT_FUNCTYPE("returning %d");
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	217
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	218 cyg_bool result = true;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	219 Cyg_Thread *self = Cyg_Thread::self();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	220
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	221 // Prevent preemption
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	222 Cyg_Scheduler::lock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	223
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	224 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	225
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	226 CYG_INSTRUMENT_MUTEX(LOCK, this, 0);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	227
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	228 // Loop while the mutex is locked, sleeping each time around
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	229 // the loop. This copes with the possibility of a higher priority
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	230 // thread grabbing the mutex between the wakeup in unlock() and
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	231 // this thread actually starting.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	232
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	233 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL
62 7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	234
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	235 IF_PROTOCOL_ACTIVE
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	236 self->count_mutex();
62 7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	237
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	238 #endif
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	239
181 d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	240 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_CEILING
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	241
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	242 IF_PROTOCOL_CEILING
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	243 self->set_priority_ceiling(ceiling);
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	244
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	245 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	246
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	247 while( locked && result )
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	248 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	249 CYG_ASSERT( self != owner, "Locking mutex I already own");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	250
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	251 self->set_sleep_reason( Cyg_Thread::WAIT );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	252
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	253 self->sleep();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	254
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	255 queue.enqueue( self );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	256
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	257 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_INHERIT
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	258
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	259 IF_PROTOCOL_INHERIT
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	260 owner->inherit_priority(self);
28 18ee5a9c102e Merge from eCos master repository on 1999-08-09-17:04:48-BST jlarmour parents: 2 diff changeset	261
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	262 #endif
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 CYG_INSTRUMENT_MUTEX(WAIT, this, 0);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	265
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	266 // Allow other threads to run
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	267 Cyg_Scheduler::reschedule();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	268
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	269 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	270
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	271 switch( self->get_wake_reason() )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	272 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	273 case Cyg_Thread::DESTRUCT:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	274 case Cyg_Thread::BREAK:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	275 result = false;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	276 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	277
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	278 case Cyg_Thread::EXIT:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	279 self->exit();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	280 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	281
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	282 default:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	283 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	284 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	285
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	286 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	287
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	288 if( result )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	289 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	290 locked = true;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	291 owner = self;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	292
181 d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	293 CYG_INSTRUMENT_MUTEX(LOCKED, this, 0);
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	294 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	295 else
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	296 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	297 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	298
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	299 IF_PROTOCOL_ACTIVE
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	300 self->uncount_mutex();
181 d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	301
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	302 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	303 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_INHERIT
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	304
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	305 IF_PROTOCOL_INHERIT
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	306 self->disinherit_priority();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	307
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	308 #endif
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	309 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_CEILING
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	310
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	311 IF_PROTOCOL_CEILING
181 d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	312 self->clear_priority_ceiling();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	313
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	314 #endif
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	315 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	316
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	317 // Unlock the scheduler and maybe switch threads
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	318 Cyg_Scheduler::unlock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	319
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	320 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	321
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	322 CYG_REPORT_RETVAL(result);
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	323
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	324 return result;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	325 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	326
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	327 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	328 // Try to lock and return success
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	329
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	330 cyg_bool
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	331 Cyg_Mutex::trylock(void)
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	332 {
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	333 CYG_REPORT_FUNCTYPE("returning %d");
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	334
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	335 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	336
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	337 cyg_bool result = true;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	338
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	339 // Prevent preemption
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	340 Cyg_Scheduler::lock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	341
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	342 // If the mutex is not locked, grab it
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	343 // for ourself. Otherwise return failure.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	344 if( !locked )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	345 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	346 Cyg_Thread *self = Cyg_Thread::self();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	347
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	348 locked = true;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	349 owner = self;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	350
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	351 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	352
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	353 IF_PROTOCOL_ACTIVE
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	354 self->count_mutex();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	355
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	356 #endif
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	357 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_CEILING
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	358
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	359 IF_PROTOCOL_CEILING
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	360 self->set_priority_ceiling(ceiling);
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	361
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	362 #endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	363
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	364 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	365 else result = false;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	366
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	367 CYG_INSTRUMENT_MUTEX(TRY, this, result);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	368
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	369 // Unlock the scheduler and maybe switch threads
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	370 Cyg_Scheduler::unlock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	371
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	372 CYG_REPORT_RETVAL(result);
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	373 return result;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	374 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	375
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	376 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	377 // unlock
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	378
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	379 void
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	380 Cyg_Mutex::unlock(void)
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	381 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	382 CYG_REPORT_FUNCTION();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	383
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	384 // Prevent preemption
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	385 Cyg_Scheduler::lock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	386
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	387 CYG_INSTRUMENT_MUTEX(UNLOCK, this, 0);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	388
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	389 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	390 CYG_ASSERT( locked, "Unlock mutex that is not locked");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	391 CYG_ASSERT( owner == Cyg_Thread::self(), "Unlock mutex I do not own");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	392
62 7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	393 if( !queue.empty() ) {
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	394
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	395 // The queue is non-empty, so grab the next
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	396 // thread from it and wake it up.
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	397
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	398 Cyg_Thread *thread = queue.dequeue();
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	399
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	400 CYG_ASSERTCLASS( thread, "Bad thread pointer");
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	401
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	402 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_INHERIT
62 7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	403
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	404 // Give the owner-to-be a chance to inherit from the remaining
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	405 // queue or the relinquishing thread:
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	406
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	407 IF_PROTOCOL_INHERIT
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	408 thread->relay_priority(owner, &queue);
62 7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	409
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	410 #endif
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	411
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	412 thread->set_wake_reason( Cyg_Thread::DONE );
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	413
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	414 thread->wake();
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	415
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	416 CYG_INSTRUMENT_MUTEX(WAKE, this, thread);
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	417
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	418 }
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	419
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	420 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	421
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	422 IF_PROTOCOL_ACTIVE
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	423 owner->uncount_mutex();
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	424
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	425 #endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	426 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_INHERIT
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	427
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	428 IF_PROTOCOL_INHERIT
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	429 owner->disinherit_priority();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	430
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	431 #endif
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	432 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_CEILING
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	433
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	434 IF_PROTOCOL_CEILING
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	435 owner->clear_priority_ceiling();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	436
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	437 #endif
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	438
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	439 locked = false;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	440 owner = NULL;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	441
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	442 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	443
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	444 // Unlock the scheduler and maybe switch threads
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	445 Cyg_Scheduler::unlock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	446
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	447 CYG_REPORT_RETURN();
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	448 }
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	449
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	450 // -------------------------------------------------------------------------
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	451 // Release all waiting threads.
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	452
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	453 void Cyg_Mutex::release()
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	454 {
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	455 CYG_REPORT_FUNCTION();
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	456
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	457 // Prevent preemption
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	458 Cyg_Scheduler::lock();
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	459
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	460 CYG_INSTRUMENT_MUTEX(RELEASE, this, 0);
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	461
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	462 CYG_ASSERTCLASS( this, "Bad this pointer");
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	463
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	464 while( !queue.empty() )
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	465 {
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	466 // The queue is non-empty, so grab each
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	467 // thread from it and release it.
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	468
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	469 Cyg_Thread *thread = queue.dequeue();
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	470
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	471 CYG_ASSERTCLASS( thread, "Bad thread pointer");
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	472
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	473 thread->release();
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	474
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	475 CYG_INSTRUMENT_MUTEX(RELEASED, this, thread);
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	476
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	477 }
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	478
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	479 CYG_ASSERTCLASS( this, "Bad this pointer");
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	480
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	481 // Unlock the scheduler and maybe switch threads
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	482 Cyg_Scheduler::unlock();
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	483
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	484 CYG_REPORT_RETURN();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	485 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	486
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	487 // -------------------------------------------------------------------------
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	488 // Set ceiling priority for priority ceiling protocol
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	489
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	490 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_CEILING
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	491
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	492 void Cyg_Mutex::set_ceiling( cyg_priority priority )
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	493 {
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	494 CYG_REPORT_FUNCTION();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	495
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	496 // CYG_ASSERT( priority >= CYG_THREAD_MAX_PRIORITY, "Priority out of range");
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	497 // CYG_ASSERT( priority <= CYG_THREAD_MIN_PRIORITY, "Priority out of range");
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	498
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	499 // Prevent preemption
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	500 Cyg_Scheduler::lock();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	501
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	502 ceiling = priority;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	503
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	504 // Unlock the scheduler
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	505 Cyg_Scheduler::unlock();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	506
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	507 CYG_REPORT_RETURN();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	508 }
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	509
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	510 #endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	511
177 4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	512 // -------------------------------------------------------------------------
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	513 // Set priority inversion protocol
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	514
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	515 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_DYNAMIC
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	516 void Cyg_Mutex::set_protocol( cyg_protcol new_protocol )
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	517 {
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	518 CYG_REPORT_FUNCTION();
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	519
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	520 // Prevent preemption
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	521 Cyg_Scheduler::lock();
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	522
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	523 protocol = new_protocol;
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	524
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	525 // Unlock the scheduler
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	526 Cyg_Scheduler::unlock();
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	527
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	528 CYG_REPORT_RETURN();
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	529 }
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	530
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	531 #endif
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	532
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	533
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	534 //==========================================================================
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	535 // Condition variables
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	536
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	537 Cyg_Condition_Variable::Cyg_Condition_Variable(
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	538 Cyg_Mutex &mx // linked mutex
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	539 )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	540 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	541 CYG_REPORT_FUNCTION();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	542
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	543 mutex = &mx;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	544
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	545 CYG_ASSERTCLASS( mutex, "Invalid mutex argument");
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	546
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	547 CYG_REPORT_RETURN();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	548 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	549
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	550 Cyg_Condition_Variable::Cyg_Condition_Variable()
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	551 {
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	552 CYG_REPORT_FUNCTION();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	553
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	554 mutex = NULL;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	555
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	556 CYG_REPORT_RETURN();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	557 }
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	558
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	559 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	560 // Destructor
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	561
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	562 Cyg_Condition_Variable::~Cyg_Condition_Variable()
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	563 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	564 CYG_REPORT_FUNCTION();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	565
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	566 CYG_ASSERT( queue.empty(), "Deleting condvar with waiting threads");
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	567
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	568 CYG_REPORT_RETURN();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	569 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	570
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	571 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	572
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	573 #ifdef CYGDBG_USE_ASSERTS
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	574
78 59d97b6ba612 Merge from eCos master repository on 2000-03-28-19:50:47-BST jlarmour parents: 66 diff changeset	575 cyg_bool
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	576 Cyg_Condition_Variable::check_this( cyg_assert_class_zeal zeal) const
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	577 {
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	578 bool result = true;
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	579
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	580 CYG_REPORT_FUNCTYPE("returning %d");
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	581 CYG_REPORT_FUNCARG1("zeal = %d", zeal);
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	582
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	583 // check that we have a non-NULL pointer first
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	584 if( this == NULL )
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	585 result = false;
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	586 else {
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	587
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	588 switch( zeal )
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	589 {
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	590 case cyg_system_test:
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	591 case cyg_extreme:
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	592 case cyg_thorough:
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	593 if( mutex != NULL && !mutex->check_this(zeal) )
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	594 result = false;
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	595 case cyg_quick:
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	596 case cyg_trivial:
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	597 case cyg_none:
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	598 default:
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	599 break;
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	600 }
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	601 }
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	602
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	603 CYG_REPORT_RETVAL(result);
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	604 return result;
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	605 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	606
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	607 #endif
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	608
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	609 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	610 // Wait for condition to be true
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	611 // Note: if this function is entered with the scheduler locked (e.g. to
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	612 // suspend DSR processing) then there is no need to take the lock. Also
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	613 // in this case, exit with the scheduler locked, which allows this function
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	614 // to be used in a totally thread-safe manner.
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	615
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	616 cyg_bool
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	617 Cyg_Condition_Variable::wait_inner( Cyg_Mutex *mx )
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	618 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	619 CYG_REPORT_FUNCTION();
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	620
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	621 cyg_bool result = true;
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	622 Cyg_Thread *self = Cyg_Thread::self();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	623
124 0ec04793409a Merge from eCos master repository on 2000-09-11-03:00:13-BST jlarmour parents: 115 diff changeset	624 Cyg_Scheduler::lock();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	625
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	626 CYG_ASSERTCLASS( this, "Bad this pointer");
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	627 CYG_ASSERTCLASS( mx, "Corrupt mutex");
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	628 CYG_ASSERTCLASS( self, "Bad self thread");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	629
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	630 CYG_INSTRUMENT_CONDVAR(WAIT, this, 0);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	631
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	632 mx->unlock();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	633
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	634 self->set_sleep_reason( Cyg_Thread::WAIT );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	635
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	636 self->sleep();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	637
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	638 queue.enqueue( self );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	639
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	640 // Avoid calling ASRs during the following unlock.
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	641 self->set_asr_inhibit();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	642
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	643 // Unlock the scheduler and switch threads
124 0ec04793409a Merge from eCos master repository on 2000-09-11-03:00:13-BST jlarmour parents: 115 diff changeset	644 Cyg_Scheduler::unlock_reschedule();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	645
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	646 // Allow ASRs again
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	647 self->clear_asr_inhibit();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	648
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	649 CYG_INSTRUMENT_CONDVAR(WOKE, this, self->get_wake_reason());
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	650
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	651 CYG_ASSERTCLASS( this, "Bad this pointer");
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	652 CYG_ASSERTCLASS( mx, "Corrupt mutex");
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	653
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	654 switch( self->get_wake_reason() )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	655 {
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	656 case Cyg_Thread::DESTRUCT: // which, the cv or the mutex?
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	657 case Cyg_Thread::BREAK:
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	658 result = false;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	659 break;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	660
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	661 case Cyg_Thread::EXIT:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	662 self->exit();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	663 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	664
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	665 default:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	666 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	667 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	668
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	669 // When we awake, we must re-acquire the mutex. Note that while
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	670 // it is essential to release the mutex and queue on the CV
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	671 // atomically relative to other threads, to avoid races, it is not
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	672 // necessary for us to re-acquire the mutex in the same atomic
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	673 // action. Hence we can do it after unlocking the scheduler.
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	674 // We need to loop here in case the thread is released while waiting
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	675 // for the mutex. It is essential that we exit this function with the
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	676 // mutex claimed.
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	677
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	678 while ( !mx->lock() )
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	679 continue;
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	680
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	681 CYG_ASSERTCLASS( this, "Bad this pointer");
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	682 CYG_ASSERTCLASS( mx, "Corrupt mutex");
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	683 CYG_ASSERT( mx->owner == self, "Not mutex owner");
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	684
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	685 CYG_REPORT_RETURN();
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	686
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	687 return result;
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	688 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	689
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	690 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	691 // Wake one thread
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	692
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	693 void
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	694 Cyg_Condition_Variable::signal(void)
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	695 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	696 CYG_REPORT_FUNCTION();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	697
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	698 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	699
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	700 // Prevent preemption
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	701 Cyg_Scheduler::lock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	702
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	703 CYG_INSTRUMENT_CONDVAR(SIGNAL, this, 0);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	704
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	705 if( !queue.empty() )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	706 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	707 // The queue is non-empty, so grab the next
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	708 // thread from it and wake it up.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	709
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	710 Cyg_Thread *thread = queue.dequeue();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	711
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	712 CYG_ASSERTCLASS( thread, "Bad thread pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	713
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	714 thread->set_wake_reason( Cyg_Thread::DONE );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	715
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	716 thread->wake();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	717
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	718 CYG_INSTRUMENT_CONDVAR(WAKE, this, thread);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	719
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	720 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	721
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	722 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	723
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	724 // Unlock the scheduler and maybe switch threads
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	725 Cyg_Scheduler::unlock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	726
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	727 CYG_REPORT_RETURN();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	728 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	729
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	730 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	731 // Set cond true, wake all threads
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	732
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	733 void
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	734 Cyg_Condition_Variable::broadcast(void)
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	735 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	736 CYG_REPORT_FUNCTION();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	737
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	738 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	739
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	740 // Prevent preemption
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	741 Cyg_Scheduler::lock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	742
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	743 CYG_INSTRUMENT_CONDVAR(BROADCAST, this, 0);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	744
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	745 // Grab all the threads from the queue and let them
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	746 // go.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	747
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	748 while( !queue.empty() )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	749 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	750 Cyg_Thread *thread = queue.dequeue();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	751
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	752 CYG_ASSERTCLASS( thread, "Bad thread pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	753
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	754 thread->set_wake_reason( Cyg_Thread::DONE );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	755
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	756 thread->wake();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	757
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	758 CYG_INSTRUMENT_CONDVAR(WAKE, this, thread);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	759 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	760
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	761 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	762
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	763 // Unlock the scheduler and maybe switch threads
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	764 Cyg_Scheduler::unlock();
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	765
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	766 CYG_REPORT_RETURN();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	767 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	768
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	769 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	770 // Optional timed wait on a CV
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	771
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	772 #if defined(CYGMFN_KERNEL_SYNCH_CONDVAR_TIMED_WAIT)
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	773
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	774 cyg_bool
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	775 Cyg_Condition_Variable::wait_inner( Cyg_Mutex *mx, cyg_tick_count timeout )
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	776 {
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	777 CYG_REPORT_FUNCTYPE("returning %d");
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	778 CYG_REPORT_FUNCARG1("timeout = %d", timeout);
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	779
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	780 CYG_ASSERTCLASS( this, "Bad this pointer");
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	781 CYG_ASSERTCLASS( mx, "Corrupt mutex");
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	782
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	783 cyg_bool result = true;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	784
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	785 Cyg_Thread *self = Cyg_Thread::self();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	786
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	787 CYG_ASSERTCLASS( self, "Bad self thread");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	788
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	789 // Prevent preemption
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	790 Cyg_Scheduler::lock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	791
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	792 CYG_INSTRUMENT_CONDVAR(TIMED_WAIT, this, 0 );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	793
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	794 mx->unlock();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	795
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	796 // The ordering of sleep() and set_timer() here are
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	797 // important. If the timeout is in the past, the thread
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	798 // will be woken up immediately and will not sleep.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	799
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	800 self->sleep();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	801
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	802 // Set the timer and sleep reason
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	803 self->set_timer( timeout, Cyg_Thread::TIMEOUT );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	804
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	805 // Only enqueue if the timeout has not already fired.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	806 if( self->get_wake_reason() == Cyg_Thread::NONE )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	807 queue.enqueue( self );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	808
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	809 // Avoid calling ASRs during the following unlock.
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	810 self->set_asr_inhibit();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	811
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	812 // Unlock the scheduler and switch threads
124 0ec04793409a Merge from eCos master repository on 2000-09-11-03:00:13-BST jlarmour parents: 115 diff changeset	813 Cyg_Scheduler::unlock_reschedule();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	814
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	815 // Allow ASRs again
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	816 self->clear_asr_inhibit();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	817
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	818 CYG_ASSERTCLASS( this, "Bad this pointer");
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	819 CYG_ASSERTCLASS( mx, "Corrupt mutex");
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	820
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	821 self->clear_timer();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	822
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	823 CYG_INSTRUMENT_CONDVAR(WOKE, this, self->get_wake_reason());
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	824
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	825 switch( self->get_wake_reason() )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	826 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	827 case Cyg_Thread::TIMEOUT:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	828 case Cyg_Thread::DESTRUCT: // which, the cv or the mutex?
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	829 case Cyg_Thread::BREAK:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	830 result = false;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	831 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	832
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	833 case Cyg_Thread::EXIT:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	834 self->exit();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	835 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	836
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	837 default:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	838 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	839 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	840
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	841
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	842 // When we awake, we must re-acquire the mutex. Note that while
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	843 // it is essential to release the mutex and queue on the CV
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	844 // atomically relative to other threads, to avoid races, it is not
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	845 // necessary for us to re-acquire the mutex in the same atomic
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	846 // action. Hence we can do it after unlocking the scheduler.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	847
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	848 while ( !mx->lock() )
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	849 continue;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	850
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	851 CYG_ASSERTCLASS( this, "Bad this pointer");
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	852 CYG_ASSERTCLASS( mx, "Corrupt mutex");
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	853
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	854 CYG_REPORT_RETVAL(result);
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	855
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	856 return result;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	857 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	858
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	859 #endif
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	860
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	861
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	862 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	863 // EOF sync/mutex.cxx

Mercurial > flash_v2

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