Bounded Buffer Problem (Producer-Consumer problem)문제1: 동시접근생산자: 생산자가 동시에 같은 버퍼의 데이터를 저장하려는 경우소비자: 소비자가 동시에 같은 버퍼의 데이터를 가져가려는 경우문제2: 무제한 접근생산자: 데이터를 저장할 빈 버퍼가 없는 경우 - 생산자 입장에서 사용 가능한 자원이 없는 상태소비자가 데이터를 꺼내가고 빈 버퍼가 생겨야 데이터 저장가능소비자: 데이터를 가져갈 버퍼가 없는 경우 - 소비자 입장에서 사용 가능한 자원 없음생산자가 데이터를 만들어 버퍼를 생성해줄때까지 기다려야한다lock을 걸기 위한 mutex내용이 들어있는 버퍼의 개수를 세기 위한 변수 full내용이 비어있는 버퍼의 개수를 세기 위한 변수 emptyShared databuffer..

Semaphores앞의 방식들을 추상화 시킨다Semaphore SInteger variable아래의 두 가지 atomic 연산에 의해서만 접근 가능*atomic 연산: 여러 스레드들이 있을 때 하나의 공유 데이터에 대한 연산에서 한 스레드가 write 작업을 하고 있을 때, 다른 스레드가 read하는 것을 막기 위해서 하드웨어에서 지원하는 방법이다. P(S): while(S Critical Section에 Semaphore을 사용한다면Synchronization variablesemaphore mutex; //initially 1" 1개가 CS에 들어갈 수 있다Process Pido{ P(mutex); //if positive, decrement&enter, Otherwise wait critic..

CPU SchedulerReady 상태의 프로세스 중에서, 이번에 CPU를 줄 프로세스를 고른다DispatcherCPU의 제어권을 CPU scheduler에 의해 선택된 프로세스에게 넘긴다이 과정을 context switch(문맥 교환)이라고 한다 CPU 스캐줄링이 필요한 경우는 프로세스에게 다음과 같은 상태 변화가 있는 경우이다Running → Blocked (I/O 요청하는 시스템 콜)Running → Ready (할당시간만료로 timer interrupt)( cpu 강제로 뺏기)Blocked → Ready (I/O 완료 후 인터럽트)Terminatedcpu를 가지고 기계어를 하는 것 CPU bursti/o 를 하는 것은 i/o bursti/o burst와 cpu burst를 번갈아가면서 실행하는 게..

동기화란? Process Synchronization 문제공유 데이터 (shared data)의 동시 접근 (concurrent access) 는 데이터 불일치 문제 (inconsistency)를 발생시킬 수 있다일관성(consistency) 유지를 위해서는 협력 프로세스(cooperating process) 간의 실행 순서(orderly execution)을 정해주는 메커니즘이 필요하다데이터의 접근 ex) E-boxS-boxCPUMemory컴퓨터내부디스크프로세스그 프로세스의 주소 공간 Race Condition여러 프로세스들이 동시에 공유 데이터를 접근하는 상황데이터의 최종 연산 결과는 마지막에 그 데이터를 다룬 프로세스에 따라 달라짐 race condition을 막기 위해서는 concurrent pr..

운영체제란?컴퓨터 하드웨어 바로 위에 설치되어 사용자 및 다른 모든 소프트웨어와 하드웨어를 연결하는 소프트웨어 계층좁은의미로 (전공자의 입장에서는)협의의 운영체제 (커널)운영체제의 핵심 부분으로 메모리에 상주하는 부분넓은의미커널 뿐만 아니라 각종 주변 시스템 유틸리티를 포함한 개념메모리에 상주하지 않는 독립적인 프로그램운영체제의 목적컴퓨터 시스템의 자원(리소스)을 효율적으로 관리프로세서, 기억장치, 입출력 장치 등을 효율적 관리사용자간의 형평성 있는 자원 분배 (형평성)주어진 자원으로 최대한의 성능을 내도록 (효율성)사용자 및 운영체제 자신의 보호프로세스, 파일, 메세지 등을 관리컴퓨터 시스템을 편리하게 사용할 수 있는 환경을 제공운영체제는 동시 사용자/프로그램들이 각각 독자적 컴퓨터에서 수행되는 것 같..