00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
#include "ki.h"
00029
00030
00031
00032
00033
00034
00035 #define ASSERT_MUTANT(E) { \
00036
ASSERT((E)->Header.Type == MutantObject); \
00037
}
00038
00039
VOID
00040 KeInitializeMutant (
00041 IN
PRKMUTANT Mutant,
00042 IN BOOLEAN InitialOwner
00043 )
00044
00045
00046
00047
00048
00049
00050
00051
00052
00053
00054
00055
00056
00057
00058
00059
00060
00061
00062
00063
00064 {
00065
00066 PLIST_ENTRY ListEntry;
00067 KIRQL OldIrql;
00068
PRKTHREAD Thread;
00069
00070
00071
00072
00073
00074
00075
00076 Mutant->Header.Type =
MutantObject;
00077 Mutant->Header.Size =
sizeof(
KMUTANT) /
sizeof(LONG);
00078
if (InitialOwner ==
TRUE) {
00079 Thread =
KeGetCurrentThread();
00080 Mutant->Header.SignalState = 0;
00081 Mutant->OwnerThread = Thread;
00082
KiLockDispatcherDatabase(&OldIrql);
00083 ListEntry = Thread->
MutantListHead.Blink;
00084 InsertHeadList(ListEntry, &Mutant->MutantListEntry);
00085
KiUnlockDispatcherDatabase(OldIrql);
00086
00087 }
else {
00088 Mutant->Header.SignalState = 1;
00089 Mutant->OwnerThread = (
PKTHREAD)
NULL;
00090 }
00091
00092 InitializeListHead(&Mutant->Header.WaitListHead);
00093 Mutant->Abandoned =
FALSE;
00094 Mutant->ApcDisable = 0;
00095
return;
00096 }
00097
00098
VOID
00099 KeInitializeMutex (
00100 IN
PRKMUTANT Mutant,
00101 IN ULONG Level
00102 )
00103
00104
00105
00106
00107
00108
00109
00110
00111
00112
00113
00114
00115
00116
00117
00118
00119
00120
00121
00122
00123
00124
00125 {
00126
00127 PLIST_ENTRY ListEntry;
00128
00129
00130
00131
00132
00133
00134
00135 Mutant->Header.Type =
MutantObject;
00136 Mutant->Header.Size =
sizeof(
KMUTANT) /
sizeof(LONG);
00137 Mutant->Header.SignalState = 1;
00138 InitializeListHead(&Mutant->Header.WaitListHead);
00139 Mutant->OwnerThread = (
PKTHREAD)
NULL;
00140 Mutant->Abandoned =
FALSE;
00141 Mutant->ApcDisable = 1;
00142
return;
00143 }
00144
00145 LONG
00146 KeReadStateMutant (
00147 IN
PRKMUTANT Mutant
00148 )
00149
00150
00151
00152
00153
00154
00155
00156
00157
00158
00159
00160
00161
00162
00163
00164
00165
00166 {
00167
00168
ASSERT_MUTANT(Mutant);
00169
00170
00171
00172
00173
00174
return Mutant->Header.SignalState;
00175 }
00176
00177 LONG
00178 KeReleaseMutant (
00179 IN
PRKMUTANT Mutant,
00180 IN KPRIORITY Increment,
00181 IN BOOLEAN Abandoned,
00182 IN BOOLEAN Wait
00183 )
00184
00185
00186
00187
00188
00189
00190
00191
00192
00193
00194
00195
00196
00197
00198
00199
00200
00201
00202
00203
00204
00205
00206
00207
00208
00209
00210
00211
00212
00213
00214
00215
00216 {
00217
00218 KIRQL OldIrql;
00219 LONG OldState;
00220
PRKTHREAD Thread;
00221
00222
00223
ASSERT_MUTANT(Mutant);
00224
ASSERT(KeGetCurrentIrql() <=
DISPATCH_LEVEL);
00225
00226
00227
00228
00229
00230
KiLockDispatcherDatabase(&OldIrql);
00231
00232
00233
00234
00235
00236 OldState = Mutant->Header.SignalState;
00237
00238
00239
00240
00241
00242
00243
00244
00245
00246
00247
00248 Thread =
KeGetCurrentThread();
00249
if (Abandoned !=
FALSE) {
00250 Mutant->Header.SignalState = 1;
00251 Mutant->Abandoned =
TRUE;
00252
00253 }
else {
00254
00255
00256
00257
00258
00259
00260
00261
if (Mutant->OwnerThread != Thread) {
00262
KiUnlockDispatcherDatabase(OldIrql);
00263
ExRaiseStatus(Mutant->Abandoned ?
00264 STATUS_ABANDONED : STATUS_MUTANT_NOT_OWNED);
00265 }
00266
00267 Mutant->Header.SignalState += 1;
00268 }
00269
00270
if (Mutant->Header.SignalState == 1) {
00271
if (OldState <= 0) {
00272 RemoveEntryList(&Mutant->MutantListEntry);
00273 Thread->
KernelApcDisable += Mutant->ApcDisable;
00274
if ((Thread->
KernelApcDisable == 0) &&
00275 (IsListEmpty(&Thread->
ApcState.
ApcListHead[
KernelMode]) ==
FALSE)) {
00276 Thread->
ApcState.
KernelApcPending =
TRUE;
00277
KiRequestSoftwareInterrupt(
APC_LEVEL);
00278 }
00279 }
00280
00281 Mutant->OwnerThread = (
PKTHREAD)
NULL;
00282
if (IsListEmpty(&Mutant->Header.WaitListHead) ==
FALSE) {
00283
KiWaitTest(Mutant,
Increment);
00284 }
00285 }
00286
00287
00288
00289
00290
00291
00292
00293
00294
if (Wait !=
FALSE) {
00295 Thread->
WaitNext = Wait;
00296 Thread->
WaitIrql = OldIrql;
00297
00298 }
else {
00299
KiUnlockDispatcherDatabase(OldIrql);
00300 }
00301
00302
00303
00304
00305
00306
return OldState;
00307 }
00308
00309 LONG
00310 KeReleaseMutex (
00311 IN
PRKMUTANT Mutex,
00312 IN BOOLEAN Wait
00313 )
00314
00315
00316
00317
00318
00319
00320
00321
00322
00323
00324
00325
00326
00327
00328
00329
00330
00331
00332
00333
00334
00335
00336
00337 {
00338
00339
ASSERT_MUTANT(Mutex);
00340
00341
00342
00343
00344
00345
00346
return KeReleaseMutant(Mutex, 1,
FALSE, Wait);
00347 }
00348