Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일

C# 9.0 - (2) localsinit 플래그 내보내기 무시(Suppress emitting localsinit flag)

C# 9.0 - (1) 대상으로 형식화된 new 식(Target-typed new expressions)
; https://www.sysnet.pe.kr/2/0/12363

C# 9.0 - (2) localsinit 플래그 내보내기 무시(Suppress emitting localsinit flag)
; https://www.sysnet.pe.kr/2/0/12364

C# 9.0 - (3) 람다 메서드의 매개 변수 무시(Lambda discard parameters)
; https://www.sysnet.pe.kr/2/0/12365

C# 9.0 - (4) 원시 크기 정수(Native ints)
; https://www.sysnet.pe.kr/2/0/12366

C# 9.0 - (5) 로컬 함수에 특성 지정 가능(Attributes on local functions)
; https://www.sysnet.pe.kr/2/0/12372

C# 9.0 - (6) 함수 포인터(Function pointers)
; https://www.sysnet.pe.kr/2/0/12374

C# 9.0 - (7) 패턴 일치 개선 사항(Pattern matching enhancements)
; https://www.sysnet.pe.kr/2/0/12383

C# 9.0 - (8) 정적 익명 함수 (static anonymous functions)
; https://www.sysnet.pe.kr/2/0/12389

C# 9.0 - (9) 레코드 (Records)
; https://www.sysnet.pe.kr/2/0/12392

C# 9.0 - (10) 대상으로 형식화된 조건식(Target-typed conditional expressions)
; https://www.sysnet.pe.kr/2/0/12399

C# 9.0 - (11) 공변 반환 형식(Covariant return types)
; https://www.sysnet.pe.kr/2/0/12402

C# 9.0 - (12) foreach 루프에 대한 GetEnumerator 확장 메서드 지원(Extension GetEnumerator)
; https://www.sysnet.pe.kr/2/0/12403

C# 9.0 - (13) 모듈 이니셜라이저(Module initializers)
; https://www.sysnet.pe.kr/2/0/12404

C# 9.0 - (14) 부분 메서드에 대한 새로운 기능(New features for partial methods)
; https://www.sysnet.pe.kr/2/0/12405

C# 9.0 - (15) 최상위 문(Top-level statements)
; https://www.sysnet.pe.kr/2/0/12406

C# 9.0 - (16) 제약 조건이 없는 형식 매개변수 주석(Unconstrained type parameter annotations)
; https://www.sysnet.pe.kr/2/0/12423




C# 언어는, 기본적으로 모든 로컬 변수의 값을 (기존 스택의 쓰레기 값을 가지지 않도록) 0으로 초기화합니다. 그리고 이에 대한 지원을 IL 언어 수준에서부터 ".locals init" 구문으로 지원을 하는데, 가령 다음과 같이 코딩을 한 경우,

using System;

class Program
{
    static void Main(string[] args)
    {
        LocalsInitMethod();
    }

    private static unsafe void LocalsInitMethod()
    {
        int i;
        int j;
    }
}

/* 출력 결과
0
0
*/

이것을 IL 언어로 번역해 보면 다음과 같이 ".locals init"에 로컬 변수들이 놓여 있는 것을 볼 수 있습니다.

.method private hidebysig static void LocalsInitMethod() cil managed
{
    .maxstack  0
    .locals init ([0] int32 i,
                [1] int32 j)
    IL_0000:  nop
    IL_0001:  ret
} // end of method Program::LocalsInitMethod

즉, ".locals init" 코드 덕분에 해당 변수는 모두 0으로 초기화되었던 것입니다.




그런데, 사실 C# 컴파일러 입장에서는 이미 로컬 변수의 값을 초기화하지 않고 사용하는 구문을 허용하지 않고 있습니다.

private static void LocalsInitMethod2()
{
    int i;
    int j;

    // 컴파일 오류    
    Console.WriteLine(i); // CS0165 Use of unassigned local variable 'i'
    Console.WriteLine(j); // CS0165 Use of unassigned local variable 'j'
}

따라서 개발자는 명시적으로 어떤 식으로든 할당을 해서 사용할 수밖에 없으므로,

private static void LocalsInitMethod2()
{
    int i = 5;
    int j = 6;

    Console.WriteLine(i);
    Console.WriteLine(j);
}

