gugbab2's GitBook
  • Language
    • C++
      • 강의
        • C++ 언매니지드 프로그래밍
          • C++ 프로그래밍
          • 출력(Output)
          • 입력(Input)
          • bool 타입, Reference
          • 상수(const)
          • 문자열(string)
          • 파일 입출력
          • 개체지향 프로그래밍1
          • 개체지향 프로그래밍2
          • 개체지향 프로그래밍3
          • 캐스팅(형변환, casting)
          • 인라인 함수
          • static 키워드
          • 예외(Exception)
          • STL(Standard Template Library) 컨테이너(Container) - Vector
          • STL 컨테이너 - Map
          • STL 컨테이너 - Queue, Stack, Set, List
          • 템플릿(Template) 프로그래밍
          • 새로운 키워드(C++11 ~) 1
          • 새로운 키워드(C++11 ~) 2
          • 새로운 자료형
          • 새로운 STL 컨테이너
          • 스마트(smart) 포인터
          • 이동생성자 및 이동대입연산자
          • constexpr
          • Lamda Expression
      • 책
        • The C++ Programming Lanuaage
          • 2부 : 기본 기능
            • 6. 타입과 선언
            • 7. 포인터, 배열, 참조
            • 8. 구조체(struct), 공용체(union), 열거형(enum)
            • 10. 표현식
            • 11. 선택 연산
            • 12. 함수
            • 13. 예외 처리
            • 15. 소스 파일과 프로그램
          • 3부 : 추상화 메커니즘
            • 16. 클래스
            • 17. 생성, 소멸, 복사와 이동
            • 18. 연산자 오버로딩
            • 19. 특수 연산자
            • 20. 파생클래스
        • 씹어먹는 C++
          • 2. C++ 참조자(reference) 의 도입
          • 5.1 연산자 오버로딩(비교, 대입 연산자)
          • 5-2. 연산자 오버로딩(이항, 입출력, 타입변환, 증감 연산자)
          • 6-2. 가상(virtual) 함수와 다형성
          • 6-3. 가상 함수에 대한 지식들
          • 9-1. 코드를 찍어내는 틀 - C++ 템플릿(template)
          • 9-2. 가변 길이 템플릿(Variadic template)
          • 9-3. 템플릿 메타 프로그래밍 (Template Meta Programming)
          • 9-4. 템플릿 메타 프로그래밍2
          • 16.1 유니폼 초기화(Uniform Initialization)
          • 토막글 2. 람다(lambda)
    • Java
      • 강의
        • 김영한의 실전 자바 - 기본편
          • 절차 지향 vs 객체 지향
            • 절차 지향 프로그래밍
            • 객체 지향 프로그래밍
          • 변수
            • 클래스 변수 / 인스턴스 변수, 멤버 변수 / 지역 변수
            • 기본형 vs 참조형
          • 패키지
            • 패키지
            • CLI 환경에서 .java 파일 컴파일 && 실행
          • 접근 제어자
            • 접근 제어자 - 기본
            • 캡슐화
          • static
            • 자바 메모리 구조
            • static 기본
            • 스택 영역, 힙 영역
              • 스택 영역, 힙 영역 - 기본
              • 메소드가 실행될 때 어떤일이 일어나는가?
          • 상속
            • 상속 기본
          • 다형성(Pilymorphism)
            • 다형성 기본
            • 다형성의 활용
              • 다형성의 활용 - 기본
              • 다형성의 활용 - 추상클래스
              • 다형성의 활용 - 인터페이스
            • 다형성과 설계
              • 좋은 객체 지향 프로그래밍
        • 김영한의 실전 자바 - 중급1편
          • 1. Object 클래스
          • 2. 불변 객체
          • 3. String 클래스
          • 4. 래퍼, Class 클래스
          • 5. 열거형 - ENUM
          • 6. 날짜와 시간
          • 7. 중첩 클래스, 내부 클래스1
          • 8. 중첩 클래스, 내부 클래스2
          • 9. 예외 처리1 - 이론
          • 10. 예외 처리 - 실습
        • 김영한의 실전 자바 - 중급2편
          • 1. 제네릭 - Generic1
          • 2. 제네릭 - Generic2
          • 3. 컬렉션 프레임워크 - ArrayList
          • 4. 컬렉션 프레임워크 - LinkedList
          • 5. 컬렉션 프레임워크 - List
          • 6. 컬렉션 프레임워크 - 해시(Hash)
          • 7. 컬렉션 프레임워크 - HashSet
          • 8. 컬렉션 프레임워크 - Set
            • 레드 블랙 트리
          • 9. 컬렉션 프레임워크 - Map, Stack, Queue
            • 왜(?) Set 은 내부에서 Map 을 사용할까?
          • 10. 컬렉션 프레임워크 - 순회, 정렬, 전체 정리
        • 김영한의 실전 자바 - 고급 1편, 멀티스레드와 동시성
          • 프로세스와 스레드 소개
          • 스레드 생성과 실행
          • 스레드 제어와 생명 주기1
          • 스레드 제어와 생명 주기2
          • 메모리 가시성
          • 동기화 - synchronized
            • synchronized 키워드 이해도 체크
          • 고급 동기화 - concurrent.Lock
          • 생산자 소비자 문제1
          • 생산자 소비자 문제2
          • CAS - 동기화와 원자적 연산
          • 동시성 컬렉션
          • 스레드 풀과 Executor 프레임워크1
          • 스레드 풀과 Executor 프레임워크2
        • 김영한의 실전 자바 - 고급 2편, I/O, 네트워크, 리플렉션
          • 문자 인코딩
          • I/O 기본1
          • I/O 기본2
          • I/O 활용
          • File, Files
          • 네트워크 - 프로그램1
          • 네트워크 - 프로그램2
          • 채팅 프로그램
          • HTTP 서버 만들기
          • 리플렉션
          • 애노테이션
          • HTTP 서버 활용
        • 김영한의 실전 자바 - 고급3편, 람다, 스트림, 함형 프로그래밍
          • 람다가 필요한 이유
          • 람다
          • 함수형 인터페이스
          • 람다 활용
          • 람다 vs 익명 클래스
          • 메서드 참조
          • 스트림API1 - 기본
          • 스트림 API2 - 기능
          • 스트림 API3 - 컬렉터
          • Optional
          • 디폴트 메서드
          • 병렬 스트림
          • 함수형 프로그래밍
        • 기초 탄탄! 독하게 시작하는 Java - Part2: OOP 와 JVM
          • 2. 클래스 - 첫 번째
          • 3. 클래스 - 두번째
          • 4. 상속과 관계
          • 6. JVM(Java Virtual machine) 기본 이론
          • 7. JVM 과 GC 그리고 객체
          • 8. 불변 객체와 String 클래스
      • 책
        • 자바의 신
          • 변수
            • 클래스 변수(static) 사용 주의 케이스
            • Java volatile 과 Atomic 변수(+CAS)
          • 연산자
            • 비트 연산자 활용 예제
          • 배열
          • 참조 자료형
          • 상속
          • Object 클래스
          • interface, abstract class, enum
          • 예외
          • String 클래스
            • String 구조
            • String 문자열을 byte 로 변환하기
            • String 클래스에서 자주 사용되는 메서드
            • String 클래스로 살펴보는 불변(Immutable)객체
            • StringBuilder, StringBuffer
          • Nested 클래스
          • 어노테이션
            • 어노테이션 기본
            • 어노테이션의 사용
          • JVM 이해하기
            • 왜 JVM 을 사용해?
            • JVM, JRE, JDK
            • JVM 구조 이해하기
            • 클래스 로더 시스템
            • JIT(Just-In-Time) 컴파일러
            • GC(Garbage Collector)
              • GC Part.1
              • GC Part.2
              • GC 튜닝
          • java.lang
            • Wrapper 클래스
            • System 클래스
          • Generic
            • 제네릭 기본
            • 와일드카드
            • 와일드카드 GET / SET 경계
            • 와일드카드 extends / super 사용시기
            • 혼동할 수 있는 와일드카드 표현
          • Collection
            • 자료구조
              • 이진 탐색 트리 vs 레드 블랙 트리
            • Collection
            • List
              • ArrayList
              • Vector
              • Stack
              • LinkedList
            • Set, Queue
              • HashSet
              • LinkedHashSet
              • TreeSet
              • Priority Queue
              • ArrayDeque
            • Map
              • HashMap
              • Hashtable
              • LinkedHashMap
              • TreeMap
          • Thread
            • Thread 기본
            • Thread 와 관련이 많은, Synchronized
            • Thread 를 통제하는 메서드
            • ThreadGroup
          • I/O
            • InputStream, OutputStream
            • Reader, Writer
          • Serializable, NIO
            • Serializable
            • NIO (New IO)
          • 네트워크 프로그래밍
            • 네트워크 기본 & TCP 통신
            • UDP 통신
          • 람다
            • 함수형 인터페이스
            • 람다란?
        • 벨둥(Bealdung)
          • Java Concurrency
            • Java Concurrency Basics
              • Overview of the java.util.concurrent
              • Guide to the Synchronized Keyword in Java
              • Guide to the Volatile Keyword in Java
              • Guide to the java.util.concurrent.Future
              • ThreadLocal in Java
      • 그 외
        • 시스템 콜과 자바에서의 시스템 콜 사용례
        • 자바 NIO 의 동작원리 및 IO 모델
        • 함수형 인터페이스(FunctionInterface) - 자바8
  • Spring
    • 강의
      • 스프링 핵심 원리 - 기본편
        • 큰 흐름 잡기
        • 스프링 핵심 원리 이해1 - 예제 만들기
        • 스프링 핵심 원리 이해2 - 객체 지향 원리 적용
        • 스프링 컨테이너와 스프링 빈
        • 싱글톤 컨테이너
        • 컴포넌트 스캔
        • 의존관계 자동 주입
        • 빈 생명주기 콜백
        • 빈 스코프
      • 토비의 스프링6 - 이해와 원리
        • 3. 오브젝트와 의존관계1
        • 3. 오브젝트와 의존관계2
        • 4. 테스트
        • 5. 템플릿
        • 6.예외
        • 7. 서비스 추상화
    • 책
      • JSP 2.3 웹 프로그래밍
        • Servlet
        • JSP
        • 쿠키 / 세션
        • MVC 패턴
        • 실무 때 고민할 만한 부분
      • 스프링 입문을 위한 자바 객체지향의 원리와 이해
        • 자바와 절차적/구조적 프로그래밍
        • 객체지향의 4대 특성
        • 객체지향 설계의 5원칙
        • 스프링이 사랑한 디자인 패턴
        • IoC / DI
        • AOP(Aspect Oriented Programming), 관점 지향 프로그래밍
      • 토비의 스프링 3.1
        • Spring vs Spring Boot
        • 1. 오브젝트와 의존관계
          • 1.4 제어의 역전(IoC)
          • 1.5 스프링의 IoC
          • 1.6 싱글톤 레지스트리와 오브젝트 스코프
    • 그 외
      • 스프링 부트(SpringBoot) 탄생 배경
  • CS
    • DATA STRUCTURES
      • 선택 정렬(Selection Sort)
      • 버블 정렬(Bubble Sort)
      • 삽입 정렬(Insertion Sort)
    • OS
      • 강의
      • 책
        • 혼자 공부하는 컴퓨터구조 + 운영체제
          • 1. 컴퓨터 구조 시작하기
          • 2. 데이터
          • 3. 명령어
          • 4. CPU 의 작동원리
          • 5. CPU 성능 향상 기법
          • 6. 메모리와 캐시메모리
          • 7. 보조기억장치
          • 8. 입출력장치
          • 9. 운영체제 시작하기
          • 10. 프로세스와 스레드
    • NETWORK
      • 그 외
        • REST API
          • REST API
          • URI & MIME type
          • Collection Pattern
          • Collection Pattern 적용
          • Spring Web MVC 구현
        • SSL 인증 동작
        • DTO & JSON & CROS
          • DTO
          • 직렬화(Serialization)
          • Jackson ObjectMapper
          • CROS
        • Connection Timeout / Read Timeout
      • 강의
        • 외워서 끝내는 네트워크 핵심이론 - 기초
          • Internet 기반 네트워크 입문
            • Host 는 이렇게 외우자
            • 스위치가 하는 일과 비용
          • L2 수준에서 외울 것들
            • NIC, L2 Frame, LAN 카드 그리고 MAC 주소
            • L2 스위치에 대해서
            • LAN 과 WAN 의 경계 그리고 Broadcast
          • L3 수준에서 외울 것들
            • IPv4 주소의 기본 구조
            • L3 IP Packet 으로 외워라
            • 패킷의 생성과 전달 및 계층별 데이터 단위
            • 이해하면 인생이 바뀌는 TCP/IP 송, 수신 구조
            • IP 헤더 형식
            • 서브넷 마스크와 CIDR
            • Broadcast IP 주소와 Localhost
            • TTL 과 단편화
            • 인터넷 설정 자동화를 위한 DHCP
            • ARP 과 Ping(RTT : Round Trip Time)
          • L4 수준 대표주자 TCP 와 UDP
            • TCP 와 UDP 개요
            • TCP 연결 및 상태 변화
            • TCP 연결 종료 및 상태 변화
            • TCP, UDP 헤더 형식과 게임서버 특징
            • TCP 가 연결이라는 착각
            • TCP 연결과 게임버그
          • 웹을 이루는 핵심기술
            • DNS
            • URL, URI
        • 외워서 끝내는 네트워크 핵심 이론 - 응용
          • 네트워크 장치의 구조
            • 세 가지 네트워크 장치 구조
            • Inline 구조
            • Out of path 구조와 DPI 그리고 망중립
            • Proxy(클라이언트 입장) - 우회
            • Proxy(클라이언트 입장) - 보호와 감시
            • Reverse Proxy(서버 입장)
          • 인터넷 공유기의 작동 원리
            • 공유기 개요
            • Symmetric NAT
            • Full Cone 방식
            • Restricted Cone, Port Restricted Cone
            • 포트 포워딩
            • UPnP 와 NAT
          • 부하분산 시스템 작동 원리
            • L4 부하분산 무정지 시스템
            • 대규모 부하분산을 위한 GSLB
          • VPN과 네트워크 보안 솔루션
            • PN 과 VPN
            • IPSec VPN 과 터널링 개념
            • VPN 과 재택근무
        • 외워서 끝내는 SSL 과 최소한의 암호기술
          • 기초이론
            • Checksum (검사합)
            • Hash
          • 암호기술에 대한 이해
            • 대칭키
            • 비대칭키
          • PKI 시스템과 인터넷
            • 인터넷을 위한 비대칭키 체계
            • 공개키 신뢰를 위한 검증체계
            • 웹서비스와 공인인증서
      • 책
        • 그림으로 배우는 네트워크 원리
          • 1. 네트워크 기본
          • 2. 네트워크를 만드는 것
          • 3. 네트워크의 공통 언어 TCP/IP
    • SECURITY
      • 그 외
        • Basic Auth
        • HMAC 기반 인증
    • 그 외
      • 동기/비동기 & 블로킹/논블록킹
  • DB
    • 그 외
      • 인덱스(Index)
      • 트랜잭션(TRANSACTION)
      • 실무에서 외래키를 사용하지 않는 이유
      • ORM vs SQL Mapper
      • 문자열 vs DATE
      • EXPLAIN 명령어
    • 강의
      • Real MySQL 시즌 1
        • Part.1
          • 1강. CHAR vs VARCHAR
          • 2강. VARCHAR vs TEXT
          • 3강. COUNT(*) & COUNT(DISTINCT) 튜닝
          • 4강. 페이징 쿼리 작성
          • 5강. Stored Function
      • 토크온 41차. JPA 프로그래밍 기본 다지기
        • 1. JPA 소개
        • 2. JPA 기초와 매핑
        • 3. 필드와 컬럼 매핑
        • 4. 연관관계 매핑
        • 5. 양방향 매핑
        • 6. JPA 내부구조
        • 7. JPA 객체지향쿼리
        • 8. Spring Data JPA 와 QueryDSL 이해
    • 책
  • Software Development Methodology
    • TDD
      • 강의
        • Spring Boot TDD - 입문부터 실전까지 정확하게
          • 세션2. TDD 소개
          • 세션5. API 설계
          • 세션6. TDD 주기 첫 번째 경험
          • 세션7. TDD 주기 반복
      • 그 외
        • 단위 테스트(Unit Test) 작성의 필요성
        • JUnit5
          • A Guide to JUnit 5
          • Guide to JUnit 5 Parameterized Tests
          • AssertJ Exception Assertions
          • Testing in Spring Boot
          • Junit 과 Mockito 기반의 Spring 단위 테스트 코드 작성법
        • Code Coverage
          • Code Coverage?
    • DDD
      • 책
        • 도메인 주도 설계(Domain-Driven Design)
          • 04 - 도메인의 격리
          • 05 - 소프트웨어에서 표현되는 모델
          • 06 - 도메인 객체의 생명주기
          • 07 - 언어의 사용(확장 예제) (1)
          • 07 - 언어의 사용(확장 예제) (2)
        • 도메인 주도 개발 시작하기
          • 1. 도메인 모델 시작하기
          • 2. 아키텍처 개요
          • 3. 애그리거트
          • 4. 리포지터리와 모델 구현
            • DAO vs Repository
      • 강의
        • DDD 세레나데(NEXTSTEP)
          • 1주차
            • 도메인 주도 설계 등장 배경
            • 레거시 코드
            • 유연한 설계 - ASSERTION
          • 2주차
            • 전략적 설계 - UBIQUITOUS LANGUAGE
            • 전략적 설계 - BOUNDED CONTEXT
          • 3주차
            • 전술적 설계 - VALUE OBJECT 와 ENTITY
            • 전술적 설계 - AGGREGATE 와 REPOSITORY
            • 전술적 설계 - SERVICE
    • REFACTORING
      • 일급 컬렉션(First Class Collection) 소개와 사용해야하는 이유
  • ARCHITECTURE
    • Event Driven Architecture
  • 멘토링
    • F-Lab
      • 10회차(2024.12.29)
