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)
12260정성태7/8/202042.NET Framework: 926. C# - ETW를 이용한 ThreadPool 스레드 감시파일 다운로드1
12259정성태7/8/202013오류 유형: 627. nvlddmkm.sys의 BAD_POOL_HEADER BSOD 문제
12258정성태7/8/202066기타: 77. DataDog APM 간략 소개
12257정성태7/7/202047.NET Framework: 925. C# - ETW를 이용한 Monitor Enter/Exit 감시파일 다운로드1
12256정성태7/7/202065.NET Framework: 924. C# - Reflection으로 변경할 수 없는 readonly 정적 필드 [4]
12255정성태7/6/202056.NET Framework: 923. C# - ETW(Event Tracing for Windows)를 이용한 Finalizer 실행 감시파일 다운로드1
12254정성태7/2/202033오류 유형: 626. git - REMOTE HOST IDENTIFICATION HAS CHANGED!
12253정성태7/2/202099.NET Framework: 922. C# - .NET ThreadPool의 Local/Global Queue파일 다운로드1
12252정성태7/2/202072.NET Framework: 921. C# - I/O 스레드를 사용한 비동기 소켓 서버/클라이언트파일 다운로드2
12251정성태7/1/2020100.NET Framework: 920. C# - 파일의 비동기 처리 유무에 따른 스레드 상황파일 다운로드2
12250정성태7/1/2020306.NET Framework: 919. C# - 닷넷에서의 진정한 비동기 호출을 가능케 하는 I/O 스레드 사용법 [1]파일 다운로드1
12249정성태6/29/202032오류 유형: 625. Microsoft SQL Server 2019 RC1 Setup - 설치 제거 시 Warning 26003 오류 발생
12248정성태6/29/202029오류 유형: 624. SQL 서버 오류 - service-specific error code 17051
12247정성태6/29/2020120.NET Framework: 918. C# - 불린 형 상수를 반환값으로 포함하는 3항 연산자 사용 시 단축 표현 권장(IDE0075) [2]파일 다운로드1
12246정성태6/29/202062.NET Framework: 917. C# - USB 관련 ETW(Event Tracing for Windows)를 이용한 키보드 입력을 감지하는 방법
12245정성태6/25/2020212.NET Framework: 916. C# - Task.Yield 사용법 (2) [2]파일 다운로드1
12244정성태6/29/202094.NET Framework: 915. ETW(Event Tracing for Windows)를 이용한 닷넷 프로그램의 내부 이벤트 활용파일 다운로드1
12243정성태6/23/202061VS.NET IDE: 147. Visual C++ 프로젝트 - .NET Core EXE를 "Debugger Type"으로 지원하는 기능 추가
12242정성태6/24/202036오류 유형: 623. AADSTS90072 - User account '...' from identity provider 'live.com' does not exist in tenant 'Microsoft Services'
12241정성태6/26/2020120.NET Framework: 914. C# - Task.Yield 사용법파일 다운로드1
12240정성태6/23/202078오류 유형: 622. 소켓 바인딩 시 "System.Net.Sockets.SocketException: An attempt was made to access a socket in a way forbidden by its access permissions" 오류 발생
12239정성태6/21/202064Linux: 30. (윈도우라면 DLL에 속하는) .so 파일이 텍스트로 구성된 사례
12238정성태6/21/202099.NET Framework: 913. C# - SharpDX + DXGI를 이용한 윈도우 화면 캡처 라이브러리
12237정성태7/8/2020106.NET Framework: 912. 리눅스 환경의 .NET Core에서 "test".IndexOf("\0")가 0을 반환
12236정성태6/19/202070오류 유형: 621. .NET Standard 대상으로 빌드 시 dynamic 예약어에서 컴파일 오류 - error CS0656: Missing compiler required member 'Microsoft.CSharp.RuntimeBinder.CSharpArgumentInfo.Create'
[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...