Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (seongtaejeong at gmail.com)
홈페이지
첨부 파일
 

(시리즈 글이 8개 있습니다.)
디버깅 기술: 194. Windbg - x64 가상 주소를 물리 주소로 변환
; https://www.sysnet.pe.kr/2/0/13500

디버깅 기술: 203. Windbg - x64 가상 주소를 물리 주소로 변환 (페이지 크기가 2MB인 경우)
; https://www.sysnet.pe.kr/2/0/13836

디버깅 기술: 206. Windbg로 알아보는 PFN (_MMPFN)
; https://www.sysnet.pe.kr/2/0/13844

디버깅 기술: 207. Windbg로 알아보는 PTE (_MMPTE)
; https://www.sysnet.pe.kr/2/0/13845

디버깅 기술: 208. Windbg로 알아보는 Trans/Soft PTE와 2가지 Page Fault 유형
; https://www.sysnet.pe.kr/2/0/13846

디버깅 기술: 209. Windbg로 알아보는 Prototype PTE
; https://www.sysnet.pe.kr/2/0/13848

디버깅 기술: 210. Windbg - 논리(가상) 주소를 Segmentation을 거쳐 선형 주소로 변경
; https://www.sysnet.pe.kr/2/0/13849

디버깅 기술: 212. Windbg - (Ring 3 사용자 모드의) FS, GS Segment 레지스터
; https://www.sysnet.pe.kr/2/0/13852




Windbg - x64 가상 주소를 물리 주소로 변환 (페이지 크기가 2MB인 경우)

지난 글에서,

Windbg - x64 가상 주소를 물리 주소로 변환
; https://www.sysnet.pe.kr/2/0/13500

설명한 내용은 페이지 크기가 4KB인 경우였습니다. 반면, 페이지 크기가 2MB로 할당된 경우도 있을 텐데요,

C# - Windows 운영체제의 2MB Large 페이지 크기 할당 방법
; https://www.sysnet.pe.kr/2/0/13208

이번에는 저렇게 된 경우에 대한 실습을 해보겠습니다. ^^




자, 그럼 실습을 위해 2MB 페이지 크기로 할당된 메모리를 찾아야 하는데요, 다행히 _EPROCESS 구조체가 대개의 경우 2MB 페이지 크기로 할당된 곳에 위치하고 있는 듯합니다.

// Windows 10 x64 (10.0.19045)에서 Local Kernel Debug로 실행 + notepad.exe 하나 띄워 놓고!

lkd>  !process 0 0 notepad.exe
PROCESS ffffd282e4819080
    SessionId: 2  Cid: 277c    Peb: f9fec99000  ParentCid: 1438
    DirBase: 15c4ff000  ObjectTable: ffffe0042587a040  HandleCount: 261.
    Image: notepad.exe

lkd> !pte ffffd282e4819080
                                           VA ffffd282e4819080
PXE at FFFFFEFF7FBFDD28    PPE at FFFFFEFF7FBA5058    PDE at FFFFFEFF74A0B920    PTE at FFFFFEE9417240C8
contains 0A00000207E43863  contains 0A00000207E44863  contains 8A000001302009E3  contains 0000000000000000
pfn 207e43    ---DA--KWEV  pfn 207e44    ---DA--KWEV  pfn 130200    -GLDA--KW-V  LARGE PAGE pfn 130219    

위의 결과를 보면, _EPROCESS 구조체가 담긴 ffffd282e4819080 주소가 PDE 수준에서 pfn 130200을 담고 있으며 "LARGE PAGE"라는 의미에 맞게 "-GLDA--KW-V"에 "L" 비트가 켜져 있습니다. 즉, 2MB 페이지 크기로 할당된 메모리에 위치해 있는 것입니다.

이런 경우에는, 기존의 4KB 페이지 크기에서 offset 값을 9-9-9-9-12로 분해해 계산했던 것을, 대신 마지막 PTE의 offset 값인 9bit도 뒤의 12비트와 결합해 2MB 영역 내에서의 offset 값으로 계산을 해야 합니다.

