Microsoft MVP성태의 닷넷 이야기
VC++: 94. MPX(Memory Protection Extensions) 테스트 [링크 복사], [링크+제목 복사],
조회: 12462
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일

Visual C++ - MPX(Memory Protection Extensions) 테스트

Visual C++ Team Blog에 재미있는 글이 실렸군요. ^^

Visual Studio 2015 Update 1: New Experimental Feature - MPX
; http://blogs.msdn.com/b/vcblog/archive/2016/01/20/visual-studio-2015-update-1-new-experimental-feature-mpx.aspx

MPX기능은 Skylake CPU 모델 중에서도 지난 2015년 10월부터 출시되는 제품부터 지원한다고 인텔은 발표했습니다. 애석하게도 국내의 경우, CPU 재고 소진 상황으로 인해 2015년도에 Skylake가 탑재된 컴퓨터를 구매하신 경우에는 거의 MPX 기능이 없다고 보시면 됩니다. (저도 1월 중순이 되어서야 국내에서 구할 수 있었습니다. ^^)

MPX 기능은 별도의 CPU 명령어 셋이 제공되기 때문에 해당 명령어들을 출력하려면 컴파일러 수준에서 제공되어야 합니다. Visual C++의 경우 2015 Update 1이후부티 /d2MPX 컴파일러 옵션으로 이를 제어할 수 있게 되었는데요... 간단하게 테스트를 해볼까요? ^^

다음의 소스코드는 "Visual Studio 2015 Update 1: New Experimental Feature - MPX" 글에 실린 내용을 그대로 복사해 온 것입니다.

#include "stdafx.h"
#include <Windows.h>

const int OUTBUFSIZE = 42;
wchar_t out[OUTBUFSIZE];

void copyUpper(wchar_t *str, size_t size)
{
    __try
    {
        for (unsigned int i = 0; i < size; i++)
        {
            out[i] = towupper(str[i]);
        }
    }
    __except (GetExceptionCode() == STATUS_ARRAY_BOUNDS_EXCEEDED)
    {
        wprintf(L"Caught array bounds exceeded exception\n");
    }
}

int main()
{
    wchar_t str[] = L"the quick brown fox jumps over the lazy dog";
    memset(out, 0, OUTBUFSIZE);
    copyUpper(str, wcsnlen_s(str, 255));
    wprintf(L"%s\n", out);
    return 0;
}

소스 코드를 보시면 out 문자열 배열은 42개만 잡혀 있지만 str 문자열은 43이기 때문에 안정된 버퍼 영역을 지나 (wchar_t) 2바이트를 더 쓰게 되는 오류가 있습니다. 일반적으로 이런 프로그램이 작성된 경우 out 버퍼 다음에 어떤 영역이 있는지에 따라 문제의 심각성이 달라집니다. (그래서, 오류 잡기가 더 힘들죠~~~ ^^;)

위의 소스코드를 컴파일할 때 /d2MPX 옵션을 주면 Visual C++ (2015 Update 1) 컴파일러는 MPX 관련 CPU 코드를 삽입해 줍니다. 이는 디버깅 시에 Disassembly 창을 통해 다음과 같이 확인할 수 있습니다.

    __try
    {
        for (unsigned int i = 0; i < size; i++)
00007FF7EA9C1064  mov         dword ptr [rbp+4],0  
00007FF7EA9C106B  jmp         copyUpper+45h (07FF7EA9C1075h)  
00007FF7EA9C106D  mov         eax,dword ptr [rbp+4]  
00007FF7EA9C1070  inc         eax  
00007FF7EA9C1072  mov         dword ptr [rbp+4],eax  
00007FF7EA9C1075  mov         eax,dword ptr [rbp+4]  
00007FF7EA9C1078  cmp         rax,qword ptr [size]  
00007FF7EA9C107F  bnd jae     copyUpper+0C3h (07FF7EA9C10F3h)  
        {
            out[i] = towupper(str[i]);
00007FF7EA9C1082  mov         eax,dword ptr [rbp+4]  
00007FF7EA9C1085  mov         rcx,qword ptr [str]  
00007FF7EA9C108C  movzx       ecx,word ptr [rcx+rax*2]  
00007FF7EA9C1090  bnd call    qword ptr [__imp_towupper (07FF7EA9C5220h)]  
00007FF7EA9C1097  mov         ecx,dword ptr [rbp+4]  
00007FF7EA9C109A  shl         rcx,1  
00007FF7EA9C109D  lea         rdx,[out (07FF7EA9C7050h)]  
00007FF7EA9C10A4  bndmk       bnd0,qword ptr [rdx+53h]  
00007FF7EA9C10A9  bndmov      oword ptr [rbp+148h],bnd0  
00007FF7EA9C10B1  lea         rdx,[out (07FF7EA9C7050h)]  
00007FF7EA9C10B8  add         rdx,rcx  
00007FF7EA9C10BB  mov         qword ptr [rbp+1D8h],rdx  
00007FF7EA9C10C2  mov         rcx,qword ptr [rbp+1D8h]  
00007FF7EA9C10C9  inc         rcx  
00007FF7EA9C10CC  bndmov      bnd0,oword ptr [rbp+148h]  
00007FF7EA9C10D4  mov         rdx,qword ptr [rbp+1D8h]  
00007FF7EA9C10DB  bndcu       bnd0,rcx  
00007FF7EA9C10DF  bndcl       bnd0,rdx  
00007FF7EA9C10E3  mov         rcx,qword ptr [rbp+1D8h]  
00007FF7EA9C10EA  mov         word ptr [rcx],ax  
        }
00007FF7EA9C10ED  bnd jmp     copyUpper+3Dh (07FF7EA9C106Dh)  
    }
