J & J - 정성태의 닷넷 이야기

사용자

메뉴

최근 덧글

[정성태] 32비트 값을 64비트 레지스터에 넣을 때, 상위 32비트에 대...[정성태] 본문에서 상위 8바이트의 16비트가 사용되지 않는 것을 볼 수 ...[정성태] 한 번도 궁금한 적이 없었는데, If I mark my t...[정성태] 그냥 RSS Reader 기능과 약간의 UI 편의성 때문에 사용...[이종효] 오래된 소프트웨어는 보안 위협이 되기도 합니다. 혹시 어떤 기능...[정성태] @Keystroke IEEE의 문서를 소개해 주시다니... +_...[손민수 (Keystroke)] 괜히 듀얼채널 구성할 때 한번에 같은 제품 사라고 하는 것이 아...[정성태] 전각(Full-width)/반각(Half-width) 기능을 토...[정성태] Vector에 대한 내용은 없습니다. Vector가 닷넷 BCL...[orion] 글 읽고 찾아보니 디자인 타임에는 InitializeCompon...

글쓰기

제목

이름

암호

전자우편

HTML

홈페이지

유형

내용

<div style='display: inline'>
<h1 style='font-family: Malgun Gothic, Consolas; font-size: 20pt; color: #006699; text-align: center; font-weight: bold'>C# - 최댓값이 1인 SemaphoreSlim 보다 Mutex 또는 lock(obj)를 선택하는 것이 나은 이유</h1>

지난 글에서, SemaphoreSlim의 단점을 살펴봤는데요, 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
C# - SemaphoreSlim 사용 시 주의점
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/13555'>https://www.sysnet.pe.kr/2/0/13555</a>
</pre>
 
해당 글에서 예를 든 소스코드를 Mutex로 바꾸면 이렇게 작성할 수 있습니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
internal class Program
{
 static Mutex _mutex = new Mutex(false);

static void Main(string[] args)
    {
        for (int i = 0; i &lt; 10; i++)
        {
            new Thread(() =&gt;
            {
                Thread.Sleep(500);

_mutex.WaitOne();

try
 {
 Console.WriteLine("Hello, Lock!");
 }
 finally
 {
 try
 { _mutex.ReleaseMutex(); }
 catch { }
 }
 }).Start();
 }

_mutex.WaitOne();
 Console.WriteLine("Hello, World!");

Thread.Sleep(2000);

_mutex.Dispose();
 }
}
</pre>
 
Mutex도 단순히 Dispose만 하면 WaitHandle을 닫기만 하기 때문에 WaitOne으로 대기하던 스레드들의 lock이 풀리지 않은 채로 무한 대기를 하게 됩니다. 하지만, 다음과 같이 (별다른 고려 사항 없이) ReleaseMutex만 해주면, 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
_mutex.ReleaseMutex();
_mutex.Dispose();
</pre>
 
SemaphoreSlim과는 달리 자연스럽게 모든 lock이 풀립니다. 즉, 위의 소스코드에서는 10개의 WaitOne이 모두 풀리게 됩니다. 
 
<hr style='width: 50%' /> 
 
혹시나, ReleaseMutex 호출을 잊어 다른 스레드들이 hang 상태로 빠졌다면 문제의 원인을 어떻게 추적할 수 있을까요? 우선, 그런 상태로 프로세스 덤프를 뜨면 "!handle" 명령어를 이용해 Mutex에 해당하는 자원을 다음과 같이 알아낼 수 있습니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
// !handle [handle] [flags]
// flags == 0xf == dump detailed information

0:010&gt; !handle 0 f Mutant
Handle c0
 ...[생략]...
Handle 00000000000001b4
 Type Mutant
 Attributes 	0
 GrantedAccess	0x1f0001:
 Delete,ReadControl,WriteDac,WriteOwner,Synch
 QueryState
 HandleCount 	2
 PointerCount 	65533
 Name 	<none>
 Object specific information
 Mutex is Free
 Mutant Owner 0.0
Handle 00000000000002b0
 Type Mutant
 Attributes 	0
 GrantedAccess	0x1f0001:
 Delete,ReadControl,WriteDac,WriteOwner,Synch
 QueryState
 HandleCount 	2
 PointerCount 	65537
 Name 	<none>
 Object specific information
 Mutex is Owned
 Mutant Owner a148.9c74
6 handles of type Mutant
</pre>
 
