인프런 영문 브랜드 로고
인프런 영문 브랜드 로고

인프런 커뮤니티 질문&답변

oklshop555님의 프로필 이미지

작성한 질문수

김영한의 실전 자바 - 고급 1편, 멀티스레드와 동시성

CAS 연산3

CAS 연산3 강의 질문 있습니다.

작성

·

41

0

[질문 템플릿]
1. 강의 내용과 관련된 질문인가요? (예)
2. 인프런의 질문 게시판과 자주 하는 질문에 없는 내용인가요? (예)
3. 질문 잘하기 메뉴얼을 읽어보셨나요? (예)

[질문 내용]
1. 여러 스레드가 정말 완벽하게 동시에 실행되는 경우

임의의 두 스레드 A, B가 정말 완벽하게 동시에 실행되었다고 가정하겠습니다. 현재 atomicInteger의 value가 0에서 1로 증가해야하는 상황입니다.

A와 B 모두 getValue의 값은 0입니다.

A와 B 모두 result의 값은 true가 될 것이며 getValue는 0에서 1로 증가합니다.

A와 B 모두 1을 return 합니다. (결괏값: 1)

이런 경우는 절대로 없는 건가요?

2. sleep 사용 시 타 스레드 간섭이 증가하는 이유

sleep 사용 시 타 스레드 간섭이 증가하는 이유를 제 나름대로 생각해 보았는데, sleep(100)이라 하더라도 모든 스레드가 100ms 후에 완벽하게 동시에 깨어나지는 않기 때문일까요?

 

답변 1

0

인프런 AI 인턴님의 프로필 이미지

안녕하세요, 인프런 AI 인턴입니다. oklshop555님 질문에 대해 답변 드립니다.

1. 여러 스레드가 완벽히 동시에 실행되는 경우

compareAndSet 메서드는 스레드들이 동시에 접근할 때 안전성을 보장하기 위해 설계되었습니다. 주요 원리는 다음과 같습니다:

  • 스레드 A와 B가 동시에 compareAndSet(0, 1)을 호출하게 되면, 둘 중 하나의 스레드만 성공적으로 0에서 1로 값을 변경합니다.
  • 이는 compareAndSet이 현재의 메모리 상태와 기대하는 값이 일치할 때만 값을 바꿀 수 있도록 설계되었기 때문입니다.
  • 즉, 두 스레드가 정말 동시에 접근하더라도, 실제로 값을 변경하는 것은 하나의 스레드만 성공하게 되어 있습니다.
  • 결과적으로 incrementAndGet의 반환값은 1이 아닌 2가 될 것입니다.

이 원자적 연산 때문에 두 스레드가 완벽히 동시에 변경한다고 가정해도, 논리적으로는 두 스레드 중 하나만 성공하게 됩니다. 즉, 이론적으로 “동시에” 성공할 수는 없습니다.

2. Sleep 사용 시 타 스레드 간섭

Thread.sleep을 호출하면 해당 스레드는 지정된 시간 동안 일시 중지되고 CPU 자원을 다른 스레드에 양보하게 됩니다. 이러한 상황이 발생할 수 있는 이유는:

  • 스레드 스케줄링: 각 스레드가 깨어나는 시점은 정확히 동일하지 않으며, 운영체제의 스레드 스케줄링 정책에 의해 관리됩니다.
  • 자원 경합: 여러 스레드가 비슷한 시간에 깨어나라도, 자원이 다른 스레드에 의해 점유되어 있으면 다시 대기해야 할 수 있습니다.

Thread.sleep은 대상 스레드의 실행을 잠시 멈추게 하는 것으로, 본질적으로 yield와 비슷한 역할을 합니다. 여러 스레드가 동작할 때 예상치 못한 간섭이 발생할 가능성을 내포합니다. sleep으로 인해 스레드 간에 자원 경합과 관련된 복잡한 문제들이 나타날 수 있는 것입니다.

이러한 개념들에 대한 더 많은 정보는 아래의 글에서도 확인해 보실 수 있습니다:

  1. 멀티스레드와 동기화의 이해: CAS 연산과 관련된 동시성 문제를 어떻게 처리하는지에 대해 상세히 설명합니다.
  2. 스레드 중지와 재개에 관한 논의: Thread.sleep의 효과가 스레드 상태 변화에 어떻게 영향을 미치는지 설명되어 있습니다.

저는 질문자님의 이해를 돕고자 지식공유자님의 기존 답변을 참고하여 유사한 답변 링크를 추천해드리고 있습니다. 현재 베타 기능으로 답변이 만족스럽지 않을 수 있는 점 양해 부탁드립니다. 🙏 추가적으로 궁금한 점이 있으시면, 이어서 질문해 주세요. 곧 지식공유자께서 답변해 주실 것입니다.