Powered by GitBook
On this page
  • Lock Condition - 예제4
  • 생산자 소비자 대기 공간 분리 - 예제5 코드
  • 생산자 소비자 대기 공간 분리 - 예제5 분석
  • 스레드 대기
  • synchronized 대기 상태
  • synchronized vs ReentrantLock 대기
  • BlockingQueue
  • BlockingQueue - 예제6
  • java.util.concurrent.BlockingQueue
  • BlockingQueue - 기능 설명
  • BlockingQueue - 기능 확인
  1. Language
  2. Java
  3. 강의
  4. 김영한의 실전 자바 - 고급 1편, 멀티스레드와 동시성

생산자 소비자 문제2

Lock Condition - 예제4

생산자가 생산자를 깨우고, 소비자가 소비자를 깨우는 비효율을 어떻게 해결할 수 있을까?

해결방안

핵심은 생산자 스레드는 데이터를 생성하고, 대기중인 소비자 스레드에게 알려주어야 한다. 반대로 소비자 스레드는 데이터를 소비하고, 대기중인 생산자 스레드에게 알려주면 된다.

결국 생산자 스레드가 대기하는 대기 집합과, 소비자 스레드가 대기하는 대기 집합을 둘로 나누면 된다.

  • 이러한 기능을 앞서 학습한 Lock, ReentrantLock 을 사용하며 된다.