위의 출력에는 2개의 Mutex가 있지만, 0x2b0 핸들만이 "Mutex is Owned"로, 특정 스레드가 lock을 소유하고 있음을 알 수 있습니다. 게다가 그 소유자의 프로세스 ID == a148, 스레드 ID == 9c74까지 알게 되었는데요, 만약 같은 스레드라면, 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
0:010&gt; !threads
ThreadCount: 12
UnstartedThread: 0
BackgroundThread: 2
PendingThread: 0
DeadThread: 0
Hosted Runtime: no
 Lock 
 ID OSID ThreadOBJ State GC Mode GC Alloc Context Domain Count Apt Exception
 0 1 9c74 0000022765df1190 203a220 Preemptive 00000227679C8830:00000227679C9FD0 0000022765dc8330 0 MTA 
 5 2 4d70 0000022765e1a670 2b220 Preemptive 0000000000000000:0000000000000000 0000022765dc8330 0 MTA (Finalizer) 
 6 3 7c44 0000022765e439e0 202b020 Preemptive 00000227679C4020:00000227679C5FD0 0000022765dc8330 0 MTA 
 7 4 71a8 0000022765e46fe0 202b020 Preemptive 0000000000000000:0000000000000000 0000022765dc8330 0 MTA 
 8 5 8574 0000022765e49030 202b020 Preemptive 0000000000000000:0000000000000000 0000022765dc8330 0 MTA 
 9 6 7610 0000022765e4b080 202b020 Preemptive 0000000000000000:0000000000000000 0000022765dc8330 0 MTA 
 10 7 8610 0000022765e4d4e0 202b020 Preemptive 0000000000000000:0000000000000000 0000022765dc8330 0 MTA 
 11 8 5e84 0000022765e52550 202b020 Preemptive 0000000000000000:0000000000000000 0000022765dc8330 0 MTA 
 12 9 8c78 0000022765e569f0 202b020 Preemptive 0000000000000000:0000000000000000 0000022765dc8330 0 MTA 
 13 10 8968 0000022765e58ab0 202b020 Preemptive 0000000000000000:0000000000000000 0000022765dc8330 0 MTA 
 14 11 14a0 0000022765e5a360 202b020 Preemptive 0000000000000000:0000000000000000 0000022765dc8330 0 MTA 
 15 12 7678 0000022765e5da10 202b020 Preemptive 0000000000000000:0000000000000000 0000022765dc8330 0 MTA 
</pre>
 
0번 스레드임을 바로 알 수 있고, 그것의 호출 스택을 통해, 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
0:010&gt; !clrstack
OS Thread Id: 0x8610 (10)
 Child SP IP Call Site
00000071595ff068 00007ff94504fec4 [HelperMethodFrame_1OBJ: 00000071595ff068] System.Threading.WaitHandle.WaitOneNative(System.Runtime.InteropServices.SafeHandle, UInt32, Boolean, Boolean)
00000071595ff190 00007ff91b9dddfc System.Threading.WaitHandle.InternalWaitOne(System.Runtime.InteropServices.SafeHandle, Int64, Boolean, Boolean) [f:\dd\ndp\clr\src\BCL\system\threading\waithandle.cs @ 243]
00000071595ff1c0 00007ff91b9dddcf System.Threading.WaitHandle.WaitOne(Int32, Boolean) [f:\dd\ndp\clr\src\BCL\system\threading\waithandle.cs @ 194]
00000071595ff200 00007ff8c8820be2 ConsoleApp2.Program+c.b__1_0() [C:\temp\MutexSample\ConsoleApp3\Program.cs @ 18]
00000071595ff270 00007ff91b98fbe8 System.Threading.ExecutionContext.RunInternal(System.Threading.ExecutionContext, System.Threading.ContextCallback, System.Object, Boolean) [f:\dd\ndp\clr\src\BCL\system\threading\executioncontext.cs @ 980]
00000071595ff340 00007ff91b98fad5 System.Threading.ExecutionContext.Run(System.Threading.ExecutionContext, System.Threading.ContextCallback, System.Object, Boolean) [f:\dd\ndp\clr\src\BCL\system\threading\executioncontext.cs @ 928]
00000071595ff370 00007ff91b98faa5 System.Threading.ExecutionContext.Run(System.Threading.ExecutionContext, System.Threading.ContextCallback, System.Object) [f:\dd\ndp\clr\src\BCL\system\threading\executioncontext.cs @ 917]
00000071595ff3c0 00007ff91b9b4435 System.Threading.ThreadHelper.ThreadStart() [f:\dd\ndp\clr\src\BCL\system\threading\thread.cs @ 111]
00000071595ff5e0 00007ff927ff12c3 [GCFrame: 00000071595ff5e0] 
00000071595ff948 00007ff927ff12c3 [DebuggerU2MCatchHandlerFrame: 00000071595ff948] 
</pre>
 
