Microsoft MVP성태의 닷넷 이야기
글쓴 사람
홈페이지
첨부 파일
 

.NET 참조 개체 인스턴스의 Object Header를 확인하는 방법

사실, 원래는 StringBuilder 에서 OutOfMemoryException 의 원인만 밝히려고 했는데 쓰다 보니 궁금함이 꼬리를 물어서 이렇게 이야기가 길어졌군요. ^^

StringBuilder 에서의 OutOfMemoryException 오류 원인 분석
; https://www.sysnet.pe.kr/2/0/1171

windbg - 힙에서 .NET 타입에 대한 배열을 찾는 방법
; https://www.sysnet.pe.kr/2/0/1172

.NET Array는 왜 12 bytes 의 기본 메모리를 점유할까?
; https://www.sysnet.pe.kr/2/0/1173

일반 참조형의 메모리 소비는 얼마나 될까요?
; https://www.sysnet.pe.kr/2/0/1174

그런데, 여기서 옛날에 읽었던 글이 하나 더 생각나는 바람에... ^^;

Safe Thread Synchronization
; http://msdn.microsoft.com/en-us/magazine/cc188793.aspx

위의 글에 보면, Managed Heap 에서의 개체 메모리에 대한 정의가 다음과 같이 나옵니다.

syncblock_index_1.png

이에 비춰서 지난 번에 개체들의 메모리를 살펴봤을 때의 덤프 내용을 다시 한번 살펴볼까요?

=== ConsoleApplication1.Program 인스턴스의 메모리 덤프 ===

0:004> dd 026cbf90 
026cbf90  00293810 00000000 00000000 00000000
026cbfa0  00000000 00000000 00000000 00000000

그림과 매치시켜 보면 아래와 같이 정의되는데요.

00293810 == MethodTable Pointer
00000000 == SyncBlock Index
00000000 == Object Fields

실제로는 3개의 공간이긴 해도 저런 식이 아니고 -4(64비트에서는 -8)바이트 위치에서 3개의 공간이 점유되어 다음과 같은 의미를 갖게 됩니다.

0:004> dd 026CBF8C 
026CBF8C  00000000 00293810 00000000 00000000
026CBF9C  00000000 00000000 00000000 00000000

00000000 == Object Header (SyncBlock Index)
00293810 == MethodTable Pointer
00000000 == 핃드가 없어도 최소 1개의 공간을 점유

그리고 Object Header가 담고 있는 SyncBlock Index의 개념은 다음의 글에서 자세하게 설명하고 있습니다.

Drill Into .NET Framework Internals to See How the CLR Creates Runtime Objects
; http://msdn.microsoft.com/en-us/magazine/cc163791.aspx

syncblock_index_2.png

재미있는 것은, SyncBlock Index의 기본값이 아마도 CLR 버전에 따라 달라지는 것 같습니다.

"
Safe Thread Synchronization" 글에서는 다음과 같이 lock 이 걸리지 않은 상태에서는 -1 값으로 채워져 있다는 설명을 포함하고 있는데,

"
On the other hand, ObjectB's SyncBlockIndex field is set to -1 indicating that ObjectB doesn't have a SyncBlock associated with it for its use
"


"Drill Into .NET Framework Internals to See How the CLR Creates Runtime Objects" 글에서는 0 값으로 채워져 있다고 되어 있습니다.

"
For most object instances, there will be no storage allocated for the actual SyncBlock and the syncblk number will be zero
"


현재 버전에서 어느 쪽이 맞는지, 한번 확인을 해볼까요? ^^

비교를 위해 lock 이 걸린 object 와 그렇지 않았을 때의 메모리 구조를 확인해야 할 텐데요. 분석을 쉽게 하기 위해 다음과 같이 간단하게 코딩을 하고,

namespace ConsoleApplication1
{
    class Program
    {
        static void Main(string[] args)
        {
            Program[] pgList = new Program[0];
            Thread.Sleep(-1);
        }
    }
}

windbg 로 메모리를 덤프해 보면,

// 이전 글들의 예제에서 많이 포함했으므로, 이전 단계는 생략합니다.

