博客
关于我
死锁案例之九
阅读量:117 次
发布时间:2019-02-25

本文共 3032 字,大约阅读时间需要 10 分钟。

MySQL Deadlock Analysis Case Study

1. Introduction

Deadlocks, in general, are a fascinating yet challenging technical problem that most DBAs and developers encounter during their careers. This article will walk through a series of case studies to help those interested better understand deadlocks in MySQL environments.


2. Case Analysis

2.1 Business Scenario

A development team encountered a deadlock issue while initializing data. Their approach involved batch inserting multiple records into a table with a unique constraint. The unique constraint caused deadlocks due to adjacent values being inserted in sequence.

2.2 Environment Setup
  • MySQL Version: 5.6.24
  • Transaction Isolation Level: RR (Read Committed)
2.3 Technical Details

The table tc has the following structure:

CREATE TABLE `tc` (    `id` bigint(20) unsigned NOT NULL AUTO_INCREMENT COMMENT '自增ID',    `c1` bigint(20) unsigned NOT NULL DEFAULT '0',    `c2` bigint(20) unsigned NOT NULL DEFAULT '0',    `c3` bigint(20) unsigned NOT NULL DEFAULT '0',    `c4` tinyint(4) NOT NULL DEFAULT '0',    `c5` tinyint(4) NOT NULL DEFAULT '0',    `created_at` datetime NOT NULL DEFAULT '1970-01-01 08:00:00',    `deleted_at` datetime NOT NULL DEFAULT '1970-01-01 08:00:00',    PRIMARY KEY (`id`),    UNIQUE KEY `uniq_cid_bid_dt_tid` (`c1`, `c2`, `deleted_at`, `c3`),    ENGINE=InnoDB AUTO_INCREMENT=19 DEFAULT CHARSET=utf8mb4)

3. Deadlock Log Explanation

The deadlock log reveals the following:

  • Session 2 (T1): Attempting to insert two records with the same c1 and c2 values but different c3 values.
  • Session 1 (T2): Inserting a record that conflicts with Session 2's unique constraint, leading to a deadlock.

  • 4. Deadlock Causes

    4.1 Insert Statement Lock Mechanism
    • Stage 1: Unique constraint check requires a shared lock (S) and an ordinary lock (ORDINARY).
    • Stage 2: After inserting, the system applies a gap lock (INSERT_INTENTION) to prevent adjacent insertions.
    • Stage 3: Finally, it acquires an exclusive lock (X) and a record lock (REC_NOT_GAP).
    4.2 Compatibility Matrix
    • Shared (S) and Exclusive (X) locks do not conflict.
    • Gap (GAP) and Next-Key (S Next-key) locks block insert intentions.
    • Record (REC) and Next-Key (S Next-key) locks conflict.
    • Existing locks (REC, GAP) do not block new locks.

    5. Deadlock Resolution

    Deadlocks caused by concurrent inserts can be challenging to resolve at the SQL level. However, some strategies include:

    • Adjusting the order of operations: Simplify the insertion logic to reduce concurrency.
    • Modifying the unique index: Distribute initial data evenly across the table to avoid adjacent conflicts.

    6. Conclusion

    The deadlock in this case arises from concurrent inserts of adjacent records due to unique constraints. The system's lock mechanisms, particularly the Next-Key Lock, create a cycle of waiting transactions, leading to deadlock.


    7. Extended Reading

    For further understanding of MySQL deadlocks and lock mechanisms, we recommend exploring:

    • InnoDB transaction isolation levels
    • Deadlock prevention strategies
    • Index optimization techniques

    转载地址:http://qpn.baihongyu.com/

    你可能感兴趣的文章
    POJ 1738 An old Stone Game(石子合并)
    查看>>
    POJ 1740 A New Stone Game(博弈)题解
    查看>>
    Qt网络编程之实例二POST方式
    查看>>
    POJ 1765 November Rain
    查看>>
    poj 1860 Currency Exchange
    查看>>
    POJ 1961 Period
    查看>>
    POJ 2019 Cornfields (二维RMQ)
    查看>>
    poj 2057 The Lost House 贪心思想在动态规划上的应用
    查看>>
    poj 2057 树形DP,数学期望
    查看>>
    poj 2112 最优挤奶方案
    查看>>
    Qt编写自定义控件12-进度仪表盘
    查看>>
    SpringBoot主启动原理在SpringApplication类《第六课》
    查看>>
    poj 2186 Popular Cows :求能被有多少点是能被所有点到达的点 tarjan O(E)
    查看>>
    POJ 2186:Popular Cows Tarjan模板题
    查看>>
    POJ 2229 Sumsets(递推,找规律)
    查看>>
    poj 2236
    查看>>
    POJ 2243 Knight Moves
    查看>>
    POJ 2262 Goldbach's Conjecture
    查看>>
    POJ 2362 Square DFS
    查看>>
    Qt笔记——解决添加Qt Designer Form Class时“allocation of incomplete type Ui::”
    查看>>