Detail View

베스트 셀러인 이 컴퓨터 구조 책은 요즘 업계에서 일어나고 있는 혁신적인 변화에 초점을 맞춰 철저히 개정되었다. 추가로 이 ARM 버전은 아시아에서의 임베디드 컴퓨팅 업계의 중요성과 임베디드 디바이스에서의 가장 인기 있는 명령어 집합 구조 중 하나인 ARM 프로세서의 특징을 강조하여 실제 컴퓨터에서의 명령어 집합과 산술연산을 자세히 살펴본다.

지난 버전에서와 마찬가지로 MIPS 프로세서는 하드웨어 기술, 파이프라이닝, 메모리 계층 및 입출력의 기본원리를 설명하는데 사용되었으며, X86 구조에 대한 해당 절들 또한 포함되어있다. CD에서는 시뮬레이터와 컴파일러 툴킷을 제공할 뿐 아니라 이들을 사용하기 위한 튜토리얼 및 좀 더 깊은 공부를 위한 고급 내용들과 책에 포함되지 않은 연습문제들을 확인할 수 있다.

4차 개정판에서의 변화
이 책의 4차 개정판을 내는데 있어서 다섯 가지 목표를 정했다. 즉 마이크로프로세서에서 다중코어 혁명이 일어나므로 이 책 전반을 통하여 병렬 하드웨어 및 소프트웨어 토픽을 강조하자. 병렬성 관련 주제에 대한 공간을 마련하기 위하여 기존 자료를 합리화하자. 2004년도의 3판 발간 이후의 산업계 변화를 반영하기 위하여 기술 자료를 갱신하자. 인터넷 시대에 맞도록 연습문제의 유용성을 복원하자 라는 여섯 가지 목표였다.

이 목표들에 대해 좀 더 구체적으로 논의하기 전에 다음 페이지에 있는 표를 보자. 여기에는 이 책을 통한 하드웨어 및 소프트웨어 측면에서 읽어야 될 방향을 보여주고 있다. 1장, 4장, 5장, 7장은 경험이나 강조관점하고 상관없이 양쪽에서 다 찾을 수 있다. 1장은 새로운 소개로서 전력의 중요성에 대한 논의를 포함하고 있으며 단일 코어에서 다중코어 프로세서로 전환하도록 동기유발을 하고 있다. 또한 3판에서 다른 장에 있던 성능과 벤치마킹에 관한 것도 1장에 포함되어있다. 2장은 하드웨어 관련자들을 위하여 자료를 훑고 있는 것처럼 보이지만 소프트웨어 관련자들 특히 컴파일러나 객체지향 언어에 대해 좀 더 배우고 싶어하는 독자에게는 반드시 읽어야 되는 장이다. 여기에는 3판에서 3장에 있던 자료를 포함하고 있으며 단일 장에서 부동소수점 명령어를 제외하고는 ARM 구조에 대해 완벽하게 커버하고 있다. 3장은 데이터패스 구성하는 것에 관심있거나 부동소수점 연산에 관심있는 독자를 위한 장이다. 여기에선 예제로 ARM 명령어를 사용한다. 어떤 이들은 3장을 건너뛸텐데 3장내용이 필요없거나 단지 복습이기 때문일 것이다. 4장에서는 3판에서 두 장에 걸쳐 다루었던 내용을 합하여 파이프라인 프로세서를 설명하고 있다. 4.1절, 4.5절, 4.10절은 소프트웨어 관심자들에게는 개략적인 내용을 알게 해줄 것이다. 하드웨어 관심자들에게는 4장은 핵심 내용을 제공하고 있다. 또한 독자들 지식배경에 따라 논리 회로 설계에 관한 부록 C를 맨 먼저 읽기를 원할 수도 있다. 저장장치에 관한 6장은 소프트웨어 관심자들에게는 필수적인 내용을 포함하고 있으며 다른 사람들도 시간이 허용하는 한 읽어야 한다. 다중 코어, 다중 프로세서, 클러스터를 다루고 있는 마지막 장은 거의 모두 새로운 내용이며 모든 이가 읽어야 된다.

