Project

General

Profile

Statistics
| Revision:

root / lab4 / .minix-src / include / sys / mutex.h @ 14

History | View | Annotate | Download (6.33 KB)

1 13 up20180614
/*        $NetBSD: mutex.h,v 1.20 2010/02/08 09:54:27 skrll Exp $        */
2
3
/*-
4
 * Copyright (c) 2002, 2006, 2007, 2008, 2009 The NetBSD Foundation, Inc.
5
 * All rights reserved.
6
 *
7
 * This code is derived from software contributed to The NetBSD Foundation
8
 * by Jason R. Thorpe and Andrew Doran.
9
 *
10
 * Redistribution and use in source and binary forms, with or without
11
 * modification, are permitted provided that the following conditions
12
 * are met:
13
 * 1. Redistributions of source code must retain the above copyright
14
 *    notice, this list of conditions and the following disclaimer.
15
 * 2. Redistributions in binary form must reproduce the above copyright
16
 *    notice, this list of conditions and the following disclaimer in the
17
 *    documentation and/or other materials provided with the distribution.
18
 *
19
 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20
 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21
 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22
 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23
 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24
 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25
 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29
 * POSSIBILITY OF SUCH DAMAGE.
30
 */
31
32
#ifndef _SYS_MUTEX_H_
33
#define        _SYS_MUTEX_H_
34
35
/*
36
 * There are 2 types of mutexes:
37
 *
38
 *        * Adaptive -- If the lock is already held, the thread attempting
39
 *          to acquire the lock determines if the thread that holds it is
40
 *          currently running.  If so, it spins, else it sleeps.
41
 *
42
 *        * Spin -- If the lock is already held, the thread attempting to
43
 *          acquire the lock spins.  The IPL will be raised on entry.
44
 *
45
 * Machine dependent code must provide the following:
46
 *
47
 *        struct mutex
48
 *                The actual mutex structure.  This structure is mostly
49
 *                opaque to machine-independent code; most access are done
50
 *                through macros.  However, machine-independent code must
51
 *                be able to access the following members:
52
 *
53
 *                uintptr_t                mtx_owner
54
 *                ipl_cookie_t                mtx_ipl
55
 *                __cpu_simple_lock_t        mtx_lock
56
 *
57
 * If an architecture can be considered 'simple' (no interlock required in
58
 * the MP case, or no MP) it need only define __HAVE_SIMPLE_MUTEXES and
59
 * provide the following:
60
 *
61
 *        struct mutex
62
 *
63
 *                [additionally:]
64
 *                volatile integer        mtx_id
65
 *
66
 *        MUTEX_RECEIVE(mtx)
67
 *                Post a load fence after acquiring the mutex, if necessary.
68
 *
69
 *        MUTEX_GIVE(mtx)
70
 *                Post a load/store fence after releasing the mutex, if
71
 *                necessary.
72
 *
73
 *         MUTEX_CAS(ptr, old, new)
74
 *                Perform an atomic "compare and swap" operation and
75
 *                evaluate to true or false according to the success
76
 *
77
 * Otherwise, the following must be defined:
78
 *
79
 *        MUTEX_INITIALIZE_SPIN(mtx, dodebug, minipl)
80
 *                Initialize a spin mutex.
81
 *
82
 *        MUTEX_INITIALIZE_ADAPTIVE(mtx, dodebug)
83
 *                Initialize an adaptive mutex.
84
 *
85
 *        MUTEX_DESTROY(mtx)
86
 *                Tear down a mutex.
87
 *
88
 *        MUTEX_ADAPTIVE_P(mtx)
89
 *                Evaluates to true if the mutex is an adaptive mutex.
90
 *
91
 *        MUTEX_SPIN_P(mtx)
92
 *                Evaluates to true if the mutex is a spin mutex.
93
 *
94
 *        MUTEX_OWNER(owner)
95
 *                Returns the owner of the adaptive mutex (LWP address).
96
 *
97
 *        MUTEX_OWNED(owner)
98
 *                Returns non-zero if an adaptive mutex is currently
99
 *                held by an LWP.
100
 *
101
 *        MUTEX_HAS_WAITERS(mtx)
102
 *                Returns true if the mutex has waiters.
103
 *
104
 *        MUTEX_SET_WAITERS(mtx)
105
 *                Mark the mutex has having waiters.
106
 *
107
 *        MUTEX_ACQUIRE(mtx, owner)
108
 *                Try to acquire an adaptive mutex such that:
109
 *                        if (lock held OR waiters)
110
 *                                return 0;
111
 *                        else
112
 *                                return 1;
113
 *                Must be MP/interrupt atomic.
114
 *
115
 *        MUTEX_RELEASE(mtx)
116
 *                Release the lock and clear the "has waiters" indication.
117
 *                Must be interrupt atomic, need not be MP safe.
118
 *
119
 *        MUTEX_DEBUG_P(mtx)
120
 *                Evaluates to true if the mutex is initialized with
121
 *                dodebug==true.  Only used in the LOCKDEBUG case.
122
 *
123
 * Machine dependent code may optionally provide stubs for the following
124
 * functions to implement the easy (unlocked / no waiters) cases.  If
125
 * these stubs are provided, __HAVE_MUTEX_STUBS should be defined.
126
 *
127
 *        mutex_enter()
128
 *        mutex_exit()
129
 *
130
 * Two additional stubs may be implemented that handle only the spinlock
131
 * case, primarily for the scheduler.  __HAVE_SPIN_MUTEX_STUBS should be
132
 * defined if these are provided:
133
 *
134
 *        mutex_spin_enter()
135
 *        mutex_spin_exit()
136
 */
