Microsoft MVP성태의 닷넷 이야기
.NET Framework: 457. 교착상태(Dead-lock) 해결 방법 - Lock Leveling [링크 복사], [링크+제목 복사],
조회: 28100
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
(연관된 글이 1개 있습니다.)

교착상태(Dead-lock) 해결 방법 - Lock Leveling

지난번에 다뤘던 교착상태(dead-lock) 예제를 다시 보겠습니다.

using System;
using System.Threading;

namespace ConsoleApplication2
{
    class Program
    {
        static void Main(string[] args)
        {
            Program p = new Program();
            Thread t1 = new Thread(p.t1);
            Thread t2 = new Thread(p.t2);

            t1.Name = "lockAB";
            t2.Name = "lockBA";

            t1.Start();
            t2.Start();

            t1.Join();
            t2.Join();
        }

        object lockA = new object();
        object lockB = new object();

        // Thread 1 
        void t1()
        {
            lock (lockA)
            {
                Thread.Sleep(2000);
                lock (lockB)
                {
                    Console.WriteLine("lockA -> lockB");
                } 
            }
        } 
        
        // Thread 2 
        void t2() 
        {
            lock (lockB)
            {
                Thread.Sleep(2000);
                lock (lockA)
                {
                    Console.WriteLine("lockB -> lockA");
                }
            }
        }
    }
}

이런 경우에 대표적인 해법으로 lock에 우선 순위를 부여하는 것입니다.

Advanced Techniques To Avoid And Detect Deadlocks In .NET Apps
; https://docs.microsoft.com/en-us/archive/msdn-magazine/2006/april/avoiding-and-detecting-deadlocks-in-net-apps-with-csharp-and-c

예를 들어, lock 변수에 번호를 매겨서 반드시 번호가 작은 것이 외곽에 있어야 한다는 룰을 세우는 것입니다.

object lock1 = new object();
object lock2 = new object();

// Thread 1 
void t1()
{
    lock (lock1) // 1번 lock이 먼저 잠기고,
    {
        Thread.Sleep(2000);
        lock (lock2) // 2번 lock이 잠겼으므로 적법한 lock 사용
        {
            Console.WriteLine("lockA -> lockB");
        } 
    }
} 
        
// Thread 2 
void t2() 
{
    lock (lock2) // 2번 lock이 외곽에서 잠겼는데,
    {
        Thread.Sleep(2000);
        lock (lock1) // 번호가 작은 1번 lock을 내부에서 잠그는 것은 규칙 위반
        {
            Console.WriteLine("lockB -> lockA");
        }
    }
}

물론, "Advanced Techniques To Avoid And Detect Deadlocks In .NET Apps" 글에서는 이렇게 실수의 가능성이 있는 규칙에 의존하지 않고 아예 락 객체 생성자에서 번호를 받는 방식으로 구현합니다.

그런데, 사실 번호를 일일이 지정하는 것도 여간 귀찮은 것이 아닙니다. 그래서 아예 다음과 같이 클래스를 만들어 보았습니다.

using System;
using System.Threading;

namespace ConsoleApplication2
{
    class Program
    {
        static void Main(string[] args)
        {
            Program p = new Program();
            Thread t1 = new Thread(p.t1);
            Thread t2 = new Thread(p.t2);

            t1.Name = "lockAB";
            t2.Name = "lockBA";

            t1.Start();
            t2.Start();

            t1.Join();
            t2.Join();
        }

        LockLevel lockA = new LockLevel();
        LockLevel lockB = new LockLevel();

        // Thread 1 
        void t1()
        {
            using (lockA.Lock())
            {
                Thread.Sleep(2000);
                using (lockB.Lock())
                {
                    Console.WriteLine("lockA -> lockB");
                }
            }
        }

        // Thread 2 
        void t2()
        {
            using (lockB.Lock())
            {
                Thread.Sleep(2000);
                using (lockA.Lock())
                {
                    Console.WriteLine("lockB -> lockA");
                }
            }
        }
    }

    public class LockLevel : IDisposable
    {
        int _currentLockLevel = 0;
        int _oldLockLevel = 0;
        object _lockThis = new object();

        static int _lockClassLevel = 0;

        [ThreadStatic]
        static int _checkLockLevel = 0;

        bool _locked = false;

        public LockLevel()
        {
            _currentLockLevel = Interlocked.Increment(ref _lockClassLevel);
        }

        public IDisposable Lock()
        {
            if (_checkLockLevel > _currentLockLevel)
            {
                throw new ApplicationException("Deadlock may occur!");
            }

            _locked = true;

            _oldLockLevel = _checkLockLevel;
            _checkLockLevel = _currentLockLevel;

            Monitor.Enter(_lockThis);
            return this;
        }

        void Free(bool disposing)
        {
            if (_locked == true)
            {
                _locked = false;
                _checkLockLevel = _oldLockLevel;
                Monitor.Exit(_lockThis);
            }
        }

        public void Dispose()
        {
            Free(true);
            GC.SuppressFinalize(this);
        }