아래 V4 예제는 V3 예제와 동일하게 동작한다. (락의 구현체만 바꾼 것이다)

자바는 1.0 부터 존재한 synchronized, BLOCKED 상태를 통한 임계영역 관리의 단점을 해결하기 위해서 자바 1.5 부터 Lock 인터페이스와 ReentrantLock 구현체를 제공한다.

condition

Condition condition = lock.newCondition();

  • Condition 은 ReentrantLock 을 사용하는 스레드가 대기하는 스레드 대기 공간이다.

  • lock.newCondition() 메서드를 호출하면 스레드 대기 공간이 만들어진다.

  • 참고로 Object.wait() 에서 사용한 스레드 대기 공간은 모든 객체 인스턴스가 내부에 기본적으로 가지고 있다.

  • 반면에, Lock(ReentrantLock) 을 사용하는 경우 이렇게 스레드 대기 공간을 직접 만들어서 사용해야 한다.

condition.await()

  • Object.wait() 와 유사한 기능이다. 지정한 condition 에 현재 스레드를 대기 (WAITING) 상태로 보관한다.

  • 이때 ReentrantLock 에서 획득한 락을 반납하고 대기 상태로 condition 에 보관한다.

condition.signal()

  • Object.notify() 와 유사한 기능이다. 지정한 condition 에서 대기중인 스레드를 하나 깨운다. 깨어난 스레드는 condition 에서 빠져나온다.

