ReactOS 0.4.16-dev-340-g0540c21
Macros | Functions | Variables
slist.c File Reference
#include <rtl.h>
#include <debug.h>
Include dependency graph for slist.c:

Go to the source code of this file.

Macros

#define NDEBUG
 

Functions

VOID NTAPI RtlInitializeSListHead (_Out_ PSLIST_HEADER SListHead)
 
PSLIST_ENTRY NTAPI RtlFirstEntrySList (_In_ const SLIST_HEADER *SListHead)
 
WORD NTAPI RtlQueryDepthSList (_In_ PSLIST_HEADER SListHead)
 
PSLIST_ENTRY FASTCALL RtlInterlockedPushListSList (_Inout_ PSLIST_HEADER SListHead, _Inout_ __drv_aliasesMem PSLIST_ENTRY List, _Inout_ PSLIST_ENTRY ListEnd, _In_ ULONG Count)
 
PSLIST_ENTRY NTAPI RtlInterlockedPushEntrySList (_Inout_ PSLIST_HEADER SListHead, _Inout_ __drv_aliasesMem PSLIST_ENTRY SListEntry)
 
PSLIST_ENTRY NTAPI RtlInterlockedPopEntrySList (_Inout_ PSLIST_HEADER SListHead)
 
PSLIST_ENTRY NTAPI RtlInterlockedFlushSList (_Inout_ PSLIST_HEADER SListHead)
 

Variables

BOOLEAN RtlpExpectSListFault
 

Macro Definition Documentation

◆ NDEBUG

#define NDEBUG

Definition at line 14 of file slist.c.

Function Documentation

◆ RtlFirstEntrySList()

PSLIST_ENTRY NTAPI RtlFirstEntrySList ( _In_ const SLIST_HEADER *  SListHead)

Definition at line 51 of file slist.c.

53{
54#if defined(_WIN64)
55 /* Check if the header is initialized as 16 byte header */
56 if (SListHead->Header16.HeaderType)
57 {
58 return (PVOID)(SListHead->Region & ~0xFLL);
59 }
60 else
61 {
62 union {
63 ULONG64 Region;
64 struct {
65 ULONG64 Reserved:4;
66 ULONG64 NextEntry:39;
67 ULONG64 Reserved2:21;
68 } Bits;
69 } Pointer;
70
71#if defined(_IA64_)
72 /* On Itanium we stored the region in the list head */
73 Pointer.Region = SListHead->Region;
74#else
75 /* On amd64 we just use the list head itself */
76 Pointer.Region = (ULONG64)SListHead;
77#endif
78 Pointer.Bits.NextEntry = SListHead->Header8.NextEntry;
79 return (PVOID)Pointer.Region;
80 }
81#else
82 return SListHead->Next.Next;
83#endif
84}
Reserved2
@ Reserved2
Definition: bcd.h:202
ULONG64
unsigned __int64 ULONG64
Definition: imports.h:198
Reserved
_Reserved_ PVOID Reserved
Definition: winddi.h:3974

Referenced by ShimLib_NotifyShims().

◆ RtlInitializeSListHead()

VOID NTAPI RtlInitializeSListHead ( _Out_ PSLIST_HEADER  SListHead)

Definition at line 25 of file slist.c.

27{
28#if defined(_WIN64)
29 /* Make sure the header is 16 byte aligned */
30 if (((ULONG_PTR)SListHead & 0xf) != 0)
31 {
32 DPRINT1("Unaligned SListHead: 0x%p\n", SListHead);
33 RtlRaiseStatus(STATUS_DATATYPE_MISALIGNMENT);
34 }
35
36 /* Initialize the Region member */
37#if defined(_IA64_)
38 /* On Itanium we store the region in the list head */
39 SListHead->Region = (ULONG_PTR)SListHead & VRN_MASK;
40#else
41 /* On amd64 we don't need to store anything */
42 SListHead->Region = 0;
43#endif /* _IA64_ */
44#endif /* _WIN64 */
45
46 SListHead->Alignment = 0;
47}
DPRINT1
#define DPRINT1
Definition: precomp.h:8
ULONG_PTR
#define ULONG_PTR
Definition: config.h:101
RtlRaiseStatus
DECLSPEC_NORETURN NTSYSAPI VOID NTAPI RtlRaiseStatus(_In_ NTSTATUS Status)
STATUS_DATATYPE_MISALIGNMENT
#define STATUS_DATATYPE_MISALIGNMENT
Definition: ntstatus.h:183
ULONG_PTR
uint32_t ULONG_PTR
Definition: typedefs.h:65

Referenced by RtlpDphInitializeDelayedFreeQueue(), and ShimLib_Init().

◆ RtlInterlockedFlushSList()

PSLIST_ENTRY NTAPI RtlInterlockedFlushSList ( _Inout_ PSLIST_HEADER  SListHead)

Definition at line 320 of file slist.c.

322{
323 SLIST_HEADER OldHeader, NewHeader;
324 ULONGLONG Compare;
325
326 /* Read the header */
327 OldHeader = *SListHead;
328
329 do
330 {
331 /* Check for empty list */
332 if (OldHeader.Next.Next == NULL)
333 {
334 return NULL;
335 }
336
337 /* Create a new header (keep the sequence number) */
338 NewHeader = OldHeader;
339 NewHeader.Next.Next = NULL;
340 NewHeader.Depth = 0;
341
342 /* Try to exchange atomically */
343 Compare = OldHeader.Alignment;
344 OldHeader.Alignment = InterlockedCompareExchange64((PLONGLONG)&SListHead->Alignment,
345 NewHeader.Alignment,
346 Compare);
347 }
348 while (OldHeader.Alignment != Compare);
349
350 /* Return the old first entry */
351 return OldHeader.Next.Next;
352
353}
NULL
#define NULL
Definition: types.h:112
InterlockedCompareExchange64
#define InterlockedCompareExchange64
Definition: interlocked.h:114
PLONGLONG
__GNU_EXTENSION typedef __int64 * PLONGLONG
Definition: ntbasedef.h:390
ULONGLONG
uint64_t ULONGLONG
Definition: typedefs.h:67
_SLIST_HEADER
Definition: rtltypes.h:138
_SLIST_HEADER::Alignment
ULONGLONG Alignment
Definition: rtltypes.h:139
_SLIST_HEADER::Next
SLIST_ENTRY Next
Definition: rtltypes.h:141
_SLIST_HEADER::Depth
USHORT Depth
Definition: rtltypes.h:142

◆ RtlInterlockedPopEntrySList()

PSLIST_ENTRY NTAPI RtlInterlockedPopEntrySList ( _Inout_ PSLIST_HEADER  SListHead)

Definition at line 261 of file slist.c.

263{
264 SLIST_HEADER OldHeader, NewHeader;
265 ULONGLONG Compare;
266
267restart:
268
269 /* Read the header */
270 OldHeader = *SListHead;
271
272 do
273 {
274 /* Check for empty list */
275 if (OldHeader.Next.Next == NULL)
276 {
277 return NULL;
278 }
279
280 /* Create a new header */
281 NewHeader = OldHeader;
282
283 /* HACK to let the kernel know that we are doing slist-magic */
284 RtlpExpectSListFault = TRUE;
285
286 /* Wrapped in SEH, since OldHeader.Next.Next can already be freed */
287 _SEH2_TRY
288 {
289 NewHeader.Next = *OldHeader.Next.Next;
290 }
291 _SEH2_EXCEPT((SListHead->Next.Next != OldHeader.Next.Next) ?
292 EXCEPTION_EXECUTE_HANDLER : EXCEPTION_CONTINUE_SEARCH)
293 {
294 /* We got an exception and the list head changed.
295 Restart the whole operation. */
296 RtlpExpectSListFault = FALSE;
297 goto restart;
298 }
299 _SEH2_END;
300
301 /* We are done */
302 RtlpExpectSListFault = FALSE;
303
304 /* Adjust depth */
305 NewHeader.Depth--;
306
307 /* Try to exchange atomically */
308 Compare = OldHeader.Alignment;
309 OldHeader.Alignment = InterlockedCompareExchange64((PLONGLONG)SListHead->Alignment,
310 NewHeader.Alignment,
311 Compare);
312 }
313 while (OldHeader.Alignment != Compare);
314
315 return OldHeader.Next.Next;
316}
restart
void restart(int argc, const char *argv[])
Definition: cmds.c:2115
TRUE
#define TRUE
Definition: types.h:120
FALSE
#define FALSE
Definition: types.h:117
EXCEPTION_EXECUTE_HANDLER
#define EXCEPTION_EXECUTE_HANDLER
Definition: excpt.h:90
EXCEPTION_CONTINUE_SEARCH
#define EXCEPTION_CONTINUE_SEARCH
Definition: excpt.h:91
_SEH2_EXCEPT
#define _SEH2_EXCEPT(...)
Definition: pseh2_64.h:66
_SEH2_END
#define _SEH2_END
Definition: pseh2_64.h:155
_SEH2_TRY
#define _SEH2_TRY
Definition: pseh2_64.h:55
RtlpExpectSListFault
BOOLEAN RtlpExpectSListFault
Definition: slist.c:222