        ~LockLevel()
        {
            Free(false);
        }
    }
}

위의 예제 코드를 실행하면 "Deadlock may occur!"라는 메시지와 함께 예외가 발생함으로써 교착상태가 발생할 수 있는 가능성이 있음을 알립니다.

아직 현장 검증이 되지 않은 코드이므로 너무 믿지 마시고 ^^ 적절하게 사용하시면 되겠습니다.

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




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 7/17/2021]

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

비밀번호

댓글 작성자
 



2014-08-27 03시24분
[Lyn] 전 Lock을 로그로 남겨서 추적하는 식으로 했었네요 ^^;
[guest]
2014-08-28 12시40분
@Lyn님... 보통 그렇게 하지요. ^^
정성태

... 151  152  153  154  155  [156]  157  158  159  160  161  162  163  164  165  ...
NoWriterDateCnt.TitleFile(s)
1189정성태12/6/201139060VS.NET IDE: 70. Visual Studio에서 프로젝트 로드가 안된다면?
1188정성태12/3/201127859개발 환경 구성: 135. 마이크로소프트 TFS 호스팅 서비스 - Preview [3]
1187정성태12/2/201132680개발 환경 구성: 134. Robocopy 오류 및 종료 코드
1186정성태12/1/201134826.NET Framework: 279. WPF - 그리기 성능 및 Blurring 문제파일 다운로드1
1185정성태11/29/201124759.NET Framework: 278. WPF - Content의 Changed 이벤트에 해당하는게 뭔가요?파일 다운로드1
1184정성태11/29/201128017.NET Framework: 277. F#과 WPF가 어울리지 못하는 근본적인 이유 [2]
1183정성태11/26/201123138오류 유형: 140. Visual Studio 2010 - Floating된 에디트 윈도우가 사라지지 않는 경우 [2]
1182정성태11/25/201159276.NET Framework: 276. 중복 없는 숫자를 랜덤으로 배열하는 방법 [5]파일 다운로드1
1181정성태11/24/201129550디버깅 기술: 44. windbg의 mscordacwks DLL 로드 문제
1180정성태11/23/201139356.NET Framework: 275. 레지스트리 등록 및 Interop DLL 없이 COM 개체 사용하는 방법 [2]파일 다운로드1
1179정성태11/22/201129850.NET Framework: 274. ReaderWriterLockSlim은 언제 쓰는 걸까요? [4]파일 다운로드1
1178정성태11/19/201126482.NET Framework: 273. 설치된 .NET 버전에 민감한 코드를 포함하는 경우, 다중으로 어셈블리를 만들어야 할까요?파일 다운로드1
1177정성태11/18/201131747.NET Framework: 272. 소켓 연결 시간 제한 - 두 번째 이야기 [1]파일 다운로드1
1176정성태11/17/201131144.NET Framework: 271. C#에서 확인해 보는 관리 힙의 인스턴스 구조 [3]파일 다운로드1
1175정성태11/16/201129151.NET Framework: 270. .NET 참조 개체 인스턴스의 Object Header를 확인하는 방법 [1]파일 다운로드1
1174정성태11/15/201128497.NET Framework: 269. 일반 참조형의 기본 메모리 소비는 얼마나 될까요? [4]
1173정성태11/14/201124548.NET Framework: 268. .NET Array는 왜 12bytes의 기본 메모리를 점유할까? [1]
1172정성태11/13/201121497.NET Framework: 267. windbg - GC Heap에서 .NET 타입에 대한 배열을 찾는 방법
1171정성태11/12/201138297.NET Framework: 266. StringBuilder에서의 OutOfMemoryException 오류 원인 분석 [4]파일 다운로드1
1170정성태11/10/201127644.NET Framework: 265. Named 동기화 개체 생성 시 System.UnauthorizedAccessException 예외 발생하는 경우
1169정성태11/10/201131077.NET Framework: 264. 다중 LAN 카드 환경에서 Dns.GetHostAddresses(local)가 반환해 주는 IP의 우선순위는 어떻게 될까요? [4]
1168정성태11/6/201127027오류 유형: 139. TlbImp : error TI0000 : A single valid machine type compatible with the input type library must be specified
1167정성태11/5/201138812개발 환경 구성: 133. Registry 등록 과정 없이 COM 개체 사용 - 두 번째 이야기 [5]파일 다운로드4
1166정성태11/5/201124890.NET Framework: 263. byte[] pData = new byte[100000]로 인한 성능 차이? [1]파일 다운로드1
1165정성태11/3/201129986개발 환경 구성: 132. "Visual Studio Command Prompt (2010)" 명령행에서 2.0 버전의 MSBuild를 구동하는 방법 [2]파일 다운로드1
1164정성태11/1/201128094.NET Framework: 262. .NET 스레드 콜 스택 덤프 (4) - .NET 4.0을 지원하지 않는 MSE 응용 프로그램 원인 분석
... 151  152  153  154  155  [156]  157  158  159  160  161  162  163  164  165  ...