Microsoft MVP성태의 닷넷 이야기
.NET Framework: 658. C#의 tail call 구현은? [링크 복사], [링크+제목 복사]
조회: 4525
글쓴 사람
홈페이지
첨부 파일
 

C#의 tail call 구현은?

우선, CLR 수준에서 어떻게 tail call이 처리되고 있는지에 대한 문서들을 웹상에서 찾아볼 수 있습니다.

Enter, Leave, Tailcall Hooks Part 2: Tall tales of tail calls
; https://blogs.msdn.microsoft.com/davbr/2007/06/20/enter-leave-tailcall-hooks-part-2-tall-tales-of-tail-calls/

Tail Call Improvements in .NET Framework 4
; https://blogs.msdn.microsoft.com/clrcodegeneration/2009/05/11/tail-call-improvements-in-net-framework-4/

그리고, CLR 2.0 기준으로 64bit/32bit에 따른 tail call이 가능하지 않은 조건들을 설명한 글이 있습니다.

Tail call JIT conditions
; https://blogs.msdn.microsoft.com/davbr/2007/06/20/tail-call-jit-conditions/

(* You must not take dependencies on this behavior. Use this information for your own personal entertainment only.)

이 중에서 "Tail Call Improvements in .NET Framework 4" 글이 그나마 최신인데요. 대충 설명해 보면 다음과 같이 요약됩니다.

  • CLR 2 + 64bit JIT: '쉬운(easy)' 경우만을 대상으로 tail call 최적화 처리, 이 때문에 tail. 접두사가 명시되어 있다 해도 'easy case'가 아니라면 tail call 최적화를 하지 못함.
  • CLR 2 + 32bit JIT: tail. 접두사가 명시된 경우만. (하지만, 64bit JIT보다 tail call 처리를 할 수 없는 더 많은 예외적인 상황이 존재)
  • CLR 4 + 64bit JIT: tail. 접두사가 명시된 경우 모든 상황에서 tail. 접두사를 (tail call 방식이 아니라도 TailCallHelper를 통해) 처리하도록 JIT 개선
  • CLR 4 + 32bit/IA64 JIT: CLR 2의 상황과 바뀐 것이 없음. (따라서, tail. 접두사가 명시된 경우만 제한적으로.)

즉, CLR 4 + 64bit JIT에 와서야 "tail." 접두사가 존재한다면 어떤 식으로든 stack overflow가 발생하지 않도록 처리가 되었습니다.

이쯤에서, C#에서의 tail call 처리가 궁금할 텐데요. 일단, C# 컴파일러는 어떠한 코드에서도 "tail." 접두사를 생성하지 않습니다. 따라서, CLR 2/4에 상관없이 32bit JIT 컴파일러는 tail call 최적화를 하지 않습니다. 단지, 64bit JIT에서는 임의 재량으로 쉬운 것만을 대상으로 변환을 해줍니다.

F#이라면 어떨까요? F# 컴파일러는 언어의 특성상 "tail." 접두사를 상황에 따라 IL 코드에 출력을 합니다. 일단, "tail." 접두사가 출력되었다면 CLR 4 + 64bit JIT 환경에서 stack overflow 예외는 피할 수 있다고 안심하셔도 됩니다.




C#의 경우, 간단한 예제로 한번 테스트해볼까요? ^^

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);
    }
}

C# 컴파일러로 위의 코드를 CLR 2 - x64/Release 빌드하면 다음과 같은 IL 코드가 생성됩니다.

.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 
    L_000f: call void Program::RecursiveCall(int32)
    L_0014: ret 
}

보는 바와 같이 L_000f의 call 이전에 "tail." 접두사가 없습니다. 하지만, 이 코드를 실행해 보면 stack overflow 예외 없이 잘 실행됩니다. 반면, CLR 2 - x86/Release로 빌드해 실행하면 이번에는 "Process is terminated due to StackOverflowException." 예외가 발생합니다.

이 상황은 CLR 4에서도 동일하며, Debug 빌드의 경우에는 어떤 모드로 해도 tail call 처리를 JIT 컴파일러가 하지 않으므로 stack overflow가 발생합니다.




이야기 나온 김에 ^^ "tail." 접두사가 있는 경우도 테스트해 보겠습니다. ildasm.exe를 이용해 위의 예제를 빌드한 ConsoleApp1.exe를 IL 소스 코드로 변경한 다음,

ildasm /OUT=test.il ConsoleApp1.exe

생성된 test.il 파일을 메모장 등에서 열어 call 전에 "tail." 접두사를 추가해 줍니다. (IL_???? 번호는 br 계열 명령어의 오프셋 값만 일치시켜 준다면 임의로 변경하셔도 됩니다.)

.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
	IL_000f:  tail.
	IL_0014:  call       void Program::RecursiveCall(int32)
	IL_0018:  ret
} // end of method Program::RecursiveCall