경우에 따라, i, j 변수의 값을 0으로 초기화를 한 다음 또다시 개발자의 코드에 의해 값을 할당하는 작업을 하는 것은 일종의 오버헤드로 작용할 수 있습니다.

이런 문제를 해결하는 것이 바로 SkipLocalsInit 특성을 적용하는 것입니다.

[SkipLocalsInit]
private static void NonLocalsInitMethod()
{
    int i;
    int j;
}

SkipLocalsInitAttribute 특성은 .NET 5의 BCL에만 정의되어 있으므로 다른 환경에서는 그냥 다음과 같이 임의로 특성을 정의해 넣으면 됩니다.

#if !NET5_0
namespace System.Runtime.CompilerServices
{
    [AttributeUsage(AttributeTargets.Module | AttributeTargets.Class | AttributeTargets.Struct | AttributeTargets.Constructor | AttributeTargets.Method | AttributeTargets.Property | AttributeTargets.Event | AttributeTargets.Interface, Inherited = false)]
    public sealed class SkipLocalsInitAttribute : Attribute
    {
    }
}
#endif

이와 함께 C# 프로젝트 속성 창에서 "Build" 패널의 "Allow unsafe code" 옵션을 켜야 합니다. (해당 옵션을 켜지 않으면 "error CS0227: Unsafe code may only appear if compiling with /unsafe" 오류가 발생합니다.)

그렇게 해서 빌드를 하면 이제 ".locals init"에서 ".locals"로 바뀌어 IL 코드가 생성됩니다.

.method private hidebysig static void NonLocalsInitMethod() cil managed
{
    .custom instance void System.Runtime.CompilerServices.SkipLocalsInitAttribute::.ctor() = ( 01 00 00 00 ) 
    // Code size       2 (0x2)
    .maxstack  0
    .locals ([0] int32 i,
                [1] int32 j)
    IL_0000:  nop
    IL_0001:  ret
} // end of method Program::NonLocalsInitMethod

따라서, 더 이상 명시적인 0 초기화는 하지 않고, 스레드 스택에 남아 있는 값을 그대로 사용하게 되어, 아래의 출력값이 매번 달라지는 것을 확인할 수 있습니다.

[SkipLocalsInitAttribute]
private static unsafe void NonLocalsInitMethod()
{
    int i;
    int j;

    int* pi = &i;
    int* pj = &j;

    Console.WriteLine(*pi); // 출력 결과: 예측할 수 없음
    Console.WriteLine(*pj); // 출력 결과: 예측할 수 없음
}

(첨부 파일은 이 글의 예제 코드를 포함합니다.)




사실 저도 좀 궁금하긴 했는데, 굳이 "unsafe" 옵션이 필요한가?에 대한 의견이 다음의 덧글에 나옵니다.

Suppress emitting of localsinit flag. (VS 16.8, .NET 5) 
; https://github.com/dotnet/csharplang/issues/1738

일반적으로 C#에서 배열 역시 0 초기화가 되는데,

int [] arr = new int [100];

위의 경우, 당연히 모든 요소가 0 초기화가 되어 있으므로 C# 컴파일러 입장에서는 safe한 코드임을 보장할 수 있습니다. 하지만, 위의 코드가 Span<T>와 함께 stackalloc으로 바뀌게 되면,

/*
Span<T>를 .NET Framework에서 사용하려는 경우, 
System.Memory를 NuGet에서 참조 추가해야 하며 "target framework"를 최소 "4.5" 이상의 버전으로 올려야 합니다.
*/
private static void LocalsInitStackAlloc()
{
    Span<int> arr = stackalloc int[100]; // 현재는 int 배열의 요소가 0임을 보장할 수 있지만,
}

SkipLocalsInitAttribute 특성을 적용하는 경우,

[SkipLocalsInitAttribute]
private static void LocalsInitStackAlloc()
{
    Span<int> arr = stackalloc int[100]; // int 배열의 요소가 0임을 보장할 수 없음.
}

더 이상 코드가 안전하다고 보장할 수 없으므로 결국 C# 컴파일러의 /unsafe 옵션을 켜도록 강제하게 된 것입니다. (그래도 그렇지... 그럼 그냥 stackalloc을 포함한 경우에만 /unsafe 옵션을 강제했으면 어땠을까... 싶군요. ^^;)




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

[연관 글]


donaricano-btn



[최초 등록일: ]
[최종 수정일: 11/22/2020 ]

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

비밀번호

댓글 쓴 사람
 




