Microsoft MVP성태의 닷넷 이야기
C/C++: 164. Visual C++ - InterlockedCompareExchange128 사용 방법 [링크 복사], [링크+제목 복사],
조회: 2926
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 
(연관된 글이 1개 있습니다.)

Visual C++ - InterlockedCompareExchange128 사용 방법

윈도우 개발 문서에서 볼 수 있는 InterlockedCompareExchange128 함수는,

InterlockedCompareExchange128 function (winnt.h)
; https://learn.microsoft.com/en-us/windows/win32/api/winnt/nf-winnt-interlockedcompareexchange128

사실 Visual C++ 내에서 Compiler Intrinsic으로 구현했기 때문에,

_InterlockedCompareExchange128 intrinsic functions
; https://learn.microsoft.com/en-us/cpp/intrinsics/interlockedcompareexchange128

일반적인 Win32 DLL과 무관하게 사용할 수 있습니다. 대충 예제는 다음과 같이 구현할 수 있는데요,

#include <windows.h>
#include <iostream>

typedef struct _LARGE_INTEGER_128 {
    __int64 Int[2];
} LARGE_INTEGER_128, * PLARGE_INTEGER_128;

int main()
{
    LARGE_INTEGER_128 value = { 0, 0 };

    LARGE_INTEGER_128 newValue = { 1, 0 };

    LARGE_INTEGER_128 comparand = { 0, 0 };

    BOOLEAN result = InterlockedCompareExchange128((LONG64*)&value,
        newValue.Int[1], newValue.Int[0], (LONG64*)&comparand);
    if (result == TRUE)
    {
        std::cout << "a = " << value.Int[1] << "," << value.Int[0] << std::endl;
    }

    return 0;
}

그런데, 위의 예제를 실행해 보면 (아마도 확률적으로, 제 경우에는 100%) 비정상 종료를 하게 될 것입니다. 또는, Visual Studio 디버거 내에서 실행하면 이런 오류를 만나게 될 텐데요,

Exception thrown: read access violation.
value.**Int** was 0xFFFFFFFFFFFFFFFF.

이에 대한 단서를 문서에서 찾을 수 있습니다.

The parameters for this function must be aligned on a 16-byte boundary; otherwise, the function will behave unpredictably on x64 systems. See _aligned_malloc.


실제로 문제가 발생했을 때의 value 변수 또는 comparand의 주소를 보면 이런 식일 것입니다. (이후 테스트 결과로 보면, comparand는 8바이트 정렬 주소여도 문제가 없습니다.)

+       value   {Int=0x000000a39abaf918 {0, 0} }    _LARGE_INTEGER_128
+       comparand   {Int=0x000000a39abaf978 {0, 0} }    _LARGE_INTEGER_128

즉, 8바이트 정렬을 하고 있는 것입니다. 이를 해결하기 위해서는 명시적으로 16바이트 정렬을 하라고 지정하는 방법이 있습니다.

typedef struct _LARGE_INTEGER_128 {
    __declspec(align(16)) __int64 Int[2];
} LARGE_INTEGER_128, * PLARGE_INTEGER_128;

이후 정상적으로 실행하는 것을 확인할 수 있습니다.




한 가지 재미있는 점은, Visual Studio 편집기에서 해당 변수에 대해 다음과 같은 경고를 보여준다는 점입니다.

cmp_exch_aligned_1.png

C28113: Accessing a local variable value via an interlocked function: This is an unusual usage which could be reconsidered.

로컬 변수를 사용하는 것이 부적절할 수 있다는 것인데요, 문서를 보면 Device Driver 환경에 대한 경고로 보이는 메시지를 담고 있는데, 그럼에도 로컬 변수가 아닌 전역 변수로 바꿔보면 비정상 종료를 하지 않게 됩니다.

LARGE_INTEGER_128 g_value = { 0, 0 };

