성태의 닷넷 이야기
홈 주인
모아 놓은 자료
프로그래밍
질문/답변
사용자 관리
사용자
메뉴
아티클
외부 아티클
유용한 코드
온라인 기능
MathJax 입력기
최근 덧글
[정성태] Get Started with Milvus Vector DB i...
[정성태] cyberark/PipeViewer - A tool that...
[정성태] WinForms in a 64-Bit world – our st...
[정성태] 예제에서 SELECT_SQL도 내부적으로는 SqlCommand/...
[victor] SELECT_LINQ SELECT_SQL 같은 쿼리인...
[victor] 답변 갑사합니다. 예외(Exception)가 났습니다. ...
[정성태] 일단, 위의 방식대로 하면 예외(Exception) 없이 잘 동...
[정성태] Windows 10 (버전 1809)에 이런 기능이 ^^ 추가되...
[정성태] pde windbg extension ; https://lea...
[정성태] // GetEnumerator extensions for Ran...
글쓰기
제목
이름
암호
전자우편
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'>닷넷 - System.InvalidProgramException</h1> <p> 대개의 경우 System.InvalidProgramException이 발생하는 원인은,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > 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> </pre> <br /> IL 언어의 스택 기반 규칙에 맞지 않는 IL 코드를 (동적으로) 작성한 경우입니다. 예를 들어, 다음과 같이 IL 코드를 작성한 경우에도 InvalidProgramException 예외가 발생할 수 있습니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > nop ldsfld <FieldInfo> pop </pre> <br /> 아니, 저건 스택 기반 규칙에 맞지 않습니까? LOAD field 한번 했고, POP을 했으니 정확한 스택 사용 규칙을 따른 것으로 보입니다. 물론, 그럴 수 있지만 만약 저 ldsfld의 대상 필드가 static이 아닌 instance 멤버라면 상황이 달라집니다. ldsfld는 대상 필드가 인스턴스 멤버라면 this 값을 요구하게 됩니다. 그런데 위의 IL 코드에서는 넘겨줄 수 있는 this 값이 스택에 없으므로 JIT 컴파일러는 InvalidProgramException 예외를 발생시키는 것입니다.<br /> <br /> 사실, IL 코드를 다루기 때문에 InvalidProgramException 예외가 까다로울뿐 오류 자체에 대한 디버깅은 스택 기반 규칙만 잘 따져보면 그나마 쉽게 해결할 수 있는 정도에 속합니다.<br /> <br /> 그러고 보니, InvalidProgramException 예외 관련해서 쓴 글이 몇 개 있군요. ^^<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > GetFunctionPointer 호출 시 System.InvalidProgramException 예외 발생 ; <a target='tab' href='http://www.sysnet.pe.kr/2/0/10902'>http://www.sysnet.pe.kr/2/0/10902</a> C# 7.1 - 참조 어셈블리(Ref Assemblies) ; <a target='tab' href='http://www.sysnet.pe.kr/2/0/11520'>http://www.sysnet.pe.kr/2/0/11520</a> Team Explorer가 설치되지 않은 PC에서 System.InvalidProgramException 예외 발생 ; <a target='tab' href='http://www.sysnet.pe.kr/2/0/750'>http://www.sysnet.pe.kr/2/0/750</a> </pre> <br /> 참고로, .NET Profiler를 만드는 경우 동적으로 할 수 없는 일 중의 하나가 바로 "static" 형 필드를 기존 타입에 추가하는 것입니다. 만약, 이 작업을 ModuleLoadFinished 시점에 다음과 같이 하게 되면,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > // 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); } </pre> <br /> ModuleLoadFinished가 끝난 후 CLR은 다음과 같은 예외를 던집니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > System.BadImageFormatException HResult=0x8007000B Message=[C:\WINDOWS\Microsoft.Net\assembly\GAC_MSIL\System\v4.0_4.0.0.0__b77a5c561934e089\System.dll] <span style='color: blue; font-weight: bold'>The metadata is corrupt.</span> Source=<Cannot evaluate the exception source> StackTrace: <Cannot evaluate the exception stack trace> </pre> <br /> 즉, 메타데이터가 잘못되었다고 CLR은 판단해 버리는 것입니다. 그렇다고 JITCompilationStarted 시점에 할 수도 없습니다. 그 시점에는 이미 Type이 로드되었으므로 기존 사용되고 있는 다른 타입 정보들과 엮어서 static 필드를 업데이트하는 것은 시스템을 다시 불안정하게 만들기 때문입니다. (혹시 static 필드를 추가할 수 있는 공식적인 방법을 아시는 분은 덧글 부탁드립니다. ^^)<br /> </p><br /> <br /><hr /><span style='color: Maroon'>[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]</span> </div>
첨부파일
스팸 방지용 인증 번호
4880
(왼쪽의 숫자를 입력해야 합니다.)