137
138
#if defined(_KERNEL_OPT)
139
#include "opt_lockdebug.h"
140
#endif
141
142
#if !defined(_KERNEL)
143
#include <sys/types.h>
144
#include <sys/inttypes.h>
145
#endif
146
147
typedef enum kmutex_type_t {
148
        MUTEX_SPIN = 0,                /* To get a spin mutex at IPL_NONE */
149
        MUTEX_ADAPTIVE = 1,        /* For porting code written for Solaris */
150
        MUTEX_DEFAULT = 2,        /* The only native, endorsed type */
151
        MUTEX_DRIVER = 3,        /* For porting code written for Solaris */
152
        MUTEX_NODEBUG = 4        /* Disables LOCKDEBUG; use with care */
153
} kmutex_type_t;
154
155
typedef struct kmutex kmutex_t;
156
157
#if defined(__MUTEX_PRIVATE)
158
159
#define        MUTEX_THREAD                        ((uintptr_t)-16L)
160
161
#define        MUTEX_BIT_SPIN                        0x01
162
#define        MUTEX_BIT_WAITERS                0x02
163
164
#if defined(LOCKDEBUG)
165
#define        MUTEX_BIT_NODEBUG                0x04        /* LOCKDEBUG disabled */
166
#else
167
#define        MUTEX_BIT_NODEBUG                0x00        /* do nothing */
168
#endif        /* LOCKDEBUG */
169
170
#define        MUTEX_SPIN_IPL(mtx)                ((mtx)->mtx_ipl)
171
#define        MUTEX_SPIN_OLDSPL(ci)                ((ci)->ci_mtx_oldspl)
172
173
void        mutex_vector_enter(kmutex_t *);
174
void        mutex_vector_exit(kmutex_t *);
175
void        mutex_spin_retry(kmutex_t *);
176
void        mutex_wakeup(kmutex_t *);
177
178
#endif        /* __MUTEX_PRIVATE */
179
180
#ifdef _KERNEL
181
#include <sys/intr.h>
182
#endif
183
184
#include <machine/mutex.h>
185
186
/*
187
 * Return true if no spin mutexes are held by the current CPU.
188
 */
189
#ifndef MUTEX_NO_SPIN_ACTIVE_P
190
#define        MUTEX_NO_SPIN_ACTIVE_P(ci)        ((ci)->ci_mtx_count == 0)
191
#endif
192
193
#ifdef _KERNEL
194
195
void        mutex_init(kmutex_t *, kmutex_type_t, int);
196
void        mutex_destroy(kmutex_t *);
197
198
void        mutex_enter(kmutex_t *);
199
void        mutex_exit(kmutex_t *);
200
201
void        mutex_spin_enter(kmutex_t *);
202
void        mutex_spin_exit(kmutex_t *);
203
204
int        mutex_tryenter(kmutex_t *);
205
206
int        mutex_owned(kmutex_t *);
207
lwp_t        *mutex_owner(kmutex_t *);
208
209
void        mutex_obj_init(void);
210
kmutex_t *mutex_obj_alloc(kmutex_type_t, int);
211
void        mutex_obj_hold(kmutex_t *);
212
bool        mutex_obj_free(kmutex_t *);
213
214
#endif /* _KERNEL */
215
216
#endif /* _SYS_MUTEX_H_ */