Microsoft MVP성태의 닷넷 이야기
.NET Framework: 457. 교착상태(Dead-lock) 해결 방법 - Lock Leveling [링크 복사], [링크+제목 복사],
조회: 28098
글쓴 사람
정성태 (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)
1060정성태6/8/201125891VC++: 51. PHP 모듈의 F5 디버깅
1059정성태6/6/201131186VC++: 50. PHP 모듈 - php_mysql 빌드하는 방법파일 다운로드1
1058정성태6/5/201134696개발 환경 구성: 124. .NET 개발자가 처음 해보는 PHP + MySQL 연동 [2]
1057정성태6/4/201132129VC++: 49. 소스 코드로부터 php5apache2_2.dll 생성하는 방법파일 다운로드1
1056정성태6/2/201130343VC++: 48. 윈도우에서 Apache Module - Content Handler 컴파일파일 다운로드1
1055정성태6/1/201127583오류 유형: 124. MVC 프로젝트의 Site.Master 관련 오류 정리
1054정성태5/31/201131593.NET Framework: 220. ASP.NET MVC Web Site 프로젝트 - 단위 테스트 작성파일 다운로드1
1053정성태5/31/201134239VC++: 47. Apache Module에 대한 'F5 디버그 (Start with debugging)' [2]
1052정성태5/30/201131760.NET Framework: 219. ASP.NET MVC Web Site 프로젝트 구성하기파일 다운로드1
1051정성태5/28/201140281VC++: 46. 윈도우에서 Apache Module 컴파일 (VC++)파일 다운로드1
1050정성태5/28/201126485오류 유형: 123. Firebird - Exception of type 'FirebirdSql.Data.Common.IscException' was thrown.
1049정성태5/28/201132215.NET Framework: 218. WCF REST 서비스 - 웹 브라우저 측 Ajax 호출 캐시 [1]
1048정성태5/27/201133748개발 환경 구성: 123. Apache 소스를 윈도우 환경에서 빌드하기
1047정성태5/27/201127941.NET Framework: 217. Firebird ALinq Provider - 날짜 필드에 대한 낙관적 동시성 쿼리 오류
1046정성태5/26/201132628.NET Framework: 216. 라이선스까지도 뛰어넘는 .NET Profiler [5]
1045정성태5/24/201133679.NET Framework: 215. 닷넷 System.ComponentModel.LicenseManager를 이용한 라이선스 적용 [1]파일 다운로드1
1044정성태5/24/201134312오류 유형: 122. zlib 빌드 오류 - inflate.obj : error LNK2001: unresolved external symbol _inflate_fast
1043정성태5/24/201133679.NET Framework: 214. 무료 Linq Provider - DbLinq를 이용한 Firebird 접근파일 다운로드1
1042정성태5/23/201139587개발 환경 구성: 122. PHP 소스를 윈도우 환경에서 빌드하기
1041정성태5/22/201130411.NET Framework: 213. Linq To SQL - ALinq Provider를 이용하여 Firebird 사용파일 다운로드1
1040정성태5/21/201140944개발 환경 구성: 121. .NET 개발자가 처음 설치해 본 Apache + PHP [2]
1039정성태5/17/201133693.NET Framework: 212. Firebird 데이터베이스와 ADO.NET [2]파일 다운로드1
1038정성태5/16/201135562개발 환경 구성: 120. .NET 프로그래머에게도 유용한 Firebird 무료 데이터베이스 [2]
1037정성태5/11/201130468개발 환경 구성: 119. Visual Studio Professional 이하 버전에서도 TFS의 정적 코드 분석 정책 연동이 가능할까? [3]
1036정성태5/7/201196586오류 유형: 121. Access DB에 대한 32bit/64bit OLE DB Provider 관련 오류 [11]
1035정성태5/7/201131040오류 유형: 120. File cannot be opened. Ensure it is a valid Data Link file.
... 151  152  153  154  155  156  157  158  159  160  [161]  162  163  164  165  ...