"tail." 접두사가 추가된 il 코드를 CLR 2 버전의 ilasm.exe를 이용해 빌드하고,

"C:\Windows\Microsoft.NET\Framework\v2.0.50727\ilasm.exe" /OUTPUT=test.exe test.il /RESOURCE=test.res

test.exe를 실행해 보면, "tail." 접두사가 있는 데다 "Tail call JIT conditions" 문서에 따른 예외적인 조건이 아니기 때문에 정상적으로 tail call 처리가 되어 stack overflow 예외 없이 CLR 2 + x86에서도 잘 실행이 됩니다.




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





[최초 등록일: ]
[최종 수정일: 5/24/2017 ]

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

비밀번호

댓글 쓴 사람
 




... 31  32  33  34  35  36  37  38  39  [40]  41  42  43  44  45  ...
NoWriterDateCnt.TitleFile(s)
11233정성태6/28/20173721오류 유형: 403. SharePoint Server 2013을 Windows Server 2016에 설치할 때 .NET 4.5 설치 오류 발생
11232정성태6/28/20173941Windows: 144. Windows Server 2016에 Windows Identity Extensions을 설치하는 방법
11231정성태6/28/20174994디버깅 기술: 86. windbg 의 mscordacwks DLL 로드 문제 - 세 번째 이야기 [1]
11230정성태6/28/20173982제니퍼 .NET: 26. 제니퍼 닷넷 적용 사례 (6) - 잦은 Recycle 문제
11229정성태6/27/20173996오류 유형: 402. Windows Server Backup 관리 콘솔이 없어진 경우
11228정성태6/26/20174250개발 환경 구성: 320. Visual Basic .NET 프로젝트에서 내장 Manifest 자원을 EXE 파일로부터 제거하는 방법파일 다운로드1
11227정성태6/19/20178422개발 환경 구성: 319. windbg에서 python 스크립트 실행하는 방법 - pykd [5]
11226정성태6/19/20174528오류 유형: 401. Microsoft Edge를 실행했는데 입력 반응이 없는 경우
11225정성태6/19/20174362오류 유형: 400. Outlook - The required file ExSec32.dll cannot be found in your path. Install Microsoft Outlook again.
11224정성태6/13/20174302.NET Framework: 661. Json.NET의 DeserializeObject 수행 시 속성 이름을 동적으로 바꾸는 방법파일 다운로드1
11223정성태8/2/20173877개발 환경 구성: 318. WCF Service Application과 WCFTestClient.exe
11222정성태6/10/20175313오류 유형: 399. WCF - A property with the name 'UriTemplateMatchResults' already exists.파일 다운로드1
11221정성태6/10/20174162오류 유형: 398. Fakes - Assembly 'Jennifer5.Fakes' with identity '[...].Fakes, [...]' uses '[...]' which has a higher version than referenced assembly '[...]' with identity '[...]'
11220정성태6/10/20175603.NET Framework: 660. Shallow Copy와 Deep Copy파일 다운로드2
11219정성태6/7/20174724.NET Framework: 659. 닷넷 - TypeForwardedFrom / TypeForwardedTo 특성의 사용법
11218정성태6/1/20176120개발 환경 구성: 317. Hyper-V 내의 VM에서 다시 Hyper-V를 설치: Nested Virtualization
11217정성태6/1/20174234오류 유형: 397. initerrlog: Could not open error log file 'C:\...\MSSQL12.MSSQLSERVER\MSSQL\Log\ERRORLOG'
11216정성태6/1/20174834오류 유형: 396. Activation context generation failed
11215정성태6/1/20175150오류 유형: 395. 관리 콘솔을 실행하면 "This app has been blocked for your protection" 오류 발생 [1]
11214정성태6/1/20174561오류 유형: 394. MSDTC 서비스 시작 시 -1073737712(0xC0001010) 오류와 함께 종료되는 문제 [1]
11213정성태5/26/20175644오류 유형: 393. TFS - The underlying connection was closed: Could not establish trust relationship for the SSL/TLS secure channel.
11212정성태5/26/20176721오류 유형: 392. Windows Server 2016에 KB4019472 업데이트가 실패하는 경우
11211정성태5/26/20174530오류 유형: 391. BeginInvoke에 전달한 람다 함수에 CS1660 에러가 발생하는 경우
11210정성태5/25/20174537기타: 65. ActiveX 없는 전자 메일에 사용된 "개인정보 보호를 위해 암호화된 보안메일"의 암호화 방법
11209정성태5/25/201715348Windows: 143. Windows 10의 Recovery 파티션을 삭제 및 새로 생성하는 방법 [6]
11208정성태5/25/20177049오류 유형: 390. diskpart의 set id 명령어에서 "The specified type is not in the correct format." 오류 발생
... 31  32  33  34  35  36  37  38  39  [40]  41  42  43  44  45  ...