강의 url www.kocw.net/home/search/kemView.do?kemId=1046323 동기화에 대한 고전적인 문제에 대해 설명할 수 있다. 세마포어의 고전적인 문제에 들어가기 앞서 앞 포스팅에게 설명되었지만, 세마포어는 동기화를 구현하기 위한 추상적인 개념을 지원하기 위해 사용된다. P(S), V(S) 라는 operation을 통해 세마포어 변수 S에 대해 획득 및 해제를 할 수 있다. 셰마포어는 P 또는 V 연산에 대해 atomic 하다고 가정한다. 세마포어 변수는 Counting Semaphore 또는 Binary Semaphore 형태를 띌 수 있다. 어떠한 형태이든, 세마포어는 P와 V 작업을 통해 Critical Section을 관리하는데에 목적이 있다. 하지만 세마포어를 사용하..
강의 url www.kocw.net/home/search/kemView.do?kemId=1226304 1) 동기화의 문제에 대해 알아본다. 2) 동기화 문제의 해결 방법에 대해 알아본다. 데이터 접근과 Race Condition - 프로그램은 CPU에서 연산을 수행하고, Memory에 data를 기록한다. CPU를 Execution Box, 메모리를 Storage Box 라고 하자. Execution Box-Storage Box의 구도는 CPU-Memory 외에도 컴퓨터내부-디스크, 프로세스-그 프로세스의 주소 공간도 예가 될 수 있다. - 문제는 데이터를 한 프로세스에서 읽는 구조가 아닌, 여러 프로세스에서 읽는 구조가 되면 Race Condition이 발생할 수 있다. OS Level에서 Race C..
강의 url www.kocw.net/home/search/kemView.do?kemId=1226304 1) 프로세스의 상태 변화와 프로세스 중 CPU 수행 단위인 스레드에 대해 알아본다. 2) 프로세스의 생성에 있어 자식 프로세스가 부모 프로세스를 복제, 새로운 과정을 덮어씌우는 과정과 프로세스의 종료에 대해 알아본다. 3) 프로세스 생성과 종료에서 쓰이는 네 종류의 시스템 콜, 프로세스 간의 협력에 대해 알아본다. 1) 프로세스 상태도 Suspended 개념이 추가되면서 프로세스 상태도를 조금 더 자세히 그린 것이다. 1) active/inactive하다는 표현은 이전 강의(포스트 Process 1) 후반부에서 서술했듯이 프로세스가 일을 하느냐 안하느냐 에 따라 나뉜 것이다. 더 자세하게 말하면 메모리..
강의 url www.kocw.net/home/search/kemView.do?kemId=1226304 1) 프로그램의 실행 과정을 이해하고 커널이 가진 내용과 사용자 프로그램이 사용하는 함수를 알아본다. Keyword - 프로세스, 가상 메모리, Address transition, 프로세스의 주소 영역 및 커널 주소 영역 (data/stack/code) 2) 프로세스의 개념, 상태, 문맥과 운영체제가 프로세스를 큐에 넣고 관리하는 형태에 대해 알아본다. Keyword - 프로세스의 컨텍스트, Process status(running/ready/wait) 그리고 queue, PCB, Program counter, register, interrupt, 3) 스케줄러의 세 종류인 장기, 단기, 중기 스케줄러에..
Overview - Operating System acts an intermidiary between the user of a computer and the computer hardware. - Operating System is to provide an environment in which a user can execute programs in a convenient and effcient manner. - Operating System is software that manages the computer hardware. - Operating System is large and complex. piece by piece approach is needed and each pieces should be w..
- Total
- Today
- Yesterday
- Simulation
- 로젠
- Grafana
- 아레나시뮬레이션
- grafana cloud
- 아레나
- 백준
- 가상 면접 사례로 배우는 대규모 시스템 설계 기초
- rosen
- beginning javascript
- Arena
- Discrete Mathematics
- 최단경로 알고리즘
- flutter
- arena simulation
- paul wilton
- 아레나 시뮬레이션
- 엄청난 인내심과 시뮬레이션을 위한 아레나 툴
- 명제논리
- 대규모 시스템 설계 기초
- 이산 수학
- 이산수학
- 항해99
- 그라파나
- Propositional and Predicate Logic
- 자바스크립트 예제
- 시뮬레이션
- 자바스크립트
- 데이터 중심 애플리케이션 설계
- javascript
일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | |||||
3 | 4 | 5 | 6 | 7 | 8 | 9 |
10 | 11 | 12 | 13 | 14 | 15 | 16 |
17 | 18 | 19 | 20 | 21 | 22 | 23 |
24 | 25 | 26 | 27 | 28 | 29 | 30 |