package thread.bounded;

import java.util.ArrayDeque;
import java.util.Queue;
import java.util.concurrent.locks.Condition;
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;

import static util.MyLogger.log;

public class BoundedQueueV4 implements BoundedQueue {

    private final Lock lock = new ReentrantLock();
    private final Condition condition = lock.newCondition();

    private final Queue<String> queue = new ArrayDeque<>();
    private final int max;

    public BoundedQueueV4(int max) {
        this.max = max;
    }

    @Override
    public void put(String data) {
        lock.lock();
        try{
            while(queue.size() == max) {
                log("[put] 큐가 가득 참, 생산자 대기");
                try {
                    condition.await();
                    log("[put] 생산자 깨어남");
                } catch (InterruptedException e) {
                    throw new RuntimeException(e);
                }
            }
            queue.offer(data);
            log("[put] 생산자 데이터 저장, signal() 호출");
            condition.signal();
        } finally {
            lock.unlock();
        }
    }

    @Override
    public String take() {
        lock.lock();
        try{
            while(queue.isEmpty()) {
                try {
                    condition.await();
                    log("[take] 소비자 깨어남");
                } catch (InterruptedException e) {
                    throw new RuntimeException(e);
                }
            }
            String data = queue.poll();
            log("[take] 소비자 데이터 획득, signal() 호출");
            condition.signal();
            return data;
        }finally {
            lock.unlock();
        }
    }

    @Override
    public String toString() {
        return queue.toString();
    }
}

생산자 소비자 대기 공간 분리 - 예제5 코드

Condition 분리

  • consumerCond : 생산자를 위한 스레드 대기 공간

  • producerCond : 소비자를 위한 스레드 대기 공간

put(data) - 생산자 스레드가 호출

큐에 가득 찬 경우

  • producerCond.await() 를 호출해서 생산자 스레드를 생산자 전용 스레드 대기 공간에 보관한다.

데이터를 저장한 경우

  • 생산자가 데이터를 생산하면 큐에 데이터가 추가된다. 따라서 소비자를 깨우는 것이 좋다.

  • consumerCond.signal() 을 호출해서 소비자 전용 스레드 대기 공간에 신호를 보낸다. 이렇게 하면 대기중인 소비자 스레드 하나를 깨워 데이터를 소비할 수 있다.

take() - 소비자 스레드가 호출

