Question

更新：根据下面的评论，我修改了下面的代码以添加结构和指针（新的或修改的代码在代码旁边具有“此为新”或“此为已更新”）。现在程序没有崩溃，因此指针已初始化，但是程序挂在EnterCriticalSection。我怀疑在将下面的示例MASM代码转换为NASM语法时，我没有正确声明结构。有任何想法吗？非常感谢。

原始问题：以下是64位NASM中的一个简单测试程序，用于测试视窗。这是一个dll，入口点是Main_Entry_fn，它调用Init_Cores_fn，在此我们初始化四个线程（核心）以调用Test_fn。

我怀疑问题出在关键部分。没有在线资源指定该指针是什么。 https://docs.microsoft.com/en-us/windows/desktop/sync/using-critical-section-objects处的文档“使用关键部分对象”显示了一个C ++示例，其中的指针似乎只与EnterCriticalSection和LeaveCriticalSection相关，但它不是指向独立对象的指针。

对于不熟悉NASM的用户，C ++签名中的第一个参数进入rcx，第二个参数进入rds，但是否则，其功能应与C或C ++中的相同。与C ++中的InitializeCriticalSectionAndSpinCount（＆CriticalSection，0x00000400）相同。

这是整个程序：

; Header Section
[BITS 64]
[default rel]

extern malloc, calloc, realloc, free
global Main_Entry_fn
export Main_Entry_fn
extern CreateThread, CloseHandle, ExitThread
extern WaitForMultipleObjects, GetCurrentThreadId
extern InitializeCriticalSectionAndSpinCount, EnterCriticalSection
extern LeaveCriticalSection, DeleteCriticalSection, InitializeCriticalSection

struc CRITICAL_SECTION ; THIS IS NEW
.cs_quad: resq 5
endstruc

section .data align=16
const_1000000000: dq 1000000000
ThreadID:  dq 0
TestInfo: times 20 dq 0
ThreadInfo: times 3 dq 0
ThreadInfo2: times 3 dq 0
ThreadInfo3: times 3 dq 0
ThreadInfo4: times 3 dq 0
ThreadHandles: times 4 dq 0
Division_Size: dq 0
Start_Byte: dq 0
End_Byte: dq 0
Return_Data_Array: times 4 dq 0
Core_Number: dq 0
const_inf: dq 0xFFFFFFFF
SpinCount: dq 0x00000400

CriticalSection: ; THIS IS NEW
istruc CRITICAL_SECTION
iend

section .text

; ______________________________________

Init_Cores_fn:

; Calculate the data divisions
mov rax,[const_1000000000]
mov rbx,4 ;cores
xor rdx,rdx
div rbx
mov [End_Byte],rax
mov [Division_Size],rax
mov rax,0
mov [Start_Byte],rax

; Populate the ThreadInfo arrays to pass for each core
; ThreadInfo:  (1) startbyte; (2) endbyte; (3) Core_Number
mov rdi,ThreadInfo
mov rax,[Start_Byte]
mov [rdi],rax
mov rax,[End_Byte]
mov [rdi+8],rax
mov rax,[Core_Number]
mov [rdi+16],rax

call DupThreadInfo ; Create ThreadInfo arrays for cores 2-4

mov rbp,rsp ; preserve caller's stack frame
sub rsp,56 ; Shadow space (was 32)

; _____
; Create four threads

label_0:

mov rax,[Core_Number]
cmp rax,0
jne sb2
mov rdi,ThreadInfo
jmp sb5
sb2:cmp rax,8
jne sb3
mov rdi,ThreadInfo2
jmp sb5
sb3:cmp rax,16
jne sb4
mov rdi,ThreadInfo3
jmp sb5
sb4:cmp rax,24
jne sb5
mov rdi,ThreadInfo4
sb5:

; _____
; Create Threads

mov rcx,0               ; lpThreadAttributes (Security Attributes)
mov rdx,0               ; dwStackSize
mov r8,Test_fn          ; lpStartAddress (function pointer)
mov r9,rdi              ; lpParameter (array of data passed to each core)
mov rax,0
mov [rsp+32],rax            ; use default creation flags
mov rdi,ThreadID
mov [rsp+40],rdi            ; ThreadID

