áĄááąáŹááşá¸áĄáááş
áá˝áąááąá¸áá˝áąáá°áááŻáááşáážáŹ áĄá áážááˇáşáĄááŻáśá¸áážááááˇáş ááąááŹáááŻááşáᏠááŻááşááąáŹááşááťááşááťáŹá¸á áĄá áŻáĄááąá¸áá áşááŻááźá áşáááşá
áá˝áąááąá¸áá˝áąáá°áááŻáááşáážáŹ á áŹáááşááźááşá¸áážááˇáşááąá¸ááźááşá¸áááŻááşáᏠááŻááşáááşá¸á ááşááťáŹá¸ááᯠáááşáááŻááşááŻááşááąáŹááşááźááşá¸ ááźá áşáááşá áá˝áąááąá¸áá˝áąáá°áá áşááŻá áĄááŻáśá¸áááş áĄááźáąáŹááşá¸áĄáá˛ááťáŹá¸ááᯠááááşá¸áááşá¸ááźááşá¸ (commit) áááŻáˇáááŻááş áĄááźáąáŹááşá¸áĄáá˛ááťáŹá¸ááᯠáááşááťááşááźááşá¸ (ááźááşááááşá¸ááźááşá¸) ááźá áşáááŻááşáááşá ááąááŹááąáˇá áşáá áşááŻáážááˇáş á ááşááťááşá¸á áá˝áąááąá¸áá˝áąáá°áá áşááŻáá˝ááş ááąáŹááşá¸áááŻááťááşáá áşááŻáááşá¸áĄááźá áş áááąáŹááŹá¸ááŹá¸ááąáŹ ááąáŹááşá¸áááŻááťááşááťáŹá¸á á˝áŹ ááŤáááşááŤáááşá
áĄááąáŹááşá¸áĄáááşááťáŹá¸áááş ACID ááŻááşááášááááťáŹá¸ááᯠááťáąáááşá áąááááşá
ááźááşááąáŹáşááŹá áá˝áąááąá¸áá˝áąáá° ááźáŽá¸ááźáąáŹááşáááşááźá áşá áą ááŻáśá¸ááááźáŽá¸á áŽá¸ááŤá
áážáąáˇááąáŹááşááŽáá˝ááşáážáŻá áá˝áąááąá¸áá˝áąáá°áá áşáᯠááźáŽá¸ááźáąáŹááşááąáŹáĄááŤá ááąááŹáĄááąáŤáş ááťáážááşááŹá¸ááąáŹ áááˇáşáááşááťááşááťáŹá¸ (áĽáááŹá ááąááŹááąáˇá áşáážá áááˇáşáááşááťááşááťáŹá¸) ááᯠááťááŻá¸ááąáŹááşááźááşá¸ áááźáŻáááŤá ááŽáá˝ááşáážáŻáááŻáááşáážáŹ á áá áşáĄáŹá¸ áážááşáááşááąáŹááźááşáááşáá áşááŻááž áĄááźáŹá¸áážááşáááşááąáŹááźááşáááşáá áşááŻáááŻáˇ áá˝ážá˛ááźáąáŹááşá¸ááąá¸áááşááźá áşááźáąáŹááşá¸ áááŻáááŻáááşá
ááŽá¸áááˇáşááŹá¸ááźááşá¸á áá˝á˛ááŹá¸ááźááşá¸á áĄááźááŻááşááŻááşááąáŹááşááąáááˇáş áá˝áąááąá¸áá˝áąáá°ááťáŹá¸áááş áá áşááŻáážááˇáşáá áşááŻáĄááąáŤáş áá˝ážááşá¸áááŻá¸áážáŻááážáá áąáá áĽáááŹá áĄááźáŹá¸áá˝áąááąá¸áá˝áąáá°áá áşááŻááž áĄááŻáśá¸ááźáŻáááˇáşááąááŹááᯠááźáąáŹááşá¸áá˛ááŤá ááźááŻááşáá° áá˝áąááąá¸áá˝áąáá°ááťáŹá¸ ááŻááşááąáŹááşááźááşá¸á ááááşáááş áĄááąáŹááşá¸áĄáááşááťáŹá¸ááᯠáááşáááŻááşááŻááşááąáŹááşááźááşá¸áá˛áˇáááŻáˇ ááźá áşáááˇáşáááşá
ááŽááąá¸á áááááááşááźáŻááźáŽá¸áááşáážááˇáş áĄááźáąáŹááşá¸áĄáá˛ááťáŹá¸ áááŻáśá¸áážáŻáśá¸áááˇáşááŤá
áá˝áąáá˝ááşá¸áá˝áąááŻááşáážááşáááşá¸
áážááşáááşá¸áááş áĄááąáŹááşá¸áĄáááşááźáŻááŻááşááąáŹ áĄááźáąáŹááşá¸áĄáá˛ááťáŹá¸ááᯠááááşá¸áááşá¸ááŹá¸ááźáŽá¸ á áá áşááťááşáá˝ááşáážáŻáá áşááŻáá˝ááş ááąááŹá áĄááŻááźá°áážááˇáş áááşááźáááşáážáŻááᯠááąááťáŹá áąáááşá
áážááşáááşá¸áá˝ááş áá˝áąááąá¸áá˝áąáá°ááźááˇáş ááźáąáŹááşá¸áá˛ááźááşá¸áááźáŻááŽáážááˇáş áááşá¸ááᯠááźáąáŹááşá¸áá˛ááźáŽá¸ááąáŹááş ááąááŹááťáŹá¸ááŤáážááááşá Write-ahead log strategy áááş áá áááşááŽáá˝ááş ááááşáááşáááŻá¸ááťáŹá¸áĄááźáąáŹááşá¸ áážááşáááşá¸áá áşááŻáááˇáşáá˝ááşá¸áááşáááŻáĄááşááźáŽá¸ áá˝áąááąá¸áá˝áąáá°ááźáŽá¸áááˇáşááąáŹááş ááąáŹááşááŻáśá¸áááşáááŻá¸ááťáŹá¸áĄááźáąáŹááşá¸á á áá áşááŻááşááááşáááşáááˇáşáá˝áŹá¸áááˇáşáĄááŤá ááąááŹááąáˇá áşáááş ááąáŹáˇááşáĄááşááźáąáŹááşá¸ááźááşáĄá áŽáĄá áĽáşááᯠáááşááźááźáŽá¸ áĄááąáŹááşá¸áĄáááşááźáŻááŻááşááąáŹ áĄááźáąáŹááşá¸áĄáá˛ááťáŹá¸ááᯠáááşááťááşáááşá áĄáážáąáŹááşáĄáážááşááźá áşá áąááąáŹ áá˝áąááąá¸áá˝áąáá°áá áşááŻááᯠááźáŻáśáá˝áąáˇáááźáŽá¸á ááąááŹááąáˇá áşáááş áááşá¸ááᯠááŻááşááąáŹááşááźáŽá¸ áážááşáááşá¸áááŻáˇ ááźáąáŹááşá¸áá˛áážáŻááťáŹá¸ ááźáŻááŻááşáááşá ááťááşáá˝ááşááťáááşáá˝ááş ááąááŹááąáˇá áşáááş áážáąáˇáááŻáˇ ááąáŹáˇááşáĄááşááᯠáááşááźáŽá¸ áĄááąáŹááşá¸áĄáááşááźáŻááŻááşááąáŹ áĄááźáąáŹááşá¸áĄáá˛ááťáŹá¸ááᯠááźááşááąá¸áááşá á¤áááşá¸áĄáŹá¸ááźááˇáş áááááááşááźáŻááŹá¸ááźáŽá¸ááźá áşááąáŹ áá˝áąááąá¸áá˝áąáá°ááťáŹá¸á áááşááźáááşáážáŻáážááˇáş áĄáážáąáŹááşáĄáážááşááźá áşá áąááąáŹ áĄááąáŹááşá¸áĄáááşááťáŹá¸á áĄááŻááźá°ááᯠááááşá¸ááááşá¸ááŹá¸áááşá
ááĄáąáŹááşááźááşááąáŹ áá˝áąáá˝ážá˛áážáŻááťáŹá¸ááᯠááźááşáááşááŻááşááąáŹááşááźááşá¸áááş ááźááşáááşááá°áááşáĄáá˝ááş áááŻáśááąáŹááşááŤá
áĽáááŹ- áĄááŻáśá¸ááźáŻáá°ááĄááąáŹááˇáşáá˝ááş 500$ áĄááŻáśá¸ááźáŻáá°áááş ATM á ááşááž áá˝áąááŻááşáá°áááş ááŻáśá¸ááźááşáááşá áá˝áąááąá¸áá˝áąáá° áážá áşáᯠááźáŻááŻááşáááşá ááááá áşááŻáááş áááşááťááşáá˝áąááᯠáááşááźáŽá¸ áááşááŻáśáá˝áą ááŻáśááąáŹááşááŤá áĄááŻáśá¸ááźáŻáá°ááś áá˝áąááŻááşááąá¸áááşá ááŻááááá áşááŻáááş áááşááťááşáá˝áąááž áááŻáĄááşááąáŹ áááŹáááᯠááŻááşáááşá á áá áşááťááŻáˇáá˝ááşá¸áážáŻ ááźá áşáá˝áŹá¸ááźáŽá¸ áááááŻááşááąáŹááşááťááş ááĄáąáŹááşááźááşááąáŹáşáááşá¸ ááŻáááááŻááşááąáŹááşááťááş áĄáąáŹááşááźááşáááşáᯠáááŻááźááŤá ááŻáˇá á¤ááá ášá áá˝ááş á áá áşááᯠáĄááąáŤááşá¸áááşááťááşááźááˇáş áá°ááĄááźáąáĄááąáááŻáˇ ááźááşáááşááąáŹááşáážááĄáąáŹááş áááźáŻááŻááşáᲠáĄááŻáśá¸ááźáŻáá°ááś áá˝áąááźááşáááşááŻááşááąá¸áááááŤá
ááťážááşááŹááźá áşáááşááŤáááşá
ááááá ášá áŹáááŻáááşááŤá
Dirty Read ááźáżááŹáážáŹ áá˝áąááąá¸áá˝áąáá°áá áşááŻáááş áĄááźáŹá¸áá˝áąááąá¸áá˝áąáá°á áĄáááşáĄáááşááááşááᯠáááşáááŻááşááźááşá¸ááźá áşáááşá
áĽáááŹá áááŚá¸áááşááťááşáááşáááŻá¸áážáŹ $0 ááźá áşáááşá T1 áááş áááˇáşáááşááťááşáá˛áááŻáˇ $50 áááˇáşáááşá T2 áááş áááşááťááşáááşáááŻá¸ ($50) ááᯠáááşáááşá T1 áááş ááźáąáŹááşá¸áá˛áážáŻááťáŹá¸ááᯠáááşáážáŹá¸ááźáŽá¸ áá˝ááşááąáŤááşááťáŹá¸ááᯠáááşáážáŹá¸áááşá T2 áááş ááážááşáááşááąáŹ áááşááťááşááąááŹááźááˇáş áááşáááşááŻááşááąáŹááşáááşá
ááźáąáážááşá¸ááťááşáážáŹ áĄááąáŹááşá¸áĄáááşááźáŻááŻááşááźááşá¸ááźááˇáş ááźáąáŹááşá¸áá˛ááŹá¸ááąáŹ ááąááŹáááşáážáŻááźááşá¸ááᯠááŹá¸ááźá áşááŹá¸áááˇáş ááŻáśááąááąááŹáááŻáááşáááş (Read Committed) ááźá áşáááşá áá˝áąááąá¸áá˝áąáá° A áááş áááşáážááşááŹá¸ááąáŹ ááąááŹáĄá áŻáĄááąá¸ááᯠááźáąáŹááşá¸áá˛ááŤáá áĄááąáŹááşá¸áĄáááş Bá á¤ááąááŹááᯠáááşááąáŹááşáááˇáşáĄááŤá áá˝áąááąá¸áá˝áąáá° A ááźáŽá¸ááźáąáŹááşáááş á áąáŹááˇáşáááąáŹáˇáááşááźá áşáááşá
áááşááá˛áá˛áááşááŤá
áĄááşááááşááťáŹá¸ ááťáąáŹááşááŻáśá¸áá˝áŹá¸ááąáŹ ááźáżááŹá T1 áááş T2 áááźáąáŹááşá¸áá˛áážáŻááťáŹá¸áááááşáá˝ááşááźáąáŹááşá¸áá˛áážáŻááťáŹá¸áááŻááááşá¸áááşá¸áááşá
áĽáááŹá áááŚá¸áááşááťááşáááşáááŻá¸áážáŹ $0 ááźá áşááźáŽá¸ áá˝áąááąá¸áá˝áąáá° áážá áşááŻááᯠáá áşááźááŻááşáááş áááşááťááşáá˝áąááᯠááźááˇáşááąá¸áááşá T1 áážááˇáş T2 áááş $0 á áááşááťááşáá˝áąááᯠáááşáááşá T2 áááş $200 áááŻáˇ $0 ááąáŤááşá¸áááˇáşáᏠááááşááᯠááááşá¸áááşá T1 áááş $100 áááŻáˇ $0 ááąáŤááşá¸ááźáŽá¸ ááááşááᯠááááşá¸áááşá¸áááşá ááąáŹááşááŻáśá¸ááááşáážáŹ $100 áĄá áŹá¸ $300 ááźá áşáááşá
áááşááá˛áᲠááááşáááŻááşááąáŹ ááźáżááŹá áá°ááŽááąáŹááąááŹááᯠáááşááŤááá˛áá˛áááşáážáŻááźááşá¸áááş ááá°ááŽááąáŹáááşáááŻá¸ááťáŹá¸ááᯠááźááşááąá¸áááşá
áĽáááŹá T1 áááş áááşááťááşáááşáááŻá¸ $0 áááŻáááşáááşá áááŻáˇááąáŹááş T2 áááş áááşááťááşáá˝áąáá˛áááŻáˇ $50 ááąáŤááşá¸áááˇáşáᏠáĄááŻáśá¸áááşáááşá T1 áááş ááąááŹááᯠáááşááśáááşáážáŻááźáŽá¸ ááááşááááşáážááˇáş áá˝á˛áá˝á˛áážáŻááᯠáá˝áąáˇáážááááşá
áááşááá˛áá˛áááşááźááşá¸áááş áá áşá áášáááˇáşá áŹáááşááźááşá¸áááş áá°ááŽááąáŹááááşáááŻááážáááźáąáŹááşá¸ááąááťáŹá áąáááşá áá˝áąááąá¸áá˝áąáá°áá áşááŻáážáááşááąáŹááąááŹááᯠáĄááąáŹááşá¸áĄáááşáááźáŽá¸áááťááşá¸ áĄááźáŹá¸áá°ááťáŹá¸áá˝ááş ááźáąáŹááşá¸áá˛áááááŤá áá˝áąááąá¸áá˝áąáá° A áááş áááşáážááşááŹá¸ááąáŹ ááąááŹáĄá áŻáĄááąá¸ááᯠáááşááźáŽá¸ááŤáá áá˝áąáá˝ážá˛á B áááş á¤ááąááŹááᯠáááşááąáŹááşáááˇáşáĄááŤá áá˝áąááąá¸áá˝áąáá° A ááźáŽá¸ááźáąáŹááşáááş á áąáŹááˇáşáááŻááşá¸ááááşá
áĄááááˇáşá áŹáááşááźááşá¸ (Serializable)
Phantom Reads ááźáżááŹá áĄááťááŻáˇááąáŹáĄááźáąáĄááąáá áşááŻáĄááąáŤáşáĄááźáąááśá ááąááŹáááŻáá˝áąá¸ááťááşáááˇáşááąá¸áá˝ááşá¸áážá áşááŻáááş ááá°ááŽááąáŹáááşáááŻá¸ááťáŹá¸ááᯠááźááşááąá¸áááşá
áĽáááŹá T1 áááş áááşááťááşáá˝áą $0 áááşááťáŹá¸ááąáŹáşáááşá¸ $100 áĄáąáŹááşáážáááąáŹ áĄááŻáśá¸ááźáŻáá°áĄáŹá¸ááŻáśá¸ááᯠááąáŹááşá¸áááŻááŤáááşá T2 áááş $1 áááşááťááşáá˝áąááźááˇáş áĄááŻáśá¸ááźáŻáá°áá áşáŚá¸ááśááž $101 ááᯠááŻááşáá°ááŤáááşá T1 áááş ááąáŹááşá¸áááŻááťááşááᯠááźááşáááşááŻááşááąá¸áááşá
áĄááááˇáşá áŹáááşááźááşá¸ (Serializable)á áá˝áąááąá¸áá˝áąáá°ááťáŹá¸ááᯠááŻáśá¸á áááşáááŻááşáĄááźá áş ááŻááşááąáŹááşááŤáááşá ááąáŹááşá¸áááŻááťááşá áááşáážááşááťááşááťáŹá¸áĄáá˝ááşá¸ áĄááťáŻáśá¸áááşááąáŹ áážááşáááşá¸ááťáŹá¸ááᯠáĄááşááááş áááŻáˇáááŻááş áááˇáşáááş ááŹá¸ááźá áşááŹá¸áááşá áá˝áąááąá¸áá˝áąáá° A áááş áááŹá¸áá áşááŻááŻáśá¸ááž ááąááŹááᯠááąáŹááşá¸áááŻááŤáá áĄááąáŹááşá¸áĄáááş A ááźáŽá¸áááşáĄáá áááŹá¸áá áşááŻááŻáśá¸ááᯠáĄááźáŹá¸áá˝áąááąá¸áá˝áąáá°ááťáŹá¸áĄáá˝ááş áĄáąá¸áá˛áá˝áŹá¸áááşááźá áşáááşá
á áŽá ááşááąá¸áá°
ááźááŻááşáá° áá˝áąááąá¸áá˝áąáá°ááťáŹá¸áĄáá˝ááşá¸ ááŻááşááąáŹááşááťááşááťáŹá¸ááᯠááŻááşááąáŹááşáááˇáşáááˇáş áĄá áŽáĄá ááşááᯠáááşáážááşáááşá
áááşáážááşááŹá¸ááąáŹ áĄááŽá¸ááťááşáĄáááˇáşááᯠááąá¸áááşá ááŻááşááąáŹááşááťááşááťáŹá¸á ááááşáááş áááşá¸áááŻáˇá áážáŹáá°áážáŻáĄááąáŤáş ááá°áááşááŤáá áááŻáááŻáˇááąáŹ áááşáááşáážáŻááťáŹá¸áááş áĄááźáąáŹááşá¸áĄáá˝ážáąáˇ ( Permutable ) ááźá áşáááşá ááá°ááŽááąáŹááąááŹááťáŹá¸ááąáŤáşáá˝ááşáááşáážáŻááźááşá¸ááŻááşááąáŹááşáážáŻááťáŹá¸áážááˇáşááŻááşááąáŹááşáážáŻááťáŹá¸áááş áĄááźáąáŹááşá¸áĄáá˝ážáąáˇááźá áşáááşá Read-write áážááˇáş write-write ááŻááşááąáŹááşááťááşááťáŹá¸áááş ááážááşááźááşá¸áááŻááşááŤá áĄá áŽáĄá ááşáá˝á˛áá°áááŹáááşáážáŹ áĄááźááŻááşáá˝áąááąá¸áá˝áąáá°ááťáŹá¸ááźááˇáşááŻááşááąáŹááşááąáŹ ááŻááşááąáŹááşááťááşááťáŹá¸ááᯠááźáŹá¸ááźááşááŻááşááąáŹááşááźááşá¸ááááşáááş áááşáááŻááşáá˝áąááąá¸áá˝áąáá°ááŻááşááąáŹááşááźááşá¸áážááˇáş ááŽááťážá áąáááşááźá áşáááşá
ááźááŻááşáá°áĄááŻááşááťáŹá¸ááᯠááááşá¸ááťáŻááşáááş ááášáááŹá¸ááťáŹá¸ (Concurrency Control)
áĄááąáŹááşá¸ááźááşááŤááááş áááááášáááťáŹá¸ááᯠáážáŹáá˝áąááąáŹáşááŻááşááźáąáážááşá¸ááźááşá¸áĄááąáŤáş áĄááźáąááśááźáŽá¸á áĄáááŻá¸ááźááşáážáŻáááş áááááášáááťáŹá¸áááźá áşáá˝áŹá¸á áąáááş ááŹá¸ááŽá¸ááźááşá¸áĄááąáŤáş áĄááźáąááśáááşá
áĄááąáŹááşá¸ááźááşááąáŹááťááşá¸áááşáážáŻáá˝ááşá áĄááŻáśá¸ááźáŻáá°áĄááťáŹá¸áĄááźáŹá¸áááş áááşá¸áááŻáˇá áááŻááşáá˝ááşááŹáá˝ááş ááąááŹáááášáá°ááťáŹá¸áážááááşá áááşá¸ááźááşááźááşá¸ááᯠááźáŽá¸ááźáąáŹááşáĄáąáŹááş áááááŻáśá¸ááźáŻááŻááşáá°áááş áĄááźáąáŹááşá¸áĄáá˛ááťáŹá¸ááᯠááááşá¸áááşá¸áááşááźá áşááźáŽá¸ áĄááźáŹá¸áá°ááťáŹá¸áááş áĄááźáąáŹááşá¸áĄáá˛ááťáŹá¸ááᯠááąáŤááşá¸á ááşá¸ááááşááźá áşáááşá áĄááąáŹááşá¸ááźááşááąáŹ áĄááşááááŻááŽáááşáá áşááŻáááş áááááášáááᯠááźá áşááąáŤáşá áąáááŻááşááąáŹáşáááşá¸ á áá áşáááş áááááášáááž ááźááşáááşááá°ááááşááźá áşáááşá
áĄáááŻá¸ááźááşááąáŹ ááťááşá¸áááşáážáŻááźááˇáş ááąááŹááᯠáááşá¸áá°áááˇáş áááááŻáśá¸áĄááŻáśá¸ááźáŻáá°áááş áĄááźáŹá¸áá°ááťáŹá¸ááᯠááąááŹáááşááśááźááşá¸ááž ááŹá¸ááŽá¸áááşá áááááášáááťáŹá¸ áážáŹá¸ááŤá¸ááŤáá áááşá¸áááş áá°ááŽááąáŹáĄáááˇáşááᯠááśáˇáááŻá¸ááąá¸ááąáŹááźáąáŹááˇáş áĄááąáŹááşá¸ááźááşáááşá¸ááťá°ááŹááᯠáá˝áąá¸ááťááşááźááşá¸áááş áááŹáážáááŹááąáŹááşááŤáááşá
ááąáŹáˇáááşááźááşá¸á
áá˝áąááąá¸áá˝áąáá°áá áşááŻáá˝ááş ááąááŹááąáŹáˇááşááťááŹá¸ááŤáá ááąááŹáááŻáááşááąáŹááşáááˇáşáĄá፠ááąáŹáˇááşááá˝ááˇáşáááťááşá¸ áĄááźáŹá¸áá˝áąááąá¸áá˝áąáá°ááťáŹá¸á á áąáŹááˇáşáááŤáááşá
áááąáŹáˇáá áşááŻáĄáŹá¸ ááąááŹááąáˇá áşá áááŹá¸á áĄáááşá¸ áááŻáˇáááŻááş áááşáá˝ážááşá¸ááťááşááąáŤáşáá˝ááş áááşáááşáááŻááşáááşá Shared Lock áááş áá˝áąááąá¸áá˝áąáá°ááťáŹá¸á á˝áŹááźááˇáş áá°ááŽááąáŹááąááŹááᯠááťáážááşáááŻááşááźáŽá¸á áá˝áąááąá¸áá˝áąáá°áĄáŹá¸ááŻáśá¸ááᯠ(áááŻáĄááŹáĄááŤáĄáááş) áááşáážáŻáááşá ááźáŻááźááşáá˝ááşá¸ááśááźááşá¸áážááˇáş ááŽá¸áááˇáşáááŻááşáá°á¸ááźááşá¸ááᯠááŹá¸ááźá áşáááŻááşáááşá ááŽá¸áááˇáşááąáŹáˇáááşááźááşá¸ááᯠáá áşááŻáááşá¸ááąáŹ áá˝áąááąá¸áá˝áąáá°ááźááˇáş ááťáážááşáááŻááşáááşá áĄááťáŻáśá¸áááşááąáŹ áĄááąáŹááşá¸áĄáááşá áááşáááˇáşááŻááşááąáŹááşááťááşáááŻáááᯠáá˝ááˇáşááźáŻáááşá áĄááźáŹá¸ááŻááşááąáŹááşááťááşááťáŹá¸ááᯠááŹá¸ááźá áşáááşá
Deadlock áááş áĄáááˇáşáĄáááşááážá áááŻááşá¸ááśáˇááŹá¸áááˇáş áĄááźáąáĄááąáá˝ááş áĄááąáŹááşá¸áĄáááşááťáŹá¸ ááźáŽá¸ááŻáśá¸áááˇáş áĄááźáąáĄááąáá áşááŻááźá áşáááşá
áĽáááŹá ááá áá˝áąááąá¸áá˝áąáá°áááş ááŻááááážáááşá¸áá°ááŹá¸ááąáŹ ááąááŹááᯠááŻááşáá˝ážááşáááş á áąáŹááˇáşáááŻááşá¸ááąááťáááşáá˝ááş ááŻááááá áşááŻáááş ááááážáááşá¸áá°ááŹá¸ááąáŹ ááąááŹááᯠááŻááşáá˝ážááşáááş á áąáŹááˇáşáááŻááşá¸ááąááŤáááşá
deadlock ááźáżááŹáĄáá˝ááş áĄááąáŹááşá¸ááźááşááąáŹáĄááźáąáá áşááŻá deadlock áááŻááźá áşááąáŤáşá áąáááşá áááŻáˇááąáŹáş deadlock áá˝ááşá፠á ááşáááˇáşáá˝áąááąá¸áá˝áąáá°ááťáŹá¸áá˛áážáá áşááŻáááŻááźááşáážááˇáşááźááşá¸ááźááˇáşá áá áşáĄáŹá¸ááźááşáááşááąáŹááşá¸áá˝ááşá áąáááşá
Deadlocks ááťáŹá¸ááᯠáĄááťááŻáˇááąáŹááŹáááťáŹá¸áá˝ááş áážáŹáá˝áąáááşá ááąáŹááşáážááşá¸ááźááşá¸áááşá¸áááşá¸ááťáŹá¸áá˛ááž áá áşááŻáááş áĄááťáááşáĄáŹá¸ááźááˇáşááźá áşáááşá áááŻáááŻáááşáážáŹá áá˝áąááąá¸áá˝áąáá° ááźáŽá¸ááźáąáŹááşáááş áĄáá˝ááşááźáŹááŤá áááąáááťáŹááźá áşáá˝áŹá¸áááşáᯠáá°áááŤáááşá Deadlock áá áşááŻááᯠáá˝áąáˇáážáááąáŹáĄááŤá áĄááąáŹááşá¸áĄáááşááťáŹá¸áá˛ááž áá áşááŻááᯠááźááşáážááˇáşááźáŽá¸ deadlock áá˝ááş ááŤáááşááąáŹ áĄááźáŹá¸áá˝áąááąá¸áá˝áąáá°ááťáŹá¸ááᯠáĄááźáŽá¸áááşáááŻááşá áąááŤáááşá ááŹá¸ááąáŹááşáá˝áąá¸ááťááşáážáŻáááş áá˝áąááąá¸áá˝áąáá°áááşáááŻá¸ áááŻáˇáááŻááş áááşá¸áááŻáˇá ááŻááşáááş (Wait-Die and Wound-wait schemes) ááąáŤáşáá˝ááş áĄááźáąááśáááŻááşáááşá
áĄááąáŹááşá¸áĄáááşáááŻááşá¸ T áĄááťáááşááśááááşáá áşáᯠáááşáážááşááąá¸ááŹá¸áááşá TS áĄááąáŹááşá¸áĄ á ááşáá áááşááťáááşá፠á ááşáááşá
á áąáŹááˇáş-ááąá
ááťážááş TS(Ti) < TS(Tj)áááŻáĄá፠Ti áááŻááşáááş á áąáŹááˇáşáááşá Ti ááźááşáážááˇáşááźáŽá¸ áá°ááŽááąáŹ áĄááťáááşááśááááşááŻáśá¸ááźááˇáş ááźááşáááşá áááşáááşá
áááşáá˝ááşááąáŹ áá˝áąááąá¸áá˝áąáá°áá áşááŻáááş áĄáááşá¸áĄááźá áşáá áşááŻááᯠááá°ááŹá¸ááźáŽá¸ áĄááąáŹááşá¸áĄááąáŹááşá¸áĄáááşáá áşááŻááž áá°ááŽááąáŹáĄáááşá¸áĄááźá áşááᯠááąáŹááşá¸áááŻááŤáá áĄááąáŹááşá¸áĄááąáŹááşá¸áĄáááşááᯠá áąáŹááˇáşáááŻááşá¸áááş áá˝ááˇáşááźáŻáááşá áĄáááşááźáŽá¸ááąáŹ áá˝áąááąá¸áá˝áąáá°áá áşááŻáááş áĄáááşá¸áĄááźá áşáá áşááŻááážáááŤáá áááŻáĄáááşá¸áĄááźá áşááᯠááąáŹááşá¸áááŻááąáŹ ááąá¸áááşááąáŹ áá˝áąááąá¸áá˝áąáá°áááş ááźááşáážááˇáşáá˝áŹá¸áááşááźá áşáááşá
áĄááŹ-ááťáąáŹááşá¸ááźáąáŹááşá¸á
ááťážááş TS(Ti) < TS(Tj)áááŻáĄá፠Tj ááźááşáážááˇáşááźáŽá¸ áá°ááŽááąáŹáĄááťáááşááśááááşááŻáśá¸ááźááˇáş ááźááşá áááşáááş Ti á áąáŹááˇáşááąáááşá
áááşáá˝ááşááąáŹ áá˝áąááąá¸áá˝áąáá°áá áşááŻáááş áĄáááşá¸áĄááźá áşáá áşááŻááᯠááá°ááŹá¸ááźáŽá¸ áĄááąáŹááşá¸áĄááąáŹááşá¸áĄáááşáá áşááŻááž áá°ááŽááąáŹáĄáááşá¸áĄááźá áşááᯠááąáŹááşá¸áááŻááŤáá áááşááąáŹáá˝áąááąá¸áá˝áąáá°ááᯠááźááşáážááˇáşááŤáááşá áĄáááşááźáŽá¸ááąáŹ áá˝áąááąá¸áá˝áąáá°áá áşááŻáááş áĄáááşá¸áĄááźá áşáá áşááŻááážáááŤáá áááşá¸ááźá áşááąáŹááşá¸áááŻáááˇáş áááşáá˝ááşááąáŹáá˝áąááąá¸áá˝áąáá°áááş á áąáŹááˇáşáááŻááşá¸áááşáá˝ááˇáşááźáŻááŹá¸áááşá áážáąáˇáááşá¸ááťááąáŹ ááŹá¸ááąáŹááşáá˝áąá¸ááťááşáážáŻáááş ááąáŹáˇááááşáážáŻááťáŹá¸ááᯠáááˇáşááŹá¸ááąá¸áááşá áááŻáˇááąáŹáş áááąáááťáŹááźá áşááąááąáŹ áá˝áąááąá¸áá˝áąáá°ááťáŹá¸ááᯠááźááşáááşááŻááşááąáŹááşáááşá ááźáżááŹá áĄááąáŹááşá¸áĄáááşáá˝áą áĄááźáááşááąáŤááşá¸ááťáŹá¸á á˝áŹ ááźááşáážááˇáşáááŻááşááŹááźáąáŹááˇáş... áĄááąáŹááşá¸áĄáááşáĄááąáŹááşá¸áá áşááŻáááş áĄáááşá¸áĄááźá áşááᯠáĄááťáááşáĄááźáŹááźáŽá¸ ááááşá¸ááŹá¸áááŻááşáááşá
Deadlock ááźáżááŹáĄáá˝ááş áĄáááŻá¸ááźááşááąáŹááźáąáážááşá¸ááťááşáááş áááąáááťáŹááźá áşáááŻááşáááˇáşáĄáášáááŹááşáážáááťážááş áá˝áąááąá¸áá˝áąáá°áá áşáᯠá áááşááŻááşááąáŹááşáááş áá˝ááˇáşáááźáŻááŤá
áááąáááťáŹááźá áşááąááźááşá¸ááᯠááąáŹááşáážááşá¸áááşá ááááşáá áşáᯠ(á áąáŹááˇáşáááŻááşá¸ááááşá á áąáŹááˇáşáááŻááşá¸áááş-ááááşáá áş) ááᯠáááşááąáŹááşááŹá¸ááźáŽá¸ áĄááąáŹááşá¸áĄáááşááťáŹá¸ááźá áşáááˇáş ááąáŤááşáááŻááşááťáŹá¸áážááˇáş áĄá á˝ááşá¸ááťáŹá¸ááᯠááąááŹááŻááşáá˝ážááşááźááşá¸áĄáá˝ááş á áąáŹááˇáşáááŻááşá¸ááąáááˇáş áá˝áąááąá¸áá˝áąáá°ááťáŹá¸ááž á¤ááąááŹááᯠáááşá¸áá°ááŹá¸ááąáŹ áá˝áąááąá¸áá˝áąáá°ááŽáááŻáˇ áá˝ážááşááźááŤáááşá ááááşáá˝ááş loop áá áşááŻáážáááťážááş deadlock ááźá áşááąáŤáşááŹáááşáᯠáá°áááŤáááşá áĄáá°á¸áááźááˇáşááźááˇáşááąááŹá¸ááąáŹááąááŹááąáˇá áşááťáŹá¸áá˝ááşá áąáŹááˇáşáááŻááşá¸ááááşáá áşáááşááąáŹááşááźááşá¸áááşá áťáąá¸ááźáŽá¸ááąáŹááŻááşáááşá¸á ááşáá áşááŻááźá áşáááşá
áážá áşáááˇáşááąáŹáˇáááşááźááşá¸ - áá˝áąááąá¸áá˝áąáá°ááĄá áá˝ááş áĄááŻáśá¸ááźáŻáááˇáş áĄáááşá¸áĄááźá áşáĄáŹá¸ááŻáśá¸ááᯠááááşá¸áá°ááźáŽá¸ áĄááŻáśá¸áá˝ááş áááşá¸áááŻáˇáĄáŹá¸ ááŻááşáá˝ážááşááąá¸ááźááşá¸ááźááˇáş ááąáŹáˇáááşáážáŻááťáŹá¸ááᯠááŹá¸ááŽá¸ááąá¸áááş
ááááşáááŻáˇááźááşá¸ááŻááşáááşá¸áĄáŹá¸ááŻáśá¸áááş áááááąáŹáˇáá˝ááˇáşááźááşá¸á áážáąáˇáá˝ááşáážáááááşá áááşá¸áá˝ááş ááŻááşáááŻááşááŹá¸áááˇáşáĄááŹááťáŹá¸á áŻááŻáśááąáááˇáşáĄááąáŹáĄáá˝ááşá¸á ááŻááşáááŻááşááŹá¸áááˇáşáĄáááˇáş (Growing Phase) áážááˇáş ááŻááşáááŻááşááŹá¸ááąáŹáĄáááˇáş (Shrinking Phase) áá°á áĄáááˇáşáážá áşáááˇáşáážááááşá áĄáááşá¸áĄááźá áşááťáŹá¸áá˛ááž áá áşááŻááᯠáááşá¸áá°áááş áááźá áşáááŻááşááŤá áĄááąáŹááşá¸áĄáááş ááźááşá ááŤáááşá áĽáááŹáĄáŹá¸ááźááˇáşá áá˝áąááąá¸áá˝áąáá°ááťáŹá¸á á˝áŹáááş áá°ááŽááąáŹáĄáááşá¸áĄááźá áşááťáŹá¸ááᯠáážááşááźááŻááşááŤáá áá˝áąááąá¸áá˝áąáá°áá áşááŻáááş áááŻáĄááşááąáŹáĄáááşá¸áĄááźá áşááťáŹá¸ááᯠááá°áááŻááşáááşáááŻááşááŤá
áĄáááˇáşáážá áşáááˇáş áááááááşáá áşááŻáááş ááąááŹááąáˇá áşááŻáśáá°ááťáŹá¸áĄáŹá¸ááŻáśá¸ááᯠááŻááşááąáŹááşááźáąáŹááşá¸ ááąááťáŹá áąáááşá
ááąááŹááąáˇá áşáá áşááŻá áŽáááş ááźáąáŹááşá¸áá˛ááááˇáşááąááŹááᯠáážááşáááşá¸áááşááźáŽá¸ áážááážááŻááşá¸ááąá¸áážá°á¸ááś OK (áá˛ááąá¸áááˇáşáĄáááˇáş) ááźááˇáş áĄááźáąáŹááşá¸ááźááşáááşá áĄáŹá¸ááŻáśá¸ OK ááźááˇáş áĄááźáąáŹááşá¸ááźááşááźáŽá¸ááąáŹááşá áážááážááŻááşá¸ááąá¸áážá°á¸áááş áá°áááŻááşá¸ commit áááş áááŻáĄááşááąáŹ áĄááťááşááźáážáŻááᯠááąá¸áááŻáˇáááşá commit ááźáŽá¸ááąáŹááşá ááŹáᏠáĄááŻááąáᯠááŻáśáˇááźááşááŤá áĄáááşá¸ááŻáśá¸ áá áşááŻá áĄááŻááąáᯠáááŻáśáˇááźááşááŤáá áážááážááŻááşá¸ááąá¸áážá°á¸áááş ááŹááŹáĄáŹá¸ááŻáśá¸áááŻáˇ ááźáąáŹááşá¸áá˛áážáŻááťáŹá¸ááᯠáááşááťááşáááş áĄááťááşááźáážáŻ ááąá¸áááŻáˇáááş (ááźáŽá¸á áŽá¸áážáŻáĄáááˇáş)á
áĄááťáááşááśááááşáážáááşáááşá¸
áááşáá˝ááşááąáŹ áá˝áąááąá¸áá˝áąáá°ááźááˇáş ááŤáááşáááˇáş ááąááŹááᯠááá°áááş ááźááŻá¸áááşá¸ááąáŹáĄá፠áĄááąáŹááşá¸áá˝áąááąá¸áá˝áąáá°ááᯠááźááşáážááˇáşááŤáááşá
áá˝áąááąá¸áá˝áąáá°áá áşááŻá áŽááᯠáĄááťáááşááśááááşáá áşáᯠáááşáážááşááąá¸áááşá TS áá˝ááşááťááşáážáŻá áááşááťáááşáážááˇáşáááşáááŻááşáááşá áĄáááşáááŻáˇ Ti áĄááąáŹááşá¸áá˝áą TjáááŻáĄá፠TS(Ti) < TS(Tj).
áá˝áąááąá¸áá˝áąáá°ááᯠááźááşáážááˇáşááąáŹáĄááŤá áĄááťáááşááśááááşáĄáá áşáá áşáᯠáááşáážááşááąá¸áááşá ááąááŹáá áşááŻá áŽáážáááźááŤáááşá Q áá˝áąááąá¸áá˝áąáá°áá˝ááş ááŤáááşáááşáááşáážáŻááᯠáĄáá˝ážááşá¸áážá áşááŻááźááˇáş áážááşááŹá¸ááŹá¸áááşá W-TS(Q) - á áśááťáááşáááşáĄáąáŹááşááźááşá á˝áŹááźáŽá¸ááŻáśá¸áá˛áˇááąáŹ áĄáááşáĄáááşááŻáśá¸áá˝áąááąá¸áá˝áąáá°á áĄááťáááşááśááááş Q. R-TS(Q) â áááşááźáŽá¸ááąáŹ áážááşáááşá¸ááᯠááŻááşááąáŹááşáá˛áˇááąáŹ áĄáááşáĄáááşááŻáśá¸ áá˝áąááąá¸áá˝áąáá°á áĄááťáááşááśááááş Q.
áá˝áąáá˝ážá˛áá˛áˇáĄá፠T áĄááťááşáĄáááşáááşáááşááąáŹááşá¸áááŻáážáŻááťáŹá¸ Q áá˝áąá¸ááťááşá ááŹáážá áşááŻáážááááşá
ááťážááş TS(T) < W-TS(Q)áááŻáááŻáááşáážáŹá ááąááŹááᯠáááşáá˝ááşááąáŹ áá˝áąááąá¸áá˝áąáá°ááźááˇáş áĄááşááááşááŻááşááźáŽá¸á áááŻáˇááąáŹááş áĄááąáŹááşá¸áĄáááşááźá áşáááşá T ááźááşáážááˇáşáááşá
ááťážááş TS(T) >= W-TS(Q)áááŻáˇááąáŹááş á áŹáááşááźááşá¸ááᯠááąáŹááşáá˝ááşááąá¸áááşá R-TS(Q) ááŤááŹááźá áşáᏠMAX(R-TS(Q), TS(T)).
áá˝áąáá˝ážá˛áá˛áˇáĄá፠T ááąááŹááźáąáŹááşá¸áá˛áážáŻááťáŹá¸ááᯠááąáŹááşá¸áááŻáááşá Q áá˝áąá¸ááťááşá ááŹáážá áşááŻáážááááşá
ááťážááş TS(T) < R-TS(Q)áááŻáááŻáááşáážáŹá ááąááŹááᯠáááşáá˝ááşááąáŹ áĄááąáŹááşá¸áĄáááşáá áşááŻá áááşááŹá¸ááźáŽá¸ááŹá¸ááźá áşááźáŽá¸ áĄááźáąáŹááşá¸áĄáá˛áá áşáᯠááźáŻááŻááşááŤá áááááášáááťáŹá¸ ááźá áşááąáŤáşááŹáááşááźá áşáááşá áá˝áąáá˝ážá˛ááźááşá¸á T ááźááşáážááˇáşáááşá
ááťážááş TS(T) < W-TS(Q)áááŻáááŻáááşáážáŹá áá˝áąááąá¸áá˝áąáá°áááş áááŻáááşáááŻá¸áĄáá áşáá áşááŻááᯠáááşááąá¸áááşááźááŻá¸á áŹá¸áááşá áá˝áąááąá¸áá˝áąáá° T áááş ááąáŹááşááźááşááŻááşáá˝áŹá¸áááşá áĄááźáŹá¸ááá ášá ááťáŹá¸áá˝ááş áĄááźáąáŹááşá¸áĄáá˛ááᯠááąáŹááşáá˝ááşáááşá W-TS(Q) áááşá¸áá°ááźá áşááŹáááşá TS(T).
á áťáąá¸ááźáŽá¸ááąáŹá áąáŹááˇáşáááŻááşá¸ááááşáááşááąáŹááşáážáŻááááŻáĄááşááŤá áĄááąáŹááşá¸ááťáŹá¸áááş áá˝áąááąá¸áá˝áąáá°áĄáá áşááťáŹá¸ááąáŤáşáá˝ááşáá°áááşááąáŹááźáąáŹááˇáş á áąáŹááˇáşáááŻááşá¸ááááşáá˝ááş ááśáááŹááážáááŤá áĄááąáŹááşá¸áĄáááşááťáŹá¸ááᯠáá áąáŹááˇáşáᲠááťááşááźááşá¸ááźááşááŻááşáá˝áŹá¸ááąáŹááźáąáŹááˇáş ááąáŹáˇááááşáážáŻááťáŹá¸ááážáááŤá Cascading rollback ááťáŹá¸áááş ááźá áşáááŻááşáááşá áĄáááşáááŻáˇ Ti áážáááˇáşáá˝áŹá¸áááşáážááˇáş Tj ááźáąáŹááşá¸áá˛áá˝áŹá¸áá˛áˇ ááąááŹááᯠáááşáááşá TiáááŻáĄá፠Tj ááźááşáážááˇáşáááˇáşáááşá áá áşááťáááşáááşá¸áážáŹáááŻáááş Tj áááááááşááźáŻááźáŽá¸áááşáážááˇáş áááşááźáááşááąá¸áá°ááᯠááťááŻá¸ááąáŹááşááŹááąáŹááşááááˇáşáááşá
Cascading rollbacks ááťáŹá¸áĄáá˝ááş áĄááźáąááťáŹá¸áá˛ááž áá áşááŻá áá˝áąááąá¸áá˝áąáá°áá áşááŻáááş áĄááŻáśá¸áá˝ááş ááąá¸ááŹá¸ááąáŹ ááŻááşááąáŹááşááťááşáĄáŹá¸ááŻáśá¸ááᯠááźáŽá¸ááźáąáŹááşá áąááźáŽá¸ áĄááźáŹá¸áá˝áąááąá¸ááťáąáážáŻááťáŹá¸áááş áááŻááŻááşááąáŹááşááťááşááᯠááźáŽá¸ááźáąáŹááşáááş á áąáŹááˇáşáááŤáááşá áá˝áąáá˝ážá˛áážáŻááťáŹá¸ááᯠááááşáᎠáááááźáŻáááş á áąáŹááˇáşááŤá
ááąáŹáááşá áş ááąá¸áááşá¸áĽáááą - áááşáá˝ááşááąáŹ áá˝áąááąá¸áá˝áąáá°ááźááˇáş áĄááşááááşááŻááşááŹá¸ááąáŹ áĄááťááşáĄáááşááᯠáĄáááşááźáŽá¸áá°á áááşáááąá¸áááş ááŹá¸ááźá áşááŹá¸áááˇáş áĄááťáááşááśááááşáááŻááşáááşá¸á áá˝á˛áá˝á˛ááťááş
áá˝áąááąá¸áá˝áąáá° T ááąááŹááźáąáŹááşá¸áá˛áážáŻááťáŹá¸ááᯠááąáŹááşá¸áááŻáááşá Qá ááťážááş TS(T) < W-TS(Q)áááŻáááŻáááşáážáŹá áá˝áąááąá¸áá˝áąáá°áááş áĄáá
áşááąáŹáááşáááŻá¸áá
áşááŻááᯠáááşááąá¸áááşááźááŻá¸á
áŹá¸áááşá áá˝áąááąá¸áá˝áąáá° T áááş áĄááťáááşááśááááşááŻáśá¸áááşá¸áááşá¸áĄáááŻááşá¸ ááźááşááážááˇáşááŤá
source: www.habr.com