0:000> !do 0228bf90 
Name:        System.Object[]
MethodTable: 72f86ba8
EEClass:     72d09688
Size:        16(0x10) bytes
Array:       Rank 1, Number of elements 0, Type CLASS
Element Type:ConsoleApplication1.Program
Fields:
None

0:000> dd 0228bf8c (0x0228bf90 - 4 == 0228bf8c)
0228bf8c  00000000 72f86ba8 00000000 00163810
0228bf9c  00000000 00000000 00000000 00000000
0228bfac  00000000 00000000 00000000 00000000

덤프된 결과를 각각 다음과 같이 분석할 수 있습니다.

00000000 == SyncBlock Index
72f86ba8 == MethodTable (System.Object [])
00000000 == 배열의 수
00163810 == 배열 요소의 Type에 대한 MethodTable

아하... 사용되지 않는 SyncBlock Index의 값은 0 이 맞군요. ^^ (각각의 글이 씌여진 시점에 따라 .NET 의 버전차이라고 의심되었으나, .NET 1.1/2.0/4.0 응용 프로그램에 대해서 동일한 결과값을 얻었습니다.)

본론으로 돌아가서, 이제 해당 object 에 대해 lock 을 걸어서 컴파일 한 다음,

namespace ConsoleApplication1
{
    class Program
    {
        static void Main(string[] args)
        {
            Program[] pgList = new Program[0];
            lock (pgList)
            {
                Thread.Sleep(-1);
            }
        }
    }
}

windbg 로 메모리를 덤프해 보면,

0:000> !do 026dbf90 
Name:        System.Object[]
MethodTable: 72f86ba8
EEClass:     72d09688
Size:        16(0x10) bytes
Array:       Rank 1, Number of elements 0, Type CLASS
Element Type:ConsoleApplication1.Program
Fields:
None
ThinLock owner 1 (0077e0a8), Recursive 0


0:000> dd 026dbf8c (026dbf90 - 4 == 026dbf8c)
026dbf8c  00000001 72f86ba8 00000000 00283810
026dbf9c  00000000 00000000 00000000 00000000
026dbfac  00000000 00000000 00000000 00000000

이제는 SyncBlock Index 값이 1 로 설정되어 있고 !DumpObject 의 결과에는 "ThinLock owner 1 (0077e0a8), Recursive 0" 이라는 출력결과도 확인할 수 있습니다.

00000001 == SyncBlock Index
72f86ba8 == MethodTable (System.Object [])
00000000 == 배열의 수
00283810 == 배열 요소의 Type에 대한 MethodTable




'참조형'의 값은 모두 이렇게 데이터 구조에 "Object Header"를 가지고 있는 반면, 스택에 생성되는 '값형식' 에서는 "Object Header"가 존재하지 않습니다.

바로 이 때문에 참조값에 대해서만 닷넷에서 lock 구문(Monitor.Enter 메서드)으로 사용할 수 있는 것입니다.

object lockInstance = new object();

lock (lockInstance) // 이 시점에 Object Header로 SyncBlock Index 값이 설정되고,
{
} // 이 시점에 SyncBlock == 0x00000000 으로 해제됨.

try 
{
    Monitor.Enter(lockInstance); // 이 시점에 Object Header로 SyncBlock Index 값이 설정되고,
} 
finally
{
    Monitor.Exit(lockInstance); // 이 시점에 SyncBlockIndex == 0x00000000 으로 해제됨.
}

int errorLock = 5;

lock (errorLock)  // 컴파일 오류: 'int' is not a reference type as required by the lock statement
{
}

때로는 문서에서만 읽었던 이런 내용들을, 직접 확인해 보는 것도 그런데로 재미가 있군요. ^^




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

[연관 글]





[최초 등록일: ]
[최종 수정일: 4/20/2019 ]

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

비밀번호

댓글 쓴 사람
 



2013-07-22 05시51분
C# 클래스 객체는 어떻게 Managed Heap에 표현되는가?
; http://www.csharpstudy.com/network/DevNote/Article/5
정성태