call CreateThread

; Move the handle into ThreadHandles array (returned in rax)
mov rdi,ThreadHandles
mov rcx,[Core_Number]
mov [rdi+rcx],rax
mov rdi,TestInfo
mov [rdi+rcx],rax

mov rax,[Core_Number]
add rax,8
mov [Core_Number],rax
mov rbx,32 ; Four cores
cmp rax,rbx
jl label_0

mov rcx,CriticalSection ; THIS IS REVISED
mov rdx,[SpinCount]
call InitializeCriticalSectionAndSpinCount

; _____
; Wait

mov rcx,4 ;rax          ; number of handles
mov rdx,ThreadHandles       ; pointer to handles array
mov r8,1                ; wait for all threads to complete
mov r9,[const_inf]      ;4294967295 ;0xFFFFFFFF

call WaitForMultipleObjects

; _____

mov rsp,rbp ; can we push rbp so we can use it internally?
jmp label_900

; ______________________________________

Test_fn:

mov rdi,rcx

mov r14,[rdi] ; Start_Byte
mov r15,[rdi+8] ; End_Byte
mov r13,[rdi+16] ; Core_Number

;______
; while(n < 1000000000)

label_401:
cmp r14,r15
jge label_899

mov rcx,CriticalSection
call EnterCriticalSection

; n += 1
add r14,1

mov rcx,CriticalSection
call LeaveCriticalSection

jmp label_401

;______

label_899:

mov rdi,Return_Data_Array
mov [rdi+r13],r14

mov rbp,ThreadHandles
mov rax,[rbp+r13]

call ExitThread

ret

; __________

label_900:

mov rcx,CriticalSection
call DeleteCriticalSection

mov rdi,Return_Data_Array
mov rax,rdi

ret

; __________
; Main Entry

Main_Entry_fn:
push rdi
push rbp
call Init_Cores_fn
pop rbp
pop rdi
ret

DupThreadInfo:
mov rdi,ThreadInfo2
mov rax,8
mov [rdi+16],rax ; Core Number
mov rax,[Start_Byte]
add rax,[Division_Size]
mov [rdi],rax
mov rax,[End_Byte]
add rax,[Division_Size]
mov [rdi+8],rax
mov [Start_Byte],rax

mov rdi,ThreadInfo3
mov rax,16
mov [rdi+16],rax ; Core Number
mov rax,[Start_Byte]
mov [rdi],rax
add rax,[Division_Size]
mov [rdi+8],rax
mov [Start_Byte],rax

mov rdi,ThreadInfo4
mov rax,24
mov [rdi+16],rax ; Core Number
mov rax,[Start_Byte]
mov [rdi],rax
add rax,[Division_Size]
mov [rdi+8],rax
mov [Start_Byte],rax

ret

上面的代码在三个不同的位置显示了这些功能，但是我们当然一次只能测试它们一次（但是它们都失败了）。

总而言之，我的问题是为什么InitializeCriticalSection和InitializeCriticalSectionAndSpinCount都在上面的代码中失败？输入非常简单，所以我不明白为什么它不起作用。

Answer 1

InitializeCriticalSection获取指向关键部分对象的指针

该进程负责分配由关键部分对象，可以通过声明以下变量来实现键入 CRITICAL_SECTION 。

所以代码可以像（我使用masm语法）

CRITICAL_SECTION STRUCT
    DQ 5 DUP(?)
CRITICAL_SECTION ends

extern __imp_InitializeCriticalSection:QWORD
extern __imp_InitializeCriticalSectionAndSpinCount:QWORD

.DATA?
CriticalSection CRITICAL_SECTION {}

.CODE 

lea rcx,CriticalSection
;mov edx,400h
;call __imp_InitializeCriticalSectionAndSpinCount
call __imp_InitializeCriticalSection

还需要将所有导入的函数声明为

extern __imp_funcname:QWORD

代替

extern funcname

NASM中的InitializeCriticalSection失败

1 个答案: