자바 언어·플랫폼 용어 사전

값을 직접 담느냐 주소를 담느냐의 차이. 대입·비교·null 가능 여부가 전부 여기서 갈린다.

원시 타입과 래퍼를 자동 변환하는 기능. 캐시 범위와 null 언박싱이라는 두 함정이 숨어 있다.

==는 주소를, equals는 논리적 같음을 본다. 둘을 함께 재정의하지 않으면 해시 컬렉션이 조용히 깨진다.

생성 후 상태가 바뀌지 않는 객체. 그 자체로 스레드 안전하고 해시 키·캐시로 안전하다.

붙는 자리마다 뜻이 다르다. 그리고 '참조가 안 바뀐다' 이지 '객체가 안 바뀐다' 가 아니다.

상수 묶음이 아니라 인스턴스가 고정된 클래스다. 그 성질이 싱글톤 보장까지 준다.

List<String>은 List<Object>가 아니다. 이 제약이 타입 안전을 지키고, PECS가 그 우회로다.

제네릭 타입 정보가 컴파일 후 사라지는 것. 그래서 런타임에 타입을 물을 수 없다.

한 스레드의 변경이 다른 스레드에 보이는가의 문제. volatile은 가시성과 순서를 보장하지만 원자성은 아니다.

임계 구역을 한 번에 하나만 지나가게 하는 장치. synchronized는 자동 해제, ReentrantLock은 기능이 많다.

예상값과 같을 때만 바꾸는 원자적 CPU 명령. 락 없이 동시성을 얻지만 고경합에서는 오히려 손해다.

스레드를 직접 만들지 않고 작업을 제출하는 방식. 풀 크기와 거부 정책이 안정성을 좌우한다.

블로킹 시 OS 스레드를 놓아 주는 JVM 관리 스레드. 블로킹 코드 그대로 수만 동시성을 얻는다.

함수를 값처럼 다루는 문법. 익명 클래스와 달리 invokedynamic으로 실행 시점에 구현이 만들어진다.

데이터 처리 파이프라인. 최종 연산이 불릴 때까지 아무것도 실행되지 않는다.

'값이 없을 수 있음' 을 타입에 드러내는 상자. 반환 타입 전용이다.

메모리 배치와 접근 패턴으로 고른다. 대부분 ArrayList와 HashMap이 정답이다.

락 분할과 CAS로 동시 접근을 처리하는 맵. 원자 연산의 조합은 여전히 원자적이지 않다.

"못 바꾼다"에는 세 단계가 있다 — 뷰, 진짜 불변, 그리고 깊은 불변.

해시 컬렉션에 넣은 뒤 equals·hashCode에 쓰이는 필드가 바뀌는 키. 원소가 컬렉션 안에 남은 채 검색·삭제가 안 되는 상태가 된다.

원본 리스트의 일부를 들여다보는 뷰. 복사본이 아니라서 양쪽 수정이 서로 보이고, 원본이 구조적으로 바뀌면 예외가 난다.

어떤 오버로드를 부를지 컴파일 시점에 정적 타입으로 결정하는 과정. List.remove(int)와 remove(Object)의 고전적 함정이 여기서 나온다.

배열은 equals·hashCode를 재정의하지 않아 주소로 비교된다. 내용 비교는 Arrays.equals·Arrays.hashCode를 써야 한다.

Integer.valueOf가 −128~127 값을 미리 만들어 재사용하는 것. 이 구간에서만 ==가 우연히 맞아 참조 비교 버그를 감춘다.

클래스 파일을 읽어 메모리에 올리는 과정. 로딩-링크-초기화 세 단계이며 초기화는 첫 사용까지 미뤄진다.

스레드가 공유하는 힙·메타스페이스와 스레드마다 갖는 스택·PC로 나뉜다. OOM 메시지가 어디를 가리키는지 알려 준다.

javac가 만드는 중간 표현. 스택 기반 명령어라 어떤 CPU에서도 같은 의미로 해석된다.

어떤 메서드 구현을 실제로 부를지 정하는 절차. 정적 바인딩과 동적 바인딩이 갈린다.

모든 객체가 데이터 앞에 다는 관리 정보. 해시·락·GC 나이가 여기 들어간다.

실행 중에 이름만으로 클래스를 찾아 쓰는 기능. 프레임워크가 우리 코드를 다루는 원리다.

인터페이스만 주면 그 구현체를 실행 중에 만들어 낸다. method.invoke 앞뒤에 코드를 넣는 것이 전부다.

루트에서 도달할 수 없는 객체를 회수하는 것. 참조 개수가 아니라 도달성으로 판단한다.

자주 실행되는 코드를 기계어로 번역하는 컴파일러. 그래서 자바는 워밍업 후에 빨라진다.

스레드마다 잘라 주는 힙 조각. 객체 할당이 포인터 하나 증가로 끝나는 이유.

"대부분의 객체는 금방 죽는다"는 가설 위에 세운 분할 수집 전략.

정지 시간을 힙 크기와 무관하게 유지하는 동시 수집기. G1과의 선택 기준.

값 객체의 보일러플레이트를 없애는 타입. sealed·패턴 매칭과 짝을 이뤄 대수적 데이터 타입을 만든다.

로드·링크된 클래스와 메서드 프로파일을 파일로 저장해 기동을 줄이는 기능. 코드 변경이 필요 없다.

Java 9의 모듈 시스템. 패키지 단위 공개 범위와 의존을 컴파일 타임에 선언한다.

여러 작업의 수명을 코드 블록에 묶는 모델. 누수와 취소 누락을 구조로 막는다.

스레드 안전한 지연 초기화를 언어가 대신 해 준다. 25의 StableValue가 26에서 이름·API가 바뀌었다.

락 비용을 줄이려는 지연 초기화 패턴. volatile 없이 쓰면 재정렬 때문에 조용히 깨진다.

서로 다른 변수가 같은 캐시 라인에 있어 코어끼리 무의미하게 경합하는 현상. 락이 없는데도 느려진다.

로그 문자열 안의 ${jndi:...}가 원격 클래스를 불러와 실행된 취약점. 신뢰 경계의 교과서 사례.

신뢰할 수 없는 바이트를 객체로 되살리면 클래스패스의 코드가 연쇄 실행될 수 있다.

캐시가 동시에 만료되며 요청이 한꺼번에 원본으로 몰리는 현상. 캐시가 DB를 죽인다.

정규식 백트래킹이 지수적으로 폭발해 CPU를 태우는 취약점. Cloudflare 글로벌 장애의 원인.

풀을 키우면 더 느려질 수 있다. 병목은 커넥션이 아니라 DB의 실제 동시 처리 능력이다.

힙은 멀쩡한데 프로세스 메모리가 계속 는다. 힙 밖 영역이 원인인 경우.

G1에서 Region 절반을 넘는 객체는 특별 취급된다. 빈 공간이 많아도 OOM이 난다.

힙이 아니라 스레드를 더 못 만들어 나는 OOM. 스레드 스택과 OS 한도가 원인이다.

close()를 컴파일러가 대신 넣어 주는 문법. finally 수동 정리의 함정을 없앤다.

Throwable 아래 Error·Exception·RuntimeException 구조. 검사 여부가 컴파일러 강제를 가른다.