첫 번째 목표가 병렬성을 이 책에서 가장 우선시하는 것이었다. 이 내용은 지난 3판에서는 CD 에 포함되어있던 장이었다. 가장 확실한 예는 7장인데 특히 이 장은 천장라인(Roofline) 성능 모델을 소개하고 있으며 최근에 나온 네 개의 다중코어 구조를 두 개의 커널에서 성능평가함으로써 그 가치를 보여주고 있다. 이 모델은 마치 3C 모델이 캐쉬에 대한 관점을 잘 나타내듯이 다중 코어 마이크로프로세서에 대해 쉽게 이해하도록 해준다. 병렬성의 중요성 때문에 이를 다루기 위해 마지막 장까지 기다리는 것은 어리석기 때문에 앞선 6개의 장에서도 병렬성에 관한 절이 따로 있다.
1장: 병렬성과 전력. 전력제한이 어떻게 업계로 하여금 병렬성으로 눈을 돌리게 만들었으며 병렬성은 왜 도움이 되는지 보여준다.
2장: 병렬성과 명령어: 동기화. 이 절에서는 공유 변수에 대한 잠금을 다룬다. 특히 ARM명령어 SWP를 다룬다.
3장: 병렬성과 컴퓨터 연산: 부동소수점 결합법칙. 이 절에서는 수치 정밀도 및 부동소수점 계산시의 도전을 다룬다.
4장: 병렬성과 고급 명령어수준 병렬성. 이 절에서는 파이프라인 깊이와 전력 소모 사이의 관계뿐 아니라 고급 ILP 즉 슈퍼스칼라, 추정, VLIW, 루프 펼치기 및 OOO 등을 다룬다.
5장: 병렬성 및 메모리 계층: 캐쉬 일관성. 이 절에서는 일관성 및 캐쉬 프로토콜 스누핑을 소개한다.
6장: 병렬성 및 입출력: RAID. RAID을 가용성 높은 ICO 시스템뿐 아니라 병렬 입출력 시스템으로 서술한다.
7장에서는 병렬성으로 나가는 것이 과거 때보다 왜 성공적인지에 대한 이유를 이야기하면서 결론 맺고 있다.

특히 부록에 그래픽처리 유닛을 추가하게 되어 매우 들떠있는데 이 그래픽처리 유닛은 NVIDIA의 주임과학자 David Kirk와 주임 설계자 John Nickolls가 쓴 것이다. 부록A는 GPU 에 대해 처음으로 깊게 다루고 있는데 이러한 GPU는 컴퓨터 구조에서 새롭고 흥미 있는 동력이다. 이 부록편은 이번 개정판의 병렬성에 관한 주제를 쌓아나가 컴퓨팅의 유형을 제시하도록 주력하는데 이러한 컴퓨팅의 유형은 비록 하드웨어는 가능한 한 SIMD 스타일로 실행하려 하겠지만 프로그래머로 하여금 MIMD 스타일로 생각하게끔 만든다. GPU 가 값싸지고 광범위하게 가용함에 따라 이제는 많은 랩탑에서도 발견할 수 있게 되었고 이들의 프로그래밍 환경은 제한 없이 가용하게 되어 많은 사람들이 경험할 수 있는 병렬 하드웨어 플랫폼을 제공하고 있다.

두 번째 목표는 책을 합리화하여 병렬성을 위한 내용을 실을 수 있도록 공간을 마련하는 것이다. 첫 번째 단계는 지난 세 개의 버전에 있는 모든 구절을 자세히 훓어서 그들이 아직도 필요한지 살피는 것이다. 좀 더 큼직한 변화는 장들을 합치고 주제를 떨어내는 것이다. Mark Hill 은 다중사이클 프로세서 구현을 버리고 대신에 다중사이클 캐쉬 제어기를 메모리계층 장에 추가할 것을 제안하였는데 이렇게 함으로써 프로세서에 대한 장이 두 개에서 하나로 합쳐졌고 좀 더 중요한 것만 남게 되었다. 3판에서 독립된 장으로 있던 성능에 대한 내용은 첫 장 속으로 녹아 들게 되었다.

Information Provided By: :

목차
01 컴퓨터 추상화 및 관련 기술
 1.1 서론 = 2
 1.2 프로그램 밑의 세계 = 8
 1.3 케이스를 열고 = 12
 1.4 성능 = 25
 1.5 전력 장벽 = 37
 1.6 현저한 변화: 단일 프로세서에서 멀티프로세서로의 변화 = 39
 1.7 실례: AMD Opteron X4 의 제작과 벤치마킹 = 43
 1.8 오류 및 함정 = 50
 1.9 결론 = 53
 1.10 역사적 고찰 및 참고 문헌 = 55
 1.11 연습문제 = 56
02 명령어
 2.1 서론 = 66
 2.2 하드웨어 연산 = 69
 2.3 피연산자 = 71
 2.4 부호있는 수와 부호없는 수 = 77
 2.5 명령어의 컴퓨터 내부 표현 = 84
 2.6 논리연산 명령어 = 92
 2.7 판단을 위한 명령어 = 95
 2.8 하드웨어의 프로시져 지원 = 104
 2.9 문자와 문자열 = 114
 2.10 ARM의 32 비트 수치를 위한 주소지정 및 복잡한 주소지정방식 = 120
 2.11 병렬성과 명령어: 동기화 = 127
 2.12 프로그램 번역과 실행 = 129
 2.13 종합: C 정렬 프로그램 = 138
 2.14 배열과 포인터 = 147
 2.15 고급자료: C 컴파일 및 JAVA 인터프리트 = 152
 2.16 실례: MIPS 명령어 = 152
 2.17 실례: x86 명령어 = 157
 2.18 오류 및 함정 = 166
 2.19 결론 = 168
 2.20 역사적 고찰 및 참고 문헌 = 170
 2.21 연습문제 = 171
