Create a node for each transaction.

Create a node for each transaction.
n Create a directed edge T
i → T
j
, if transaction T
i
is waiting to lock an item that is
currently locked by T
j
.
Deadlock exists if and only if the WFG contains a cycle (Holt, 1972). Figure 20.20
shows the WFG for the transactions in Figure 20.19. Clearly, the graph has a cycle in it
(T
17→ T
18→ T
17
), so we can conclude that the system is in deadlock.
Frequency of deadlock detection
Since a cycle in the wait-for graph is a necessary and sufficient condition for deadlock to
exist, the deadlock detection algorithm generates the WFG at regular intervals and examines
it for a cycle. The choice of time interval between executions of the algorithm is import-ant. If the interval chosen is too small, deadlock detection will add considerable overhead;
if the interval is too large, deadlock may not be detected for a long period. Alternatively,
a dynamic deadlock detection algorithm could start with an initial interval size. Each time
no deadlock is detected, the detection interval could be increased, for example, to twice
the previous interval, and each time deadlock is detected, the interval could be reduced,
for example, to half the previous interval, subject to some upper and lower limits.
Recovery from deadlock detection
As we mentioned above, once deadlock has been detected the DBMS needs to abort one
or more of the transactions. There are several issues that need to be considered:
(1) Choice of deadlock victim In some circumstances, the choice of transactions to abort
may be obvious. However, in other situations, the choice may not be so clear. In such
cases, we would want to abort the transactions that incur the minimum costs. This may
take into consideration:
(a) how long the transaction has been running (it may be better to abort a transaction
that has just started rather than one that has been running for some time);
(b) how many data items have been updated by the transaction (it would be better to
abort a transaction that has made little change to the database rather than one that
has made significant changes to the database);
(c) how many data items the transaction is still to update (it would be better to abort
a transaction that has many changes still to make to the database rather than one
that has few changes to make). Unfortunately, this may not be something that the
DBMS would necessarily know.

ผลลัพธ์ (ไทย) 1:

สร้างโหนสำหรับธุรกรรมแต่ละ
n สร้างขอบโดยตรง T
ฉัน→ T
เจ
, ถ้าธุรกรรม T
ฉัน
รอล็อคสินค้าที่
ขณะนี้ถูกล็อก โดย T
เจ
.
การชะงักงันอยู่ถ้าและเฉพาะถ้า WFG ประกอบด้วยวงจร (Holt, 1972) 20.20 รูป
WFG สำหรับธุรกรรมที่แสดงในรูป 20.19 ชัดเจน กราฟมีวงจรใน
(T
17→ T
18→ T
17
), ดังนั้นเราสามารถสรุปได้ว่าระบบใช้ในการชะงักงัน
ความถี่ของการตรวจสอบล็อกตาย
ตั้งแต่รอบในการรอ-กราฟเป็น เงื่อนไขที่จำเป็น และเพียงพอสำหรับการชะงักงันไป
อยู่ อัลกอริทึมการตรวจการชะงักงันสร้าง WFG ที่อย่างสม่ำเสมอ และตรวจสอบ
มันสำหรับวงจร เลือกช่วงเวลาระหว่างดำเนินการของอัลกอริทึมจะนำมด ถ้าช่วงที่เลือกมีขนาดเล็กเกินไป ตรวจการชะงักงันจะเพิ่มค่าโสหุ้ยมาก;
ถ้าช่วงมีขนาดใหญ่เกินไป การชะงักงันอาจตรวจไม่พบเป็นเวลานานได้ หรือ,
มีการชะงักงันแบบไดนามิกตรวจหาอัลกอริทึมอาจเริ่มต้น ด้วยขนาดช่วงเริ่มต้นได้ แต่ละครั้ง
การชะงักงันไม่ตรวจพบ ช่วงตรวจสอบไม่ได้เพิ่ม ขึ้น เช่น สอง
ช่วงก่อนหน้านี้ และการชะงักงันละเวลาตรวจพบ ช่วงสามารถจะลดลง,
ตัวอย่าง การครึ่งก่อนหน้าช่วงเวลา อาจมีบางด้านบน และล่างจำกัดได้
ฟื้นตัวจากการตรวจสอบล็อกตาย
เรากล่าวถึงข้างต้น เมื่อล็อกตายพบ DBMS ต้องยกเลิกหนึ่ง
หรือมากขึ้นของธุรกรรมได้ มีหลายประเด็นที่จำเป็นต้อง เลือกเหยื่อการชะงักงันในบางสถานการณ์ considered:
(1) เลือกธุรกรรมการยกเลิก
อาจจะชัดขึ้น อย่างไรก็ตาม ในสถานการณ์อื่น ๆ เลือกไม่ได้อย่างชัดเจน ในเช่น
กรณีที่เราต้องการยกเลิกธุรกรรมที่ใช้ต้นทุนต่ำสุด พฤษภาคมนี้
พิจารณา consideration:
(a) นานธุรกรรมมีการเรียกใช้ (มันอาจจะดีกว่าการยกเลิกธุรกรรม
ที่ได้เริ่มต้นเพียงแทนที่มีการเรียกใช้บางครั้ง);
(ข) รายการข้อมูลการได้รับการปรับปรุงโดย (มันจะดีกว่า
ยกเลิกธุรกรรมที่ได้ทำการเปลี่ยนแปลงเล็กน้อยในฐานข้อมูลมากกว่าหนึ่งที่
ได้ทำการเปลี่ยนแปลงสำคัญ database);
(c) จำนวนธุรกรรมยังคงเป็นการ ปรับปรุงรายการข้อมูล (มันจะดีกว่าที่จะยกเลิก
ธุรกรรมที่มีการเปลี่ยนแปลงมากต้องทำฐานข้อมูลมากกว่าหนึ่ง
ที่ได้เปลี่ยนแปลงบางอย่างที่ต้องการ) อับ อาจไม่ใช่สิ่งที่
DBMS จะรู้จำได้

