성태의 닷넷 이야기
홈 주인
모아 놓은 자료
프로그래밍
질문/답변
사용자 관리
사용자
메뉴
아티클
외부 아티클
유용한 코드
온라인 기능
MathJax 입력기
최근 덧글
[정성태] VT sequences to "CONOUT$" vs. STD_O...
[정성태] NetCoreDbg is a managed code debugg...
[정성태] Evaluating tail call elimination in...
[정성태] What’s new in System.Text.Json in ....
[정성태] What's new in .NET 9: Cryptography ...
[정성태] 아... 제시해 주신 "https://akrzemi1.wordp...
[정성태] 다시 질문을 정리할 필요가 있을 것 같습니다. 제가 본문에...
[이승준] 완전히 잘못 짚었습니다. 댓글 지우고 싶네요. 검색을 해보...
[정성태] 우선 답글 감사합니다. ^^ 그런데, 사실 저 예제는 (g...
[이승준] 수정이 안되어서... byteArray는 BYTE* 타입입니다...
글쓰기
제목
이름
암호
전자우편
HTML
홈페이지
유형
제니퍼 .NET
닷넷
COM 개체 관련
스크립트
VC++
VS.NET IDE
Windows
Team Foundation Server
디버깅 기술
오류 유형
개발 환경 구성
웹
기타
Linux
Java
DDK
Math
Phone
Graphics
사물인터넷
부모글 보이기/감추기
내용
<div style='display: inline'> <h1 style='font-family: Malgun Gothic, Consolas; font-size: 20pt; color: #006699; text-align: center; font-weight: bold'>C# - volatile 키워드로 인한 차이점을 발생시키는 예제</h1> <p> 이전에 C++ 언어로 만든 volatile 예제를 실었는데요.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > C++ volatile 키워드 ; <a target='tab' href='http://www.sysnet.pe.kr/2/0/413'>http://www.sysnet.pe.kr/2/0/413</a> </pre> <br /> 아쉽게도 위의 예제를 C#으로 옮겨서 테스트해보면 volatile 유무에 따른 실행차이가 나지 않습니다. 그래도 ^^ 혹시나 싶어, 위의 C++ 예제를 살짝 변경해 다음과 같이 작성해 보니 차이점이 발생하긴 했습니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > using System; using System.Threading; public class TestClass { bool m_resultState; bool m_terminate; public void Start() { int k = 0; while (<span style='color: blue; font-weight: bold'>m_terminate == false</span>) { Console.WriteLine(k++); Thread.Sleep(1000); } <span style='color: blue; font-weight: bold'>m_resultState = true</span>; Console.WriteLine("m_resultState == " + m_resultState); } public void endThread() { <span style='color: blue; font-weight: bold'>m_terminate = true;</span> while (true) { if (<span style='color: blue; font-weight: bold'>true == m_resultState</span>) { 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); <span style='color: blue; font-weight: bold'>testClass.endThread();</span> } } </pre> <br /> 위의 프로그램을 Release 모드로 컴파일해 실행하면 화면에 다음과 같이 출력한 후,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > 0 1 m_resultState == True </pre> <br /> 무한루프에 빠져 CPU 사용량이 "1/코어"만큼 올라갑니다. 코드를 살짝 보면, "m_resultState == True" 출력은 t1 스레드가 종료하기 바로 전이므로 t1 스레드는 무조건 없어졌다고 확신할 수 있고 출력 내용처럼 m_resultState 필드의 값은 True가 된 것이 맞습니다. 그런데도 endThread 메서드 내부의 result() 메서드는 (분명 이상하지만!) false를 반환하고 있기 때문에 무한 루프에 빠진 것입니다. (result 메서드는 최적화 과정에서 인라인화되었을 것입니다.)<br /> <br /> 반면 Debug 모드로 컴파일하거나, m_resultState 필드를 다음과 같이 volatile 예약어로 장식해주면 무한 루프 현상없이 프로그램이 잘 종료됩니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > <span style='color: blue; font-weight: bold'>volatile</span> bool m_resultState; </pre> <br /> 왜냐하면, volatile로 지정된 필드는 1) 최적화 대상에서 제외하며 2) 해당 값을 읽고/쓰는 코드에 대해 무조건 메모리에 직접 읽고/쓰는 동작으로 연결되기 때문입니다.<br /> <br /> (<a target='tab' href='http://www.sysnet.pe.kr/bbs/DownloadAttachment.aspx?fid=948&boardid=331301885'>첨부된 파일은 위의 코드를 재현할 수 있는 예제</a>입니다.)<br /> (참고로, 위의 코드는 어느 순간 CLR이 바뀌면 잘 동작할 수도 있습니다.)<br /> </p><br /> <br /><hr /><span style='color: Maroon'>[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]</span> </div>
첨부파일
스팸 방지용 인증 번호
5108
(왼쪽의 숫자를 입력해야 합니다.)