Sin prisa, Pero Sin pausa

Why Dynamic Allocation? execution 전이냐? 후냐?에 따라 나눠짐Static: execution 전, pre-runtime, offlineDynamin: runtime에 이루어지는 여러가지 행위들 Static analysis: 프로그램이 수행하기 전에 무언가가 코드를 분석하는 것 - ex) 컴파일러: 소스코드를 분석해서 기계어 코드로 만들어냄 Static Allocation: 프로그램이 수행되기 전에 미리 메모리를 할당하는 것 - ex) Code(Text) Segment, Data Segment, 전역변수, array[] Static Allocation의 특징변수의 Lifecycle이 프로그램의 시작과 종료와 일치 Dynamic Allocation - ex) Stack Segme..

Linker and Loader 메모리 관리자~ Symbol Table: 프로그램에서 사용하는 Symbol들에 대한 정보를 저장하는 자료구조 Compiler: individual source file을 object file로 변환시키는 역할Linker: 여러개의 object file을 묶어서 하나의 executable file로 만들어주는 역할Loader: 이것은 OS의 한 툴임. fork()와 exec() - main memory에 object file의 내용을 다 layout하고 context를 build하고 수행시킬 수 있도록 하는 역할 object file 안에는 여러개의 section unit 들이 존재section: data를 묶어둔 단위, object file을 구성하는 단위 - type과 ..

What is Deadlock? 내용 정리Process Synchronization은 여러 Process가 Concurrent하게 수행하면서 shared resource를 가지고 있을 때또는 shared data를 접근하려고 할 때 그것을 관리하는 메커니즘 여러 프로세스가 shared data 접근하는 것을 막지 못하면 race condition 발생race condition은 concurrent 프로그램의 버그 race condition이 발생하지 않겠끔. OS은 primitive를 제공해줘야 하는데- interrupt disable / enable- Bus Transaction을 read, modify, write를 하나의 트랜잭션으로 만들어주는 기법 (TAS)- 그것을 기반으로 해서 S/W적 메커니..

Monitors : Semaphore 2 세마포어가 Synchronization 메카니즘으로써 가지고 있는 문제점- producer와 consumer라는 Task 2개가 있음- 각각 P()와 V()로 가드가 되어있는 session이 있음 (Critical session code로 볼 수 있음)- code session 안에는 buffer를 사용하는 코드들이 들어가 있음- 그러나 P()와 V() argument 값이 같아야 하는데 다름 - 이것이 버그인지 아닌지 이해하기도 어렵고 찾아내기도 어려움 OS가 해결하는 방법- P() ... V()라는 함수 대신에 다른 함수를 사용함 wait(), signal() >> 세마포어를 주로 스케줄링 관점에서 바라본다는 의미lock(), unlock() >> 세마포어를 ..

Semaphores: Why Process Synchronization? CPU의 개수가 증가한다고 성능도 비례하여 증가하지 않음--> Synchronization 문제 때문 핸드폰 락업현상: 스마트폰이 멈춘 상태. 화면도 그래도 있지만 키를 눌러도 진행되지 않는 현상- 스마트폰에 있는 input키를 누르면 interrupt가 발생- interrupt 처리가 안됨 -> 입력한 input이 애플리케이션으로 전달이 안됨- why? synchronization 문제임- synchronization을 하다가 잘못 꼬이면 Deadlock이 발생함- Deadlock으로 인해 아무 반응도 할 수 없는 상태에 도달하는 것 Syn(= together) + Chron(= time): Process들이 interaction..

Scheduling Policies (2) 이 전 수업 내용 정리Preemptive scheduling:Non-Preemptive scheduling: Preemptible Resource: 한 프로세스가 점유한 상태에서 다른 프로세스에게 양보할 수 있는 자원 - 대표적인 예. CPU, main memory - 어떤 프로세스가 CPU를 점유해서 돌고 있었는데 양보해야할 시점이 왔을 때 그 점유한 프로세스에 state를 안전하게 대피시키는 것(Context Switching)Non-Preemptible Resource: 한 프로세스가 점유하면 사용을 마칠 때까지 프로세스에게 양보할 수 없는 자원 - 대표적인 예. printer - 문서가 반쯤 프린터 됐는데 그걸 다른 job이 가져갔다 말도 안되죵 CPU ..

