鎖機制 · PHP知識總結

https://blog.csdn.net/greywolf0824/article/details/85072530 [TOC] PostgreSQL中有兩類鎖：表級鎖和行級鎖。當要查詢、插入、更新、刪除表中數據時，首先要獲得表級鎖，然后獲得行級鎖。 # **1、表級鎖** <table border="1" cellspacing="0"> <tbody> <tr> <td style="width:77.75pt;">鎖模式</td> <td style="vertical-align:top;width:337.05pt;">解釋</td> </tr> <tr> <td rowspan="2" style="width:77.75pt;">Access Share</td> <td style="vertical-align:top;width:337.05pt;">只與Access Exclusive鎖模式沖突。</td> </tr> <tr> <td style="vertical-align:top;width:337.05pt;">查詢命令（Select command）將會在它查詢的表上獲取Access Shared鎖，一般地，任何一個對表上的只讀查詢操作都將獲取這種類型鎖。</td> </tr> <tr> <td rowspan="2" style="width:77.75pt;">Row Share</td> <td style="vertical-align:top;width:337.05pt;">與Exclusive和Access Exclusive鎖模式沖突。 </td> </tr> <tr> <td style="vertical-align:top;width:337.05pt;">Select for update和Select for share命令將獲得這種類型鎖，并且所有被引用但沒有for update 的表上會加上Access Shared鎖。</td> </tr> <tr> <td rowspan="2" style="width:77.75pt;">Row Exclusive</td> <td style="vertical-align:top;width:337.05pt;">與Share，Shared Row Exclusive，Exclusive，Access Exclusive模式沖突。</td> </tr> <tr> <td style="vertical-align:top;width:337.05pt;"> Update/Delete/Insert命令會在目標表上獲得這種類型的鎖，并且在其它被引用的表上加上Access Share鎖，一般地，更改表數據的命令都將在這張表上獲得Row Exclusive鎖。 </td> </tr> <tr> <td rowspan="2" style="width:77.75pt;">Share Update Exclusive</td> <td style="vertical-align:top;width:337.05pt;">Share Update Exclusive，Share，Share Row Exclusive，Exclusive，Access exclusive模式沖突，這種模式保護一張表不被并發的模式更改和Vacuum。</td> </tr> <tr> <td style="vertical-align:top;width:337.05pt;">Vacuum(without full)，Analyze 和 Create index concur-ently命令會獲得這種類型鎖。</td> </tr> <tr> <td rowspan="2" style="width:77.75pt;">Share</td> <td style="vertical-align:top;width:337.05pt;">與Row Exclusive，Shared Update Exclusive，Share Row Exclusive，Exclusive，Access exclusive鎖模式沖突，這種模式保護一張表數據不被并發的更改。</td> </tr> <tr> <td style="vertical-align:top;width:337.05pt;">Create index命令會獲得這種鎖模式。</td> </tr> <tr> <td rowspan="2" style="width:77.75pt;">Share Row Exclusive</td> <td style="vertical-align:top;width:337.05pt;">與Row Exclusive，Share Update Exclusive，Shared，Shared Row Exclusive，Exclusive，Access Exclusive鎖模式沖突。</td> </tr> <tr> <td style="vertical-align:top;width:337.05pt;">任何PostgreSQL命令不會自動獲得這種類型的鎖。</td> </tr> <tr> <td rowspan="2" style="width:77.75pt;">Exclusive</td> <td style="vertical-align:top;width:337.05pt;">與ROW Share , Row Exclusive, Share  Update  Exclusive, Share , Share  Row Exclusive, Exclusive, Access Exclusive模式沖突，這種鎖模式僅能與Access Share 模式并發，換句話說，只有讀操作可以和持有Exclusive鎖的事務并行。</td> </tr> <tr> <td style="vertical-align:top;width:337.05pt;">任何PostgreSQL命令不會自動獲得這種類型的鎖。</td> </tr> <tr> <td style="width:77.75pt;">Access Exclusive</td> <td style="vertical-align:top;width:337.05pt;">與所有模式鎖沖突(Access Share，Row Share，Row Exclusive，Share  Update Exclusive，Share , Share Row Exclusive，Exclusive，Access Exclusive)，這種模式保證了當前只有一個人訪問這張表；ALTER TABLE，DROP TABLE，TRUNCATE，REINDEX，CLUSTER，VACUUM FULL 命令會獲得這種類型鎖，在Lock table 命令中，如果沒有申明其它模式，它也是默認模式。</td> </tr> </tbody> </table> # **2、表級鎖的沖突矩陣** “N”表示這兩種表沖突，也就是不同的進程不能同時持有這兩種鎖 <table border="1" cellspacing="0"> <tbody> <tr> <td rowspan="2" style="width:56.45pt;">請求的鎖模式</td> <td colspan="8" style="width:358.35pt;">已申請到的鎖模式</td> </tr> <tr> <td style="width:48.05pt;">Access Share</td> <td style="width:39.4pt;">Row Share</td> <td style="width:46.3pt;">Row Exclusive</td> <td style="width:46.3pt;">Share Update Exclusive</td> <td style="width:39.4pt;">Share</td> <td style="width:46.3pt;">Share Row Exclusive</td> <td style="width:46.3pt;">Exclusive</td> <td style="width:46.3pt;">Access Exclusive</td> </tr> <tr> <td style="width:56.45pt;">Access Share</td> <td style="width:48.05pt;">Y</td> <td style="width:39.4pt;">Y</td> <td style="width:46.3pt;">Y</td> <td style="width:46.3pt;">Y</td> <td style="width:39.4pt;">Y</td> <td style="width:46.3pt;">Y</td> <td style="width:46.3pt;">Y</td> <td style="width:46.3pt;">N</td> </tr> <tr> <td style="width:56.45pt;">Row Share</td> <td style="width:48.05pt;">Y</td> <td style="width:39.4pt;">Y</td> <td style="width:46.3pt;">Y</td> <td style="width:46.3pt;">Y</td> <td style="width:39.4pt;">Y</td> <td style="width:46.3pt;">Y</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> </tr> <tr> <td style="width:56.45pt;">Row Exclusive</td> <td style="width:48.05pt;">Y</td> <td style="width:39.4pt;">Y</td> <td style="width:46.3pt;">Y</td> <td style="width:46.3pt;">Y</td> <td style="width:39.4pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> </tr> <tr> <td style="width:56.45pt;">Share Update Exclusive</td> <td style="width:48.05pt;">Y</td> <td style="width:39.4pt;">Y</td> <td style="width:46.3pt;">Y</td> <td style="width:46.3pt;">N</td> <td style="width:39.4pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> </tr> <tr> <td style="width:56.45pt;">Share</td> <td style="width:48.05pt;">Y</td> <td style="width:39.4pt;">Y</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:39.4pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> </tr> <tr> <td style="width:56.45pt;">Share Row Exclusive</td> <td style="width:48.05pt;">Y</td> <td style="width:39.4pt;">Y</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:39.4pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> </tr> <tr> <td style="width:56.45pt;">Exclusive</td> <td style="width:48.05pt;">Y</td> <td style="width:39.4pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:39.4pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> </tr> <tr> <td style="width:56.45pt;">Access Exclusive</td> <td style="width:48.05pt;">N</td> <td style="width:39.4pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:39.4pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> <td style="width:46.3pt;">N</td> </tr> </tbody> </table> # **3、表級鎖對應的操作** <table border="1" cellspacing="0"> <tbody> <tr> <td style="vertical-align:top;width:113.15pt;">鎖類型</td> <td style="vertical-align:top;width:301.65pt;">對應的數據庫操作</td> </tr> <tr> <td style="width:113.15pt;">Access Share</td> <td style="vertical-align:top;width:301.65pt;">select</td> </tr> <tr> <td style="width:113.15pt;">Row Share</td> <td style="vertical-align:top;width:301.65pt;">select for update, select for share</td> </tr> <tr> <td style="width:113.15pt;">Row Exclusive</td> <td style="vertical-align:top;width:301.65pt;">update，delete，insert</td> </tr> <tr> <td style="width:113.15pt;">Share Update Exclusive</td> <td style="vertical-align:top;width:301.65pt;">vacuum(without full)，analyze，create index concurrently</td> </tr> <tr> <td style="width:113.15pt;">Share</td> <td style="vertical-align:top;width:301.65pt;">create index</td> </tr> <tr> <td style="width:113.15pt;">Share Row Exclusive</td> <td style="vertical-align:top;width:301.65pt;">任何Postgresql命令不會自動獲得這種類型的鎖</td> </tr> <tr> <td style="width:113.15pt;">Exclusive</td> <td style="vertical-align:top;width:301.65pt;">任何Postgresql命令不會自動獲得這種類型的鎖</td> </tr> <tr> <td style="width:113.15pt;">Access Exclusive</td> <td style="vertical-align:top;width:301.65pt;">alter table，drop table，truncate，reindex，cluster，vacuum full</td> </tr> </tbody> </table> # **4、行級鎖**        行級鎖模式只有兩種，分別是共享鎖和排他鎖，或者說是讀鎖或寫鎖。由于多版本的實現，實際讀取行數據時，并不會在行上執行任何鎖。        特定行上的行級鎖是在行被更新的時候自動請求的（或者被刪除時或標記為更新）。鎖一直保持到事務提交或者回滾。行級鎖不影響對數據的查詢；它們只阻塞對同一行的寫入。要在不修改某行的前提下請求在該行的行級鎖，用 SELECT FOR UPDATE 選取該行。請注意一旦我們請求了特定的行級鎖，那么該事務就可以多次對該行進行更新而不用擔心沖突。 <table border="1" cellspacing="0"> <tbody> <tr> <td style="width:77.75pt;">鎖</td> <td style="vertical-align:top;width:337.05pt;">解釋</td> </tr> <tr> <td style="width:77.75pt;">FOR UPDATE</td> <td style="vertical-align:top;width:337.05pt;">FOR UPDATE會導致由SELECT語句檢索到的行被鎖定，就好像它們要被更新。這可以阻止它們被其他事務鎖定、修改或者刪除，一直到當前事務結束。也就是說其他嘗試UPDATE、DELETE、SELECT FOR UPDATE、SELECT FOR NO KEY UPDATE、SELECT FOR SHARE或者SELECT FOR KEY SHARE這些行的事務將被阻塞，直到當前事務結束。反過來，SELECT FOR UPDATE將等待已經在相同行上運行以上這些命令的并發事務，并且接著鎖定并且返回被更新的行（或者沒有行，因為行可能已被刪除）。不過，在一個REPEATABLE READ或SERIALIZABLE事務中，如果一個要被鎖定的行在事務開始后被更改，將會拋出一個錯誤</td> </tr> <tr> <td style="width:113.15pt;">FOR NO KEY UPDATE</td> <td style="vertical-align:top;width:301.65pt;"> 行為與FOR UPDATE類似，不過獲得的鎖較弱：這種鎖將不會阻塞嘗試在相同行上獲得鎖的SELECT FOR KEY SHARE命令。任何不獲取FOR UPDATE鎖的UPDATE也會獲得這種鎖模式。 </td> </tr> <tr> <td style="width:113.15pt;">FOR SHARE</td> <td style="vertical-align:top;width:301.65pt;">行為與FOR NO KEY UPDATE類似，不過它在每個檢索到的行上獲得一個共享鎖而不是排他鎖。一個共享鎖會阻塞其他事務在這些行上執行UPDATE、DELETE、SELECT FOR UPDATE或者SELECT FOR NO KEY UPDATE，但是它不會阻止它們執行SELECT FOR SHARE或者SELECT FOR KEY SHARE</td> </tr> <tr> <td style="width:113.15pt;">FOR KEY SHARE</td> <td style="vertical-align:top;width:301.65pt;">行為與FOR SHARE類似，不過鎖較弱：SELECT FOR UPDATE會被阻塞，但是SELECT FOR NO KEY UPDATE不會被阻塞。一個鍵共享鎖會阻塞其他事務執行修改鍵值的DELETE或者UPDATE，但不會阻塞其他UPDATE，也不會阻止SELECT FOR NO KEY UPDATE、SELECT FOR SHARE或者SELECT FOR KEY SHARE。</td> </tr> </tbody> </table> # **5、行級鎖的沖突矩陣** <table summary="沖突的行級鎖" border="1"> <colgroup> <col class="col1"> <col class="lockst"> <col class="col3"> <col class="col4"> <col class="lockend"> </colgroup> <thead> <tr> <th rowspan="2">要求的鎖模式</th> <th colspan="4">當前的鎖模式</th> </tr> <tr> <th>FOR KEY SHARE</th> <th>FOR SHARE</th> <th>FOR NO KEY UPDATE</th> <th>FOR UPDATE</th> </tr> </thead> <tbody> <tr> <td>FOR KEY SHARE</td> <td align="center">Y</td> <td align="center">Y</td> <td align="center">Y</td> <td align="center">N</td> </tr> <tr> <td>FOR SHARE</td> <td align="center">Y</td> <td align="center">Y</td> <td align="center">N</td> <td align="center">N</td> </tr> <tr> <td>FOR NO KEY UPDATE</td> <td align="center">Y</td> <td align="center">N</td> <td align="center">N</td> <td align="center">N</td> </tr> <tr> <td>FOR UPDATE</td> <td align="center">N</td> <td align="center">N</td> <td align="center">N</td> <td align="center">N</td> </tr> </tbody> </table>