The Garbage Collection Handbaook : 가비지 컬렉션을 기반으로 한 메모리 관리 기법

목차 (Table of Contents)

• 목차
• 지은이 소개 = 6
• 감사의 글 = 8
• 옮긴이 소개 = 10
• 옮긴이의 말 = 11
• 들어가며 = 24
• 1장 소개
• 1.1. 명시적 해제 = 30
• 1.2. 자동 동적 메모리 관리 = 33
• 1.3. 가비지 컬렉션 알고리즘 비교 = 35
• 안전성 = 36
• 처리량 = 36
• 완전성과 신속성 = 36
• 정지 시간 = 37
• 공간 오버헤드 = 39
• 특정 언어의 최적화 = 39
• 확장성과 이식성 = 40
• 1.4. 성능의 불이익? = 40
• 1.5. 실험적 방법론 = 41
• 1.6. 용어와 표기 = 43
• 힙 = 43
• 뮤테이터와 컬렉터 = 44
• 뮤테이터 루트 = 45
• 참조와 필드, 주소 = 45
• 생명성과 정확성, 접근성 = 46
• 의사 코드 = 47
• 할당자 = 47
• 뮤테이터 읽기와 쓰기 연산 = 47
• 원자적 연산 = 48
• 집합과 멀티셋, 시퀀스, 튜플 = 49
• 2장 마크 스윕 가비지 컬렉션
• 2.1. 마크 스윕 알고리즘 = 53
• 2.2. 삼색 추상화 = 56
• 2.3. 마크 스윕 개선 = 57
• 2.4. 비트맵 마킹 = 58
• 2.5. 지연된 스위핑 = 61
• 2.6. 마킹 루프에서 캐시 미스 = 65
• 2.7. 고려할 사항 = 67
• 뮤테이터 오버헤드 = 68
• 처리량 = 68
• 공간 사용량 = 68
• 이동시킬 것인가 말 것인가? = 69
• 3장 마크 컴팩트 가비지 컬렉션
• 3.1. 두 손가락 압축 = 73
• 3.2. 리스프 2 알고리즘 = 75
• 3.3. 스레디드 압축 = 77
• 3.4. 단일 패스 알고리즘 = 80
• 3.5. 고려할 사항 = 83
• 압축이 필요한가? = 83
• 압축에 의한 처리량의 비용 = 83
• 생명주기가 긴 데이터 = 84
• 지역성 = 84
• 마크 컴팩트 알고리즘의 한계 = 85
• 4장 복사 가비지 컬렉션
• 4.1. 반공간 복사 컬렉션 = 87
• 작업 리스트 구현 = 89
• 예제 = 91
• 4.2. 순회 순서와 지역성 = 93
• 4.3. 고려할 사항 = 99
• 할당 = 99
• 공간과 지역성 = 100
• 객체 이동 = 102
• 5장 참조 카운팅
• 5.1. 참조 카운팅의 장단점 = 107
• 5.2. 효율성 개선 = 109
• 5.3. 지연 참조 카운팅 = 110
• 5.4. 병합 참조 카운팅 = 113
• 5.5. 순환 참조 카운팅 = 117
• 5.6. 제한된 필드 참조 카운팅 = 124
• 5.7. 고려할 사항 = 124
• 환경 = 125
• 고급 해결책 = 125
• 6장 가비지 컬렉터 비교
• 6.1. 처리량 = 130
• 6.2. 정지 시간 = 130
• 6.3. 공간 = 131
• 6.4. 구현 = 132
• 6.5. 적응 시스템 = 133
• 6.6. 가비지 컬렉션의 통합 이론 = 134
• 추상 가비지 컬렉션 = 134
• 추적 가비지 컬렉션 = 135
• 참조 카운팅 가비지 컬렉션 = 137
• 7장 할당
• 7.1. 순차 할당 = 142
• 7.2. 프리 리스트 할당 = 143
• 최초 적합 할당 = 144
• 차선 적합 할당 = 145
• 최적 적합 할당 = 145
• 프리 리스트 할당의 속도 개선 = 147
• 7.3. 단편화 = 148
• 7.4. 분리 적합 할당 = 149
• 단편화 = 151
• 크기 클래스 채우기 = 152
• 7.5. 분리 적합과 최초, 최적, 차선 적합과의 조합 = 154
• 7.6. 추가 고려 사항 = 154
• 정렬 = 154
• 크기 제한 = 155
• 경계 태그 = 156
• 힙 파싱 가능성 = 156
• 지역성 = 158
• 비사용 영역의 보존 = 159
• 교차 맵 = 159
• 7.7. 병행 시스템에서의 할당 = 160
• 7.8. 고려할 사항 = 161
• 8장 힙 분할
• 8.1. 용어 = 163
• 8.2. 분할 이유 = 164
• 이동성에 의한 분할 = 164
• 크기에 의한 분할 = 165
• 공간에 의한 분할 = 165
• 종류에 의한 분할 = 166
• 효율성을 위한 분할 = 167
• 정지 시간 단축을 위한 분할 = 167
• 지역성을 위한 분할 = 168
• 스레드에 의한 분할 = 168
• 사용 가능성에 의한 분할 = 169
• 가변성에 의한 분할 = 170
• 8.3. 분할 방법 = 171
• 8.4. 분할 시점 = 172
• 9장 세대 가비지 컬렉션
• 9.1. 예제 = 176
• 9.2. 시간 측정 = 178
• 9.3. 세대 가설 = 178
• 9.4. 세대와 힙 배치 = 180
• 9.5. 다중 세대 = 181
• 9.6. 나이 기록 = 182
• 집단적 승격 = 182
• 반공간의 나이 기록 = 184
• 생존자 공간과 유연성 = 186
• 9.7. 프로그램 동작에 적응 = 188
• Appel식 가비지 컬렉션 = 189
• 피드백 제어 승격 = 190
• 9.8. 세대 간 포인터 = 192
• 기억 세트 = 193
• 포인터 방향 = 194
• 9.9. 공간 관리 = 195
• 9.10. 구세대 우선 가비지 컬렉션 = 197
• 9.11. 벨트웨이 = 200
• 9.12. 세대별 수집을 위한 분석 지원 = 203
• 9.13. 고려할 사항 = 204
• 9.14. 추상 세대별 가비지 컬렉션 = 207
• 10장 기타 분할 기법
• 10.1. 큰 객체 공간 = 211
• 트레드밀 가비지 컬렉터 = 212
• 운영체제의 지원을 통한 객체의 이동 = 214
• 포인터가 없는 객체 = 215
• 10.2. 위상 컬렉터 = 215
• 성숙 객체 공간 가비지 컬렉션 = 215
• 연결 기반의 가비지 컬렉션 = 219
• 스레드 로컬 가비지 컬렉션 = 221
• 스택 할당 = 225
• 영역 추론 = 226
• 10.3. 하이브리드 마크 스윕, 복사 컬렉터 = 227
• 가비지 우선 알고리즘 = 229
• 혼합 기법과 기타 방법 = 230
• 제한된 메모리 공간에서의 복사 컬렉션 = 234
• 10.4. 북마킹 가비지 컬렉션 = 237
• 10.5. 이면 참조 카운팅 = 238
• 10.6. 고려할 사항 = 240
• 11장 런타임 인터페이스
• 11.1. 할당 인터페이스 = 243
• 할당 속도 높이기 = 248
• 제로화 = 249
• 11.2. 포인터 찾기 = 250
• 보수적인 포인터 찾기 = 251
• 태깅된 값을 이용한 정확한 포인터 찾기 = 253
• 객체 내의 정확한 포인터 찾기 = 255
• 전역 루트에서 정확한 포인터 찾기 = 257
• 스택과 레지스터 내에서 정확한 포인터를 찾기 = 258
• 코드 내의 정확한 포인터 찾기 = 271
• 내부 포인터 다루기 = 273
• 파생 포인터 다루기 = 274
• 11.3. 객체 테이블 = 275
• 11.4. 외부 코드로부터의 참조 = 277
• 11.5. 스택 장벽 = 279
• 11.6. GC 안전한 지점과 뮤테이터 일시 정지 = 281
• 11.7. 가비지를 수집하는 코드 = 284
• 11.8. 읽기 장벽과 쓰기 장벽 = 286
• 엔지니어링 = 286
• 쓰기 장벽의 정확성 = 288
• 해시 테이블 = 290
• 순차 저장 버퍼 = 292
• 오버플로우 동작 = 294
• 카드 테이블 = 295
• 교차 맵 = 298
• 카드 요약 = 301
• 하드웨어와 가상 메모리 기법 = 302
• 쓰기 장벽 메커니즘 : 요약 = 303
• 청크 리스트 = 304
• 11.9. 주소 공간 관리 = 305
• 11.10. 가상 메모리 페이지 보호의 응용 = 307
• 이중 매핑 = 308
• 접근 금지 페이지의 응용 = 309
• 11.11. 힙 크기 선택 = 312
• 11.12. 고려할 사항 = 315
• 12장 언어 한정적인 사항
• 12.1. 최종화 = 319
• 파이널라이저를 실행하는 시점 = 321
• 어떤 스레드가 파이널라이저를 실행하는가? = 322
• 파이널라이저는 서로 병행적으로 실행할 수 있는가? = 323
• 파이널라이저는 도달 불가능해진 객체에 접근할 수 있는가? = 323
• 최종화가 진행된 객체는 언제 회수되는가? = 324
• 파이널라이저에서 오류가 있다면 어떻게 되는가? = 325
• 최종화에 대한 보장된 순서가 존재하는가? = 325
• 최종화 경쟁 문제 = 326
• 파이널라이저와 락 = 327
• 특정 언어에서의 최종화 = 328
• 추가 논의 = 330
• 12.2. 약한 참조 = 330
• 추가 동기 = 333
• 다양한 포인터 강도 지원 = 333
• Phantom 객체를 사용한 최종화 순서 조정 = 337
• 약한 포인터 정리 시의 경쟁 = 338
• 약한 포인터 정리에 대한 통지 = 338
• 여타 언어에서의 약한 포인터 = 339
• 12.3. 고려할 사항 = 340
• 13장 병행성 입문
• 13.1. 하드웨어 = 343
• 프로세서와 스레드 = 344
• 상호 연결 = 344
• 메모리 = 346
• 캐시 = 346
• 일관성 = 347
• 캐시 일관성 성능 예제 : 스핀 락 = 348
• 13.2. 하드웨어 메모리 일관성 = 351
• 펜스와 선행 발생 = 353
• 일관성 모델 = 353
• 13.3. 하드웨어 기본 연산 = 354
• Compare-and-swap = 355
• Load-linked／store-conditionally = 356
• 원자적 기본 산술 연산 = 358
• Test-then-test-and-set = 359
• 좀 더 강력한 기본 연산 = 360
• 원자적 기본 연산의 오버헤드 = 362
• 13.4. 진행 보장 = 362
• 진행 보장과 병행성 수집 = 364
• 13.5. 병행성 알고리즘에서의 표기법 = 365
• 명시적 펜스 지점 = 367
• 13.6. 상호 배제 = 367
• 13.7. 작업 공유와 종료 탐지 = 369
• 랑데뷰 장벽 = 375
• 13.8. 병행성 자료 구조 = 376
• 병행성 스택 = 379
• 단일 연결 리스트로 구현된 병행성 큐 = 381
• 배열로 구현된 병행성 큐 = 385
• 작업 가져오기 용도의 병행성 데큐 = 392
• 13.9. 트랜잭션 메모리 = 394
• 트랜잭션 메모리란 무엇인가? = 394
• 수집 구현에 도움이 되는 트랜잭션 메모리 사용 = 398
• 가비지 컬렉션에서의 트랜잭션 메모리 지원 = 399
• 13.10. 고려할 사항 = 401
• 14장 병렬 가비지 컬렉션
• 14.1. 병렬화할 만한 충분한 작업이 존재하는가? = 405
• 14.2. 부하 분산 = 406
• 14.3. 동기화 = 408
• 14.4. 분류 = 409
• 14.5. 병렬 마킹 = 409
• 프로세서 중심적 기법 = 410
• 14.6. 병렬 복사 = 422
• 프로세서 중심적 기법 = 422
• 메모리 중심적 기법 = 429
• 14.7. 병렬적 스위핑 = 435
• 14.8. 병렬 압축 = 436
• 14.9. 고려할 사항 = 441
• 용어 = 441
• 병렬 수집을 할 만한 가치가 있는가? = 441
• 작업 분산 전략 = 442
• 추적 관리 = 442
• 저수준 동기화 = 444
• 스윕과 압축 = 445
• 종료 = 446
• 15장 병행성 가비지 컬렉션
• 15.1. 병행성 수집의 정확성 = 449
• 다시 살펴보는 삼색 추상화 = 450
• 손실된 객체 문제 = 451
• 강한 삼색 불변성과 약한 삼색 불변성 = 453
• 정밀성 = 455
• 뮤테이터 색상 = 455
• 할당 색상 = 456
• 점진적 갱신 해결책 = 456
• 시작 시점에서 스냅샷을 이용한 해결책 = 457
• 15.2. 병행성 수집에서의 장벽 기법 = 458
• 그레이 뮤테이터 기법 = 459
• 블랙 뮤테이터 기법 = 460
• 장벽 기법의 완벽성 = 461
• 병행성 쓰기 장벽 메커니즘 = 462
• 1단계 카드 테이블 = 464
• 2단계 카드 테이블 = 464
• 작업 줄이기 = 464
• 15.3. 고려할 사항 = 466
• 16장 병행적 마크 스윕
• 16.1. 초기화 = 470
• 16.2. 종료 = 471
• 16.3. 할당 = 472
• 16.4. 병행적 마킹과 스윕 = 474
• 16.5. 온더플라이 마킹 = 476
• 온더플라이 수집에서의 쓰기 장벽 = 476
• Doligez-Leroy-Gonthier = 477
• 자바에서의 Doligez-Leroy-Gonthier = 479
• 슬라이딩 뷰 = 480
• 16.6. 추상적 병행성 수집 = 481
• 컬렉터 파면 = 483
• 원래 객체 추가 = 484
• 뮤테이터 장벽 = 484
• 정밀도 = 485
• 컬렉터의 인스턴스화 = 485
• 16.7. 고려할 사항 = 486
• 17장 병행성 복사와 압축
• 17.1. 모스틀리 병행적 복사 : 베이커 알고리즘 = 490
• 모스틀리 병행적, 모스틀리 복사 수집 = 493
• 17.2. Brook의 간접 장벽 = 493
• 17.3. 자가 삭제 읽기 장벽 = 495
• 17.4. 복제 복사 = 495
• 17.5. 다중 버전의 복사 = 497
• 카피온라이트 방지를 위한 확장 = 499
• 17.6. 사파이어 = 501
• 컬렉터 단계 = 503
• 병합 단계 = 509
• 휘발성 필드 = 510
• 17.7. 병행성 압축 = 510
• 컴프레서 = 510
• 무정지 = 514
• 17.8. 고려할 사항 = 523
• 18장 병행성 참조 카운팅
• 18.1. 단순한 참조 카운팅 다시 살펴보기 = 525
• 18.2. 버퍼화된 참조 카운팅 = 529
• 18.3. 병행적, 순환 참조 카운팅 = 531
• 18.4. 힙 스냅샵 담기 = 532
• 18.5. 슬라이딩 뷰 참조 카운팅 = 534
• 연령 지향적인 수집 = 534
• 알고리즘 = 534
• 슬라이딩 뷰 순환 회수 = 538
• 메모리 일관성 = 539
• 18.6. 고려할 사항 = 540
• 19장 실시간 가비지 컬렉션
• 19.1. 실시간 시스템 = 544
• 19.2. 실시간 컬렉션 스케줄링 = 545
• 19.3. 작업 기반의 실시간 수집 = 546
• 병렬적, 병행적 복제 = 546
• 작업 기반 스케줄링에서 불균형한 작업과 그 영향 = 555
• 19.4. 슬랙 기반의 실시간 컬렉션 = 558
• 컬렉터 작업 스케줄링 = 562
• 실행 오버헤드 = 563
• 프로그래머 입력 = 564
• 19.5. 시간 기반의 실시간 수집 : 메트로놈 = 564
• 뮤테이터 사용량 = 565
• 예측 가능성 지원 = 567
• 분석 = 569
• 견고성 = 576
• 19.6. 스케줄링 접근법 통합 : 증세 정책 = 576
• 증세 정책 스케줄링 = 577
• 증세 정책 선제 조건 = 579
• 19.7. 단편화 제어 = 582
• 메트로놈에서 점진적 압축 = 583
• 단일 프로세서에서의 점진적 복제 = 584
• 무정지 : 락이 없는 가비지 컬렉션 = 586
• 스타카토 : 뮤테이터 대기 없음을 이용한 최선의 압축 = 587
• 치킨 : x86에서 뮤테이터 대기가 없는 최선의 압축 = 591
• 클로버 : 락이 없는 확률적 뮤테이터를 이용한 보장된 압축 = 592
• 무정지 기법과 치킨, 클로버의 비교 = 594
• 단편화된 할당 = 595
• 19.8. 고려할 사항 = 598
• 용어집 = 601
• 참고 문헌 = 621
• 찾아보기 = 654