성태의 닷넷 이야기
홈 주인
모아 놓은 자료
프로그래밍
질문/답변
사용자 관리
사용자
메뉴
아티클
외부 아티클
유용한 코드
온라인 기능
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# - Thread.Suspend 호출 시 응용 프로그램 hang 현상</h1> <p> 닷넷에서, 다른 스레드의 콜 스택을 얻는 여러 가지 방법이 있지만,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > .NET에서의 스레드 콜 스택 덤프 ; <a target='tab' href='http://www.sysnet.pe.kr/2/0/802'>http://www.sysnet.pe.kr/2/0/802</a> "Stack Walking" in the .NET Runtime ; <a target='tab' href='https://mattwarren.org/2019/01/21/Stackwalking-in-the-.NET-Runtime/'>https://mattwarren.org/2019/01/21/Stackwalking-in-the-.NET-Runtime/</a> </pre> <br /> 그중에서 (제 경험으로는) 가장 안정적인 것은 System.Diagnostics.StackTrace를 이용하는 방법이었습니다. 그런데, 이것을 사용하기 위해서는 대상 스레드를 반드시 Suspend 시켜야 합니다. 그리고 Suspend 메서드의 경우,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > Thread.Suspend Method ; <a target='tab' href='https://learn.microsoft.com/en-us/dotnet/api/system.threading.thread.suspend'>https://learn.microsoft.com/en-us/dotnet/api/system.threading.thread.suspend</a> </pre> <br /> 주의 사항으로 다음과 같은 문구가 있습니다.<br /> <br /> <div style='BACKGROUND-COLOR: #ccffcc; padding: 10px 10px 5px 10px; MARGIN: 0px 10px 10px 10px; FONT-FAMILY: Malgun Gothic, Consolas, Verdana; COLOR: #005555'> <span style='color: blue; font-weight: bold'>Do not use the Suspend and Resume methods to synchronize the activities of threads.</span> You have no way of knowing what code a thread is executing when you suspend it. <span style='color: blue; font-weight: bold'>If you suspend a thread while it holds locks during a security permission evaluation</span>, other threads in the AppDomain might be blocked. <span style='color: blue; font-weight: bold'>If you suspend a thread while it is executing a class constructor</span>, other threads in the AppDomain that attempt to use that class are blocked. <span style='color: blue; font-weight: bold'>Deadlocks can occur very easily.</span> </div><br /> <br /> hang 현상은 다음과 같은 코드로 쉽게 재현이 가능합니다.<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; using System.Collections.Generic; using System.Threading; namespace ConsoleApp1 { class Program { List<Thread> _threads = new List<Thread>(); static void Main(string[] args) { Program pg = new Program(); pg.Start(); Console.ReadLine(); } int _count = 0; int _gcCount = 0; private void Start() { for (int i = 0; i < 4; i++) { Thread t = new Thread(threadFunc); _threads.Add(t); t.IsBackground = true; t.Name = i.ToString(); t.Start(); } Thread.Sleep(5000); Random rd = new Random(Environment.TickCount); while (true) { _count++; int idx = rd.Next(0, _threads.Count - 1); Thread t = _threads[idx]; { GetCallStack(t); } _gcCount = GC.CollectionCount(2); if (_count % 100 == 0) { Console.WriteLine(_count + ": " + _gcCount); } } } private static string GetCallStack(Thread t) { System.Diagnostics.StackTrace trace = null; <span style='color: blue; font-weight: bold'>t.Suspend();</span> try { <span style='color: blue; font-weight: bold'>trace = new System.Diagnostics.StackTrace(t, false);</span> return trace.ToString(); } catch { } finally { try { <span style='color: blue; font-weight: bold'>t.Resume();</span> } catch { } } return ""; } private static void threadFunc() { List<byte[]> _bufs = new List<byte[]>(); while (true) { byte[] buf1 = <span style='color: blue; font-weight: bold'>new byte[4096 * 512]</span>; lock (_bufs) { _bufs.Add(buf1); if (_bufs.Count >= 2) { _bufs.Clear(); } } Thread.Sleep(10); } } } } /* app.config <?xml version="1.0" encoding="utf-8" ?> <configuration> <startup> <supportedRuntime version="v4.0" sku=".NETFramework,Version=v4.7.1" /> </startup> <runtime> <span style='color: blue; font-weight: bold'><gcServer enabled="true"/></span> </runtime> </configuration> */ </pre> <br /> 실행해 보면, 무작위 시점에서 응용 프로그램이 멈추는 것을 확인할 수 있습니다.<br /> <br /> 이유는 간단합니다. 스레드 하나가 new로 관리 힙에 객체를 생성하다가 어느 순간 GC가 필요하다고 판단될 때가 있습니다. 하지만, GC를 수행하는 스레드는 GC 작업을 수행해도 안전한지에 대해 다른 스레드들의 상태를 확인합니다. 각각의 스레드는 GC 작업을 해도 괜찮은 지에 대한 상태를 Preemptive와 Cooperative로 나눠 구분하는데, 전자의 경우가 안전한 것이고 후자의 상태에 있는 스레드가 있다면 GC 스레드는 GC 작업을 수행하지 않고 대상 스레드를 멈춘(suspend) 후 안전 영역의 코드를 수행 중인지 다시 확인합니다. 만약 안전 영역이라면 GC 수행을 할 수 있고, 안전하지 않다면 안전 영역으로 나올 수 있도록 스레드를 resume 시킨 후 GC는 대기하게 됩니다. (Resume으로 다시 동작하게 된 스레드는 안전 영역으로 나오자마자 GC가 수행되도록 blocking됩니다.)<br /> <br /> 다시 정리해 보면, A 스레드가 GC를 수행해야 한다고 판단했고 다른 스레드의 상태를 체크하는 코드를 수행 중입니다. 그런데 바로 그 시점에 B 스레드가 A 스레드를 Suspend 시키고 A 스레드의 호출 스택을 가져오려고 합니다. 여기서 문제는, 호출 스택을 가져오려는 그 동작조차도 "new"로 인한 관리 힙을 사용하려고 시도하기 때문에 관리 힙이 GC를 위한 준비 상태이므로 GC 작업이 끝날 때까지 대기하게 됩니다. 결국 B 스레드는 A 스레드를 Resume하지 못하고 대기하므로 이 시점부터 응용 프로그램의 모든 스레드에서 "new"를 호출하기만 하면 대기 상태에 빠지게 됩니다. 한마디로, 응용 프로그램 레벨에서 hang 상태에 빠지는 것입니다.<br /> <br /> (<a target='tab' href='http://www.sysnet.pe.kr/bbs/DownloadAttachment.aspx?fid=1237&boardid=331301885'>첨부 파일은 이 글의 예제 코드를 포함</a>합니다.)<br /> <br /> <hr style='width: 50%' /><br /> <br /> 이 사례에 비춰서 "If you suspend a thread while it holds locks during a security permission evaluation" 구문도 유추할 수 있습니다. 즉, 보안 권한에 대한 평가를 위해 내부적으로 CLR은 lock을 획득한다는 것이고, 그 상태의 스레드를 Suspend 시킨 측의 스레드가 Resume을 호출하기 전 역시 보안 권한에 대한 평가를 하는 코드를 호출하게 된다면... 으로 해석할 수 있습니다.<br /> <br /> <hr style='width: 50%' /><br /> <br /> (2020-10-09 업데이트) 이런 문제를 방지하려면 GC 수행이 있을 것이라는 감지를 하면 될 텐데, 이게 또 쉽지 않습니다. ^^; 일례로 다음의 글에 보면,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > Thread.Suspend Method ; <a target='tab' href='https://mattwarren.org/2016/08/08/GC-Pauses-and-Safe-Points/'>https://mattwarren.org/2016/08/08/GC-Pauses-and-Safe-Points/</a> </pre> <br /> ETW를 이용해 GC의 실행 예측을 할 수 있지만,<br /> <ol> <li>GCSuspendEE_V1</li> <li>GCSuspendEEEnd_V1 <- suspension is done</li> <li>GCStart_V1</li> <li>GCEnd_V1 <- actual GC is done</li> <li>GCRestartEEBegin_V1</li> <li>GCRestartEEEnd_V1 <- resumption is done.</li> </ol> 아쉽게도 예전에 설명했듯이 ETW는 실시간이 아니므로,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > ETW(Event Tracing for Windows)를 이용한 닷넷 프로그램의 내부 이벤트 활용 ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12244'>https://www.sysnet.pe.kr/2/0/12244</a> C# - ETW 관련 Win32 API 사용 예제 코드 (4) CLR ETW Consumer ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12300'>https://www.sysnet.pe.kr/2/0/12300</a> </pre> <br />스레드 제어 시 사용할 수 없습니다. 또 다른 방법으로, CLR Profiler 관련한 GC 이벤트를 받는 것인데 이것은 실시간은 만족하지만 이로 인한 부하가 심해져,<br /> <br /><pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > windbg 분석 사례 - 닷넷 프로파일러의 GC 콜백 부하 ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/10897'>https://www.sysnet.pe.kr/2/0/10897</a> </pre> <br /> 역시 현실적인 수준에서 사용할 수 없습니다.<br /> (혹시 좋은 방법이 있으신 분은 덧글 부탁드립니다. ^^)<br /> </p><br /> <br /><hr /><span style='color: Maroon'>[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]</span> </div>
첨부파일
스팸 방지용 인증 번호
1417
(왼쪽의 숫자를 입력해야 합니다.)