큐가 빈 경우

  • consumerCond.await() 를 호출해서 소비자 스레드를 소비자 전용 스레드가 대기 공간에 보관한다.

데이터를 소비한 경우

  • 소비자가 데이터를 소비한 경우 큐에 여유 공간이 생긴다. 따라서 생산자를 깨우는 것이 좋다.

  • producerCond.signal() 를 호출해서 생산자 전용 스레드 대기 공간에 신호를 보낸다. 이렇게 하면 대기 중인 생산자 스레드가 하나 깨어나서 데이터를 추가할 수 있다.

핵심은 생산자는 소비자를 깨우고, 소비자는 생산자를 깨운다는 것이다.

package thread.bounded;

import java.util.ArrayDeque;
import java.util.Queue;
import java.util.concurrent.locks.Condition;
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;

import static util.MyLogger.log;

public class BoundedQueueV5 implements BoundedQueue {

    private final Lock lock = new ReentrantLock();
    private final Condition producerCond = lock.newCondition();
    private final Condition consumerCond = lock.newCondition();

    private final Queue<String> queue = new ArrayDeque<>();
    private final int max;

    public BoundedQueueV5(int max) {
        this.max = max;
    }

    @Override
    public void put(String data) {
        lock.lock();
        try{
            while(queue.size() == max) {
                log("[put] 큐가 가득 참, 생산자 대기");
                try {
                    producerCond.await();
                    log("[put] 생산자 깨어남");
                } catch (InterruptedException e) {
                    throw new RuntimeException(e);
                }
            }
            queue.offer(data);
            log("[put] 생산자 데이터 저장, signal() 호출");
            consumerCond.signal();
        } finally {
            lock.unlock();
        }
    }

    @Override
    public String take() {
        lock.lock();
        try{
            while(queue.isEmpty()) {
                try {
                    consumerCond.await();
                    log("[take] 소비자 깨어남");
                } catch (InterruptedException e) {
                    throw new RuntimeException(e);
                }
            }
            String data = queue.poll();
            log("[take] 소비자 데이터 획득, signal() 호출");
            producerCond.signal();
            return data;
        }finally {
            lock.unlock();
        }
    }

    @Override
    public String toString() {
        return queue.toString();
    }
}

생산자 소비자 대기 공간 분리 - 예제5 분석

생산자 실행

소비자 실행

Object.notify() vs Condition.signal()

Obejct.notify()

  • 대기 중인 스레드 중 임의의 하나를 선택해서 깨운다.

  • 스레드가 깨어나는 순서는 정리되어 있지 않으며, JVM 구현에 따라 다르다. 보통은 먼저 들어온 스레드가 먼저 수행되지만, 구현에 따라 다를 수 있다.

  • synchronized 블록 내에서 모니터 락을 가지고 있는 스레드가 호출해야 한다.

Condition.signal()

  • 대기 중인 스레드 중 하나를 깨우며, 일반적으로는 FIFO 순서로 깨운다.

  • 이 부분은 자바 버전과 구현에 따라 달라질 수 있지만, 보통 Condition 의 구현은 Queue 구조를 사용하기 때문에, FIFO 순서로 깨운다.

  • ReentrantLock 을 가지고 있는 스레드가 호출해야 한다.

ReentrantLock lock = new ReentrantLock();
Condition condition = lock.newCondition();

void awaitExample() {
    lock.lock();  // 락 획득
    try {
        condition.await();  // 락 반납 + 대기 (Wait Queue로 이동)
    } catch (InterruptedException e) {
        Thread.currentThread().interrupt();
    } finally {
        lock.unlock();
    }
}

void signalExample() {
    lock.lock();  // 락 획득! 이게 없으면 signal() 호출 불가
    try {
        condition.signal();  // 대기 중인 스레드 하나 깨움
    } finally {
        lock.unlock();
    }
}

스레드 대기

다음 내용으로 진행하기 전에 synchronized, ReentrantLock 의 대기 상태에 대해서 정리해보자.

먼저 synchronized 대기 상태에 대해서 정리해보자. 잘 생각해보면 synchronized 의 대기 상태는 2가지로 분리되어 있다.

synchronized 대기 상태

대기1 : 락 획득 대기

  • BLOCKED 상태로 락 획득 대기

  • synchronized 를 시작할 때 락이 없으면 대기

  • 다른 스레드가 synchronized 를 빠져나갈 때 대기가 풀리며 락 획득 시도

대기2 : wait() 대기

  • WAITING 상태로 대기

  • wait() 를 호출 했을 때 스레드 대기 집합에서 대기

  • 다른 스레드가 notify() 를 호출 했을 때 빠져나감

예제를 통해 대기 상태를 생각해보자.

  1. c2,c3 는 락 획득을 시도하지만, 모니터 락이 없기 때문에 락을 대기하면 BLOCKED 상태가 된다.

  2. c1 은 나중에 락을 반납할 것이다. 그러면 c2, c3 중에 하나가 락을 획득해야 한다.

그런데 잘 생각해보면 락을 기다리는 c2, c3 도 어디선가 관리 되어야 한다. 그래야만 락이 반환되었을 때 JVM이 c2, c3 중에 하나를 선택해서 락을 제공할 수 있다.

  • 예를 들어서 List, Set, Queue 같은 자료구조에 관리가 되어야 한다.

그림에서는 c2, c3 가 단순히 BLOCKED 상태로 변경만 되었다. 그래서 관리되는 것처럼 보이지는 않는다. 사실은, BLOCKED 상태의 스레드도 자바 내부에서 따로 관리된다.

락 대기 집합 (소비자 스레드 동작)

아래 그림은 이전 그림과 같은 상태를 조금 더 자세하게 그린 그림이다.

그림을 보면 락 대기 집합이라는 곳이 있다. 이곳은 락을 기다리는 BLOCKED 상태의 스레드들을 관리한다.

  • 락 대기 집합은 자바 내부에 구현되어 있기 때문에, 모니터 락과 같이 개발자가 확인하기는 어렵다..

  • 여기서는 BLOCKED 상태의 스레드 c2, c3 가 관리된다.

