J & J - 정성태의 닷넷 이야기

사용자

메뉴

최근 덧글

[정성태] VT sequences to "CONOUT$" vs. STD_O...[정성태] NetCoreDbg is a managed code debugg...[정성태] Evaluating tail call elimination in...[정성태] What’s new in System.Text.Json in ....[정성태] What's new in .NET 9: Cryptography ...[정성태] 아... 제시해 주신 "https://akrzemi1.wordp...[정성태] 다시 질문을 정리할 필요가 있을 것 같습니다. 제가 본문에...[이승준] 완전히 잘못 짚었습니다. 댓글 지우고 싶네요. 검색을 해보...[정성태] 우선 답글 감사합니다. ^^ 그런데, 사실 저 예제는 (g...[이승준] 수정이 안되어서... byteArray는 BYTE* 타입입니다...

글쓰기

제목

이름

암호

전자우편

HTML

홈페이지

유형

내용

<div style='display: inline'>
<h1 style='font-family: Malgun Gothic, Consolas; font-size: 20pt; color: #006699; text-align: center; font-weight: bold'>Mono Profiler에서 IL 코드 변경이 가능할까?</h1>

닷넷의 경우, Profiler에서 IL 코드를 변경하고 싶다면 <a target='tab' href='https://docs.microsoft.com/en-us/dotnet/framework/unmanaged-api/profiling/icorprofilercallback-jitcompilationstarted-method'>ICorProfilerCallback::JITCompilationStarted</a> 콜백 메서드 단계에서 <a target='tab' href='https://docs.microsoft.com/en-us/dotnet/framework/unmanaged-api/profiling/icorprofilerinfo-setilfunctionbody-method'>ICorProfilerInfo::SetILFunctionBody</a> 메서드를 이용하면 됩니다. 즉, 새로운 IL 코드로 덮어 쓰는 것이 가능한 것입니다. 
 
그런데, 자유도 면에서 더 높을 것 같았던 Mono의 경우 Profiler에서 IL 코드를 쓸 수 있는 방법이 없습니다. (공식적인 IL 코드 변경 방법이 제공되고 있지 않습니다.) 
 
지난번 코드에서도 소개했지만, 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
Visual Studio에서 Mono용 Profiler 개발
; <a target='tab' href='http://www.sysnet.pe.kr/2/0/1805'>http://www.sysnet.pe.kr/2/0/1805</a>
</pre>
 
닷넷의 JITCompilationStarted 콜백에 해당하는 이벤트를 Mono의 경우 mono_profiler_install_jit_compile 함수를 이용해 JIT 컴파일 이전/이후의 시점에 콜백을 받을 수 있습니다. 관련해서 Mono 코드는 다음과 같습니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
// .\mono\mono\mini\mini.c(4932):

MonoCompile*
mini_method_compile (MonoMethod *method, guint32 opts, MonoDomain *domain, JitFlags flags, int parts)
{
 // ... [생략] ...
 if (mono_profiler_get_events () &amp;amp; MONO_PROFILE_JIT_COMPILATION)
 mono_profiler_method_jit (method);
 // ... [생략] ...
}

static gpointer
mono_jit_compile_method_inner (MonoMethod *method, MonoDomain *target_domain, int opt, MonoException **jit_ex)
{
 // ... [생략] ...
 mono_profiler_method_end_jit (method, jinfo, MONO_PROFILE_OK);
 // ... [생략] ...
}
</pre>
 
그래서 우리가 제공한 callback이 불려지는데요. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
void mono_profiler_jit_compile_enter(MonoProfiler *prof, MonoMethod *method)
{
...
}
</pre>
 
전달받은 method 인자로부터 IL 코드를 담은 바이트 배열까지는 구할 수 있습니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
MonoMethodHeader *methodHeader = mono_method_get_header (method);

guint32 code_size = 0;
guint32 maxStack = 0;
const guchar* orgCodes = mono_method_header_get_code(methodHeader, &amp;code_size, &amp;maxStack);
</pre>
 
하지만 딱 거기까지입니다. ^^; 공식적으로, Mono는 mono_method_header_set_code와 같은 함수를 제공하지 않기 때문입니다.
 
혹시 반환받은 orgCodes 포인터에 값을 쓰면 되지 않을까요? 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
*((guchar *)orgCodes) = CEE_RET;
</pre>
 
윈도우 환경의 Mono에서는 이런 경우 다음과 같은 예외가 발생합니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
First-chance exception at 0x67A7E4E6 (mono-profiler-perf.dll) in mono.exe: 0xC0000005: Access violation writing location 0x032F2A92.
Unhandled exception at 0x67A7E4E6 (mono-profiler-perf.dll) in mono.exe: 0xC0000005: Access violation writing location 0x032F2A92.
</pre>
 
이것은 DEP(Data Execution Prevention) 때문인데, orgCodes가 가리키는 포인터 주소가 .NET Assembly 파일의 IL 코드가 있는 데이터 영역이었던 것입니다. (<a target='tab' href='http://askubuntu.com/questions/32441/does-ubuntu-use-security-features-like-dep-and-alsr'>검색해 보면, Ubuntu의 경우에도 기본적으로 DEP가 켜져</a> 있기 때문에 리눅스에서도 동일하게 AV 오류가 발생할 것입니다.) 
 
검색해도, Mono.Cecil을 이용해 DLL 파일을 로드해서 IL 코드를 바꾼 다음 그것을 반영한 DLL 파일로 쓰는 것만 있을 뿐 런타임(Run-time)에 IL 코드를 재작성(Rewrite)하는 것은 없습니다. 
 
