Notice
Recent Posts
Recent Comments
Link
일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
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 |
Tags
- react-cookie
- 파인만의 식당문제
- rust
- 키분배 알고리즘
- 커널제거
- 파이썬
- Git
- Readme image
- image restoration
- 딥러닝
- 비동기 프로그래밍
- 페이지랭크
- Hits
- 컴퓨터 보안 키분배
- 협업필터링
- 자바스크립트 비동기
- 머신러닝
- tcp
- 러스트
- feynman's restaurant
- cs231n
- 인공지능
- 커널생성
- computer vision
- 메세지인증코드
- 인페인팅
- pagerank
- recommender
- brew 권한
- 프라미스
Archives
- Today
- Total
Worth spreading
경쟁조건을 피하기 위한 네 가지 조건 본문
Conditions required to avoid race condition
1. Mutual Exclusion - No two processes may be simultaneously inside their critical regions.
2. No assumptions may be made about speeds or the number of CPUs.
3. Progress - No process running outside its critical region may block other processes.
4. Bounded Waiting - No process should have to forever to enter its critical region.
1. 상호배제 - 두 개의 프로세스가 동시에 임계구역 내에 존재하면 안된다.
2. CPU의 개수나 속도에 대해 어떠한 가정도 하지 않는다.
3. 진행 - 임계구역 외부에서 실행하고 있는 프로세스가 다른 프로세스들을 블록시켜서는 안된다.
(임계구역 내에 다른 프로세스가 없으면 임계구역을 점유할 수 있어야 한다.
4. 제한된 대기 - 임계구역에 진입하기 위해 무한히 기다리는 프로세스는 없어야 한다.
'Computer science > Operation System(운영체제)' 카테고리의 다른 글
뮤텍스(Mutex)와 세마포어(Semaphore)의 차이 (16) | 2019.01.06 |
---|---|
Mutual Exclusion with Busy Waiting (0) | 2017.04.05 |
Comments