◆ RtlInterlockedPushEntrySList()

PSLIST_ENTRY NTAPI RtlInterlockedPushEntrySList ( _Inout_ PSLIST_HEADER  SListHead,
_Inout_ __drv_aliasesMem PSLIST_ENTRY  SListEntry 
)

Definition at line 226 of file slist.c.

229{
230 SLIST_HEADER OldHeader, NewHeader;
231 ULONGLONG Compare;
232
233 /* Read the header */
234 OldHeader = *SListHead;
235
236 do
237 {
238 /* Link the list entry */
239 SListEntry->Next = OldHeader.Next.Next;
240
241 /* Create a new header */
242 NewHeader = OldHeader;
243 NewHeader.Next.Next = SListEntry;
244 NewHeader.Depth++;
245 NewHeader.Sequence++;
246
247 /* Try to exchange atomically */
248 Compare = OldHeader.Alignment;
249 OldHeader.Alignment = InterlockedCompareExchange64((PLONGLONG)&SListHead->Alignment,
250 NewHeader.Alignment,
251 Compare);
252 }
253 while (OldHeader.Alignment != Compare);
254
255 /* Return the old first entry */
256 return OldHeader.Next.Next;
257}
_SLIST_HEADER::Sequence
USHORT Sequence
Definition: rtltypes.h:143

Referenced by ShimLib_GetHookAPIs().

◆ RtlInterlockedPushListSList()

PSLIST_ENTRY FASTCALL RtlInterlockedPushListSList ( _Inout_ PSLIST_HEADER  SListHead,
_Inout_ __drv_aliasesMem PSLIST_ENTRY  List,
_Inout_ PSLIST_ENTRY  ListEnd,
_In_ ULONG  Count 
)

Definition at line 100 of file slist.c.