ulong addr = 0xffffd282e4819080;

ulong mask = 0b_0000_0000_0000_0000_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111;

ulong result = addr & mask;
Console.WriteLine($"Virtual Address: {result:x}");

mask = 0b_1_1111_1111_1111_1111_1111; // 21 bits
result = addr & mask;
Console.WriteLine($"Offset at page: {result:x3}");

addr = addr >> 21;
mask = 0b_1_1111_1111; // 9 bits
result = addr & mask;
Console.WriteLine($"Page Table Selector: {result:x3}");

addr = addr >> 9;
mask = 0b_1_1111_1111; // 9 bits
result = addr & mask;
Console.WriteLine($"Page Directory Pointer Selector: {result:x3}");

addr = addr >> 9;
mask = 0b_1_1111_1111; // 9 bits
result = addr & mask;
Console.WriteLine($"Page Map Level 4 Selector: {result:x3}");

/* 출력 결과:
Virtual Address: d282e4819080
Offset at page: 19080
Page Table Selector: 124
Page Directory Pointer Selector: 00b
Page Map Level 4 Selector: 1a5
*/

정말 그런지 DirBase로부터 물리 주소를 계산해 볼까요? ^^

"!process ..." 문맥의 결과로 나온 (CR3 레지스터의 값인) 15c4ff000을 기준으로 PML4E 값을 덤프하고,

lkd> ? 1a5*8 // 1개의 항목 크기가 8바이트이므로!
Evaluate expression: 3368 = 00000000`00000d28

lkd> dq /p 15c4ff000+d28 L1 // 또는 !dq 15c4ff000+d28 L1
00000001`5c4ffd28  0a000002`07e43863

// PML4E의 12 ~ 51 영역이 가리키는 Page Directory Pointer == 207e43000

그럼 다시 8바이트 크기의 Page Directory Pointer Selector: 00b 값을 더해서 덤프한 후,

lkd> !dq 207e43000 + (0b * 8) L1
#207e43058 0a000002`07e44863

// PDPE의 12 ~ 51 영역이 가리키는 Page Directory == 207e44000

마지막으로 "Page Table Selector: 124" 값을 더해서 덤프해 보면,

lkd> !dq 207e44000 + (0x124 * 8) L1
#207e44920 8a000001`302009e3

// PDE의 12 ~ 51 영역이 가리키는 Page Table == 130200000

위의 값이 나왔는데요, 이번엔 저 단계가 끝입니다. 왜냐하면 하위 12비트에 해당하는 0x9e3을 플래그로 분석해 보면,

// 0x9e3 == 1001 1110 0011

0: Present (1)
1: Read/Write (1)
2: User/Supervisor (0)
3: Write-through (0) 
4: Cache disabled (0)
5: Accessed (1)
6: Dirty (1)
7: Page Size (1) // 2MB 페이지 크기
8: Global (1)
9~11: AVL (100)

"L" 비트에 해당하는 Page Size가 1로 설정돼 있으므로 2MB 페이지 크기가 됩니다. 따라서, 130200000 주소를 base로 해서 가상 주소의 마지막 21비트를 더하면,

lkd> ? 130200000 + 19080
Evaluate expression: 5102473344 = 00000001`30219080

물리 주소 00000001`30219080 값이 나옵니다. 실제로 이 값이 물리 주소에 해당하는지 !vtop 명령어로 확인해 보면 됩니다. ^^

lkd> !vtop 0 ffffd282e4819080
Amd64VtoP: Virt ffffd282e4819080, pagedir 00000000007d4000
Amd64VtoP: PML4E 00000000007d4d28
Amd64VtoP: PDPE 0000000207e43058
Amd64VtoP: PDE 0000000207e44920
Amd64VtoP: Large page mapped phys 0000000130219080
Virtual address ffffd282e4819080 translates to physical address 130219080.

정확히 일치하는군요. ^^ 위의 과정을 간단하게 설명하면 이렇게 압축할 수 있습니다.

물리 주소 == (!pte의 마지막 PFN) * page size + offset




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







[최초 등록일: ]
[최종 수정일: 12/14/2024]

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

