| 000 | 00828namccc200253 k 4500 | |
| 001 | 000000840381 | |
| 005 | 20100806060247 | |
| 007 | ta | |
| 008 | 031010s2003 ulk 001a kor | |
| 020 | ▼a 8955501323 ▼g 93560 : ▼c \20000 | |
| 035 | ▼a KRIC08970184 | |
| 040 | ▼a 241047 ▼d 211009 | |
| 049 | 1 | ▼l 121086421 ▼f 과학 ▼l 121086422 ▼f 과학 ▼l 111260588 |
| 082 | 0 4 | ▼a 005.43 ▼2 21 |
| 090 | ▼a 005.43 ▼b 2003f | |
| 100 | 1 | ▼a 김용석 |
| 245 | 1 0 | ▼a 운영체제의 개념과 구현 = ▼x Operating systems : concepts and implementation / ▼d 김용석 저. |
| 260 | ▼a 서울 : ▼b 사이텍미디어 , ▼c 2003. | |
| 300 | ▼a xi, 364 p. ; ▼c 26 cm. | |
| 500 | ▼a 색인수록 | |
| 500 | ▼a 부록: A.Picokernel의 시스템 콜 함수, B.스레드와 System V IPC | |
| 504 | ▼a 참고문헌: p. 305-306 | |
| 740 | ▼a Operating systems : concepts and implementation |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/제2자료실(3층)/ | 청구기호 005.43 2003f | 등록번호 111260588 (15회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 2 | 소장처 과학도서관/보존서고5(동양서)/ | 청구기호 005.43 2003f | 등록번호 121086421 (33회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 3 | 소장처 과학도서관/보존서고5(동양서)/ | 청구기호 005.43 2003f | 등록번호 121086422 (26회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 중앙도서관/제2자료실(3층)/ | 청구기호 005.43 2003f | 등록번호 111260588 (15회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/보존서고5(동양서)/ | 청구기호 005.43 2003f | 등록번호 121086421 (33회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 2 | 소장처 과학도서관/보존서고5(동양서)/ | 청구기호 005.43 2003f | 등록번호 121086422 (26회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
목차
목차 제1장 운영체제의 이해를 위한 기초 1.1 운영체제의 사용 목적 = 1 1.2 응용프로그램의 작성 및 실행 = 2 1.3 명령 해석기와 응용프로그램의 실행 = 3 1.4 일반적인 부팅 절차 = 5 1.5 기본적인 용어 정의 = 6 1.6 운영체제 사용의 효과 = 8 1.7 연습문제 = 10 제2장 운영체제의 구조와 시스템 콜 함수 2.1 컴퓨터 시스템의 하드웨어 구성 = 11 2.2 컴퓨터 시스템의 개념적인 구성 = 13 2.3 운영체제의 구성 요소 = 14 2.4 시스템 모드와 유저 모드 = 16 2.5 소프트웨어 인터럽트와 시스템 콜 함수 = 18 2.6 인터럽트 발생과 커널의 실행 = 22 2.7 운영체제의 구조 분류 = 24 2.8 버추얼 머신 = 26 2.9 연습문제 = 27 제3장 프로세스와 멀티태스킹 3.1 프로세스와 스레드 = 29 3.2 picoKernel의 멀티태스킹 예제 = 32 3.3 프로세스의 상태 천이 = 35 3.4 프로세스 제어블록과 picoKernel의 구현 = 37 3.5 문맥 교환과 picoKernel의 구현 = 41 3.6 스레드 생성을 위한 threadCreate = 47 3.7 스레드 종료를 위한 threadExit = 50 3.8 실행순서 양보를 위한 threadYield = 51 3.9 스레스 번호를 얻기 위한 threadSelf = 52 3.10 picoKernel의 스케줄링 관련 함수 = 53 3.11 picoKernel의 초기화 및 Null 스레드 = 55 3.12 프로세스 제어블록과 스레드 제어블록 = 57 3.13 연습문제 = 59 3.14 실습문제 = 59 제4장 프로세서 스케줄링 4.1 프로세서의 활용률 향상과 스케줄링 = 61 4.2 프로세스 큐와 큐잉 다이어그램 = 62 4.3 단기 스케줄러와 디스패쳐 = 64 4.4 스와핑과 중기 스케줄러 = 65 4.5 잡 큐와 장기 스케줄러 = 67 4.6 선점형 스케줄링과 선점형 커널 = 68 4.7 스케줄링의 평가 기준 = 71 4.8 스케줄링 정책들의 비교 = 72 4.9 실제 운영체제의 스케줄링 알고리즘 = 78 4.10 picoKernel의 스케줄링 알고리즘 = 80 4.11 연습문제 = 82 4.12 실습문제 = 83 제5장 프로세스간의 동기화 5.1 공유 데이터의 일관성 유지 문제 = 85 5.2 크리티컬 섹션 = 88 5.3 인터럽트 금지를 이용한 해법 = 90 5.4 특수 명령어를 이용한 해법 = 92 5.5 Peterson의 알고리즘 = 94 5.6 스핀락과 뮤텍스를 이용한 해법 = 95 5.7 picoKernel의 뮤텍스 구현 = 98 5.8 세마포를 이용한 해법 = 102 5.9 picoKernel의 세마포 구현 = 104 5.10 유한 버퍼 문제와 세마포의 활용 = 107 5.11 Readers-Writers 문제와 세마포의 활용 = 110 5.12 식사하는 철학자 문제와 뮤텍스의 활용 = 112 5.13 크리티컬 리젼 = 115 5.14 모니터와 컨디션 변수 = 119 5.15 picoKernel의 컨디션 변수 구현 = 127 5.16 Java의 모니터와 컨디션 변수 = 130 5.17 연습문제 = 133 5.18 실습문제 = 134 제6장 프로세스간의 통신 6.1 공유 메모리 방식과 메시지 전달 방식 = 137 6.2 공유 메모리를 이용한 유한 버퍼 문제 해결 = 139 6.3 메일박스를 이용한 유한 버퍼 문제 해결 = 142 6.4 picoKernel의 메일박스 구현 = 143 6.5 메시지 버퍼의 용량과 랑데부 = 146 6.6 메시지 크기의 가변성과 picoKernel의 바이트 스트림 = 148 6.7 다자간 통신과 메일박스 = 153 6.8 시그널과 콜백 함수 = 155 6.9 여러 가지 고려 사항들 = 158 6.10 연습문제 = 160 6.11 실습문제 = 160 제7장 데드락 문제 및 그 해법 7.1 네거리의 데드락 문제 = 163 7.2 데드락 문제의 해결 방안들 = 164 7.3 데드락 문제의 모델링 = 166 7.4 데드락 방지 기법 = 168 7.5 데드락 회피 기법 = 172 7.6 데드락 탐지 및 복구 기법 = 177 7.7 picoKernel의 데드락 탐지 및 복구 = 179 7.8 연습문제 = 183 7.9 실습문제 = 183 제8장 메모리 관리와 MMU의 이해 8.1 메모리와 주소 바인딩 = 185 8.2 메모리 사용량을 줄이는 방안들 = 188 8.3 연속된 메모리 영역 할당 = 189 8.4 MMU를 이용한 실행 시점 주소 바인딩 = 192 8.5 MMU를 이용한 프로세스간의 메모리 보호 = 193 8.6 세그멘테이션 방식의 MMU = 194 8.7 페이징 방식의 MMU = 196 8.8 페이지 테이블의 크기와 다단계 페이징 = 200 8.9 페이지 테이블의 공유 = 204 8.10 문맥 교환 과정에서 페이지 테이블의 처리 = 206 8.11 picoKernel의 First-Fit 메모리 할당 = 207 8.12 연습문제 = 211 8.13 실습문제 = 211 제9장 가상 메모리 9.1 메모리 크기 한계의 극복과 가상 메모리 = 213 9.2 디멘드 페이징 = 215 9.3 스왑 디바이스의 페이지 저장 방식 = 215 9.4 페이지 폴트 처리 절차 = 216 9.5 디멘드 페이징으로 인한 시스템 성능 저하 = 224 9.6 페이지 교체 알고리즘 = 224 9.7 디멘드 페이징에서 고려해야 할 사항들 = 231 9.8 디멘드 세그멘테이션 = 233 9.9 연습문제 = 235 제10장 파일 시스템과 파일 보호 10.1 파일과 파일 시스템 = 237 10.2 파일 보호를 위한 정보 관리 = 241 10.3 파일 제어블록과 파일 보호 = 244 10.4 디렉토리의 구조 = 248 10.5 파일블록의 할당 방식 = 251 10.6 실제 운영체제의 블록 할당 방식 = 253 10.7 빈 블록들의 관리 = 255 10.8 파일 입출력 시스템 콜 함수의 구현 = 256 10.9 파티션의 구조와 파일 시스템 관리 = 263 10.10 연습문제 = 266 제11장 디스크 입출력 및 스케줄링 11.1 물리적 디스크와 논리적 디스크 = 267 11.2 디스크 작업 명령과 디스크 대기 큐 = 270 11.3 바이트 단위의 파일 읽기 및 쓰기의 구현 = 275 11.4 장치 독립적인 입출력의 구현 = 278 11.5 디스크 스케줄링 = 281 11.6 디스크 스케줄링 정책들의 비교 = 283 11.7 C-LOOK 디스크 스케줄링의 구현 = 286 11.8 디스크 입출력의 성능개선 방안들 = 289 11.9 연습문제 = 291 11.10 실습문제 = 291 운영체제의 역사 = 293 12.1 운영체제의 발전 방향 = 293 12.2 운영체제가 없는 시스템 = 294 12.3 단순 일괄처리 시스템 = 294 12.4 스풀링 시스템 = 297 12.5 멀티프로그래밍 시스템 = 298 12.6 시분할 시스템 = 299 12.7 멀티프로세서 시스템 및 병렬처리 시스템 = 300 12.8 분산 시스템 = 301 12.9 실시간 시스템 = 301 12.10 연습문제 = 303 참고문헌 = 305 picoKernel의 시스템 콜 함수 = 307 A.1 스레드 = 309 A.2 뮤텍스 = 311 A.3 세마포 = 312 A.4 컨디션 변수 = 314 A.5 메일박스 = 316 A.6 랑데부 통신 = 318 A.7 바이트 스트림 = 320 A.8 시그널과 콜백 함수 = 322 A.9 메모리 = 323 A.10 시스템 = 324 POSIX 스레드와 System V IPC = 325 B.1 POSIX 스레드 = 328 B.2 POSIX 뮤텍스 = 335 B.3 POSIX 컨디션 변수 = 337 B.4 System V 세마포 = 339 B.5 System V 메시지 큐 = 344 B.6 System V 공유 메모리 = 348 B.7 POSIX 프로세스 = 352 B.8 POSIX 시그널 = 355 찾아보기 = 358

