닷넷 - System.InvalidProgramException
대개의 경우 System.InvalidProgramException이 발생하는 원인은,
System.InvalidProgramException
HResult=0x8013153A
Message=Common Language Runtime detected an invalid program.
Source=<Cannot evaluate the exception source>
StackTrace:
<Cannot evaluate the exception stack trace>
IL 언어의 스택 기반 규칙에 맞지 않는 IL 코드를 (동적으로) 작성한 경우입니다. 예를 들어, 다음과 같이 IL 코드를 작성한 경우에도 InvalidProgramException 예외가 발생할 수 있습니다.
nop
ldsfld <FieldInfo>
pop
아니, 저건 스택 기반 규칙에 맞지 않습니까? LOAD field 한번 했고, POP을 했으니 정확한 스택 사용 규칙을 따른 것으로 보입니다. 물론, 그럴 수 있지만 만약 저 ldsfld의 대상 필드가 static이 아닌 instance 멤버라면 상황이 달라집니다. ldsfld는 대상 필드가 인스턴스 멤버라면 this 값을 요구하게 됩니다. 그런데 위의 IL 코드에서는 넘겨줄 수 있는 this 값이 스택에 없으므로 JIT 컴파일러는 InvalidProgramException 예외를 발생시키는 것입니다.
사실, IL 코드를 다루기 때문에 InvalidProgramException 예외가 까다로울뿐 오류 자체에 대한 디버깅은 스택 기반 규칙만 잘 따져보면 그나마 쉽게 해결할 수 있는 정도에 속합니다.
그러고 보니, InvalidProgramException 예외 관련해서 쓴 글이 몇 개 있군요. ^^
GetFunctionPointer 호출 시 System.InvalidProgramException 예외 발생
; https://www.sysnet.pe.kr/2/0/10902
C# 7.1 - 참조 어셈블리(Ref Assemblies)
; https://www.sysnet.pe.kr/2/0/11520
Team Explorer가 설치되지 않은 PC에서 System.InvalidProgramException 예외 발생
; https://www.sysnet.pe.kr/2/0/750
참고로, .NET Profiler를 만드는 경우 동적으로 할 수 없는 일 중의 하나가 바로 "static" 형 필드를 기존 타입에 추가하는 것입니다. 만약, 이 작업을 ModuleLoadFinished 시점에 다음과 같이 하게 되면,
// System.dll 로드 시점
HRESULT hr = m_pMetaDataImport->FindTypeDefByName(L"System.FileStyleUriParser", NULL, &actionType);
if (hr == S_OK)
{
dwFieldFlags = fdStatic | fdPublic;
hr = m_pMetaDataEmit->DefineField(actionType, fieldName, dwFieldFlags, fieldSignature, cbFieldSignature,
ELEMENT_TYPE_END, nullptr, 0, &newField);
}
ModuleLoadFinished가 끝난 후 CLR은 다음과 같은 예외를 던집니다.
System.BadImageFormatException
HResult=0x8007000B
Message=[C:\WINDOWS\Microsoft.Net\assembly\GAC_MSIL\System\v4.0_4.0.0.0__b77a5c561934e089\System.dll] The metadata is corrupt.
Source=<Cannot evaluate the exception source>
StackTrace:
<Cannot evaluate the exception stack trace>
즉, 메타데이터가 잘못되었다고 CLR은 판단해 버리는 것입니다. 그렇다고 JITCompilationStarted 시점에 할 수도 없습니다. 그 시점에는 이미 Type이 로드되었으므로 기존 사용되고 있는 다른 타입 정보들과 엮어서 static 필드를 업데이트하는 것은 시스템을 다시 불안정하게 만들기 때문입니다. (혹시 static 필드를 추가할 수 있는 공식적인 방법을 아시는 분은 덧글 부탁드립니다. ^^)
[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]