오뚝이개발자

Lock이란? Data item에 대한 concurrent access를 control하기 위한 메커니즘 다음의 두 가지 모드가 있다. exclusive mode : r/w 모두 가능. lock-X 명령어로 사용 shared mode : r만 가능. lock-S 명령어로 사용 Lock based protocol 기본 다음과 같은 lock-compatibility가 있다. 쉽게 말해, 모든 트랜잭션은 shared lock을 hold할 수 있다. 다만, 어떤 트랜잭션이 exclusive lock을 갖고 있다면 그 어떤 트랜잭션도 어느 lock이든 hold하지 못한다. 아래는 lock based protocol을 사용하는 스케쥴의 예시이다. 좀 더 나아가서, 아래 예시를 보면 conflict, view ser..

본 글은 HPC Lab의 youtube 강의를 듣고 요약한 것입니다. 모든 이미지 출처 역시 HPC Lab의 pdf 수업자료입니다. Deadlock 발생 필요조건 4가지 Mutual exclusion of resources : 자원은 한 번에 한 프로세스만 사용 가능 Non-preemption resources : 자원은 오로지 사용 중인 프로세스가 끝날 때만 반환 가능 Hold and wait(Partial allocation) : 자원을 이미 hold하고 다른 자원 요청 Circular wait : P0은 P1이 사용 중인 자원을 기다리고, P1은 P2가 사용 중인 자원을 기다리고...Pn은 P0이 사용 중인 자원을 기다리는 형태 1,2번은 자원의 특성이고 3,4번은 프로세스의 특성이다. 위의 조건 ..

본 글은 HPC Lab의 youtube 강의를 듣고 요약한 것입니다. 모든 이미지 출처 역시 HPC Lab의 pdf 수업자료입니다. 다중 프로그래밍 시스템이란? 시스템 내에 여러 개의 프로세스들이 존재하는 것 공유 자원 또는 데이터가 있을 때, 동기화와 관련된 문제 발생 가능 프로세스 동기화란? 프로세스들이 서로 정보를 공유해 공유 데이터에 관한 동작을 맞추는 것 Critical section(임계영역) 공유 데이터에 접근하는 코드 영역 Race condition : 둘 이상의 프로세스의 공유 데이터에 대한 접근 순서에 따라 결과가 달라지는 현상(경쟁한다는 의미에서 race) Mutual Exclusion(상호배제) 둘 이상의 프로세스가 동시에 critical section에 진입하는 것을 막는 것 Mu..