3.4병행성 시간은 중요하다.

Download as PPTX, PDF

•0 likes•403 views

aceigy6322

SICP

Software

3.4 병행성 : 시간은 중요하다.
Structure and Interpretation of Computer Programs
2014.11.22
aceigy6322@gmail.com

• 물체가 시간에 따라 달라지는 상태를 가짐.
• 덮어 쓰기 연산으로 변수 값이 바뀔때마다
시간의 변화를 나타냄.
• 상태의 변화는 한번에 하나씩 바뀌는게 아
니라 병행으로 바뀐다고 봄.

병행 시스템에서 시간의 성질
• 사건의 일어나는 차례
차례가 바로 시간.
• 같은 시간에 상태하나
를 여러 프로세스가
덮어쓰려해서 문제.

병행성을 다스리는 방법
• 상태 변화가 병행으로 일어 날때, 그 시스
템이 제대로 돌아간다는 사실을 보장할 방
법이 필요.
• 제약 조건을 걸어줌.
• 줄 세우개(Serializer)

줄 세우개(Serializer)
• 프로시저들을 여러 그룹으로 나누고, 같은
그룹에 속하는 프로시저들이 동시에 실행
되는 일이 없도록 하는것.

한 상태를 여럿이 같이 쓸때 그 차
례를 정하는 방법
(define x 10)
(parallel-execute ( lambda () (set! X (* x x)))
( lambda () (set! X (+ x 1))))

(define x 10)
(define s (make-serializer))
(parallel-execute ( s (lambda () (set! X (* x
x))))
( s (lambda () (set! X (+ x
1)))))

여러자원을 함께 쓰는 문제
(define (exchange account1 account2)
(let ((difference (- (account1 ‘balance)
(account2 ‘balance))))
((account1 ‘withdraw) difference)
((account2 ‘deposit) difference)))

(define (serialized-exchange account1
account2)
(let ((serializer1 (account1 ‘serializer’))
(serializer2 (account2 ‘seralizer’)))
((serializer1 (serializer2 exchange))
account1
account2)))

줄세우기 만들기
(define (make-serializer)
(let ((mutex (make-mutex)))
(lambda (p)
(define (serialized-p . Args)
(mutex ‘acquire)
(let ((val (apply p args)))
(mutex ‘release)
val))
serialized-p)))

(define (make-mutex)
(let ((cell (list false)))
(define (the-mutex m)
(cond ((eq? m ‘acquire)
(if (test-and-set! Cell)
(the-mutex ‘acquire)))
(eq? m ‘release) (clear! Cell))))
the-mutex))
(define (clear! Cell)
(set-car! Cell false))

(define (test-and-set! Cell)
(if (car cell)
true
(begin (set-car! Cell true)
false)))

엇갈림(deadlock)
• 여러 프로세스가 다른 프로세스를 지켜보
면서 아무것도 하지 못하고 끝없이 기다려
야 하는 상태.
• 공유자원에 번호를 매겨놓고 차례대로 쓰
는 기법
• 엇갈림 벗어나기 기법(deadlock-recovery)

동기점 맞추기(barrier synchronization)
• 여러 병행 프로세스가 실행되는 중에 동기
를 맞추어야 할 어떤 지점에 다다르면, 모
든 프로세스가 같은 지점에 이를때까지 멈
춤.

Referance
• 컴퓨터 프로그램의 구조와 해석 2/E
– 헤럴드에빌슨, 제럴드 제이 서스먼, 줄리 서스먼 지음. 인사이트.

3.4병행성 시간은 중요하다.

1. 3.4 병행성 : 시간은 중요하다. Structure and Interpretation of Computer Programs 2014.11.22 [email protected]

2. • 물체가 시간에 따라 달라지는 상태를 가짐. • 덮어 쓰기 연산으로 변수 값이 바뀔때마다 시간의 변화를 나타냄. • 상태의 변화는 한번에 하나씩 바뀌는게 아 니라 병행으로 바뀐다고 봄.

3. (Withdraw 25) - 75 (Withdraw 25) - 50

4. 병행 시스템에서 시간의 성질 • 사건의 일어나는 차례 차례가 바로 시간. • 같은 시간에 상태하나 를 여러 프로세스가 덮어쓰려해서 문제.

5. 병행성을 다스리는 방법 • 상태 변화가 병행으로 일어 날때, 그 시스 템이 제대로 돌아간다는 사실을 보장할 방 법이 필요. • 제약 조건을 걸어줌. • 줄 세우개(Serializer)

7. 줄 세우개(Serializer) • 프로시저들을 여러 그룹으로 나누고, 같은 그룹에 속하는 프로시저들이 동시에 실행 되는 일이 없도록 하는것.

8. 한 상태를 여럿이 같이 쓸때 그 차 례를 정하는 방법 (define x 10) (parallel-execute ( lambda () (set! X (* x x))) ( lambda () (set! X (+ x 1))))

9. (define x 10) (define s (make-serializer)) (parallel-execute ( s (lambda () (set! X (* x x)))) ( s (lambda () (set! X (+ x 1)))))

10. 여러자원을 함께 쓰는 문제 (define (exchange account1 account2) (let ((difference (- (account1 ‘balance) (account2 ‘balance)))) ((account1 ‘withdraw) difference) ((account2 ‘deposit) difference)))

11. (define (serialized-exchange account1 account2) (let ((serializer1 (account1 ‘serializer’)) (serializer2 (account2 ‘seralizer’))) ((serializer1 (serializer2 exchange)) account1 account2)))

12. 줄세우기 만들기 (define (make-serializer) (let ((mutex (make-mutex))) (lambda (p) (define (serialized-p . Args) (mutex ‘acquire) (let ((val (apply p args))) (mutex ‘release) val)) serialized-p)))

13. (define (make-mutex) (let ((cell (list false))) (define (the-mutex m) (cond ((eq? m ‘acquire) (if (test-and-set! Cell) (the-mutex ‘acquire))) (eq? m ‘release) (clear! Cell)))) the-mutex)) (define (clear! Cell) (set-car! Cell false))

14. (define (test-and-set! Cell) (if (car cell) true (begin (set-car! Cell true) false)))

15. 엇갈림(deadlock) • 여러 프로세스가 다른 프로세스를 지켜보 면서 아무것도 하지 못하고 끝없이 기다려 야 하는 상태. • 공유자원에 번호를 매겨놓고 차례대로 쓰 는 기법 • 엇갈림 벗어나기 기법(deadlock-recovery)

16. 동기점 맞추기(barrier synchronization) • 여러 병행 프로세스가 실행되는 중에 동기 를 맞추어야 할 어떤 지점에 다다르면, 모 든 프로세스가 같은 지점에 이를때까지 멈 춤.

17. Referance • 컴퓨터 프로그램의 구조와 해석 2/E – 헤럴드에빌슨, 제럴드 제이 서스먼, 줄리 서스먼 지음. 인사이트.

3.4병행성 시간은 중요하다.

More Related Content

Featured (20)

3.4병행성 시간은 중요하다.