언젠가 c1 이 락을 반납하면 락 대기 집합에서 관리되는 스레드 중 하나가 락을 획득한다.

아래 그림에서는 c1 이 락을 반납하고 스레드 대기 집합에 들어가면 락 대기 집합에 있는 c2 스레드가 락을 획득하고 동작하기를 반복한다. (c2 가 먼저 락을 획득한다는 보장은 없다.. 그저 보기 편하려고 가정하는 것이다)

락 대기 집합 (생산자 스레드 동작)

  1. p1이 락을 획득하고 데이터를 저장한 다음 스레드 대기 집합에 이 사실을 알린다.

  2. 스레드 대기 집합의 c1 이 스레드 대기 집합을 빠져나가고, c1 이 락을 획득하려 하지만 락이 없다.. 따라서 락 대기 집합에서 관리된다.

    1. 락을 얻어서 락 대기 집합까지 빠져나가야 임계 영역을 수행할 수 있다. (임계 영역에 2개의 스레드가 동작하게 되면 문제가 발생한다)

  3. 이후 p1 이 락을 반납하고, c1 은 락을 획득하여 임계 영역을 수행한다.

개념상 락 대기 집합이 1차 대기소이고, 스레드 대기 집합이 2차 대기소이다.

2차 대기소에 있는 스레드는 1차 대기소까지 빠져 나와야 임계 영역에서 로직을 수행할 수 있다.

정리

  • 자바의 모든 객체 인스턴스는 멀티스레드와 임계 영역을 다루기 위해서 내부에 3가지 기본 요소를 가진다.

    • 모니터 락

    • 락 대기 집합(모니터 락 대기 집합)

    • 스레드 대기 집합

  • 여기서 락 대기 집합이 1차 대기소이고, 스레드 대기 집합이 2차 대기소라 생각하면 된다. 2차 대기소에 들어간 스레드는 2차, 1차 대기소를 모두 빠져나와야 임계 영역을 수행할 수 있다.

  • 이 3가지 요소는 서로 맞물려 돌아간다.

    • synchronized 를 사용한 임계 영역에 들어가려면 모니터 락이 필요하다.

    • 모니터 락이 없으면 락 대기 집합에 들어가서 BLOCKED 상태로 락을 기다린다.

    • 모니터 락을 반납하면 락 대기 집합에 있는 스레드 중 하나가 락을 획득하고 BLOCKED -> RUNNABLE 상태가 된다.

    • wait() 를 호출해서 스레드 대기 집합에 들어가기 위해서는 모니터 락이 필요하다.

    • 스레드 대기 집합에 들어가면 모니터 락을 반납한다.

    • 스레드가 notify() 를 호출하면 스레드 대기 집합에 있는 스레드 중 하나가 스레드 대기 집합을 빠져나온다. 그리고 모니터 락 획득을 시도한다.

      • 모니터 락을 획득하면 임계 영역을 수행한다.

      • 모니터 락을 획득하지 못하면 락 대기 집합에 들어가서 BLOCKED 상태로 락을 기다린다.

synchronized vs ReentrantLock 대기

  • synchronized 와 마찬가지로 Lock(ReentrantLock) 도 2가지 단계의 대기 상태가 존재한다. 둘다 같은 개념을 구현한 것이기 때문에 비슷하다. 먼저 synchronized 대기를 정리해보자.

synchronized 대기

  • 대기1 : 모니터 락 획득 대기

    • 자바 객체 내부의 락 대기 집합(모니터 락 대기 집합) 에서 관리

    • BLOCKED 상태로 락 획득 대기

    • synchronized 를 시작할 때 락이 없으면 대기

    • 다른 스레드가 synchronized 를 빠져나갈 때 락 획득 시도, 락을 획득하면 락 대기 집합을 빠져나감

  • 대기2 : wait() 대기

    • wait() 를 호출했을 때 자바 객체 내부의 스레드 대기 집합에서 대기

    • WAITING 상태로 대기

    • 다른 스레드가 notify() 를 호출 했을 때 스레드 대기 집합을 빠져나감

Lock(ReentrantLock) 대기

  • 대기1 : ReentrantLock 락 획득 대기

    • ReentrantLock 의 대기 큐에서 관리

    • WAITING 상태로 락 획득 대기

    • lock.lock() 을 호출 했을 때 락이 없으면 대기

    • 다른 스레드가 lock.unlock() 을 호출 했을 때, 대기가 풀리며 락 획득 시도, 락을 획득하면 대기 큐를 빠져나감

  • 대기2 : await() 대기

    • condition.await() 를 호출 했을 때, condition 객체의 스레드 대기 공간에서 관리

    • WAITING 상태로 대기

    • 다른 스레드가 condition.signal() 을 호출했을 때 condition 객체의 스레드 대기 공간에서 빠져나감

2단계 대기소

참고로 깨어난 스레드가 바로 실행되는 것이 아니다. synchronized 와 마찬가지로 ReentrantLock 도 대기소가 2단계로 되어 있다.

2단계 대기소인 condition 객체의 스레드 대기 공간을 빠져나온다고 바로 실행되는 것이 아니다.

임계 영역 안에서는 항상 락이 있는 하나의 스레드만 실행될 수 있다. 여기서는 ReentrantLock 의 락을 획득해야 RUNNABLE 상태가 되면서 그 다음 코드를 실행할 수 있다. 락을 획득하지 못하면 WAITING 상태로 락을 획득할 때까지 ReentrantLock 의 대기 큐에서 대기한다.

BlockingQueue

BoundedQueueV5 는 생산자 소비자 문제, 또는 한정된 버퍼라고 알려진 문제, 또는 한정된 버퍼라고 알려진 문제를 매우 효율적으로 해결할 수 있는 자료구조이다.