00007FF7EA9C10F3  jmp         copyUpper+102h (07FF7EA9C1132h)  
    __except (GetExceptionCode() == STATUS_ARRAY_BOUNDS_EXCEEDED)
    {
        wprintf(L"Caught array bounds exceeded exception\n");
00007FF7EA9C10F5  lea         rax,[string L"Caught array bounds "... (07FF7EA9C5370h)]  
00007FF7EA9C10FC  bndmk       bnd0,qword ptr [rax+4Fh]  
00007FF7EA9C1101  bndmov      oword ptr [rbp+178h],bnd0  
00007FF7EA9C1109  lea         rax,[string L"Caught array bounds "... (07FF7EA9C5370h)]  
00007FF7EA9C1110  bndmov      bnd0,oword ptr [rbp+178h]  
00007FF7EA9C1118  bndstx      qword ptr [rsp+rax],bnd0  
00007FF7EA9C111C  lea         rcx,[string L"Caught array bounds "... (07FF7EA9C5370h)]  
00007FF7EA9C1123  bndmov      bnd0,oword ptr [rbp+178h]  
00007FF7EA9C112B  bnd call    wprintf (07FF7EA9C1430h)  
00007FF7EA9C1131  nop  
    }

MPX 관련해서 128비트 길이를 가진 4개의 경계 레지스터(bounds registers)가 BND0 ~ BND3까지 제공되는데, 상위 경계 8바이트와 하위 경계 8바이트를 하나의 레지스터에서 담게 되는 구조입니다.

위의 명령어들 중에서 특히 bndmk를 거치면 MPX 관련 CPU 레지스터에 유효 주소 범위값이 설정됩니다.

mpx_test_sample_1.png

그리고 그 범위 밖의 메모리 주소를 접근하면 예외가 발생하게 되고 __except 핸들러 내부의 코드가 실행됩니다. (MPX가 지원되는 CPU에서만 __except 내로 진입합니다.)

(첨부한 파일은 위의 코드를 포함하는 간단한 Visual C++ 프로젝트입니다.)




좀 더 자세한 정보는 인텔이 배포하고 있는 문서를 보시면 됩니다.

Intel_MPX_EnablingGuide.pdf
; https://software.intel.com/sites/default/files/managed/9d/f6/Intel_MPX_EnablingGuide.pdf

물론 MPX 명령어가 지원되는 CPU들이 일반화되려면 시간이 한참 지나야 할 것입니다. 그래도 미리 이 명령어가 추가되도록 /d2MPX 옵션을 줘도 상관없는데요, 왜냐하면 MPX 지원이 안되는 CPU에서 이 명령어들이 실행되면 CPU 입장에서 그냥 NOP 명령어를 수행하는 것과 동일하게 처리하므로 결국 아무런 영향도 주지 않게 됩니다. 따라서, CPU 종류를 개발자 입장에서 신경쓸 필요도 없다는 이야기입니다.

단지, MPX가 지원되지 않는 컴퓨터에서 "Intel MPX Runtime Driver"는 설치될 수 있는데요. 이런 환경에서 MPX 추가된 응용 프로그램을 실행하면 다음과 같은 메시지를 동반하는 블루스크린을 볼 수 있습니다.