ผลลัพธ์ (ไทย) 3:

สร้างโหนดสำหรับแต่ละธุรกรรม .
n สร้างกำกับขอบ T
T
J
ฉัน→ keyboard - key - name หากธุรกรรม T
ผม
รอล็อคสินค้าที่ปัจจุบันถูกล็อคโดย T

J
.
หยุดชะงักมีอยู่ถ้าและเพียงถ้า wfg ประกอบด้วยวงจร ( Holt , 1972 ) รูปแสดง wfg องศาเซลเซียส
สำหรับธุรกรรมในรูป 20.19 . ชัดเจน , กราฟได้รอบเลย
( T
T
T → keyboard - key - name 17 18 → keyboard - key - name 17

)ดังนั้นเราสามารถสรุปได้ว่า ระบบมีการหยุดชะงัก ความถี่ของการตรวจสอบการหยุดชะงักเนื่องจาก

รอรอบในกราฟเป็นเงื่อนไขจำเป็นและเพียงพอสำหรับการหยุดชะงัก

ไม่มีการหยุดชะงักการตรวจสอบขั้นตอนวิธีการสร้าง wfg ในช่วงปกติและตรวจสอบ
มันเป็นวัฏจักร เลือกช่วงเวลาระหว่างการประหารชีวิตของขั้นตอนวิธีการเป็นมดนำเข้า ถ้าช่วงเวลาที่เลือกมีขนาดเล็กเกินไปการตรวจสอบการหยุดชะงักจะเพิ่มค่าใช้จ่ายมาก ;
ถ้าช่วงมีขนาดใหญ่เกินไป , การหยุดชะงักไม่อาจตรวจพบในระยะยาว อีกวิธีหนึ่งคือ การตรวจสอบขั้นตอนวิธีการหยุดชะงัก
แบบไดนามิกจะเริ่มต้นที่มีขนาดช่วงเริ่มต้น . แต่ละครั้งที่
ไม่มีหยุดชะงักที่ตรวจพบ , การตรวจสอบช่วงเวลาที่อาจจะเพิ่มขึ้น ตัวอย่างเช่น สองครั้ง
ช่วงก่อนหน้านี้ และในแต่ละครั้งการหยุดชะงัก ถูกจับได้ช่วงอาจจะลดลง
ตัวอย่างเช่น ช่วงก่อนหน้านี้ช่วงอาจมีบางบนและขอบเขตล่าง

การกู้คืนจากการหยุดชะงักที่เรากล่าวถึงข้างต้น เมื่อหยุดชะงัก ถูกพบ DBMS ต้องยกเลิกหนึ่ง
หรือมากกว่าของการทำธุรกรรม มีหลายประเด็นที่ต้องพิจารณา :
( 1 ) ทางเลือกของเหยื่อการหยุดชะงักในบางสถานการณ์ทางเลือกของการทำธุรกรรมเพื่อยกเลิก
อาจจะชัดเจน อย่างไรก็ตาม ในสถานการณ์อื่น ๆ ทางเลือก อาจจะชัดเจนมาก ในบางกรณี
, เราต้องการยกเลิกรายการที่ต้องเสียค่าใช้จ่ายขั้นต่ำ นี้อาจใช้เวลาในการพิจารณา :

( ) นานธุรกรรมได้ทํางาน ( มันอาจจะดีกว่าที่จะยกเลิกธุรกรรม
ที่เพิ่งเริ่มต้นมากกว่าหนึ่งที่ถูกใช้สำหรับบางเวลา ) ;
( ข ) กี่รายการข้อมูลที่ได้รับการปรับปรุง โดยธุรกรรม ( มันจะดีกว่า
ยกเลิกธุรกรรมที่ได้ทําการเปลี่ยนแปลงเล็กน้อยในฐานข้อมูลมากกว่าหนึ่งที่
ได้เปลี่ยนแปลงอย่างมีนัยสำคัญเพื่อฐานข้อมูล ) ;
( C ) กี่รายการข้อมูลธุรกรรมที่ยังต้องปรับปรุง ( มันคงจะดีกว่า ทำธุรกรรมที่มีการเปลี่ยนแปลงมากมาย
ยังคงให้กับฐานข้อมูลมากกว่าหนึ่ง
ว่ามีการเปลี่ยนแปลงบางอย่างเพื่อให้ ) แต่นี้อาจเป็นสิ่งที่
DBMS จะต้องรู้