1  2  3  4  5  6  7  [8]  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
12423정성태11/22/2020823.NET Framework: 974. C# 9.0 - (16) 제약 조건이 없는 형식 매개변수 주석(Unconstrained type parameter annotations)파일 다운로드1
12422정성태11/21/2020821.NET Framework: 973. .NET 5, .NET Framework에서만 허용하는 UnmanagedCallersOnly 사용예파일 다운로드1
12421정성태11/23/2020802.NET Framework: 972. DNNE가 출력한 NE DLL을 직접 생성하는 방법파일 다운로드1
12420정성태11/19/2020774오류 유형: 684. Visual C++ - MSIL .netmodule or module compiled with /GL found; restarting link with /LTCG; add /LTCG to the link command line to improve linker performance
12419정성태11/23/2020830VC++: 139. Visual C++ - .NET Core의 nethost.lib와 정적 링크파일 다운로드1
12418정성태11/19/2020720오류 유형: 683. Visual C++ - error LNK2038: mismatch detected for 'RuntimeLibrary': value 'MT_StaticRelease' doesn't match value 'MDd_DynamicDebug'파일 다운로드1
12417정성태11/19/2020557오류 유형: 682. Visual C++ - warning LNK4099: PDB '...pdb' was not found with '...lib(pch.obj)' or at '...pdb'; linking object as if no debug info
12416정성태11/19/2020602오류 유형: 681. Visual C++ - error LNK2001: unresolved external symbol _CrtDbgReport
12415정성태11/19/2020705.NET Framework: 971. UnmanagedCallersOnly 특성과 DNNE 사용파일 다운로드1
12414정성태11/20/2020771VC++: 138. x64 빌드에서 extern "C"가 아닌 경우 ___cdecl name mangling 적용 [4]파일 다운로드1
12413정성태11/17/2020893.NET Framework: 970. .NET 5 / .NET Core - UnmanagedCallersOnly 특성을 사용한 함수 내보내기파일 다운로드1
12412정성태11/21/2020949.NET Framework: 969. .NET Framework 및 .NET 5 - UnmanagedCallersOnly 특성 사용파일 다운로드1
12411정성태11/12/2020844오류 유형: 680. C# 9.0 - Error CS8889 The target runtime doesn't support extensible or runtime-environment default calling conventions.
12410정성태11/12/2020779디버깅 기술: 174. windbg - System.TypeLoadException 예외 분석 사례
12409정성태11/12/20201019.NET Framework: 968. C# 9.0의 Function pointer를 이용한 함수 주소 구하는 방법파일 다운로드1
12408정성태3/17/20211846도서: 시작하세요! C# 9.0 프로그래밍 [6]
12407정성태11/30/2020890.NET Framework: 967. "clr!JIT_DbgIsJustMyCode" 호출이 뭘까요?
12406정성태11/22/20201292.NET Framework: 966. C# 9.0 - (15) 최상위 문(Top-level statements) [2]파일 다운로드1
12405정성태11/22/2020939.NET Framework: 965. C# 9.0 - (14) 부분 메서드에 대한 새로운 기능(New features for partial methods)파일 다운로드1
12404정성태11/22/2020942.NET Framework: 964. C# 9.0 - (13) 모듈 이니셜라이저(Module initializers)파일 다운로드1
12403정성태11/22/20201007.NET Framework: 963. C# 9.0 - (12) foreach 루프에 대한 GetEnumerator 확장 메서드 지원(Extension GetEnumerator)파일 다운로드1
12402정성태11/22/20201248.NET Framework: 962. C# 9.0 - (11) 공변 반환 형식(Covariant return types) [1]파일 다운로드1
12401정성태11/5/2020828VS.NET IDE: 153. 닷넷 응용 프로그램에서의 "My Code" 범위와 "Enable Just My Code"의 역할
12400정성태11/5/2020778오류 유형: 679. Visual Studio - "Source Not Found" 창에 "Decompile source code" 링크가 없는 경우
12399정성태11/22/2020916.NET Framework: 961. C# 9.0 - (10) 대상으로 형식화된 조건식(Target-typed conditional expressions)파일 다운로드1
12398정성태11/4/2020788오류 유형: 678. Windows Server 2008 R2 환경에서 Powershell을 psexec로 원격 실행할 때 hang이 발생하는 문제
1  2  3  4  5  6  7  [8]  9  10  11  12  13  14  15  ...