Your PC ran into a problem and needs to restart. We're just collecting some error info, and then we'll restart for you. (..% complete)

If you'd like to know more, you can search online later for this error: KMODE_EXCEPTION_NOT_HANDLED (MpxRuntime.sys)

이것 역시 그다지 흔한 환경은 아닐 것이기 때문에 문제가 될 수준은 아니겠지요! ^^

정리하면... 그냥 MPX는 인텔(과 컴파일러 회사들)이 지원해주는 공짜 점심(Free lunch)라고 보시면 됩니다.




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







[최초 등록일: ]
[최종 수정일: 7/10/2021]

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

비밀번호

댓글 작성자
 




... 61  62  63  64  65  66  [67]  68  69  70  71  72  73  74  75  ...
NoWriterDateCnt.TitleFile(s)
11967정성태7/1/201911670개발 환경 구성: 446. Synology NAS를 Windows 10에서 iSCSI로 연결하는 방법
11966정성태6/30/201911035Math: 62. 활성화 함수에 따른 뉴런의 출력을 그리드 맵으로 시각화파일 다운로드1
11965정성태6/30/201911889.NET Framework: 846. C# - 2차원 배열을 1차원 배열로 나열하는 확장 메서드파일 다운로드1
11964정성태6/30/201913333Linux: 20. C# - Linux에서의 Named Pipe를 이용한 통신
11963정성태6/29/201913073Linux: 19. C# - .NET Core Unix Domain Socket 사용 예제
11962정성태6/27/201910758Math: 61. C# - 로지스틱 회귀를 이용한 선형분리 불가능 문제의 분류파일 다운로드1
11961정성태6/27/201910320Graphics: 37. C# - PLplot - 출력 모음(Family File Output)
11960정성태6/27/201911103Graphics: 36. C# - PLplot의 16색 이상을 표현하는 방법과 subpage를 이용한 그리드 맵 표현
11959정성태6/27/201912242Graphics: 35. matplotlib와 PLplot의 한글 처리
11958정성태6/25/201916570Linux: 18. C# - .NET Core Console로 리눅스 daemon 프로그램 만드는 방법 [6]
11957정성태6/24/201915640Windows: 160. WMI 쿼리를 명령행에서 간단하게 수행하는 wmic.exe [2]
11956정성태6/24/201913679Linux: 17. CentOS 7에서 .NET Core Web App 실행 환경 구성 [1]
11955정성태6/20/201912002Math: 60. C# - 로지스틱 회귀를 이용한 분류파일 다운로드1
11954정성태6/20/201911412오류 유형: 550. scp - sudo: no tty present and no askpass program specified
11953정성태6/20/201910255오류 유형: 549. The library 'libhostpolicy.so' required to execute the application was not found in '...'
11952정성태6/20/201911024Linux: 16. 우분투, Centos의 Netbios 호스트 이름 풀이 방법
11951정성태6/20/201913854오류 유형: 548. scp 연결 시 "Permission denied" 오류 및 "WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED!" 경고
11950정성태6/18/201912645.NET Framework: 845. C# - 윈도우 작업 관리자와 리소스 모니터의 메모리 값을 구하는 방법
11949정성태6/18/20199069오류 유형: 547. CoreCLR Profiler 예제 프로젝트 빌드 시 컴파일 오류 유형
11948정성태6/17/201911351Linux: 15. 리눅스 환경의 Visual Studio Code에서 TFS 서버 연동
11947정성태6/17/201912639Linux: 14. 리눅스 환경에서 TFS 서버 연동
11946정성태6/17/201913233개발 환경 구성: 445. C# - MathNet으로 정규 분포를 따르는 데이터를 생성, PLplot으로 Histogram 표현파일 다운로드1
11945정성태6/17/201911626Linux: 13. node.js에서 syslog로 출력하는 방법
11944정성태6/16/201918397Linux: 12. Ubuntu 16.04/18.04에서 node.js 최신 버전 설치 방법
11943정성태6/15/201911207.NET Framework: 844. C# - 박싱과 언박싱 [1]
11942정성태6/13/201917632개발 환경 구성: 444. 로컬의 Visual Studio Code로 원격 리눅스 머신에 접속해 개발하는 방법 [1]
... 61  62  63  64  65  66  [67]  68  69  70  71  72  73  74  75  ...