Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
(연관된 글이 1개 있습니다.)

C# - volatile 키워드로 인한 차이점을 발생시키는 예제

이전에 C++ 언어로 만든 volatile 예제를 실었는데요.

C++ volatile 키워드
; https://www.sysnet.pe.kr/2/0/413

아쉽게도 위의 예제를 C#으로 옮겨서 테스트해보면 volatile 유무에 따른 실행차이가 나지 않습니다. 그래도 ^^ 혹시나 싶어, 위의 C++ 예제를 살짝 변경해 다음과 같이 작성해 보니 차이점이 발생하긴 했습니다.

using System;
using System.Threading;

public class TestClass
{
    bool m_resultState;
    bool m_terminate;

    public void Start()
    {
        int k = 0;

        while (m_terminate == false)
        {
            Console.WriteLine(k++);
            Thread.Sleep(1000);
        }

        m_resultState = true;

        Console.WriteLine("m_resultState == " + m_resultState);
    }

    public void endThread()
    {
        m_terminate = true;

        while (true)
        {
            if (true == m_resultState)
            {
                Console.WriteLine("result() == true");
                break;
            }
        }
    }
}

public class WorkerThreadExample
{
    static void Main()
    {
        TestClass testClass = new TestClass();

        Thread t1 = new Thread(testClass.Start);
        t1.Start();
        Thread.Sleep(2000);

        testClass.endThread();
    }
}

위의 프로그램을 Release 모드로 컴파일해 실행하면 화면에 다음과 같이 출력한 후,

0
1
m_resultState == True

무한루프에 빠져 CPU 사용량이 "1/코어"만큼 올라갑니다. 코드를 살짝 보면, "m_resultState == True" 출력은 t1 스레드가 종료하기 바로 전이므로 t1 스레드는 무조건 없어졌다고 확신할 수 있고 출력 내용처럼 m_resultState 필드의 값은 True가 된 것이 맞습니다. 그런데도 endThread 메서드 내부의 result() 메서드는 (분명 이상하지만!) false를 반환하고 있기 때문에 무한 루프에 빠진 것입니다. (result 메서드는 최적화 과정에서 인라인화되었을 것입니다.)

반면 Debug 모드로 컴파일하거나, m_resultState 필드를 다음과 같이 volatile 예약어로 장식해주면 무한 루프 현상없이 프로그램이 잘 종료됩니다.

volatile bool m_resultState;

왜냐하면, volatile로 지정된 필드는 1) 최적화 대상에서 제외하며 2) 해당 값을 읽고/쓰는 코드에 대해 무조건 메모리에 직접 읽고/쓰는 동작으로 연결되기 때문입니다.

(첨부된 파일은 위의 코드를 재현할 수 있는 예제입니다.)
(참고로, 위의 코드는 어느 순간 CLR이 바뀌면 잘 동작할 수도 있습니다.)




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 4/22/2022]

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

비밀번호

댓글 작성자
 



2019-01-22 09시48분
[hong]
0
1
m_resultState == True => this is fault. because you wrote the code Console.WriteLine("m_resultState == true");

I feel confused..

and i got another example....

if remove volatile keyword than the loop will never stop on release...

class Program
{
    public static volatile bool complete = false;

    private static void Main()
    {
        var t = new Thread(() =>
        {
            bool toggle = false;
            while (!complete) toggle = !toggle;
        });

        t.Start();
        Thread.Sleep(1000); //let the other thread spin up
        complete = true;
        t.Join(); // Blocks indefinitely when you remove volatile
    }
}
[guest]

