CEO

연속 메모리 할당을 통해 메모리 단편화(외부 단편화)가 발생하며, 반복될 경우 메모리의 사용의 효율성을 저해한다. 따라서 프로세스를 연속적인 공간에 할당하지 않고 프로세스를 작은 크기로 나눠 여러 부분에 할당함으로써, 연속 메모리 할당의 문제를 해결하고자 하였다. 이를 페이징(Paging)이라고 한다. 주소 변환 (Address Translation) 프로세스가 실제 메모리에서는 분리된 공간에 할당되지만, CPU는 연속된 공간의 메모리를 할당하여 사용하는 것 처럼 관리한다. 이는 MMU를 통해 논리 주소와 물리 주소를 나누어두었기에 가능하다. 프로세스는 연속된 논리 주소(Logical Address)를 가지지만, 분리된 물리 주소(Physical Address)를 가지며 페이지 테이블(Page Table..

앞의 내용들은 프로세스 관리 중, CPU의 사용 여부를 스케줄링 하거나 관리하는 것에 대해 알아보았다. 프로세스는 보조 저장장치(HDD, SSD. etc.)에 저장된 프로그램을 메모리에 가져와 실행하는 것이다. 메모리는 보조 저장장치에 비해 상대적으로 크기가 작아, 프로세스 별로 효율적으로 메모리를 할당하는 것은 중요하다. 효율적인 메모리 적재 과거에 메모리의 크기는 16MB, 32MB와 같이 지금은 상상할 수도 없을 정도로 상당히 작았다. 이에 메모리를 효율적으로 사용할 수 있는 방법으로 상대적으로 저장공간이 큰 보조 저장장치를 활용하는 방법을 사용하였다. 동적 적재 (Dynamic Loading) 프로그램 중 적재 후 바로 실행되지 않는 부분도 메모리에 한번에 적재하게 되면 다음과 같은 문제에 직면할..

동기화 문제를 해결하기 위해 세마포어 외에 고수준인 모니터라는 방식이 있다. 운영체제에서는 mutex를 제공하지만 자바에서는 모니터를 활용하여 동기화에 대한 문제를 쉽게 해결할 수 있다. 모니터 방식은 synchronized를 통해 사용할 수 있다. 자바에서 세모포어 객체를 사용할 경우, 초기에 접근할 수 있는 쓰레드의 수를 적절히 지정해주고 이를 판단하여 acquire, release하여야 한다. 하지만 synchroronized를 사용하면 보다 간편하게 동기화를 처리할 수 있다. BankAccount Problem (USE synchronized) class BankAccount { int balance; boolean p_turn = true; synchronized void deposit(int ..

프로세스 동기화가 적절히 설계되지 않아, 식사하는 철학자 문제처럼 모든 프로세스가 더 이상 작업을 진행할 수 없는 deadlock(교착상태)에 빠질 수 있다. 단순한 프로그램이 아닌, 운영체제에서 교착상태가 발생하는 것은 다소 치명적이다. 교착상태 필요 조건 Mutual Exclusion : 한 프로세스가 자원을 사용 중이라면, 다른 프로세스는 사용할 수 없다. Hold and Wait : 한 프로세스가 특정 자원을 가진 상태에서 대기에 빠진다. No Preemption : 한 프로세스가 진행 중이라면, 다른 프로세스가 끼어들 수 없다. Circular Wait : 프로세스가 자원 획득을 위해 원형 방향을 이룬다. (식사하는 철학자) 교착 상태는 위의 4가지 조건이 있을 경우, 발생할 가능성이 커지게 된..

Producer - Consumer Problem 특정 프로세스는 데이터를 생산하고, 특정 프로세스는 생산된 데이터를 통해 처리하는 작업과 같이 생성자-소비자가 있는 프로그램에서 발생할 수 있는 문제이다. 만약 생산되지 않은 경우에 데이터를 사용하는 소비자가 데이터를 가져가게 된다면 원치 않는 데이터 (쓰레기 값)을 가져가게 될 가능성이 크다. 따라서 각각의 프로세스(쓰레드)로 부터 생성자 - 소비자가 존재한다면 생성, 소비 순으로 진행될 수 있도록 동기화가 필요하다. import java.util.concurrent.Semaphore; class Buffer { int[] buf; int size; int count; int in; int out; Semaphore mutex, full, empty; ..

프로세스 간의 정보를 주고 받거나, 하나의 공유된 영역을 사용할 경우에는 주의가 필요하다. 예를 들어 프로세스 A는 1번지 메모리 공간에 10이라는 값을 읽어 오고자하였으나, 프로세스 B가 프로세스 A가 읽는 직전에 20이라는 값으로 변경해 버리면 원하지 않는 값이 반환되는 결과가 발생한다. 이렇게 상호적으로 영향을 미치는 프로세스들을 Cooperating Process라고 한다. 이와 반대인 경우 Independent Process라고 한다. 각 프로세스로 인해 공유 데이터의 일관성을 보장하지 못하는 것을 막기 위해 동기화(Synchronization)가 필요하다. 앞서 말한 간단한 예시에서 원치 않는 값을 반환받지 않으려면, 프로세스 A → 프로세스 B의 순서를 보장할 경우 이와 같은 문제를 해결할 ..

프로세스 이전 글에서도 알 수 있듯이 프로세스는 현재 메모리에 적대되어 실행 중인 프로그램을 말한다. 운영체제에 따라 프로세스를 job, task 등으로 부르기도 한다. 프로세스 계층 구조 리눅스는 저장장치로 부터 메모리로 최초 적재 시에는 PID (Process ID : 프로세스를 구분할 수 있는 고유 식별 번호)가 0인 root process가 생성된다. root process는 init process를 생성한다. root process는 최초 생성 후에, 프로세스들을 스케줄링 할 때 swapper의 역활을 한다. init process의 경우 생성된 후, 사용자가 운영체제를 사용할 수 있는 환경을 구성한다. 예제의 프로세스 계층 구조는 depth가 3이지만 depth 2의 프로세스들도 자식 프로세스..

CPU라는 하드웨어 자원을 여러 프로세스들이 효율적으로 사용하기 위해, 스케줄링 과정이 필요하다. 다음에 실행할 프로세스를 선택하는 알고리즘을 통해 스케줄링을 하게 된다. 상황에 따라 효율적인 CPU 스케줄링이 오히려 성능 감소를 야기 할 수 도 있다. Scheduling Critria CPU 스케줄링의 효율성을 판단하는 기준은 다음과 같다. CPU Utilizaiton Throughput Turnarround Time Wating Time Response Time Preemptive VS Non-Preemptive 다양한 CPU 스케줄링을 알기에 앞서 선점(Preemptive), 비선점(Non-Preemptive) 방식에 대한 이해가 필요하다. Preemptive 선점은 말그대로 특정 프로세스가 CPU..