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

annotate packages/kernel/current/src/sync/mutex.cxx @ 3292:7f8e529b4d82 default tip

Fix FREESCALE_EDMA_NBYTES_MLOFFYES_MLOFF() so it works with negative offsets.

author	vae
date	Wed, 29 Apr 2015 23:31:48 +0000
parents	74dbf4c3f2e1
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 //==========================================================================
2729 74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	8 // ####ECOSGPLCOPYRIGHTBEGIN####
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	9 // -------------------------------------------
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	10 // This file is part of eCos, the Embedded Configurable Operating System.
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	11 // Copyright (C) 1998, 1999, 2000, 2001, 2002 Free Software Foundation, Inc.
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	12 //
2729 74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	13 // eCos is free software; you can redistribute it and/or modify it under
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	14 // the terms of the GNU General Public License as published by the Free
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	15 // Software Foundation; either version 2 or (at your option) any later
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	16 // version.
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	17 //
2729 74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	18 // eCos is distributed in the hope that it will be useful, but WITHOUT
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	19 // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	20 // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	21 // for more details.
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	22 //
2729 74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	23 // You should have received a copy of the GNU General Public License
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	24 // along with eCos; if not, write to the Free Software Foundation, Inc.,
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	25 // 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	26 //
2729 74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	27 // As a special exception, if other files instantiate templates or use
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	28 // macros or inline functions from this file, or you compile this file
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	29 // and link it with other works to produce a work based on this file,
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	30 // this file does not by itself cause the resulting work to be covered by
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	31 // the GNU General Public License. However the source code for this file
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	32 // must still be made available in accordance with section (3) of the GNU
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	33 // General Public License v2.
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	34 //
2729 74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	35 // This exception does not invalidate any other reasons why a work based
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	36 // on this file might be covered by the GNU General Public License.
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	37 // -------------------------------------------
74dbf4c3f2e1 Update all copyright banners to reflect FSF ownership; fix and improve licence text. jlarmour parents: 210 diff changeset	38 // ####ECOSGPLCOPYRIGHTEND####
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	39 //==========================================================================
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	40 //#####DESCRIPTIONBEGIN####
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	41 //
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	42 // Author(s): nickg
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	43 // Contributors: nickg, jlarmour
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	44 // Date: 1999-02-17
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	45 // Purpose: Mutex implementation
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	46 // Description: This file contains the implementations of the mutex
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	47 // and condition variable classes.
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	48 //
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	49 //####DESCRIPTIONEND####
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	50 //
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 #include <pkgconf/kernel.h>
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	54
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	55 #include <cyg/kernel/ktypes.h> // base kernel types
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	56 #include <cyg/infra/cyg_trac.h> // tracing macros
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	57 #include <cyg/infra/cyg_ass.h> // assertion macros
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	58 #include <cyg/kernel/instrmnt.h> // instrumentation
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	59
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	60 #include <cyg/kernel/mutex.hxx> // our header
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	61
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	62 #include <cyg/kernel/thread.inl> // thread inlines
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	63 #include <cyg/kernel/sched.inl> // scheduler inlines
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	64 #include <cyg/kernel/clock.inl> // clock inlines
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	65
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	66 // -------------------------------------------------------------------------
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	67 // Mutex protocol test macros.
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	68 // 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	69 // 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	70 // result in empty statements.
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	71
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	72 #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	73
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	74 #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	75 #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	76 #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	77
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	78 #else
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	79
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	80 #define IF_PROTOCOL_INHERIT
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	81 #define IF_PROTOCOL_CEILING
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	82 #define IF_PROTOCOL_ACTIVE
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	83
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	84 #endif
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	85
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 // Constructor
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	88
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	89 Cyg_Mutex::Cyg_Mutex()
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	90 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	91 CYG_REPORT_FUNCTION();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	92
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	93 locked = false;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	94 owner = NULL;
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	95
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	96 #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	97 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	98
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	99 #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	100 protocol = INHERIT;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	101 #endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	102 #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	103 protocol = CEILING;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	104 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	105 #endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	106 #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	107 protocol = NONE;
182 f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	108 #endif
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	109
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	110 #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	111
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	112 #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	113 #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	114
182 f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	115 // 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	116 // the ceiling.
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	117 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	118
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	119 #else
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	120
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	121 // Otherwise set it to zero.
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	122 ceiling = 0;
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	123
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	124 #endif
182 f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	125 #endif
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	126
f62680ef1804 Merge from eCos master repository on 2001-09-07-06:43:02-BST jlarmour parents: 181 diff changeset	127 #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	128
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	129 CYG_REPORT_RETURN();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	130 }
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 // -------------------------------------------------------------------------
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	133 // Construct with defined protocol
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	134
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	135 #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	136
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	137 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	138 {
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	139 CYG_REPORT_FUNCTION();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	140
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	141 locked = false;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	142 owner = NULL;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	143
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	144 protocol = protocol_arg;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	145
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	146 #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	147 #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	148
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	149 // 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	150 // the ceiling.
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	151 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	152
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	153 #else
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	154
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	155 // Otherwise set it to zero.
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	156 ceiling = 0;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	157
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	158 #endif
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
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	161 CYG_REPORT_RETURN();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	162 }
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 #endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	165
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	166 // -------------------------------------------------------------------------
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	167 // Destructor
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	168
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	169 Cyg_Mutex::~Cyg_Mutex()
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	170 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	171 CYG_REPORT_FUNCTION();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	172
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	173 CYG_ASSERT( owner == NULL, "Deleting mutex with owner");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	174 CYG_ASSERT( queue.empty(), "Deleting mutex with waiting threads");
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	175 CYG_REPORT_RETURN();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	176 }
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 #ifdef CYGDBG_USE_ASSERTS
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	181
78 59d97b6ba612 Merge from eCos master repository on 2000-03-28-19:50:47-BST jlarmour parents: 66 diff changeset	182 cyg_bool
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	183 Cyg_Mutex::check_this( cyg_assert_class_zeal zeal) const
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	184 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	185 // CYG_REPORT_FUNCTION();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	186
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	187 // check that we have a non-NULL pointer first
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	188 if( this == NULL ) return false;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	189
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	190 switch( zeal )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	191 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	192 case cyg_system_test:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	193 case cyg_extreme:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	194 case cyg_thorough:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	195 case cyg_quick:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	196 case cyg_trivial:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	197 if( locked && owner == NULL ) return false;
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 case cyg_none:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	200 default:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	201 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	202 };
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 return true;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	205 }
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 #endif
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	208
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 // Lock and/or wait
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	211
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	212 cyg_bool
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	213 Cyg_Mutex::lock(void)
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	214 {
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	215 CYG_REPORT_FUNCTYPE("returning %d");
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	216
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	217 cyg_bool result = true;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	218 Cyg_Thread *self = Cyg_Thread::self();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	219
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	220 // Prevent preemption
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	221 Cyg_Scheduler::lock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	222
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	223 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	224
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	225 CYG_INSTRUMENT_MUTEX(LOCK, this, 0);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	226
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	227 // Loop while the mutex is locked, sleeping each time around
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	228 // the loop. This copes with the possibility of a higher priority
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	229 // thread grabbing the mutex between the wakeup in unlock() and
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	230 // this thread actually starting.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	231
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	232 #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	233
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	234 IF_PROTOCOL_ACTIVE
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	235 self->count_mutex();
62 7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	236
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	237 #endif
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	238
181 d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	239 #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	240
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	241 IF_PROTOCOL_CEILING
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	242 self->set_priority_ceiling(ceiling);
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	243
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	244 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	245
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	246 while( locked && result )
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	247 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	248 CYG_ASSERT( self != owner, "Locking mutex I already own");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	249
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	250 self->set_sleep_reason( Cyg_Thread::WAIT );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	251
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	252 self->sleep();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	253
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	254 queue.enqueue( self );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	255
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	256 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL_INHERIT
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	257
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	258 IF_PROTOCOL_INHERIT
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	259 owner->inherit_priority(self);
28 18ee5a9c102e Merge from eCos master repository on 1999-08-09-17:04:48-BST jlarmour parents: 2 diff changeset	260
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	261 #endif
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	262
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	263 CYG_INSTRUMENT_MUTEX(WAIT, this, 0);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	264
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	265 // Allow other threads to run
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	266 Cyg_Scheduler::reschedule();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	267
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	268 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	269
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	270 switch( self->get_wake_reason() )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	271 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	272 case Cyg_Thread::DESTRUCT:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	273 case Cyg_Thread::BREAK:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	274 result = false;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	275 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	276
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	277 case Cyg_Thread::EXIT:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	278 self->exit();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	279 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	280
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	281 default:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	282 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	283 }
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 if( result )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	288 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	289 locked = true;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	290 owner = self;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	291
181 d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	292 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	293 }
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	294 else
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	295 {
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	296 #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	297
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	298 IF_PROTOCOL_ACTIVE
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	299 self->uncount_mutex();
181 d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	300
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	301 #endif
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	302 #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	303
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	304 IF_PROTOCOL_INHERIT
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	305 self->disinherit_priority();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	306
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	307 #endif
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	308 #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	309
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	310 IF_PROTOCOL_CEILING
181 d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	311 self->clear_priority_ceiling();
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	312
d61da071934c Merge from eCos master repository on 2001-08-22-06:38:55-BST jlarmour parents: 177 diff changeset	313 #endif
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	314 }
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 // Unlock the scheduler and maybe switch threads
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	317 Cyg_Scheduler::unlock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	318
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	319 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	320
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	321 CYG_REPORT_RETVAL(result);
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	322
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	323 return result;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	324 }
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 // Try to lock and return success
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	328
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	329 cyg_bool
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	330 Cyg_Mutex::trylock(void)
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	331 {
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	332 CYG_REPORT_FUNCTYPE("returning %d");
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	333
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	334 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	335
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	336 cyg_bool result = true;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	337
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	338 // Prevent preemption
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	339 Cyg_Scheduler::lock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	340
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	341 // If the mutex is not locked, grab it
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	342 // for ourself. Otherwise return failure.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	343 if( !locked )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	344 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	345 Cyg_Thread *self = Cyg_Thread::self();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	346
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	347 locked = true;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	348 owner = self;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	349
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	350 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	351
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	352 IF_PROTOCOL_ACTIVE
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	353 self->count_mutex();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	354
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	355 #endif
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	356 #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	357
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	358 IF_PROTOCOL_CEILING
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	359 self->set_priority_ceiling(ceiling);
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	360
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	361 #endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	362
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	363 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	364 else result = false;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	365
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	366 CYG_INSTRUMENT_MUTEX(TRY, this, result);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	367
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	368 // Unlock the scheduler and maybe switch threads
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	369 Cyg_Scheduler::unlock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	370
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	371 CYG_REPORT_RETVAL(result);
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	372 return result;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	373 }
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 // unlock
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	377
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	378 void
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	379 Cyg_Mutex::unlock(void)
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	380 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	381 CYG_REPORT_FUNCTION();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	382
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	383 // Prevent preemption
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	384 Cyg_Scheduler::lock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	385
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	386 CYG_INSTRUMENT_MUTEX(UNLOCK, this, 0);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	387
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	388 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	389 CYG_ASSERT( locked, "Unlock mutex that is not locked");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	390 CYG_ASSERT( owner == Cyg_Thread::self(), "Unlock mutex I do not own");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	391
62 7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	392 if( !queue.empty() ) {
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	393
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	394 // 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	395 // 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	396
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	397 Cyg_Thread *thread = queue.dequeue();
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	398
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	399 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	400
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	401 #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	402
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	403 // 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	404 // queue or the relinquishing thread:
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	405
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	406 IF_PROTOCOL_INHERIT
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	407 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	408
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	409 #endif
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	410
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	411 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	412
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	413 thread->wake();
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	414
7a6ac9edc838 Merge from eCos master repository on 2000-01-24-19:43:49-GMT jlarmour parents: 28 diff changeset	415 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	416
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
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	419 #ifdef CYGSEM_KERNEL_SYNCH_MUTEX_PRIORITY_INVERSION_PROTOCOL
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	420
208 e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	421 IF_PROTOCOL_ACTIVE
e0c0827131d1 Merge from eCos master repository on 2002-05-20-20:11:54-BST jlarmour parents: 182 diff changeset	422 owner->uncount_mutex();
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	423
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	424 #endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	425 #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	426
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	427 IF_PROTOCOL_INHERIT
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	428 owner->disinherit_priority();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	429
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	430 #endif
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	431 #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	432
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	433 IF_PROTOCOL_CEILING
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	434 owner->clear_priority_ceiling();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	435
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	436 #endif
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	437
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	438 locked = false;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	439 owner = NULL;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	440
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	441 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	442
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	443 // Unlock the scheduler and maybe switch threads
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	444 Cyg_Scheduler::unlock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	445
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	446 CYG_REPORT_RETURN();
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	447 }
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 // Release all waiting threads.
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	451
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	452 void Cyg_Mutex::release()
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	453 {
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	454 CYG_REPORT_FUNCTION();
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	455
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	456 // Prevent preemption
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	457 Cyg_Scheduler::lock();
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	458
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	459 CYG_INSTRUMENT_MUTEX(RELEASE, this, 0);
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	460
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	461 CYG_ASSERTCLASS( this, "Bad this pointer");
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	462
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	463 while( !queue.empty() )
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	464 {
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	465 // The queue is non-empty, so grab each
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	466 // thread from it and release it.
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	467
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	468 Cyg_Thread *thread = queue.dequeue();
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	469
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	470 CYG_ASSERTCLASS( thread, "Bad thread pointer");
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	471
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	472 thread->release();
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	473
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	474 CYG_INSTRUMENT_MUTEX(RELEASED, this, thread);
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	475
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 CYG_ASSERTCLASS( this, "Bad this pointer");
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	479
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	480 // Unlock the scheduler and maybe switch threads
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	481 Cyg_Scheduler::unlock();
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	482
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	483 CYG_REPORT_RETURN();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	484 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	485
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	486 // -------------------------------------------------------------------------
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	487 // 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	488
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	489 #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	490
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	491 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	492 {
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	493 CYG_REPORT_FUNCTION();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	494
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	495 // 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	496 // 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	497
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	498 // Prevent preemption
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	499 Cyg_Scheduler::lock();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	500
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	501 ceiling = priority;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	502
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	503 // Unlock the scheduler
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	504 Cyg_Scheduler::unlock();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	505
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	506 CYG_REPORT_RETURN();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	507 }
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 #endif
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	510
177 4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	511 // -------------------------------------------------------------------------
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	512 // Set priority inversion protocol
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	513
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	514 #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	515 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	516 {
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	517 CYG_REPORT_FUNCTION();
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	518
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	519 // Prevent preemption
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	520 Cyg_Scheduler::lock();
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	521
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	522 protocol = new_protocol;
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	523
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	524 // Unlock the scheduler
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	525 Cyg_Scheduler::unlock();
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	526
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	527 CYG_REPORT_RETURN();
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	528 }
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 #endif
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	531
4c750ce71ae3 Merge from eCos master repository on 2001-08-10-19:22:57-BST jlarmour parents: 124 diff changeset	532
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	533 //==========================================================================
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	534 // Condition variables
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	535
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	536 Cyg_Condition_Variable::Cyg_Condition_Variable(
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	537 Cyg_Mutex &mx // linked mutex
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	538 )
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 CYG_REPORT_FUNCTION();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	541
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	542 mutex = &mx;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	543
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	544 CYG_ASSERTCLASS( mutex, "Invalid mutex argument");
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	545
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	546 CYG_REPORT_RETURN();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	547 }
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	548
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	549 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	550 {
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	551 CYG_REPORT_FUNCTION();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	552
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	553 mutex = NULL;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	554
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	555 CYG_REPORT_RETURN();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	556 }
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	557
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	558 // -------------------------------------------------------------------------
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	559 // Destructor
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	560
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	561 Cyg_Condition_Variable::~Cyg_Condition_Variable()
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	562 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	563 CYG_REPORT_FUNCTION();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	564
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	565 CYG_ASSERT( queue.empty(), "Deleting condvar with waiting threads");
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	566
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	567 CYG_REPORT_RETURN();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	568 }
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 #ifdef CYGDBG_USE_ASSERTS
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	573
78 59d97b6ba612 Merge from eCos master repository on 2000-03-28-19:50:47-BST jlarmour parents: 66 diff changeset	574 cyg_bool
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	575 Cyg_Condition_Variable::check_this( cyg_assert_class_zeal zeal) const
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	576 {
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	577 bool result = true;
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	578
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	579 CYG_REPORT_FUNCTYPE("returning %d");
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	580 CYG_REPORT_FUNCARG1("zeal = %d", zeal);
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	581
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	582 // check that we have a non-NULL pointer first
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	583 if( this == NULL )
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	584 result = false;
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	585 else {
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	586
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	587 switch( zeal )
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	588 {
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	589 case cyg_system_test:
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	590 case cyg_extreme:
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	591 case cyg_thorough:
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	592 if( mutex != NULL && !mutex->check_this(zeal) )
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	593 result = false;
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	594 case cyg_quick:
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	595 case cyg_trivial:
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	596 case cyg_none:
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	597 default:
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	598 break;
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	599 }
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	600 }
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	601
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	602 CYG_REPORT_RETVAL(result);
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	603 return result;
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	604 }
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 #endif
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	607
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 // Wait for condition to be true
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	610 // 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	611 // 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	612 // 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	613 // to be used in a totally thread-safe manner.
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	614
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	615 cyg_bool
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	616 Cyg_Condition_Variable::wait_inner( Cyg_Mutex *mx )
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	617 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	618 CYG_REPORT_FUNCTION();
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	619
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	620 cyg_bool result = true;
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	621 Cyg_Thread *self = Cyg_Thread::self();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	622
124 0ec04793409a Merge from eCos master repository on 2000-09-11-03:00:13-BST jlarmour parents: 115 diff changeset	623 Cyg_Scheduler::lock();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	624
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	625 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	626 CYG_ASSERTCLASS( mx, "Corrupt mutex");
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	627 CYG_ASSERTCLASS( self, "Bad self thread");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	628
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	629 CYG_INSTRUMENT_CONDVAR(WAIT, this, 0);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	630
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	631 mx->unlock();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	632
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	633 self->set_sleep_reason( Cyg_Thread::WAIT );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	634
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	635 self->sleep();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	636
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	637 queue.enqueue( self );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	638
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	639 // 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	640 self->set_asr_inhibit();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	641
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	642 // 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	643 Cyg_Scheduler::unlock_reschedule();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	644
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	645 // Allow ASRs again
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	646 self->clear_asr_inhibit();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	647
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	648 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	649
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	650 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	651 CYG_ASSERTCLASS( mx, "Corrupt mutex");
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	652
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	653 switch( self->get_wake_reason() )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	654 {
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	655 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	656 case Cyg_Thread::BREAK:
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	657 result = false;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	658 break;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	659
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	660 case Cyg_Thread::EXIT:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	661 self->exit();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	662 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	663
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	664 default:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	665 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	666 }
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 // When we awake, we must re-acquire the mutex. Note that while
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	669 // it is essential to release the mutex and queue on the CV
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	670 // atomically relative to other threads, to avoid races, it is not
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	671 // necessary for us to re-acquire the mutex in the same atomic
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	672 // 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	673 // 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	674 // 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	675 // mutex claimed.
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	676
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	677 while ( !mx->lock() )
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	678 continue;
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	679
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	680 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	681 CYG_ASSERTCLASS( mx, "Corrupt mutex");
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	682 CYG_ASSERT( mx->owner == self, "Not mutex owner");
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	683
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	684 CYG_REPORT_RETURN();
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	685
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	686 return result;
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	687 }
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 // Wake one thread
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	691
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	692 void
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	693 Cyg_Condition_Variable::signal(void)
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	694 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	695 CYG_REPORT_FUNCTION();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	696
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	697 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	698
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	699 // Prevent preemption
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	700 Cyg_Scheduler::lock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	701
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	702 CYG_INSTRUMENT_CONDVAR(SIGNAL, this, 0);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	703
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	704 if( !queue.empty() )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	705 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	706 // The queue is non-empty, so grab the next
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	707 // thread from it and wake it up.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	708
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	709 Cyg_Thread *thread = queue.dequeue();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	710
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	711 CYG_ASSERTCLASS( thread, "Bad thread pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	712
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	713 thread->set_wake_reason( Cyg_Thread::DONE );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	714
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	715 thread->wake();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	716
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	717 CYG_INSTRUMENT_CONDVAR(WAKE, this, thread);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	718
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 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	722
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	723 // Unlock the scheduler and maybe switch threads
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	724 Cyg_Scheduler::unlock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	725
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	726 CYG_REPORT_RETURN();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	727 }
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 // Set cond true, wake all threads
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	731
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	732 void
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	733 Cyg_Condition_Variable::broadcast(void)
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	734 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	735 CYG_REPORT_FUNCTION();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	736
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	737 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	738
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	739 // Prevent preemption
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	740 Cyg_Scheduler::lock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	741
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	742 CYG_INSTRUMENT_CONDVAR(BROADCAST, this, 0);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	743
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	744 // Grab all the threads from the queue and let them
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	745 // go.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	746
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	747 while( !queue.empty() )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	748 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	749 Cyg_Thread *thread = queue.dequeue();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	750
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	751 CYG_ASSERTCLASS( thread, "Bad thread pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	752
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	753 thread->set_wake_reason( Cyg_Thread::DONE );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	754
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	755 thread->wake();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	756
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	757 CYG_INSTRUMENT_CONDVAR(WAKE, this, thread);
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	758 }
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 CYG_ASSERTCLASS( this, "Bad this pointer");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	761
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	762 // Unlock the scheduler and maybe switch threads
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	763 Cyg_Scheduler::unlock();
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	764
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	765 CYG_REPORT_RETURN();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	766 }
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 // Optional timed wait on a CV
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	770
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	771 #if defined(CYGMFN_KERNEL_SYNCH_CONDVAR_TIMED_WAIT)
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	772
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	773 cyg_bool
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	774 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	775 {
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	776 CYG_REPORT_FUNCTYPE("returning %d");
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	777 CYG_REPORT_FUNCARG1("timeout = %d", timeout);
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	778
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	779 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	780 CYG_ASSERTCLASS( mx, "Corrupt mutex");
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	781
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	782 cyg_bool result = true;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	783
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	784 Cyg_Thread *self = Cyg_Thread::self();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	785
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	786 CYG_ASSERTCLASS( self, "Bad self thread");
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	787
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	788 // Prevent preemption
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	789 Cyg_Scheduler::lock();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	790
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	791 CYG_INSTRUMENT_CONDVAR(TIMED_WAIT, this, 0 );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	792
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	793 mx->unlock();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	794
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	795 // The ordering of sleep() and set_timer() here are
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	796 // important. If the timeout is in the past, the thread
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	797 // will be woken up immediately and will not sleep.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	798
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	799 self->sleep();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	800
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	801 // Set the timer and sleep reason
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	802 self->set_timer( timeout, Cyg_Thread::TIMEOUT );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	803
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	804 // Only enqueue if the timeout has not already fired.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	805 if( self->get_wake_reason() == Cyg_Thread::NONE )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	806 queue.enqueue( self );
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	807
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	808 // 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	809 self->set_asr_inhibit();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	810
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	811 // 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	812 Cyg_Scheduler::unlock_reschedule();
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	813
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	814 // Allow ASRs again
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	815 self->clear_asr_inhibit();
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	816
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	817 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	818 CYG_ASSERTCLASS( mx, "Corrupt mutex");
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	819
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	820 self->clear_timer();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	821
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	822 CYG_INSTRUMENT_CONDVAR(WOKE, this, self->get_wake_reason());
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	823
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	824 switch( self->get_wake_reason() )
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	825 {
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	826 case Cyg_Thread::TIMEOUT:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	827 case Cyg_Thread::DESTRUCT: // which, the cv or the mutex?
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	828 case Cyg_Thread::BREAK:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	829 result = false;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	830 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	831
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	832 case Cyg_Thread::EXIT:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	833 self->exit();
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	834 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	835
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	836 default:
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	837 break;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	838 }
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 // When we awake, we must re-acquire the mutex. Note that while
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	842 // it is essential to release the mutex and queue on the CV
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	843 // atomically relative to other threads, to avoid races, it is not
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	844 // necessary for us to re-acquire the mutex in the same atomic
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	845 // action. Hence we can do it after unlocking the scheduler.
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	846
115 6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	847 while ( !mx->lock() )
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	848 continue;
6ed91473a1cd Merge from eCos master repository on 2000-08-21-22:40:54-BST jlarmour parents: 78 diff changeset	849
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	850 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	851 CYG_ASSERTCLASS( mx, "Corrupt mutex");
2 443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	852
443894e2e912 Block commit of eCos version 1.2.1 jlarmour parents: 0 diff changeset	853 CYG_REPORT_RETVAL(result);
0 3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	854
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	855 return result;
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	856 }
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 #endif
3111d98ba7b3 Initial commit of eCos version 1.1 jlarmour parents: diff changeset	859
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 // EOF sync/mutex.cxx

Mercurial > ecos

annotate packages/kernel/current/src/sync/mutex.cxx @ 3292:7f8e529b4d82 default tip