... 76  77  78  79  80  81  82  83  84  [85]  86  87  88  89  90  ...
NoWriterDateCnt.TitleFile(s)
11848정성태3/17/201920284스크립트: 14. 윈도우 CMD - 파일이 변경된 경우 파일명을 변경해 복사하고 싶다면?
11847정성태3/17/201924683Linux: 7. 리눅스 C/C++ - 공유 라이브러리 동적 로딩 후 export 함수 사용 방법파일 다운로드1
11846정성태3/15/201923405Linux: 6. getenv, setenv가 언어/운영체제마다 호환이 안 되는 문제
11845정성태3/15/201923010Linux: 5. Linux 응용 프로그램의 (C++) so 의존성 줄이기(ReleaseMinDependency) [3]
11844정성태3/14/201924884개발 환경 구성: 434. Visual Studio 2019 - 리눅스 프로젝트를 이용한 공유/실행(so/out) 프로그램 개발 환경 설정 [1]파일 다운로드1
11843정성태3/14/201919641기타: 75. MSDN 웹 사이트를 기본으로 영문 페이지로 열고 싶다면?
11842정성태3/13/201917361개발 환경 구성: 433. 마이크로소프트의 CoreCLR 프로파일러 예제를 Visual Studio CMake로 빌드하는 방법 [1]파일 다운로드1
11841정성태3/13/201917927VS.NET IDE: 132. Visual Studio 2019 - CMake의 컴파일러를 기본 g++에서 clang++로 변경
11840정성태3/13/201920029오류 유형: 526. 윈도우 10 Ubuntu App 환경에서는 USB 외장 하드 접근 불가
11839정성태3/12/201924190디버깅 기술: 124. .NET Core 웹 앱을 호스팅하는 Azure App Services의 프로세스 메모리 덤프 및 windbg 분석 개요 [3]
11838정성태3/7/201927946.NET Framework: 811. (번역글) .NET Internals Cookbook Part 1 - Exceptions, filters and corrupted processes [1]파일 다운로드1
11837정성태3/6/201941563기타: 74. 도서: 시작하세요! C# 7.3 프로그래밍 [10]
11836정성태3/5/201925294오류 유형: 525. Visual Studio 2019 Preview 4/RC - C# 8.0 Missing compiler required member 'System.Range..ctor' [1]
11835정성태3/5/201923238.NET Framework: 810. C# 8.0의 Index/Range 연산자를 .NET Framework에서 사용하는 방법 및 비동기 스트림의 컴파일 방법 [3]파일 다운로드1
11834정성태3/4/201921938개발 환경 구성: 432. Visual Studio 없이 최신 C# (8.0) 컴파일러를 사용하는 방법
11833정성태3/4/201923082개발 환경 구성: 431. Visual Studio 2019 - CMake를 이용한 공유/실행(so/out) 리눅스 프로젝트 설정파일 다운로드1
11832정성태3/4/201917937오류 유형: 524. Visual Studio CMake - rsync: connection unexpectedly closed
11831정성태3/4/201918686오류 유형: 523. Visual Studio 2019 - 새 창으로 뜬 윈도우를 닫을 때 비정상 종료
11830정성태2/26/201917918오류 유형: 522. 이벤트 로그 - Error opening event log file State. Log will not be processed. Return code from OpenEventLog is 87.
11829정성태2/26/201919220개발 환경 구성: 430. 마이크로소프트의 CoreCLR 프로파일러 예제 빌드 방법 - 리눅스 환경 [1]
11828정성태2/26/201927859개발 환경 구성: 429. Component Services 관리자의 RuntimeBroker 설정이 2개 있는 경우 [8]
11827정성태2/26/201920157오류 유형: 521. Visual Studio - Could not start the 'rsync' command on the remote host, please install it using your system package manager.
11826정성태2/26/201920711오류 유형: 520. 우분투에 .NET Core SDK 설치 시 패키지 의존성 오류
11825정성태2/25/201926357개발 환경 구성: 428. Visual Studio 2019 - CMake를 이용한 리눅스 빌드 환경 설정 [1]
11824정성태2/25/201920601오류 유형: 519. The SNMP Service encountered an error while accessing the registry key SYSTEM\CurrentControlSet\Services\SNMP\Parameters\TrapConfiguration. [1]
11823정성태2/21/201921704오류 유형: 518. IIS 관리 콘솔이 뜨지 않는 문제
... 76  77  78  79  80  81  82  83  84  [85]  86  87  88  89  90  ...