Microsoft MVP성태의 닷넷 이야기
.NET Framework: 457. 교착상태(Dead-lock) 해결 방법 - Lock Leveling [링크 복사], [링크+제목 복사],
조회: 28103
글쓴 사람
정성태 (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님... 보통 그렇게 하지요. ^^
정성태

... 136  137  138  139  140  141  142  143  144  145  146  147  148  149  [150]  ...
NoWriterDateCnt.TitleFile(s)
1340정성태9/4/201229839개발 환경 구성: 166. DOS - ping 결과에서 평균 응답 시간값 추출하기 [3]
1339정성태9/4/201232248개발 환경 구성: 165. 새로운 Visual Studio 2012 원격 디버깅 툴 [5]
1338정성태9/4/201234138.NET Framework: 335. C# - (핸들을 이용하여) 모든 열린 파일을 열람 [6]파일 다운로드1
1337정성태8/30/201223857Phone: 7. 디버거로 실습해 보는 윈도우 폰의 Tombstone 상태파일 다운로드1
1336정성태8/30/201241639.NET Framework: 334. 스레드 비정상 종료로 발생하는 CLOSE_WAIT 소켓 상태 [2]파일 다운로드1
1335정성태8/30/201231130Windows: 59. Hyper-V Internal 네트워크 VM의 인터넷 접속
1334정성태8/29/201250230.NET Framework: 333. 코드로 재현하는 소켓 상태(FIN_WAIT1, FIN_WAIT2, TIME_WAIT, CLOSE_WAIT, LAST_WAIT) [6]
1333정성태8/27/201253526개발 환경 구성: 164. system32 폴더에 있는 파일의 권한 조정 [2]
1332정성태8/23/201225272Team Foundation Server: 48. TFS - Team Project Collection 이전하는 방법
1331정성태8/23/201228686오류 유형: 162. Database '...' already exists. Choose a different database name. (Microsoft SQL Server, Error: 1801)
1330정성태8/22/201229258Team Foundation Server: 47. 5인 이내의 팀, 또는 개인 로컬 소스 관리를 위한 무료 TFS Express
1329정성태8/21/201224705오류 유형: 161. Azure - Storage 삭제가 안되는 경우 [1]
1328정성태8/20/201235193개발 환경 구성: 163. IIS 7 - "MIME Types" 설정 아이콘이 없는 경우
1327정성태8/19/201239880Windows: 58. Windows 8 정식 버전을 설치해 보고... [14]
1326정성태8/19/201226075오류 유형: 160. Visual Studio 2010 Team Explorer 설치 오류
1325정성태8/15/201226144개발 환경 구성: 162. 닷넷 개발자가 컴파일해 본 리눅스
1324정성태8/15/201227969.NET Framework: 332. 함수형 언어의 코드가 그렇게 빠를까? [4]파일 다운로드1
1323정성태8/4/201229895.NET Framework: 331. C# - 클래스 안에 구조체를 포함하는 경우 발생하는 dynamic 키워드의 부작용 [2]
1322정성태8/3/201229758개발 환경 구성: 161. Ubuntu 리눅스의 Hyper-V 지원 (마우스, 네트워크)
1321정성태7/31/201228974개발 환경 구성: 160. Azure - Virtual Machine의 VHD 파일 다운로드 [2]
1320정성태7/30/201230903Math: 10. C# - (타)원 영역의 마우스 클릭 판단파일 다운로드1
1319정성태7/26/201228895개발 환경 구성: 159. Azure - 네트워크 포트 여는 방법 [1]
1317정성태7/24/201228084오류 유형: 159. SpeechRecognitionEngine.SetInputToDefaultAudioDevice 호출 시 System.InvalidOperationException 예외 발생
1316정성태7/18/201286570개발 환경 구성: 158. .NET 응용 프로그램에서 Oracle XE 11g 사용
1315정성태7/17/201231339개발 환경 구성: 157. Azure - Virtual Machine 구성 [2]
1314정성태7/16/201225910개발 환경 구성: 156. Azure - 2개 이상의 서비스 계정을 가지고 있을 때 프로젝트를 배포하는 방법
... 136  137  138  139  140  141  142  143  144  145  146  147  148  149  [150]  ...