명품 운영체제

괜찮다고 말하지만 괜찮지 않은 너와 나, 우리가 안고 사는 우울. 그리고 그 감정이 가져온 마음의 병 우울증. 화제의 채널



컴퓨터 시스템의 지배자이며 소프트웨어의 왕인 운영체제를 아는 것은, ‘소프트웨어 개발자’를 꿈꾸는 사람들이 컴퓨터 전문가로 들어서는 기반 지식임을 부인할 수 없다. 오늘날 개발자가 되려는 많은 사람들이 프로그래밍 언어를 배우고 코딩을 익혀가고 있다. 코딩에 눈을 뜨고 지식이 늘어가면서 다음과 같은 여러 의문들이 생겨나게 된다.

프로그램은 누가 실행시키는 것일까, CPU일까 운영체제일까? 내가 작성할 수 있는 프로그램의 최대 크기는 얼마일까? new나 malloc()으로 동적 할당 받을 수 있는 메모리의 최대량은 얼마일까? 여기서 메모리는 RAM인가? 여러 프로그램들이 하나의 컴퓨터에서 어떻게 동시에 실행될까? 많은 프로그램을 동시에 실행시켜도 문제는 없을까? 파일을 읽기 전에 파일을 열어야 하는데 연다는 것이 도대체 뭘까? 파일을 읽을 때 open()/ read()와 fopen()/fread() 중 어떤 것을 사용하는 것이 더 좋은 것일까? 파일은 디스크 어디에 저장되는 것일까? 두 프로그램이 동시에 같은 파일에 읽거나 쓰면 결과는 어떻게 될까? 운영체제는 시스템을 다스리는 규칙일까 하드웨어일까 실체가 있는 프로그램일까? 급기야 운영체제는 꼭 있어야 하는 것일까?

이런 의문들에 대한 답은 운영체제를 이해함으로써 얻을 수 있다. 저자는 운영체제의 학습 목적을 다음과 같이 정리한다.

소프트웨어 개발자로서 프로그램이 컴퓨터에서 실행되는 과정과 이 과정 전체를 통제하는 운영체제의 역할을 이해하는데 있다. 프로그램이 코드, 데이터, 힙, 스택으로 나뉘어 메모리에 적재되어 관리되고, 시스템 호출의 과정을 통해 운영체제의 기능을 활용하는 등, 이 과정을 앎으로서 기반이 튼튼한 개발자로 성장하게 된다.

컴퓨터 시스템 전문가로서 운영체제를 개발하거나 수정하는 능력의 기초를 닦는 데 있다. 컴퓨터의 모든 자원들을 독점 관리하는 주체로서, 운영체제는 컴퓨터 시스템의 성능을 최적화하는 다양한 방법들을 구사함을 알게 한다. 많은 프로그램을 동시에 실행시키는 메모리 관리 기법, 여러 프로세스들의 효율적인 스케줄링, 공유 데이터에 대한 다중 프로그램의 충돌을 막는 기법, 수많은 파일을 저장하고 관리하는 효율적인 방법 등 다 양한 시스템 구조와 알고리즘들을 알게 하고, 컴퓨터 시스템의 성능에 눈을 뜨게 한다.



이 책의 특징



- 디테일한 그림과 자세하고 명료한 설명을 통해 추상적일 수 있는 운영체제 개념과 이론이 눈에 그려지고 손에 잡히도록 하였다.

- 이론과 함께 리눅스와 Windows의 실제 사례를 보여주어 이해도를 높였다.

- 프로세스나 스레드, 메모리 관리 등 이론을 실제 상황에서 이해하고 확인하도록 C 프로그램 코드 사례를 이용하여 이론이 작동하는 구체적인 과정을 보였다.

- 운영체제는 컴퓨터 구조와 밀접한 관계가 있다. 이 책은 운영체제의 이해에 꼭 필요한 컴퓨터 구조와 하드웨어에 대한 설명을 적절히 배치하여 컴퓨터 시스템을 균형 있게 이해할 수 있도록 하였다.

- 각 장의 시작 부분에서 문제 제기를 통해 궁금증을 유발하고 이를 해소해 나가는 과정을 스토리텔링 방식으로 전개하여 읽기 쉽도록 하였다.

- 강의하듯이 서술하고 점진적으로 살을 붙여가는 설명 방식으로 독자와 눈높이를 맞추어 어려운 개념을 단계적으로 이해하도록 하였다.



이 책의 구성



이 책은 12장으로 구성하고 C 언어와 컴퓨터 구조를 아는 독자의 수준에 맞추었다.



- 책의 범위

이 책은 운영체제 이론을 다룬다. 1장은 운영체제 암흑기에 운영체제가 어떻게 태동하게 되었는지, 어떤 기능들로 운영체제가 구성되게 되었는지, 그리고 어떻게 발전해왔는지 세밀하게 소개한다. 2장은 컴퓨터 시스템 전체 구조와 운영체제의 역할을 거시적으로 설명한다. 절대 지나칠 수 없는 중요한 장으로 응용프로그램, 라이브러리, 운영체제 커널, 인터럽트 등의 관계를 명확히 이해하게 된다. 3장부터 12장까지는 프로세스와 스레드 관리, 메모리 관리, 파일 시스템 관리, 대용량 저장 장치 관리 등 운영체제의 4가지 핵심 기능을 구체적으로 설명한다.



- 실습

이 책은 운영체제 이론이 현대 운영체제에서 어떻게 실현되고 있는지를 보여 주기 위해, 리눅스나 Windows에서 간단한 명령과 실행 결과를 보여준다. 또한 몇몇 장에서는 운영체제 이론을 확인하는 리눅스 C 프로그램 실습을 포함하고 있다. 간단한 실습이므로 프로그래밍 경험이 부족하더라도 실습에는 큰 어려움이 없다. 리눅스 실습 환경은 CoCalc 온라인 터미널을 이용하면 리눅스를 설치하지 않고도 실습이 가능하다. 만일 리눅스 실습이 어려운 상황이라면, 책에 나타난 명령이나 프로그램 코드를 읽는 것만으로도 학습에는 문제가 없다.



- 소스 코드 다운로드

책에 사용된 어셈블리 코드와 C 프로그램의 소스 코드는 생능출판사 홈페이지에서 다운받을 수 있다.



- 연습문제

연습문제는 각 장에서 배운 이론을 확인하는 개념 체크 문제들과 코딩이나 실습 등 복잡한 사고가 필요한 복합 문제로 구분하였다. 연습문제를 통해 학습한 지식을 더욱 명확히 할 수 있다.



- 부록

부록은 본문에 대한 깊이와 너비를 더하는 3개의 주제를 담고 있다. 부록 A는 3장의 연장으로 프로세스 사이의 3가지 통신 방법, 공유 메모리, 신호, 파이프를 구체적으로 소개한다. 부록 B는 6장의 연장으로 리눅스에서 현재 사용 중인 CFS 스케줄링 기법을 구체적으로 소개한다. 부록 C는 11장의 연장으로 동일한 파일을 동시에 읽고 쓰는 3가지 경우에 대해 파일 입출력이 이루어지는 과정을 자세히 소개한다.