성태의 닷넷 이야기
홈 주인
모아 놓은 자료
프로그래밍
질문/답변
사용자 관리
사용자
메뉴
아티클
외부 아티클
유용한 코드
온라인 기능
MathJax 입력기
최근 덧글
[정성태] Java - How to use the Foreign Funct...
[정성태] 제가 큰 실수를 했군요. ^^; Delegate를 통한 Bein...
[정성태] Working with Rust Libraries from C#...
[정성태] Detecting blocking calls using asyn...
[정성태] 아쉽게도, 커뮤니티는 아니고 개인 블로그입니다. ^^
[정성태] 질문이 잘 이해가 안 됩니다. 우선, 해당 소스코드에서 ILis...
[양승조
] var대신 dinamic으로 선언해서 해결은 했습니다. 맞는 해...
[양승조
] 또 막혔습니다. ㅠㅠ var list = props[i].Ge...
[양승조
] 아. 감사합니다. 어제는 안됐던것 같은데....정신을 차려야겠네...
[정성태] "props[i].GetValue(props[i])" 코드에서 ...
글쓰기
제목
이름
암호
전자우편
HTML
홈페이지
유형
제니퍼 .NET
닷넷
COM 개체 관련
스크립트
VC++
VS.NET IDE
Windows
Team Foundation Server
디버깅 기술
오류 유형
개발 환경 구성
웹
기타
Linux
Java
DDK
Math
Phone
Graphics
사물인터넷
부모글 보이기/감추기
내용
<div style='display: inline'> <h1 style='font-family: Malgun Gothic, Consolas; font-size: 20pt; color: #006699; text-align: center; font-weight: bold'>C#의 tail call 구현은?</h1> <p> 우선, CLR 수준에서 어떻게 tail call이 처리되고 있는지에 대한 문서들을 웹상에서 찾아볼 수 있습니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > Enter, Leave, Tailcall Hooks Part 2: Tall tales of tail calls ; <a target='tab' href='https://learn.microsoft.com/en-us/archive/blogs/davbr/enter-leave-tailcall-hooks-part-2-tall-tales-of-tail-calls'>https://learn.microsoft.com/en-us/archive/blogs/davbr/enter-leave-tailcall-hooks-part-2-tall-tales-of-tail-calls</a> Tail Call Improvements in .NET Framework 4 ; <a target='tab' href='https://learn.microsoft.com/en-us/archive/blogs/clrcodegeneration/tail-call-improvements-in-net-framework-4'>https://learn.microsoft.com/en-us/archive/blogs/clrcodegeneration/tail-call-improvements-in-net-framework-4</a> </pre> <br /> 그리고, CLR 2.0 기준으로 64bit/32bit에 따른 tail call이 가능하지 않은 조건들을 설명한 글이 있습니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > Tail call JIT conditions ; <a target='tab' href='https://learn.microsoft.com/en-us/archive/blogs/davbr/tail-call-jit-conditions'>https://learn.microsoft.com/en-us/archive/blogs/davbr/tail-call-jit-conditions</a> (* You must not take dependencies on this behavior. Use this information for your own personal entertainment only.) </pre> <br /> 이 중에서 "<a target='tab' href='https://learn.microsoft.com/en-us/archive/blogs/clrcodegeneration/tail-call-improvements-in-net-framework-4'>Tail Call Improvements in .NET Framework 4</a>" 글이 그나마 최신인데요. 대충 설명해 보면 다음과 같이 요약됩니다.<br /> <br /> <ul> <li>CLR 2 + 64bit JIT: '쉬운(easy)' 경우만을 대상으로 tail call 최적화 처리, 이 때문에 <a target='tab' href='https://learn.microsoft.com/en-us/dotnet/api/system.reflection.emit.opcodes.tailcall'>tail.</a> 접두사가 명시되어 있다 해도 'easy case'가 아니라면 tail call 최적화를 하지 못함.</li> <li>CLR 2 + 32bit JIT: tail. 접두사가 명시된 경우만. (하지만, 64bit JIT보다 tail call 처리를 할 수 없는 더 많은 예외적인 상황이 존재)</li> <li>CLR 4 + 64bit JIT: tail. 접두사가 명시된 경우 모든 상황에서 tail. 접두사를 (tail call 방식이 아니라도 TailCallHelper를 통해) 처리하도록 JIT 개선</li> <li>CLR 4 + 32bit/IA64 JIT: CLR 2의 상황과 바뀐 것이 없음. (따라서, tail. 접두사가 명시된 경우만 제한적으로.)</li> </ul> <br /> 즉, CLR 4 + 64bit JIT에 와서야 "tail." 접두사가 존재한다면 어떤 식으로든 stack overflow가 발생하지 않도록 처리가 되었습니다.<br /> <br /> 이쯤에서, C#에서의 tail call 처리가 궁금할 텐데요. 일단, C# 컴파일러는 어떠한 코드에서도 "tail." 접두사를 생성하지 않습니다. 따라서, CLR 2/4에 상관없이 32bit JIT 컴파일러는 tail call 최적화를 하지 않습니다. 단지, 64bit JIT에서는 임의 재량으로 쉬운 것만을 대상으로 변환을 해줍니다.<br /> <br /> F#이라면 어떨까요? F# 컴파일러는 언어의 특성상 "tail." 접두사를 상황에 따라 IL 코드에 출력을 합니다. 일단, "tail." 접두사가 출력되었다면 CLR 4 + 64bit JIT 환경에서 stack overflow 예외는 피할 수 있다고 안심하셔도 됩니다.<br /> <br /> <hr style='width: 50%' /><br /> <br /> C#의 경우, 간단한 예제로 한번 테스트해볼까요? ^^<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > using System; class Program { static void Main(string[] args) { RecursiveCall(1); } private static void RecursiveCall(int v) { if (v % 100 == 0) { Console.WriteLine(v); } RecursiveCall(v + 1); } } </pre> <br /> C# 컴파일러로 위의 코드를 CLR 2 - x64/Release 빌드하면 다음과 같은 IL 코드가 생성됩니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > .method private hidebysig static void RecursiveCall(int32 v) cil managed { .maxstack 8 L_0000: ldarg.0 L_0001: ldc.i4.s 100 L_0003: rem L_0004: brtrue.s L_000c L_0006: ldarg.0 L_0007: call void [mscorlib]System.Console::WriteLine(int32) L_000c: ldarg.0 L_000d: ldc.i4.1 L_000e: add <span style='color: blue; font-weight: bold'>L_000f: call void Program::RecursiveCall(int32)</span> L_0014: ret } </pre> <br /> 보는 바와 같이 L_000f의 call 이전에 "tail." 접두사가 없습니다. 하지만, 이 코드를 실행해 보면 stack overflow 예외 없이 잘 실행됩니다. 반면, CLR 2 - x86/Release로 빌드해 실행하면 이번에는 "Process is terminated due to StackOverflowException." 예외가 발생합니다.<br /> <br /> 이 상황은 CLR 4에서도 동일하며, Debug 빌드의 경우에는 어떤 모드로 해도 tail call 처리를 JIT 컴파일러가 하지 않으므로 stack overflow가 발생합니다.<br /> <br /> <hr style='width: 50%' /><br /> <br /> 이야기 나온 김에 ^^ "tail." 접두사가 있는 경우도 테스트해 보겠습니다. ildasm.exe를 이용해 위의 예제를 빌드한 ConsoleApp1.exe를 IL 소스 코드로 변경한 다음,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > ildasm /OUT=test.il ConsoleApp1.exe </pre> <br /> 생성된 test.il 파일을 메모장 등에서 열어 call 전에 "tail." 접두사를 추가해 줍니다. (IL_???? 번호는 br 계열 명령어의 오프셋 값만 일치시켜 준다면 임의로 변경하셔도 됩니다.)<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > .method private hidebysig static void RecursiveCall(int32 v) cil managed { // Code size 21 (0x15) .maxstack 8 IL_0000: ldarg.0 IL_0001: ldc.i4.s 100 IL_0003: rem IL_0004: brtrue.s IL_000c IL_0006: ldarg.0 IL_0007: call void [mscorlib]System.Console::WriteLine(int32) IL_000c: ldarg.0 IL_000d: ldc.i4.1 IL_000e: add <span style='color: blue; font-weight: bold'>IL_000f: tail.</span> IL_0014: call void Program::RecursiveCall(int32) IL_0018: ret } // end of method Program::RecursiveCall </pre> <br /> "tail." 접두사가 추가된 il 코드를 CLR 2 버전의 ilasm.exe를 이용해 빌드하고,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > "C:\Windows\Microsoft.NET\Framework\v2.0.50727\ilasm.exe" /OUTPUT=test.exe test.il /RESOURCE=test.res </pre> <br /> test.exe를 실행해 보면, "tail." 접두사가 있는 데다 "<a target='tab' href='https://learn.microsoft.com/en-us/archive/blogs/davbr/tail-call-jit-conditions'>Tail call JIT conditions</a>" 문서에 따른 예외적인 조건이 아니기 때문에 정상적으로 tail call 처리가 되어 stack overflow 예외 없이 CLR 2 + x86에서도 잘 실행이 됩니다.<br /> </p><br /> <br /><hr /><span style='color: Maroon'>[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]</span> </div>
첨부파일
스팸 방지용 인증 번호
1175
(왼쪽의 숫자를 입력해야 합니다.)