1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
/*
* Linux 2.6.32 and later Kernel module for VMware MVP Hypervisor Support
*
* Copyright (C) 2010-2012 VMware, Inc. All rights reserved.
*
* This program is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 as published by
* the Free Software Foundation.
*
* This program is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
* more details.
*
* You should have received a copy of the GNU General Public License along with
* this program; see the file COPYING. If not, write to the Free Software
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
*/
#line 5
/**
* @file
*
* @brief Common mutex definitions.
*/
#ifndef _MUTEX_H
#define _MUTEX_H
#define INCLUDE_ALLOW_MVPD
#define INCLUDE_ALLOW_VMX
#define INCLUDE_ALLOW_MODULE
#define INCLUDE_ALLOW_MONITOR
#define INCLUDE_ALLOW_GPL
#include "include_check.h"
#define MUTEX_CVAR_MAX 2 ///< maximum number of condition variables supported
///< on a given mutex
typedef enum MutexMode MutexMode;
typedef struct HKWaitQ HKWaitQ;
typedef struct Mutex Mutex;
/**
* @brief modes for locking
*/
enum MutexMode {
MutexModeSH = 1, ///< minimum value that can be saved in low
///< 16 bits of 'state', ie, it won't allow
///< any other EXs in there without overflowing.
///< it also will block if there are already
///< 0xFFFF other shared accesses, but it should
///< be of little consequence.
MutexModeEX = 0xFFFF ///< maximum value that can be saved in low
///< 16 bits of 'state', ie, it won't allow
///< any other EXs or SHs in there without
///< overflowing, thus causing a block.
};
#include "atomic.h"
typedef union Mutex_State {
uint32 state; ///< for atomic setting/reading
struct {
uint16 mode; ///< the sum of mode values of MutexMode
uint16 blck; ///< The number of threads blocked
};
} Mutex_State;
/**
* @brief shareable mutex struct.
*/
struct Mutex {
HKVA mtxHKVA; ///< mutex's host kernel virtual address
AtmUInt32 state; ///< low 16 bits: # of granted shared accessors
///< or FFFF if granted exclusive
///< high 16 bits: # of blocked threads
AtmUInt32 waiters; ///< number of threads on all condWaitQs
///< ... increment only with mutex locked EX
///< ... decrement any time
AtmUInt32 blocked; ///< number times blocked (stats only)
HKVA lockWaitQ; ///< threads blocked for mutex to be unlocked
HKVA cvarWaitQs[MUTEX_CVAR_MAX]; ///< condition variables
/*
* Padding to keep binary compatibility @see{MVP-1876}
* These padding bytes can be used for debugging.
*/
int line;
int lineUnl;
uint32 pad3;
uint32 pad4;
uint32 pad5;
uint32 pad6;
};
#define Mutex_Lock(a, b) Mutex_LockLine(a, b, __FILE__, __LINE__)
#define Mutex_Unlock(a, b) Mutex_UnlockLine(a, b, __LINE__)
#define Mutex_UnlSleep(a, b, c) Mutex_UnlSleepLine(a, b, c, __FILE__, __LINE__)
#define Mutex_UnlSleepTest(a, b, c, d, e) Mutex_UnlSleepTestLine(a, b, c, d, e, __FILE__, __LINE__)
int Mutex_LockLine(Mutex *mutex, MutexMode mode, const char *file, int line);
void Mutex_UnlockLine(Mutex *mutex, MutexMode mode, int line);
int Mutex_UnlSleepLine(Mutex *mutex, MutexMode mode, uint32 cvi, const char *file, int line);
int Mutex_UnlSleepTestLine(Mutex *mutex, MutexMode mode, uint32 cvi, AtmUInt32 *test, uint32 mask, const char *file, int line);
void Mutex_UnlWake(Mutex *mutex, MutexMode mode, uint32 cvi, _Bool all);
#endif
|