105{
106#ifdef _WIN64
107 SLIST_HEADER OldSListHead, NewSListHead;
108 PSLIST_ENTRY FirstEntry;
109
110 ASSERT(((ULONG_PTR)SListHead & 0xF) == 0);
111 ASSERT(((ULONG_PTR)List & 0xF) == 0);
112
113 if (RtlpUse16ByteSLists)
114 {
115 BOOLEAN exchanged;
116
117 do
118 {
119 /* Capture the current SListHead */
120 OldSListHead = *SListHead;
121
122 /* Link the last list entry */
123 FirstEntry = (PSLIST_ENTRY)(SListHead->Region & ~0xFLL);
124 ListEnd->Next = FirstEntry;
125
126 /* Set up new SListHead */
127 NewSListHead = OldSListHead;
128 NewSListHead.Header16.Depth += Count;
129 NewSListHead.Header16.Sequence++;
130 NewSListHead.Region = (ULONG64)List;
131 NewSListHead.Header16.HeaderType = 1;
132 NewSListHead.Header16.Init = 1;
133
134 /* Atomically exchange the SlistHead with the new one */
135 exchanged = _InterlockedCompareExchange128((PLONG64)SListHead,
136 NewSListHead.Region,
137 NewSListHead.Alignment,
138 (PLONG64)&OldSListHead);
139 } while (!exchanged);
140
141 return FirstEntry;
142 }
143 else
144 {
145 ULONG64 Compare;
146
147 /* ListHead and List must be in the same region */
148 ASSERT(((ULONG64)SListHead & 0xFFFFF80000000000ull) ==
149 ((ULONG64)List & 0xFFFFF80000000000ull));
150
151 /* Read the header */
152 OldSListHead = *SListHead;
153
154 do
155 {
156 /* Construct the address from the header bits and the list head pointer */
157 FirstEntry = (PSLIST_ENTRY)((OldSListHead.Header8.NextEntry << 4) |
158 ((ULONG64)SListHead & 0xFFFFF80000000000ull));
159
160 /* Link the last list entry */
161 ListEnd->Next = FirstEntry;
162
163 /* Create a new header */
164 NewSListHead = OldSListHead;
165 NewSListHead.Header8.NextEntry = (ULONG64)List >> 4;
166 NewSListHead.Header8.Depth += Count;
167 NewSListHead.Header8.Sequence++;
168
169 /* Try to exchange atomically */
170 Compare = OldSListHead.Alignment;
171 OldSListHead.Alignment = InterlockedCompareExchange64((PLONG64)&SListHead->Alignment,
172 NewSListHead.Alignment,
173 Compare);
174 } while (OldSListHead.Alignment != Compare);
175
176 /* Return the old first entry */
177 return FirstEntry;
178 }
179#else
180 SLIST_HEADER OldHeader, NewHeader;
181 ULONGLONG Compare;
182
183 /* Read the header */
184 OldHeader = *SListHead;
185
186 do
187 {
188 /* Link the last list entry */
189 ListEnd->Next = OldHeader.Next.Next;
190
191 /* Create a new header */
192 NewHeader = OldHeader;
193 NewHeader.Next.Next = List;
194 NewHeader.Depth += Count;
195 NewHeader.Sequence++;
196
197 /* Try to exchange atomically */
198 Compare = OldHeader.Alignment;
199 OldHeader.Alignment = InterlockedCompareExchange64((PLONGLONG)&SListHead->Alignment,
200 NewHeader.Alignment,
201 Compare);
202 }
203 while (OldHeader.Alignment != Compare);
204
205 /* Return the old first entry */
206 return OldHeader.Next.Next;
207#endif /* _WIN64 */
208}
BOOLEAN
unsigned char BOOLEAN
Definition: ProcessorBind.h:185
PLONG64
__int64 * PLONG64
Definition: basetsd.h:183
RtlpUse16ByteSLists
BOOLEAN RtlpUse16ByteSLists
ASSERT
#define ASSERT(a)
Definition: mode.c:44
Count
int Count
Definition: noreturn.cpp:7
List
_Must_inspect_result_ _In_ WDFCMRESLIST List
Definition: wdfresource.h:550
ListEnd
_Inout_ __drv_aliasesMem PSLIST_ENTRY _Inout_ PSLIST_ENTRY ListEnd
Definition: exfuncs.h:1224
PSLIST_ENTRY
#define PSLIST_ENTRY
Definition: rtltypes.h:134

◆ RtlQueryDepthSList()

WORD NTAPI RtlQueryDepthSList ( _In_ PSLIST_HEADER  SListHead)

Definition at line 88 of file slist.c.

90{
91#if defined(_WIN64)
92 return (USHORT)(SListHead->Alignment & 0xffff);
93#else
94 return SListHead->Depth;
95#endif
96}
USHORT
unsigned short USHORT
Definition: pedump.c:61

Variable Documentation

◆ RtlpExpectSListFault

BOOLEAN RtlpExpectSListFault

Definition at line 222 of file slist.c.

Referenced by RtlInterlockedPopEntrySList().