int main()
{
    // ...[생략]...

    BOOLEAN result = InterlockedCompareExchange128((LONG64*)&g_value,
        newValue.Int[1], newValue.Int[0], (LONG64*)&comparand);
    // ...[생략]...

    return 0;
}

그리고 이때의 주소를 보면,

+       g_value {Int=0x00007ff663e9e1b0 {0, 0} }    _LARGE_INTEGER_128

당연하게도 16바이트 정렬이 된 위치에 변수가 있습니다. Visual C++ 컴파일러는 이것을 언제나 보장하는 것일까요? (혹시 아시는 분은 덧글 부탁드립니다.) 그래도 은근히 걱정되니 ^^ 저라면 __declspec(align(16)) 옵션을 꼭 지정할 것 같습니다.




참고로, 전역 변수의 경우 일부러 8바이트 정렬로 만들어 테스트를 해보면,

typedef struct _LARGE_INTEGER_128 {
    __int64 Int[4]; // 넉넉하게 잡고
} LARGE_INTEGER_128, * PLARGE_INTEGER_128;

// g_value == 전역 변수
LONG64* ptr = (LONG64*)(((BYTE*)&g_value) + 8); // 뒤로 8바이트를 밀어 16바이트 정렬을 깬 다음

// ...[생략]...

BOOLEAN result = InterlockedCompareExchange128(ptr,
    newValue.Int[1], newValue.Int[0], (LONG64*)&comparand);

예상한 대로 비정상 종료가 됩니다. 또한, 반대로 로컬 변수를 사용한 경우 일부러 16바이트 정렬을 시켜 테스트를 하면,

typedef struct _LARGE_INTEGER_128 {
    __int64 Int[4]; // 넉넉하게 잡고
} LARGE_INTEGER_128, * PLARGE_INTEGER_128;

LARGE_INTEGER_128 value = { 0, 0 }; // 로컬 변수

// ...[생략]...

LONG64* ptr = (LONG64*)(((BYTE*)&value) + 8); // 뒤로 8바이트를 밀어 일부러 16바이트로 정렬

BOOLEAN result = InterlockedCompareExchange128(ptr,
    newValue.Int[1], newValue.Int[0], (LONG64*)&comparand);

정상적으로 실행이 됩니다. 결국, 첫 번째 인자만 128비트 정렬을 만족하면 해당 함수는 정상적으로 동작합니다.




마치기 전에 테스트할 것이 하나 더 생각나는군요. ^^ InterlockedCompareExchange64의 경우 (요즘의 컴퓨터에서) 로컬 변수로 해도 저런 align 문제는 없습니다. 예를 들어, 다음과 같이 일부러 align을 4바이트 경계로 바꿔도,

#include <windows.h>
#include <iostream>

int main()
{
    __int64 value[2] = { 0, 0 };
    __int64 *ptr = (__int64*)(((BYTE*)value) + 4); // 4바이트 경계로 이동

    __int64 newValue = 1;

    __int64 comperand = 0;

    __int64 result = InterlockedCompareExchange64(ptr, newValue, comperand);
    std::cout << "result = " << result << ", value == " << value[0] << ", " << value[1] << std::endl; // 출력 결과: result = 0, value == 4294967296, 0

    return 0;
}

crash 없이 정상적으로 실행이 됩니다. 문서에 보면,

The variables for this function must be aligned on a 64-bit boundary; otherwise, this function will behave unpredictably on multiprocessor x86 systems and any non-x86 systems. See _aligned_malloc.


64비트 경계가 지켜져야 한다고는 하지만, (x64가 아닌) 32비트 시스템인 x86인 경우에만 문제가 된다고 나옵니다. (요즘에는 재현하기조차 힘든 상황이 되었습니다.)




[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]

[연관 글]






[최초 등록일: ]
[최종 수정일: 12/5/2023]

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer at outlook.com

비밀번호

댓글 작성자
 




