임베디드

동기화를 위한 Peterson 알고리즘

초코쨔응 2020. 12. 6. 19:01

Peterson 알고리즘 설명 : dailyheumsi.tistory.com/132

 

빽 투더 기본기 [OS 4편]. 동기화와 Peterson' 알고리즈

이 글에서는 운영체제의 기초가 되는, Synchronization(동기화) 에 대해 정리해본다. 1. 동기화(Synchronization) 의 필요성 1.1. Shared data 와 Data inconsistency 먼저 동기화(Synchronization) 는 멀티 프로..

dailyheumsi.tistory.com

Peterson 알고리즘 전에 solution 1과 solution 2는 어떤 문제가 있는지 잘 설명: velog.io/@chy0428/OS-%ED%94%84%EB%A1%9C%EC%84%B8%EC%8A%A4-%EB%8F%99%EA%B8%B0%ED%99%94

 

[OS] critical section problem & peterson's algorithm

앞서 프로세스가 커뮤니케이션하는 방법에는 shared memory를 이용하는 방법과 message passing을 이용하는 방법이 있다고 하였다. 여기에는 다음과 같은 문제가 발생한다. (절대 귀찮아서 이러는거 아

velog.io

 

Peterson 알고리즘 증명: cis.gvsu.edu/~wolffe/courses/cs452/docs/CS_AlgProof.html

 

Proof of Peterson's Algorithm

Proof of a Solution to the Critical Section Problem Peterson's Algorithm Common data objects: int turn = 0;bool flag[2] = {false}; Code: flag[i] = true;turn = j;while (flag[j] && turn == j)    ; //  CSflag[i] = false; Idea: flag[i] indicates position

cis.gvsu.edu

 

반응형