<hr style='width: 50%' /> 
 
일단, 공식적인 방법은 없고 이제... 아쉽지만 ^^; 비공식적인 방법을 찾아야 합니다. 여기서 문제는 DEP 제약이기 때문에 윈도우의 경우 Write 권한을 주어 이 문제를 우회할 수 있습니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
MEMORY_BASIC_INFORMATION mbi;
memset(&amp;mbi, 0, sizeof(mbi));
VirtualQuery(orgCodes, &amp;mbi, sizeof(mbi)); // mbi.Protect == PAGE_READONLY == 0x02

DWORD dwAttr = PAGE_WRITECOPY;
DWORD oldProtect = 0;
 
BOOL result = VirtualProtect((LPVOID)orgCodes, code_size, dwAttr, &amp;oldProtect);
if (result == TRUE)
{
 *((guchar *)orgCodes) = CEE_RET;
}
</pre>
 
당연하겠지만, 이 방법의 문제점은 기존 메서드의 크기를 넘어서는 IL 코드 재작성을 할 수 없다는 점입니다. 이것 이상의 것을 바란다면, Mono 런타임을 컴파일해서 사용자 환경에 배포하는 수밖에 달리 도리가 없어 보입니다. 
 
<hr style='width: 50%' /> 
 
실패는 했지만, 혹시나 싶어 시도했던 다른 방법을 소개해 보겠습니다. (왜냐하면, 여러분은 이런 시도를 하느라 시간낭비하지 마시라고! ^^) 
 
문제를 우회하기 위해, mono_method_header_get_code의 내부 코드를 봤습니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
// .\mono\mono\metadata\metadata.c(3652):

const unsigned char*
mono_method_header_get_code (MonoMethodHeader *header, guint32* code_size, guint32* max_stack)
{
 if (code_size)
 *code_size = header-&gt;code_size;
 if (max_stack)
 *max_stack = header-&gt;max_stack;
 return header-&gt;code;
}
</pre>
 
그렇습니다. mono_method_header_get_code는 단순히 MonoMethodHeader의 code_size, max_stack, code 멤버를 반환할 뿐입니다. 그런데 이것 자체가 제약입니다. Mono는 Profiler 작성자가 내부 구조체에 의존하지 않도록 MonoMethodHeader와 같은 타입을 (공식적으로) 공개하지 않는 입장입니다. 따라서 이런 내부 구조체를 안전하게 접근하려면 Mono가 공표하는 public-api를 이용하는 수밖에는 없는데, 다시 이야기가 돌아서 Mono는 mono_method_header_set_code와 같은 API를 제공하지 않기 때문에 어쩔 수 없이 MonoMethodHeader의 내부 구조를 접근해야 합니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
// .\mono\mono\metadata\metadata.h(322)
typedef struct _MonoMethodHeader MonoMethodHeader;

// .\mono\mono\metadata\metadata-internals.h(483)
struct _MonoMethodHeader {
 const unsigned char *code;
#ifdef MONO_SMALL_CONFIG
 guint16 code_size;
#else
 guint32 code_size;
#endif
 guint16 max_stack : 15;
 unsigned int is_transient: 1; /* mono_metadata_free_mh () will actually free this header */
 unsigned int num_clauses : 15;
 /* if num_locals != 0, then the following apply: */
 unsigned int init_locals : 1;
 guint16 num_locals;
 MonoExceptionClause *clauses;
 MonoType *locals [MONO_ZERO_LEN_ARRAY];
};
</pre>
 
모든 멤버를 접근하는 것은 위험도를 높이기 때문에 다음과 같이 일부분만 자신의 코드에 복사해 쓸 수 있습니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
struct _MonoMethodHeader 
{
 guchar* code;
 guint32 code_size;
};
</pre>
 
그래서, code 포인터에 새롭게 메모리를 할당해 우리가 원하는 코드를 제약없이 심을 수 있겠다 싶었습니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
_MonoMethodHeader *pHeader = (_MonoMethodHeader *)methodHeader;

pHeader-&gt;code = (guchar *)g_malloc(1);
*(pHeader-&gt;code) = CEE_RET;
pHeader-&gt;code_size = 1;
</pre>
 
하지만, 이렇게 바꿔도 소용없었습니다. 왜냐하면 Mono가 mono_method_get_header API로 반환했던 MonoMethodHeader 포인터는 임시 목적의 저장소일 뿐 이후에 이 데이터를 바탕으로 컴파일을 진행하는 것이 아니기 때문입니다. 실제로 위와 같이 변경한 후 다시 mono_method_get_header API를 호출하면 원본 코드 데이터를 반환하는 것을 볼 수 있습니다. ^^; 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
_MonoMethodHeader *pHeader = (_MonoMethodHeader *)methodHeader;

pHeader-&gt;code = (guchar *)g_malloc(1);
*(pHeader-&gt;code) = CEE_RET;
pHeader-&gt;code_size = 1;

// 다시 MonoMethodHeader를 구하면
guint32 code_size = 0;
guint32 maxStack = 0;
methodHeader = mono_method_get_header(method);
const guchar* orgCodes = mono_method_header_get_code(methodHeader, &amp;code_size, &amp;maxStack);

// orgCodes 포인터의 내용은 우리가 변경했던 코드가 아님!
</pre>
 
<hr style='width: 50%' /> 
 
혹시, "IL-Rewriting in Mono"와 관련해서 시도해 볼만한 아이디어가 있다면 덧글 부탁드립니다. ^^

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

첨부파일

스팸 방지용 인증 번호

5788 (왼쪽의 숫자를 입력해야 합니다.)