1  2  3  4  5  6  [7]  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
13496정성태12/21/20233503Linux: 66. 리눅스 - 실행 중인 프로세스 내부의 환경변수 설정을 구하는 방법 (gdb)
13495정성태12/20/20233385Linux: 65. clang++로 공유 라이브러리의 -static 옵션 빌드가 가능할까요?
13494정성태12/20/20233535Linux: 64. Linux 응용 프로그램의 (C++) so 의존성 줄이기(ReleaseMinDependency) - 두 번째 이야기
13493정성태12/19/20233661닷넷: 2185. C# - object를 QueryString으로 직렬화하는 방법
13492정성태12/19/20233263개발 환경 구성: 699. WSL에 nopCommerce 예제 구성
13491정성태12/19/20232890Linux: 63. 리눅스 - 다중 그룹 또는 사용자를 리소스에 권한 부여
13490정성태12/19/20233079개발 환경 구성: 698. Golang - GLIBC 의존을 없애는 정적 빌드 방법
13489정성태12/19/20232934개발 환경 구성: 697. GoLand에서 ldflags 지정 방법
13488정성태12/18/20232846오류 유형: 884. HTTP 500.0 - 명령행에서 실행한 ASP.NET Core 응용 프로그램을 실행하는 방법
13487정성태12/16/20233230개발 환경 구성: 696. C# - 리눅스용 AOT 빌드를 docker에서 수행 [1]
13486정성태12/15/20232961개발 환경 구성: 695. Nuget config 파일에 값 설정/삭제 방법
13485정성태12/15/20232866오류 유형: 883. dotnet build/restore - error : Root element is missing
13484정성태12/14/20233054개발 환경 구성: 694. Windows 디렉터리 경로를 WSL의 /mnt 포맷으로 구하는 방법
13483정성태12/14/20233271닷넷: 2184. C# - 하나의 resource 파일을 여러 프로그램에서 (AOT 시에도) 사용하는 방법파일 다운로드1
13482정성태12/13/20233987닷넷: 2183. C# - eFriend Expert OCX 예제를 .NET Core/5+ Console App에서 사용하는 방법 [2]파일 다운로드1
13481정성태12/13/20233230개발 환경 구성: 693. msbuild - .NET Core/5+ 프로젝트에서 resgen을 이용한 리소스 파일 생성 방법파일 다운로드1
13480정성태12/12/20233774개발 환경 구성: 692. Windows WSL 2 + Chrome 웹 브라우저 설치
13479정성태12/11/20233175개발 환경 구성: 691. WSL 2 (Ubuntu) + nginx 환경 설정
13477정성태12/8/20233308닷넷: 2182. C# - .NET 7부터 추가된 Int128, UInt128 [1]파일 다운로드1
13476정성태12/8/20233129닷넷: 2181. C# - .NET 8 JsonStringEnumConverter의 AOT를 위한 개선파일 다운로드1
13475정성태12/7/20233136닷넷: 2180. .NET 8 - 함수 포인터에 대한 Reflection 정보 조회파일 다운로드1
13474정성태12/6/20233039개발 환경 구성: 690. 닷넷 코어/5+ 버전의 ilasm/ildasm 실행 파일 구하는 방법 - 두 번째 이야기
13473정성태12/5/20233362닷넷: 2179. C# - 값 형식(Blittable)을 메모리 복사를 이용해 바이트 배열로 직렬화/역직렬화파일 다운로드1
13472정성태12/4/20232926C/C++: 164. Visual C++ - InterlockedCompareExchange128 사용 방법
13471정성태12/4/20233235Copilot - To enable GitHub Copilot, authorize this extension using GitHub's device flow
13470정성태12/2/20233351닷넷: 2178. C# - .NET 8부터 COM Interop에 대한 자동 소스 코드 생성 도입파일 다운로드1
1  2  3  4  5  6  [7]  8  9  10  11  12  13  14  15  ...