Basics Concepts Preemptible Resource: 한 프로세스가 점유한 상태에서 다른 프로세스에게 양보할 수 있는 자원 - 대표적인 예. CPU, main memory - 어떤 프로세스가 CPU를 점유해서 돌고 있었는데 양보해야할 시점이 왔을 때 그 점유한 프로세스에 state를 안전하게 대피시키는 것(Context Switching)Non-Preemptible Resource: 한 프로세스가 점유하면 사용을 마칠 때까지 프로세스에게 양보할 수 없는 자원 - 대표적인 예. printer - 문서가 반쯤 프린터 됐는데 그걸 다른 job이 가져갔다 말도 안되죵 스케쥴링 문제를 나눠서 보면 2가지로 분류할 수 있음1. 여러 프로세스가 CPU를 잡으려고 할 때 누구에게 줄 것이냐? 이것을 결정..

중간 내용 정리 Process: Program in execution 수행중인 프로그램 Process는 2가지 요소가 있음1. State2. Thread: 프로세스가 지금까지 수행한 모든 명령어들의 순서 프로세스가 수행이 되려면 3가지 정보를 유지하고 있어야 함 (Process state)1. Memory Context2. Hardware Context3. System Context 용어Multiprogramming: 메인메모리에 여러개의 Active한 Process가 load되어 있는 것 - 2개 이상의 프로그램을 주기억장치에 기억시키고, 중앙처리장치(CPU)를 번갈아 사용하면서 처리하여 컴퓨터 자원을 최대로 활용하는 처리기법Uniprogramming: 메인메모리에 Active한 Process가 1개 ..

Multithreading 1 외부에서 입력을 받았을 때 그것을 처리하는 server의 architecture을 살펴보겠습니다.Server Architecture- Interative Server: 서버가 깨어나서 메세지큐에서 리퀘스트 받아다가 스스로 처리- Concurrent Server: 메세지큐에서 리퀘스트를 받으면 그 일을 처리해주는 워커 프로세스(Child)를 생성하여 처리하게 함 Worker Process를 사용해 구현한 Concurrent Server의 단점처리할 요청의 수 만큼 프로세스를 생성해야 하기 때문에 시스템에 큰 부담이 발생 Multithreading의 목적Concurrency는 높이면서 Execution Unit을 생성하거나 수행시키는데 드는 부담을 줄임 시스템 전체를 설계하는데..

Context Switching : Abstraction and Decomposition 구현하기 위해 생각해야 할 것Program = Data Structure + Algorithm OS를 이해하기 위해 이해해야 할 것Complexity = Abstraction + Decomposition Abstraction을 도입해서 S/W 시스템을 설계해보면 자연스럽게 Layered Architecture가 나오게 됩니다.Layered Architecture 바닥에는 H/W가 있고 그 위에 OS 있고 그 위에 Middleware가 있고 그 위에 Application들이 수행하게 됩니다. 이 Layered Architecture에서 각 Layer의 역할은 뭘까요?OS의 역할은? 아래 복잡한 H/W를 보이지 않게 해..

Process Implementation : Process Scheduling Dispatcher: 유저프로그램과 유저프로그램이 수행되는 중간에 개입을 해서 CPU를 Process A에서 B로 넘겨주는 역할을 함이때 가장 중요한 것은 Dispatcher가 수행되기 위해서는 CPU를 차지해야 한다는 점임다시 말해 CPU에 대한 점유권 CPU에 대한 Control이 유저프로그램에서 Dispatcher로 Dispatcher에서 다시 유저프로그램으로 넘어가야 한다. Dispatcher가 수행된다는 것은 Kernel로 execution control이 진입을 하는 것임그리고 유저프로그램으로 execution control이 넘어가는 것을 의미함유저모드에서 커널로 모드 change하려면 interrupt 가 필요 ..

Process Concept(1) Process는 OS 위에서 프로그램을 수행시키는 기본 주체(run time system의 수행 주체)run time system의 수행 주체는 CPU나 여러가지 자원을 할당 받는 주체OS의 관점에서 Process 는 가장 중요한 단위다 Decomposition: 복잡한 문제를 단순한 여러 개의 문제로 나누어 처리하는 방법론이 Decomposition의 unit이 process임 OS를 만들 때 핵심기술 2가지1. Abstraction(추상화)2. Decomposition(분해) Process: Program in execution 수행중인 프로그램 프로세스가 수행이 되려면 3가지 정보를 유지하고 있어야 함이 정보들이 process state가 됨1. Memory- Co..