이 자료구조는 단순한 큐의 기능을 넘어서 스레드를 효과적으로 제어하는 기능도 포함한다.

BoundedQueueV5 를 스레드 관점에서 보면 큐가 특정 조건이 만족될 때까지 스레드의 작업을 차단(Blocking) 한다.

  • 데이터 추가 차단 : 큐가 가득 차면 데이터 추가 작업(put()) 을 시도하는 스레드는 공간이 생길 때까지 차단된다.

  • 데이터 획득 차단 : 큐가 비어 있으면 획득 작업(take()) 을 시도하는 스레드는 큐에 데이터가 들어올 때까지 차단된다.

그래서 스레드 관점에서 이 큐에 이름을 지어보면 BlockingQueue 라는 이름이 적절하다.

  • 자바는 생산자 소비자 문제 또는 한정된 버퍼라고 불리는 문제를 해결하기 위해서 java.util.concurrent.BlockingQueue 라는 인터페이스와 구현체를 제공한다.

BlockingQueue - 예제6

자바는 생산자 소비자 문제를 해결하기 위해서 java.util.concurrent.BlockingQueue 라는 특별한 멀티스레드 구조를 제공한다. 이것은 이름 그대로 스레드를 차단(Blocking) 할 수 있는 큐다.

  • 데이터 추가 차단 : 큐가 가득 차면 데이터 추가 작업(put()) 을 시도하는 스레드는 공간이 생길 때까지 차단된다.

  • 데이터 획득 차단 : 큐가 비어 있으면 획득 작업(take()) 을 시도하는 스레드는 큐에 데이터가 들어올 떄까지 차단된다.

java.util.concurrent.BlockingQueue

BlockingQueue 는 인터페이스이고, 다음과 같은 다양한 기능을 제공한다.

  • 데이터 추가 메서드 : add(), offer(), put(), offer(타임아웃)

  • 데이터 획득 메서드 : take(), poll(타임아웃), remove(...)

package java.util.concurrent;
 
public interface BlockingQueue<E> extends Queue<E> {
    boolean add(E e);
    boolean offer(E e);
    void put(E e) throws InterruptedException;
    boolean offer(E e, long timeout, TimeUnit unit) throws InterruptedException;
    
    E take() throws InterruptedException;
    E poll(long timeout, TimeUnit unit) throws InterruptedException;
    boolean remove(Object o);
    //...
}

BlockingQueue 인터페이스의 대표적인 구현체

  • ArrayBlockingQueue : 배열 기반으로 구현되어 있고, 버퍼의 크기가 고정되어 있다.

  • LinkedBlockingQueue : 링크 기반으로 구현되어 있고, 버퍼의 크기를 고정할 수도, 또는 무한하게 사용할 수도 있다.

BlockingQueue 를 사용하는BoundedQueueV6_1 를 만들고, 구현체를 바꾸어 실행해보자.

  • BoundedQueueV5 와 동일하게 동작하는 것을 확인할 수 있다.

package thread.bounded;

import java.util.concurrent.ArrayBlockingQueue;
import java.util.concurrent.BlockingQueue;

public class BoundedQueueV6_1 implements BoundedQueue {

       private BlockingQueue<String> queue;
       
       public BoundedQueueV6_1(int max) {
              queue = new ArrayBlockingQueue<>(max);
       }
       
       public void put(String data) {
              try {
                     queue.put(data);
              } catch (InterruptedException e) {
                     throw new RuntimeException(e);
              }
       }
       
       public String take() {
              try {
                     return queue.take();
              } catch (InterruptedException e) {
                     throw new RuntimeException(e);
              }
       }
       
       @Override       
       public String toString() { 
              return queue.toString();
       }
}

ArrayBlockingQueue.put()

주요 코드만 가지고 왔다.

앞서 우리가 구현한 BoundedQueueV5 와 비슷하게 구현되어 있다. ArrayBlockingQueue 는 내부에서 ReentrantLock 을 사용한다. 그리고 생산자 전용 대기실과 소비자 전용 대기실이 있다.

만약 버퍼가 가득 차면 생산자 스레드는 생산자 전용 대기실에서 대기(await()) 한다. 생산자 스레드가 생산을 완료하면 소비자 전용 대기실에 signal() 신호를 전달한다.

우리가 구현한 기능과 차이가 있다면 인터럽트가 걸릴 수 있도록 lock.lock() 대신 lock.lockInterruptibly() 을 사용한 점과, 내부 자료 구조의 차이 정도이다. (lock.lock() 은 인터럽트를 무시한다)

public class ArrayBlockingQueue {
    final Object[] items;
    int count;
    ReentrantLock lock;
    Condition notEmpty; //소비자 스레드가 대기하는 condition
    Condition notFull; //생산자 스레드가 대기하는 condition

    public void put(E e) throws InterruptedException {
        lock.lockInterruptibly();
        try {
            while (count == items.length) {
                notFull.await();
            }
            enqueue(e);
        } finally {
            lock.unlock();
        }
    }
    private void enqueue(E e) {
        items[putIndex] = e;
        count++;
        notEmpty.signal();
    }
}

BlockingQueue - 기능 설명

실무에서 멀티스레드를 사용할때는 응답성이 중요하다.

  • 예를 들어, 대기 상태가 있어도 고객이 중지 요청을 하거나, 또는 너무 오래 대기한 경우 포기하고 빠져나갈 수 있는 방법이 필요하다.

  • 생산자가 무언가 데이터를 생산하는데, 버퍼가 빠지지 않아서 너무 오래 대기해야 한다면, 무한정 기다리는 것 보다는 작업을 포기하고, 고객분께는 "죄송합니다. 현재 시스템에 문제가 있습니다." 라고 하는 것이 더 나은 성택일 것이다.