비밀번호

댓글 작성자
 




... 91  92  [93]  94  95  96  97  98  99  100  101  102  103  104  105  ...
NoWriterDateCnt.TitleFile(s)
11610정성태7/15/201817387Graphics: 5. Unity로 실습하는 Shader (3) - 고로 셰이딩(gouraud shading) + 퐁 모델(Phong model) + Texture
11609정성태7/15/201820390Graphics: 4. Unity로 실습하는 Shader (2) - 고로 셰이딩(gouraud shading) + 퐁 모델(Phong model)
11608정성태7/15/201824949Graphics: 3. Unity로 실습하는 Shader (1) - 컬러 반전 및 상하/좌우 뒤집기
11607정성태7/14/201825292Graphics: 2. Unity로 실습하는 Shader [1]
11606정성태7/13/201825932사물인터넷: 19. PC에 연결해 동작하는 자신만의 USB 장치 만들어 보기파일 다운로드1
11605정성태7/13/201821728사물인터넷: 18. New NodeMCU v3 아두이노 호환 보드의 내장 LED 및 입력 핀 사용법 [1]파일 다운로드1
11604정성태7/12/201820839Math: 47. GeoGebra 기하 (24) - 정다각형파일 다운로드1
11603정성태7/12/201816908Math: 46. GeoGebra 기하 (23) - sqrt(n) 제곱근파일 다운로드1
11602정성태7/11/201817073Math: 45. GeoGebra 기하 (22) - 반전기하학의 원에 관한 반사변환파일 다운로드1
11601정성태7/11/201819849Math: 44. GeoGebra 기하 (21) - 반전기하학의 직선 및 원에 관한 반사변환파일 다운로드1
11600정성태7/10/201818303Math: 43. GeoGebra 기하 (20) - 세 점을 지나는 원파일 다운로드1
11599정성태7/10/201817612Math: 42. GeoGebra 기하 (19) - 두 원의 안과 밖으로 접하는 직선파일 다운로드1
11598정성태7/10/201819490Windows: 147. 시스템 복구 디스크를 USB 디스크에 만드는 방법
11597정성태7/10/201821593사물인터넷: 17. Thinary Electronic - ATmega328PB 아두이노 호환 보드의 개발 환경 구성
11596정성태7/10/201819546기타: 72. 과거의 용어 설명 - OWIN
11595정성태7/10/201825300사물인터넷: 16. New NodeMCU v3 아두이노 호환 보드의 기본 개발 환경 구성
11594정성태7/8/201819680Math: 41. GeoGebra 기하 (18) - 원의 중심 및 접선파일 다운로드1
11593정성태7/8/201818685Math: 40. GeoGebra 기하 (17) - 각의 복사파일 다운로드1
11591정성태7/7/201818037Math: 39. GeoGebra 기하 (16) - 삼각형의 방심과 방접원파일 다운로드1
11590정성태7/7/201817594Math: 38. GeoGebra 기하 (15) - 삼각형의 수심파일 다운로드1
11589정성태7/7/201817863.NET Framework: 787. object로 형변환된 인스턴스를 원래의 타입 인자로 제네릭 메서드를 호출하는 방법 [2]파일 다운로드1
11588정성태7/7/201819326디버깅 기술: 116. windbg 분석 사례 - ASP.NET 웹 응용 프로그램의 CPU 100% 현상 (3)
11587정성태7/5/201818928.NET Framework: 786. ASP.NET - HttpCookieCollection을 다중 스레드에서 사용할 경우 무한 루프 현상
11586정성태7/5/201818116Math: 37. GeoGebra 기하 (14) - 삼각형의 무게 중심파일 다운로드1
11585정성태7/5/201818285Math: 36. GeoGebra 기하 (13) - 삼각형의 외심과 외접하는 원파일 다운로드1
11584정성태7/5/201818270Math: 35. GeoGebra 기하 (12) - 삼각형의 내심과 내접하는 원파일 다운로드1
... 91  92  [93]  94  95  96  97  98  99  100  101  102  103  104  105  ...