03 컴퓨터 연산
 3.1 개요 = 194
 3.2 덧셈과 뺄셈 = 195
 3.3 곱셈 = 199
 3.4 나눗셈 = 206
 3.5 부동소수점 = 212
 3.6 병렬처리와 산술연산 : 결합법칙 = 241
 3.7 실례: x86 에서의 부동소수점 연산 = 242
 3.8 오류 및 함정 = 246
 3.9 결론 = 249
 3.10 역사적 고찰 및 참고 문헌 = 253
 3.11 연습문제 = 253
04 프로세서
 4.1 서론 = 264
 4.2 논리 설계 관례 = 269
 4.3 데이터패스 만들기 = 272
 4.4 단순한 구현 = 280
 4.5 파이프라이닝에 대한 개관 = 294
 4.6 파이프라인 데이터패스 및 제어 = 309
 4.7 데이터 해저드: 전방전달 대 지연 = 328
 4.8 제어 해저드 = 341
 4.9 예외 = 351
 4.10 병렬성 및 고급 명령어 수준 병렬성 = 358
 4.11 실례: AMD Opteron X4(Barcelona) 파이프라인 = 372
 4.12 고급 주제: 파이프라인을 서술하고 모델링하기 위해 하드웨어 설계 언어를 사용하여 논리회로 설계하기에 대한 소개 및 좀 더 다양한 파이프라인 그림들 = 375
 4.13 오류 및 함정 = 376
 4.14 결론 = 377
 4.15 역사적 고찰 및 참고 문헌 = 378
 4.16 연습문제 = 378
05 메모리 계층구조 
 5.1 서론 = 402
 5.2 캐쉬의 기본 = 407
 5.3 캐쉬 성능의 측정 및 향상 = 425
 5.4 가상 메모리 = 441
 5.5 메모리 계층을 위한 공통 구조 = 468
 5.6 가상 머신 = 475
 5.7 간단한 캐쉬를 제어하기 위한 유한상태기 = 479
 5.8 병렬성과 메모리 계층구조: 캐쉬 일관성 = 484
 5.9 고급 자료: 캐쉬 제어기 구현 = 488
 5.10 실례: AMD Opteron X4(Barcelona)와 Intel Nehalem의 메모리 계층 구조 = 488
 5.11 오류 및 함정 = 493
 5.12 결론 = 497
 5.13 역사적 고찰 및 참고문헌 = 498
 5.14 연습문제 = 498
06 저장장치와 다른 주변장치
 6.1 서론 = 510
 6.2 신용성, 신뢰성과 가용성 = 513
 6.3 디스크 저장장치 = 516
 6.4 플래시 저장장치 = 521
 6.5 프로세서, 메모리와 입출력 장치 연결 = 523
 6.6 입출력 장치와 메모리, 프로세서, 운영체제와의 인터페이스 = 528
 6.7 입출력 성능 측도: 디스크와 파일 시스템의 예 = 537
 6.8 입출력 시스템의 설계 = 540
 6.9 병렬 처리와 입출력: RAID = 541
 6.10 실례: Sun Fire x4150 서버 = 548
 6.11 고급주제: 네트워크 = 555
 6.12 오류 및 함정 = 555
 6.13 결론 = 560
 6.14 역사적 고찰 및 참고 문헌 = 561
 6.15 연습문제 = 562
07 멀티코어, 멀티프로세서 및 클러스터
 7.1 서론 = 572
 7.2 병렬처리 프로그램 개발의 어려움 = 575
 7.3 공유 메모리 멀티프로세서 = 580
 7.4 클러스터와 메시지 전달 멀티프로세서 = 583
 7.5 하드웨어 멀티스레딩 = 587
 7.6 SISD, MIMD, SIMD, SPMD와 벡터 = 590
 7.7 그래픽 처리 유닛의 기초 = 596
 7.8 멀티프로세서 네트워크 위상의 기초 = 603
 7.9 멀티프로세서 벤치마크 = 606
 7.10 루프라인: 간단한 성능 모델 = 609
 7.11 실례: 루프라인 모델을 이용한 네 종류 멀티코어 벤치마킹 = 617
 7.12 오류 및 함정 = 625
 7.13 결론 = 627
 7.14 역사적 고찰 및 참고 문헌 = 629
 7.15 연습문제 = 629
CD-ROM CONTENT
 A Graphics and Computing GPUs A-2
 B1 ARM and Thumb Assembler Instructions B1-2
 B2 ARM and Thumb Instruction Encodings B2-2
 B3 Instruction Cycle Timings B3-2
 C The Basics of Logic Design C-2
 D Mapping Control to Hardware D-2
ADVANCED CONTENT
HISTORICAL PERSPECTIVES ＆ FURTHER READING
TUTORIALS
SOFTWARE
전체 연습문제