hang을 유발한 코드를 유추할 수 있습니다. 혹은, hang에 걸려 있는 _mutex를 직접 분석하는 것도 가능합니다. 가령, 위의 코드에서는 _mutex가 Program 타입의 정적 변수로 정의돼 있는데요, 따라서 <a target='tab' href='https://www.sysnet.pe.kr/2/0/11487'>이를 추적해 보면</a>, 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
0:010&gt; !name2ee ConsoleApp3!ConsoleApp2.Program
Module: 00007ff8c87141b0
Assembly: ConsoleApp3.exe
Token: 0000000002000002
MethodTable: 00007ff8c8715ad0
EEClass: 00007ff8c8712568
Name: ConsoleApp2.Program

0:010&gt; !DumpClass /d 00007ff8c8712568
Class Name: ConsoleApp2.Program
mdToken: 0000000002000002
File: C:\temp\MutexSample\ConsoleApp3\bin\Debug\ConsoleApp3.exe
Parent Class: 00007ff91b4348f0
Module: 00007ff8c87141b0
Method Table: 00007ff8c8715ad0
Vtable Slots: 4
Total Method Slots: 6
Class Attributes: 100000 
Transparency: Critical
NumInstanceFields: 0
NumStaticFields: 1
 MT Field Offset Type VT Attr Value Name
00007ff91b495798 4000001 8 ...m.Threading.Mutex 0 static 00000227679c2e40 _mutex

0:010&gt; !DumpObj /d 00000227679c2e40
Name: System.Threading.Mutex
MethodTable: 00007ff91b495798
EEClass: 00007ff91b6a9260
Size: 48(0x30) bytes
File: C:\WINDOWS\Microsoft.Net\assembly\GAC_64\mscorlib\v4.0_4.0.0.0__b77a5c561934e089\mscorlib.dll
Fields:
 MT Field Offset Type VT Attr Value Name
00007ff91b480b08 40005ba 8 System.Object 0 instance 0000000000000000 __identity
00007ff91b47f818 4001a53 18 System.IntPtr 1 instance 2b0 waitHandle
00007ff91b47e248 4001a54 10 ...es.SafeWaitHandle 0 instance 00000227679c2f68 safeWaitHandle
00007ff91b47c590 4001a55 20 System.Boolean 1 instance 1 hasThreadAffinity
00007ff91b47f818 4001a56 f70 System.IntPtr 1 shared static InvalidHandle
 &gt;&gt; Domain:Value 0000022765dc8330:ffffffffffffffff &lt;&lt;
00007ff91b47c590 40019ab f63 System.Boolean 1 shared static dummyBool
 &gt;&gt; Domain:Value 0000022765dc8330:NotInit &lt;&lt;
</pre>
 
해당 Mutex 내의 핸들값이 0x2b0으로 나오고 이 값은 "!handle 0 f Mutant"로 출력된 것과 정확히 일치합니다. 
 
<hr style='width: 50%' /> 
 
따라서, 어차피 critical section을 보호하는 용도로 사용할 목적의 lock이라면 maxCount == 1 유형의 Semaphore를 다루는 것보다 Mutex 또는 lock(obj)으로 다루는 편이 문제가 발생했을 때 원인 파악을 위해서도 더 나은 선택입니다. 
 
참고로, lock(obj)에 대한 글은 이전에 정리한 적이 있으니 이번 글에서는 생략합니다. ^^ 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
windbg - C# Monitor Lock을 획득하고 있는 스레드 찾는 방법
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/11268'>https://www.sysnet.pe.kr/2/0/11268</a>

windbg - Monitor.Enter의 thin lock과 fat lock
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/13552'>https://www.sysnet.pe.kr/2/0/13552</a>
</pre>
 
마지막으로, 기왕에 읽어본 김에 다음의 글도 마저 보시고. ^^ 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
Who is blocking that Mutex? - Fun with WinDbg, CDB and KD
; <a target='tab' href='https://archive.thinktecture.com/ingo/2006/08/who-is-blocking-that-mutex---fun-with-windbg-cdb-and-kd.html'>https://archive.thinktecture.com/ingo/2006/08/who-is-blocking-that-mutex---fun-with-windbg-cdb-and-kd.html</a>
</pre>

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

</div>

첨부파일

스팸 방지용 인증 번호

4001 (왼쪽의 숫자를 입력해야 합니다.)