[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
12127정성태1/25/202031.NET Framework: 881. C# DLL에서 제공하는 Win32 export 함수의 내부 동작 방식(VT Fix up Table)파일 다운로드1
12126정성태1/25/202029.NET Framework: 880. C# - PE 파일로부터 IMAGE_COR20_HEADER 및 VTableFixups 테이블 분석파일 다운로드1
12125정성태1/24/202011VS.NET IDE: 141. IDE0019 - Use pattern matching
12124정성태1/24/202016VS.NET IDE: 140. IDE1006 - Naming rule violation: These words must begin with upper case characters: ...
12123정성태1/23/202038웹: 39. Google Analytics - gtag 함수를 이용해 페이지 URL 수정 및 별도의 이벤트 생성 방법
12122정성태1/22/202071.NET Framework: 879. C/C++의 UNREFERENCED_PARAMETER 매크로를 C#에서 우회하는 방법(IDE0060 - Remove unused parameter '...')파일 다운로드1
12121정성태1/24/202047VS.NET IDE: 139. Visual Studio - Error List: "Could not find schema information for the ..."파일 다운로드1
12120정성태1/20/202089.NET Framework: 878. C# DLL에서 Win32 C/C++처럼 dllexport 함수를 제공하는 방법 - 네 번째 이야기(IL 코드로 직접 구현)파일 다운로드1
12119정성태1/17/202079디버깅 기술: 160. Windbg 확장 DLL 만들기 (3) - C#으로 만드는 방법
12118정성태1/17/202094개발 환경 구성: 466. C# DLL에서 Win32 C/C++처럼 dllexport 함수를 제공하는 방법 - 세 번째 이야기
12117정성태1/15/202060디버깅 기술: 159. C# - 디버깅 중인 프로세스를 강제로 다른 디버거에서 연결하는 방법파일 다운로드1
12116정성태1/15/202064디버깅 기술: 158. Visual Studio로 디버깅 시 sos.dll 확장 명령어를 (비롯한 windbg의 다양한 기능을) 수행하는 방법
12115정성태1/14/202042디버깅 기술: 157. C# - PEB.ProcessHeap을 이용해 디버깅 중인지 확인하는 방법파일 다운로드1
12114정성태1/13/202098디버깅 기술: 156. C# - PDB 파일로부터 심벌(Symbol) 및 타입(Type) 정보 열거파일 다운로드3
12113정성태1/12/202067오류 유형: 590. Visual C++ 빌드 오류 - fatal error LNK1104: cannot open file 'atls.lib'
12112정성태1/12/202035오류 유형: 589. PowerShell - 원격 Invoke-Command 실행 시 "WinRM cannot complete the operation" 오류 발생
12111정성태1/12/202099디버깅 기술: 155. C# - KernelMemoryIO 드라이버를 이용해 실행 프로그램을 숨기는 방법(DKOM: Direct Kernel Object Modification)
12110정성태1/12/202082디버깅 기술: 154. Patch Guard로 인해 블루 스크린(BSOD)가 발생하는 사례파일 다운로드1
12109정성태1/10/202028오류 유형: 588. Driver 프로젝트 빌드 오류 - Inf2Cat error -2: "Inf2Cat, signability test failed."
12108정성태1/10/202034오류 유형: 587. Kernel Driver 시작 시 127(The specified procedure could not be found.) 오류 메시지 발생
12107정성태1/10/2020119.NET Framework: 877. C# - 프로세스의 모든 핸들을 열람 - 두 번째 이야기
12106정성태1/8/202088VC++: 136. C++ - OSR Driver Loader와 같은 Legacy 커널 드라이버 설치 프로그램 제작
12105정성태1/8/202090디버깅 기술: 153. C# - PEB를 조작해 로드된 DLL을 숨기는 방법
12104정성태1/9/2020194DDK: 9. 커널 메모리를 읽고 쓰는 NT Legacy driver와 C# 클라이언트 프로그램 [2]
12103정성태1/12/2020140DDK: 8. Visual Studio 2019 + WDK Legacy Driver 제작- Hello World 예제 [1]파일 다운로드2
[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...