서브메뉴

본문

운영체제
운영체제
저자 : Lubomir F. Bic
출판사 : 사이텍미디어(희중당)
출판년 : 2005
정가 : 32000, ISBN : 8955501285

책소개


이 책은 단일 프로세서 컴퓨터 시스템에서 분산/병렬 컴퓨터 시스템으로의 주요 변화를 다루고 있다. 이 교재는 중앙집중식 컴퓨팅과 더욱 새롭고 진보된 시스템에 도입되는 분산 컴퓨팅 모두에서 계속적으로 적용되는 근본적인 아이디어와 원리 그리고 개념들을 통합한 첫 번째 교재이다.

* 이 책의 특징
- 운영체제의 주요 개념들을 강조함으로써 시스템의 진보에 관심 없는 관련 종사자에게도 완벽한 지식을 제공한다.
- 이 교재 전체에 걸쳐있는 UNIX, Linux, Windows와 다른 사례를 살펴봄으로써 실제 시스템에 있어서의 운영체제의 원리와 개념의 관련성을 설명한다.
- 실제적이고 이해하기 쉬운 형태로 만든 많은 구체적인 예제를 통하여 운영체제의 원리와 개념에 대한 이해를 돕고 있다.
- 병행성과 병렬성을 위한 프로세스와 스레드에 대해서는 2장과 3장에서 프로그래밍 관점에서 다루었고, 4장과 5장에서는 구현 이슈에 대해 다루었다. 또한 다양한 구조물과 필요한 자료구조와 연산을 설명하고 있다.
- 분산 파일 시스템 이슈에 대해 완벽하게 다루고 있다. 또한 보통 다중 서버나 네트워크상에 분산되어 있는 실제 파일 시스템에 대한 최신의 시각을 갖게 한다.
- 보호와 보안과 관련된 주제들을 소개하였는데 이를 통해 오늘날의 악의적인 바이러스와 웜에 시달리는 환경에서의 매우 중요한 이슈와 기술에 대해 명확히 이해할 수 있게 한다.

목차


저자머리말 iii
역자머리말 vii

제1장 서 론 1
1.1 운영체제의 역할 1
1.2 운영체제의 구조 13
1.3 운영체제의 발전과 개념 29

Part I 프로세스 관리 및 조정
제2장 기본 개념 : 프로세스와 프로세스 상호작용 45
2.1 프로세스 개념 45
2.2 프로세스 정의 및 인스턴스 생성 47
2.3 기본적인 프로세스 상호작용 60
2.4 세마포 69
2.5 사건 동기화 75

제3장 고급 동기화와 통신 83
3.1 공유 메모리 방법 84
3.2 분산된 동기화와 통신 92
3.3 다른 고전 동기화 문제 108

제4장 운영체제 커널: 프로세스와 스레드 구현 127
4.1 커널 정의와 목적 128
4.2 큐 구조 130
4.3 스레드 136
4.4 프로세스와 스레드 구현 138
4.5 동기화와 통신 메커니즘 구현 150
4.6 인터럽트 처리 169

제5장 프로세스와 스레드 스케줄링 179
5.1 스케줄러의 구조 180
5.2 스케줄링 방법 184
5.3 우선순위 반전 204
5.4 다중프로세서와 분산 스케쥴링 208

제6장 교착상태 215
6.1 재사용가능한 자원과 소모적 자원으로 인한 교착상태 216
6.2 교착상태 문제에 대한 접근 방법 220
6.3 시스템 모델 221
6.4 교착상태 탐지 227
6.5 교착상태로부터의 회복 234
6.6 동적인 교착상태 회피 236
6.7 교착상태 예방 241

Part II 메모리 관리
제7장 물리적 메모리 253
7.1 실행을 위한 프로그램 준비 253
7.2 메모리 분할 기법 260
7.3 가변 분할에 대한 할당 전략 270
7.4 불충분한 메모리 관리 274

제8장 가상 메모리 285
8.1 가상 메모리의 원리 285
8.2 가상 메모리의 구현 288
8.3 페이지 시스템에서 메모리 할당 304

제9장 주 메모리에서의 데이터 및 코드 공유 339
9.1 단일 사본 공유 340
9.2 가상 메모리가 없는 시스템에서의 공유 344
9.3 페이징 시스템에서의 공유 346
9.4 세그먼테이션 시스템에서의 공유 351
9.5 분산 공유 메모리 원칙 356
9.6 분산 공유 메모리 구현 361

Part III 파일 시스템과 입출력
제10장 파일 시스템 379
10.1 파일 관리의 기본 기능 380
10.2 파일 시스템의 계층적 모델 381
10.3 사용자 관점에서의 파일 384
10.4 파일 디렉터리 393
10.5 기본 파일 시스템 410
10.6 장치 구성 방법 414
10.7 분산 파일 시스템의 원리 422
10.8 분산 파일 시스템의 구현 429

제11장 입출력 시스템 445
11.1 장치 관리에 관한 기본적인 문제 445
11.2 입출력 시스템의 계층적 모델 448
11.3 입출력 장치 453
11.4 장치 드라이버 466
11.5 장치 관리 482

Part IV 보호 및 보안
제12장 보호와 보안 인터페이스 511
12.1 보안 위협 512
12.2 보호 시스템의 기능 526
12.3 사용자 인증 529
12.4 안전한 통신 536

제13장 내부 보호 기법 555
13.1 접근 제어 환경 555
13.2 명령어 수준 접근 제어 556
13.3 고급수준 접근 제어 566
13.4 정보 흐름 제어 583

Part V 프로그래밍 프로젝트
프로젝트 1 프로세스/스레드 동기 599
1 프로젝트 개요 599
2 레이스 조건 준비 599
3 임계영역 문제 해법 601
4 일반적인 세마포 구현 602
5 유한 버퍼 603
6 요약 603
7 추가 작업 604

프로젝트 2 프로세스와 자원 관리 605
1 프로젝트 개요 605
2 기본적인 프로세스와 자원 관리자 605
3 확장된 프로세스와 자원 관리자 612
4 요약 615
5 추가 작업 615

프로젝트 3 주 메모리 관리 617
1 프로젝트 개요 617
2 메모리 관리자 617
3 시뮬레이션 실험 619
4 요약 621
5 추가 작업 622

프로젝트 4 페이지 교체 알고리즘 623
1 프로젝트 개요 623
2 전역 페이지 교체 알고리즘 623
3 지역 페이지 교체 알고리즘 624
4 참조 문자열 생성 626
5 성능 평가 627
6 요약 628
7 추가 작업 628

프로젝트 5 파일 시스템 631
1 프로젝트 개요 631
2 입력/출력 시스템 631
3 파일 시스템 632
4 프리젠테이션 쉘 636
5 요약 637
6 추가 작업 637

기타 프로그래밍 프로젝트 639
1 타이머 기능 639
2 프로세스 스케줄링 640
3 은행원 알고리즘 640
4 디스크 스케줄링 알고리즘 641
5 안정적인 기억장치 641
용어설명 643
찾아보기 657