큐가 가득 찼을 때 생각할 수 있는 선택지는 4가지가 있다.

  • 예외를 던진다. 예외를 받아서 처리한다.

  • 대기하지 않는다. false 를 반환한다.

  • 대기한다.

  • 특정 시간 만큼만 대기한다.

이런 문제를 해결하기 위해서 BlockingQueue 는 각 상황에 맞게 다양한 메서드를 제공한다.

BlockingQueue 의 다양한 기능 (공식 문서)

Throws Exception - 대기시 예외

  • add(e) : 지정된 요소를 큐에 추가하며, 큐가 가득 차면 IllegalStateException 예외를 던진다.

  • remove() : 큐에 머리 요소를 반환하지만, 큐가 비어 있으면 NoSuchElementException 예외를 던진다.

  • element() : 큐에 머리 요소를 반환하지만, 요소를 큐에서 제거하지 않는다. 큐가 비어 있으면 NoSuchElementException 예외를 던진다.

Special Value - 대기시 즉시 반환

  • offer(e) : 지정된 요소를 큐에 추가하려고 시도하며, 큐가 가득 차면 false 를 반환한다.

  • poll() : 큐에서 요소를 제거하고 반환한다. 큐가 비어 있으면 null 을 반환한다.

  • peek() : 큐의 머리 요소를 반환하지만, 요소를 큐에서 제거하지 않는다.

Blocks - 대기

  • put(e) : 지정된 요소를 큐에 추가할 떄까지 대기한다. 큐가 가득 차면 공간이 생길 때까지 대기한다.

  • take() : 큐에서 요소를 제거하고 반환한다. 큐가 비어 있으면 요소가 준비될 때까지 대기한다.

Times Out - 시간 대기

  • offer(e, time, unit) : 지정된 요소를 큐에 추가하려고 시도하며, 지정된 시간 동안 큐가 비워지기를 기다리다가, 시간이 초과되면 false 를 반환한다.

  • poll(time, unit) : 큐에서 요소를 제거하고 반환한다. 큐에 요소가 없다면 지정된 시간 동안 요소가 준비되기를 기다리다가 시간이 초과되면 null 을 반환한다.

참고로 BlockingQueue 의 모든 대기, 시간 대기 메서드는 인터럽트를 제공한다.

BlockingQueue - 기능 확인

BlockingQueue - 즉시 반환

  • offer(data) 는 성공하면, true 를 반환하고, 버퍼가 가득 차면 즉시 false 를 반환한다.

  • poll() 버퍼에 데이터가 없으면 즉시 null 을 반환한다.

package thread.bounded;

import java.util.concurrent.ArrayBlockingQueue;
import java.util.concurrent.BlockingQueue;

import static util.MyLogger.log;

public class BoundedQueueV6_2 implements BoundedQueue {

    private BlockingQueue<String> queue;

    public BoundedQueueV6_2(int max) {
        this.queue = new ArrayBlockingQueue<>(max);
    }

    @Override
    public void put(String data) {
        boolean result = queue.offer(data);
        log("저장 시도 결과 = " + result);
    }

    @Override
    public String take() {
        return queue.poll();
    }

    @Override
    public String toString() {
        return queue.toString();
    }
}

BlockingQueue - 시간 대기

  • offer(data, 시간) 는 성공하면 true 를 반환하고, 버퍼가 가득 차서 스레드가 대기해야 하는 상황이면, 지 정한 시간까지 대기한다. 대기 시간을 지나면 false 를 반환한다.

    • 여기서는 확인을 목적으로 1 나노초( NANOSECONDS )로 설정했다.

  • poll(시간) 버퍼에 데이터가 없어서 스레드가 대기해야 하는 상황이면, 지정한 시간까지 대기한다. 대기 시간을 지나면 null 을 반환한다.

    • 여기서는 2초( SECONDS )로 설정했다.

package thread.bounded;

import java.util.concurrent.ArrayBlockingQueue;
import java.util.concurrent.BlockingQueue;
import java.util.concurrent.TimeUnit;

import static util.MyLogger.log;

public class BoundedQueueV6_3 implements BoundedQueue {

    private BlockingQueue<String> queue;

    public BoundedQueueV6_3(int max) {
        this.queue = new ArrayBlockingQueue<>(max);
    }

    @Override
    public void put(String data) {
        boolean result = false;
        try {
            // 대기 시간 설정
            result = queue.offer(data, 1, TimeUnit.NANOSECONDS);
            log("저장 시도 결과 = " + result);
        } catch (InterruptedException e) {
            throw new RuntimeException(e);
        }
    }

    @Override
    public String take() {
        try {
            // 대기 시간 설정
            return queue.poll(2, TimeUnit.SECONDS);
        } catch (InterruptedException e) {
            throw new RuntimeException(e);
        }
    }

    @Override
    public String toString() {
        return queue.toString();
    }
}

BlockingQueue - 예외

  • add(data) 는 성공이면 true 를 반환하고, 버퍼가 가득 차면 즉시 예외가 발생한다.

    • java.lang.IllegalStateException : Queue full

  • remove() 는 버퍼에 데이터가 없으면, 즉시 예외가 발생한다.

    • java.util.NoSuchElementException

package thread.bounded;

import java.util.concurrent.ArrayBlockingQueue;
import java.util.concurrent.BlockingQueue;
import java.util.concurrent.TimeUnit;

import static util.MyLogger.log;

public class BoundedQueueV6_4 implements BoundedQueue {

    private BlockingQueue<String> queue;

    public BoundedQueueV6_4(int max) {
        this.queue = new ArrayBlockingQueue<>(max);
    }

    @Override
    public void put(String data) {
        queue.add(data);    // java.lang.IllegalStateException : Queue full
    }

    @Override
    public String take() {
        return queue.remove();  // java.util.NoSuchElementExcpetion
    }

    @Override
    public String toString() {
        return queue.toString();
    }
}
Previous생산자 소비자 문제1NextCAS - 동기화와 원자적 연산

Last updated 7 days ago