[Transaction] Concurrency Control

concurrency control은 두 가지 조건을 만족시켜야한다.

1. conflict or view serializable

2. recoverable and preferably cascadeless

 

현실적으로 스케줄을 수행하고 serializability를 체크하는 것은 오래 걸린다.

 

자동적으로 concurrency control을 할 수 있는 방법은 없을까? 

답은 database system에 concurrency control protocol이 들어있다. protocol대로 처리하면 자동적으로 serializable 해지고 recoverable해진다. lock이나 multiversion, timestamp 을 사용하여 concurrency control을 보장하며 장단점이 존재한다. concurrency와 speed간의 tradeoff가 있다. 

 

대표적인 방법은 lock 기법이고 이어 포스팅하도록 한다.