OS

실행 중인 프로그램이 하는 일은, 간단히 말해, 명령어를 실행하는 일에 지나지 않는다.

프로세스는 실행 중인 프로그램이다

OS에서 제공하는 어떤 인터페이스들이 프로세스를 생성하고 제어할 수 있을까?

프로세스는 부모로부터 자식이 만들어지는, 트리 형태의 계층 구조를 이루고 있습니다.부모 프로세스로부터 자식 프로세스들을 생성해보고, 각 프로세스의 진행은 어떻게 이루어지는지 확인해봅시다.

CPU를 가상화하려면, 동시에 돌아가는 여러 작업들이 물리적인 CPU를 공유하도록 해야한다.

OS 스케줄러가 사용하는 높은 수준의 정책들에 대해서 이해해보자.

MLFQ와 그 해결 과제에 대해 알아보자.

비례 배분 스케줄러에 대해 알아보자.

단일 CPU가 아닌 멀티코어 시스템의 경우에는 어떨까?

주소 공간: 멀티프로그래밍을 위한 물리 메모리 추상화

UNIX의 메모리 할당 인터페이스들에 대해

OS와 하드웨어의 조화를 통한 메모리의 가상화

고정적인 크기 대신, 의미 단위로 잘라보자

가용 공간 관리를 위한 메커니즘과 전략

페이징에 대해 알아봅시다

좀 더 빠르게 물리 주소를 찾기 위한 하드웨어 캐시 : TLB

너무 큰 페이지 테이블을 줄이기 위한 방법들

물리 메모리보다 더 큰 주소 공간을 사용하고 싶다면?

페이지 교체 정책들에 대해

완전한 가상 메모리 시스템 실현의 예시 - VAX/VMS

완전한 가상 메모리 시스템의 실현 - 리눅스

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다. 지금까지는 단일 실행 지점만을 가지는 프로그램들만을 생각해왔지만, 멀티-스레드 프로그램은 하나 이상의 실행 지점을 가질 수 있다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.멀티-스레드 프로그램을 만들기 위해서 가장 먼저 할 수 있어야 하는 일은 새로운 스레드들을 만드는 것이다.

락과 뮤텍스가 뭔지에 대해 알아봅시다

인터럽트 비활성화/load-store/test-and-set 방식의 락 구현

compare-and-swap/load-linked & store-conditional/fetch-and-add를 통한 락 구현

스핀 락으로 인한 성능 문제 개선을 위한 노력들

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.락에 대한 내용을 끝내기 전에, 흔히 사용하는 자료 구조들에서 락을 어떻게 사용하는지에 대해 알아보자.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.지금까지 락의 개념 및 어떻게 하드웨어와 OS 지원의 조합으로 락을 만드는지에 대해서 공부했다. 하지만 락만이 병행적 프로그램들을 만드는 데에 필요한 것은 아니다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다. 동기화를 위해 사용할 수 있는 다른 기법 중 하나인 세마포어에 대해서 배워본다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.다른 고전적인 문제는 더 유연하고, 다양한 자료 구조 접근을 위한 여러 종류의 락에 대한 필요성에 기반한다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.지금까지는 병행 프로그램을 만드는 유일한 방법이 스레드를 이용하는 것 뿐인 것처럼 이야기 해왔지만, 사실 그렇지는 않다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.이번 파트에 들어가기 전에 우선 입출력 장치의 개념에 대해 소개하고 어떻게 OS가 그것과 상호작용하는지에 대해 알아보자.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.이번 장에서는 하드 디스크 드라이브에 대해 더 자세히 알아보자.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.이 장에서는 더 빠르고, 크고, 신뢰성 있는 디스크 시스템을 구성하기 위해 다수의 디스크들을 함께 사용하는 테크닉인 RAID를 소개한다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다. 스트라이핑 다음의 첫 번째 RAID 레벨은 RAID 레벨 1, 또는 미러링이라 불린다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다. 여기에서는 영구 저장소(persistent storage)에 대해서 알아본다. 하드 디스크 드라이브나 SSD 같은 영구 저장 장치는 정보를 영구적으로 저장한다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.대부분의 경우 파일 디스크립터는 open file table에 일대일 매핑된다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.디렉토리와 관련한 시스템 콜을 통해 디렉토리를 만들고, 읽고, 삭제할 수 있다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.이 장에서는 vsfs(Very Simple File System)이라 불리는 간단한 파일 시스템 구현을 소개한다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.UNIX 운영체제가 처음 도입되었을 때 만들어진 파일 시스템이 있다. 이것을 "오래된 UNIX 파일 시스템"이라 부르자. 이 시스템은 아주 단순했다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다. 전원 손실과 충돌 때문에 영구적 자료 구조의 업데이트는 상당히 까다로워질 수 있다. 이는 충돌-일관성 문제로 이어진다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다. 지금까지의 기본 프로토콜을 이용하는 경우 추가적인 디스크 트래픽이 발생할 수 있다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.90년대 초반 버클리에서 로그-기반 파일 시스템이 개발되었는데, 다음과 같은 관찰들에 기반한다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.(OSTEP의 44장 Flash-based SSDs는 스킵합니다) 이 장에서는 다시 데이터의 신뢰성에 대해 다룹니다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.현대 웹 서비스에 접속한다는 것은 하나의 기기와의 상호 작용만이 아니라, 해당 서비스를 제공하기 위해 협력하는 수많은 기기들로 이루어진 서비스를 이용하는 것이다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다. 클라이언트/서버 구조의 분산 파일 시스템의 대표적인 예인 NFS에 대해 알아보자.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.Andrew File System은 1980년대 카네기 멜런 대학교에서 만들어진 것으로, 그 주 목적은 확장에 있다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.컴퓨터 시스템에서의 보안은 갈 수록 더 중요해지고 있고, 컴퓨터 시스템의 구성 요소들은 모두 공격의 대상이 될 수 있다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다.넓은 범위의 보안 목표 및 보안 정책들을 다뤄야 한다면, OS에는 어떤 것이 필요할까?

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다. 우리는 어떤 시스템 자원, 혹은 서비스가 누구에게, 어떤 환경에서 접근될 수 있는지를 결정해야 한다. 이러한 결정은 어떻게 만들어질 수 있을까?

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다. 이전 장들에서 보안 목표, 보안 정책, 인증 및 인가에 대해서 배웠지만, 이것들만으로는 충분하지 않다.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다. 이제는 이 암호화를 OS를 보호하는 데 어떻게 사용할 수 있을지에 대해 알아보자.

Operating Systems : Three Easy Pieces를 보고 번역 및 정리한 내용들입니다. OS는 자신이 설치된 컴퓨터의 자원들만 제어할 수 있다. 그렇기 때문에 OS를 통해 여러 기기들이 협업해야 하는 분산 시스템에서의 보안을 제공하는 일은 어렵다.