主頁 > 前端設計 > 死鎖

死鎖

2020-11-14 21:27:26 前端設計

文章目錄

    • 一.簡介
    • 二.預防死鎖
      • 2.1 破壞占用且等待條件
      • 2.2 破壞不可搶占條件
      • 2.3 破壞回圈等待條件
      • 2.4 小結

一.簡介

根據上一篇文章互斥鎖

死鎖實驗,死鎖定義:一組互相互相競爭資源的執行緒因互相等待,導致“永久”阻塞的現象,

class Account {
  private int balance;
  // 轉賬
  void transfer(Account target, int amt){
    // 鎖定轉出賬戶
    synchronized(this){// 鎖定轉入賬戶
      synchronized(target){if (this.balance > amt) {
          this.balance -= amt;
          target.balance += amt;
        }
      }
    }
  } 
}

我們假設執行緒 T1 執行賬戶 A 轉賬戶 B 的操作,賬戶 A.transfer(賬戶 B);同時執行緒 T2 執行賬戶 B 轉賬戶 A 的操作,賬戶 B.transfer(賬戶 A),當 T1 和 T2 同時執行完①處的代碼時,T1 獲得了賬戶 A 的鎖(對于 T1,this 是賬戶 A),而 T2 獲得了賬戶 B 的鎖(對于 T2,this 是賬戶 B),之后 T1 和 T2 在執行②處的代碼時,T1 試圖獲取賬戶 B 的鎖時,發現賬戶 B 已經被鎖定(被 T2 鎖定),所以 T1 開始等待;T2 則試圖獲取賬戶 A 的鎖時,發現賬戶 A 已經被鎖定(被 T1 鎖定),所以 T2 也開始等待,于是 T1 和 T2 會無期限地等待下去,也就是我們所說的死鎖了,

二.預防死鎖

Coffman 大佬,總結發生死鎖條件

  • 互斥,共享資源X和Y只能被一個執行緒占用;
  • 占用且等待,執行緒T1已經取得共享資源X,在等待共享資源Y的時候,不釋放共享資源X;
  • 不可搶占,其他執行緒不能強行搶占執行緒T1占有的資源;
  • 回圈等待,執行緒T1等待執行緒T2占有資源,執行緒T2等待執行緒T1占有的資源,就是回圈等待,

破壞其中一個,就可以避免死鎖的發生,

解決

  • 對應“占用且等待”這個條件,我們可以一次性申請所有的資源,這樣就不存在等待了,
  • 對于“不可搶占”這個條件,占用部分資源的執行緒進一步申請其他資源時,如果申請不到,可以主動釋放它占有的資源,這樣不可搶占這個條件就破壞掉了,
  • 對于“回圈等待”這個條件,可以靠按序申請資源來預防,所謂按序申請,是指資源是有線性順序的,申請的時候可以先申請資源序號小的,再申請資源序號大的,這樣線性化后自然就不存在回圈了,

2.1 破壞占用且等待條件

從理論上講,要破壞這個條件,可以一次性申請所有資源,在現實世界里,就拿前面我們提到的轉賬操作來講,它需要的資源有兩個,一個是轉出賬戶,另一個是轉入賬戶,當這兩個賬戶同時被申請時,

@Data
public class AccountClassLock4 {
    private Allocator actr = Allocator.getInstance();
    private int balance;
    public AccountClassLock4(int balance) {
        this.balance = balance;
    }
    //轉賬
    public void transfer(AccountClassLock4 target,int amt){
        //申請轉出和轉入賬號,直到成功
        while (!actr.apply(this,target)) {  }
        try {
            synchronized (this){
                synchronized (target){
                    if (this.balance > amt){
                        this.balance -= amt;
                        target.balance += amt;
                    }
                }
            }
        }finally {
            actr.free(this,target);
        }
    }
    public static void main(String[] args) throws InterruptedException {
        for (int i = 0; i < 10000; i++) {
            AccountClassLock4 a = new AccountClassLock4(200);
            AccountClassLock4 b = new AccountClassLock4(200);
            AccountClassLock4 c = new AccountClassLock4(200);
            Thread t1 = new Thread(()->{
                a.transfer(b,100);
            });
            Thread t2 = new Thread(()->{
                b.transfer(c,100);
            });
            t1.start();
            t2.start();
            t2.join();
            System.out.println(a.getBalance());
            System.out.println(b.getBalance());
            System.out.println(c.getBalance());
            System.out.println("----------------");
        }
    }
}
class Allocator{
    private static Allocator instance = new Allocator();
    public static Allocator getInstance() {
        return instance;
    }
    private Allocator(){}
    private List<Object> als = new ArrayList<>();
    synchronized boolean apply(Object a,Object b){
        if(als.contains(a) || als.contains(b)){
            return false;
        }else{
            als.add(a);
            als.add(b);
        }
        return true;
    }
    synchronized void free(Object a,Object b){
        als.remove(a);
        als.remove(b);
    }
}

優化

// 一次性申請轉出賬戶和轉入賬戶,直到成功
while(!actr.apply(this, target))

如果 apply() 操作耗時非常短,而且并發沖突量也不大時,這個方案還挺不錯的,因為這種場景下,回圈上幾次或者幾十次就能一次性獲取轉出賬戶和轉入賬戶了,但是如果 apply() 操作耗時長,或者并發沖突量大的時候,回圈等待這種方案就不適用了,因為在這種場景下,可能要回圈上萬次才能獲取到鎖,太消耗 CPU 了,
利用等待-通知模式優化,使用執行緒阻塞方式就避免回圈等待消耗CPU的問題,

圖片

@Data
public class AccountClassLock7 {
    private Allocator actr = Allocator.getInstance();
    private int balance;

    public AccountClassLock7(int balance) {
        this.balance = balance;
    }
    public void transfer(AccountClassLock7 target,int amt){
        actr.apply(this,target);
        try {
              if (this.balance > amt){
                   this.balance -= amt;
                   target.balance += amt;
              }
        }finally {
            actr.free(this,target);
        }
    }

    public static void main(String[] args) throws InterruptedException {
        for (int i = 0; i < 10000; i++) {
            AccountClassLock7 a = new AccountClassLock7(200);
            AccountClassLock7 b = new AccountClassLock7(200);
            AccountClassLock7 c = new AccountClassLock7(200);
            Thread t1 = new Thread(()->{
                a.transfer(b,100);
            });
            Thread t2 = new Thread(()->{
                b.transfer(c,100);
            });
            t1.start();
            t2.start();
            t2.join();
            System.out.println(a.getBalance());
            System.out.println(b.getBalance());
            System.out.println(c.getBalance());
            System.out.println("----------------");
        }

    }

    static class Allocator{
        private static Allocator instance = new Allocator();
        public static Allocator getInstance() {
            return instance;
        }
        private Allocator(){}
        private List<Object> als = new ArrayList<>();
        synchronized void apply(Object a,Object b){
            while(als.contains(a) || als.contains(b)){
                try {
                    this.wait();
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }
            als.add(a);
            als.add(b);
        }
        synchronized void free(Object a,Object b){
            als.remove(a);
            als.remove(b);
            this.notifyAll();
        }

    }
}

注意

因為notify()只能保證通知時間點,條件滿足,而被通知執行緒的執行時間點和通知的時間點基本上不會重合,所以當執行緒執行的時候,很可能條件已經不滿足(保不齊有其他執行緒插隊),

2.2 破壞不可搶占條件

破壞不可搶占條件看上去很簡單,核心是要能夠主動釋放它占有的資源,這一點 synchronized 是做不到的,原因是 synchronized 申請資源的時候,如果申請不到,執行緒直接進入阻塞狀態了,而執行緒進入阻塞狀態,啥都干不了,也釋放不了執行緒已經占有的資源,

@Data
public class AccountClassLock6 {
    private int balance;
    private final Lock locks = new ReentrantLock();
    public AccountClassLock6(int balance) {
        this.balance = balance;
    }
    public void transfer(AccountClassLock6 target,int amt) throws InterruptedException {
        boolean flag = true;
        Random random = new Random();
        while (flag){
            if(this.locks.tryLock(random.nextInt(1000)+1 , TimeUnit.MILLISECONDS)){
                try {
                    if(target.locks.tryLock()){
                        try {
                            if(this.balance > amt){
                                this.balance -= amt;
                                target.balance += amt;
                                flag = false;
                            }
                        }finally {
                            target.locks.unlock();
                        }
                    }
                }finally {
                    this.locks.unlock();
                }
            }
        }
    }

    public static void main(String[] args) throws InterruptedException {
        for (int i = 0; i < 10000; i++) {
            AccountClassLock6 a = new AccountClassLock6(200);
            AccountClassLock6 b = new AccountClassLock6(200);
            AccountClassLock6 c = new AccountClassLock6(200);
            Thread t1 = new Thread(()->{
                try {
                    a.transfer(b,100);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            });

            Thread t2 = new Thread(()->{
                try {
                    b.transfer(c,100);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            });

            t1.start();
            t2.start();
            t2.join();
            System.out.println(a.getBalance());
            System.out.println(b.getBalance());
           System.out.println(c.getBalance());
            System.out.println("----------------");
        }
    }
}
只在外層Lock加上阻塞時間就行,如果在內層加上,內層鎖阻塞一段時間,外層鎖沒有釋放,這段時間可能形成死鎖,破壞活鎖一個隨機時間就夠了,

2.3 破壞回圈等待條件

破壞這個條件,需要對資源進行排序,然后按序申請資源,這個實作非常簡單,我們假設每個賬戶都有不同的屬性 id,這個 id 可以作為排序欄位,申請的時候,我們可以按照從小到大的順序來申請,

@Data
public class AccountClassLock5 {
    private int id;
    private int balance;
    public AccountClassLock5(int id, int balance) {
        this.id = id;
        this.balance = balance;
    }
    public void transfer(AccountClassLock5 target,int amt){
        AccountClassLock5 left = this;
        AccountClassLock5 right = target;
        if(left.id > right.id){
            left = target;
            right = this;
        }
        synchronized (left){
            synchronized (right){
                if (this.balance > amt) {
                    this.balance -= amt;
                    target.balance += amt;
                }
            }
        }
    }

    public static void main(String[] args) throws InterruptedException {
        for (int i = 0; i < 10000; i++) {
            AccountClassLock5 a = new AccountClassLock5(1, 200);
            AccountClassLock5 b = new AccountClassLock5(2, 200);
            AccountClassLock5 c = new AccountClassLock5(3, 200);
            Thread t1 = new Thread(()->{
               a.transfer(b,100);
            });

            Thread t2 = new Thread(()->{
                b.transfer(c,100);
            });

            t1.start();
            t2.start();
            t2.join();
            System.out.println(a.getBalance());
            System.out.println(b.getBalance());
            System.out.println(c.getBalance());
            System.out.println("----------------");
        }
        
    }
}

2.4 小結

并發大師 Doug Lea《Java 并發編程:設計原則與模式》一書中,推薦的三個用鎖的最佳實踐

  • 永遠只在更新物件的成員變數時加鎖;
  • 永遠只在訪問可變的成員時加鎖;
  • 永遠不在呼叫其他物件的方法時加鎖,

參考

《Java并發編程實戰》

公眾號

圖片

微信公眾號(bigdata_limeng)

轉載請註明出處,本文鏈接:https://www.uj5u.com/qianduan/215940.html

標籤:其他

上一篇:某校2019專碩編程題-佇列

下一篇:Spring和資料庫編程

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • vue移動端上拉加載

    可能做得過于簡單或者比較low,請各位大佬留情,一起探討技術 ......

    uj5u.com 2020-09-10 04:38:07 more
  • 優美網站首頁,頂部多層導航

    一個個人用的瀏覽器首頁,可以把一下常用的網站放在這里,平常打開會比較方便。 第一步,HTML代碼 <script src=https://www.cnblogs.com/szharf/p/"js/jquery-3.4.1.min.js"></script> <div id="navigate"> <ul> <li class="labels labels_1"> ......

    uj5u.com 2020-09-10 04:38:47 more
  • 頁面為要加<!DOCTYPE html>

    最近因為寫一個js函式,需要用到$(window).height(); 由于手寫demo的時候,過于自信,其實對前端方面的認識也不夠體系,用文本檔案直接敲出來的html代碼,第一行沒有加上<!DOCTYPE html> 導致了$(window).height();的結果直接是整個document的高 ......

    uj5u.com 2020-09-10 04:38:52 more
  • WordPress網站程式手動升級要做好資料備份

    WordPress博客網站程式在進行升級前,必須要做好網站資料的備份,這個問題良家佐言是遇見過的;在剛開始接觸WordPress博客程式的時候,因為升級問題和博客網站的修改的一些嘗試,良家佐言是吃盡了苦頭。因為購買的是西部數碼的空間和域名,每當佐言把自己的WordPress博客網站搞到一塌糊涂的時候 ......

    uj5u.com 2020-09-10 04:39:30 more
  • WordPress程式不能升級為5.4.2版本的原因

    WordPress是一款個人博客系統,受到英文博客愛好者和中文博客愛好者的追捧,并逐步演化成一款內容管理系統軟體;它是使用PHP語言和MySQL資料庫開發的,用戶可以在支持PHP和MySQL資料庫的服務器上使用自己的博客。每一次WordPress程式的更新,就會牽動無數WordPress愛好者的心, ......

    uj5u.com 2020-09-10 04:39:49 more
  • 使用CSS3的偽元素進行首字母下沉和首行改變樣式

    網頁中常見的一種效果,首字改變樣式或者首行改變樣式,效果如下圖。 代碼: <!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8"> <meta name="viewport" content="width=device-width, ......

    uj5u.com 2020-09-10 04:40:09 more
  • 關于a標簽的講解

    什么是a標簽? <a> 標簽定義超鏈接,用于從一個頁面鏈接到另一個頁面。 <a> 元素最重要的屬性是 href 屬性,它指定鏈接的目標。 a標簽的語法格式:<a href=https://www.cnblogs.com/summerxbc/p/"指定要跳轉的目標界面的鏈接">需要展示給用戶看見的內容</a> a標簽 在所有瀏覽器中,鏈接的默認外觀如下: 未被訪問的鏈接帶 ......

    uj5u.com 2020-09-10 04:40:11 more
  • 前端輪播圖

    在需要輪播的頁面是引入swiper.min.js和swiper.min.css swiper.min.js地址: 鏈接:https://pan.baidu.com/s/15Uh516YHa4CV3X-RyjEIWw 提取碼:4aks swiper.min.css地址 鏈接:https://pan.b ......

    uj5u.com 2020-09-10 04:40:13 more
  • 如何設定html中的背景圖片(全屏顯示,且不拉伸)

    1 <style>2 body{background-image:url(https://uploadbeta.com/api/pictures/random/?key=BingEverydayWallpaperPicture); 3 background-size:cover;background ......

    uj5u.com 2020-09-10 04:40:16 more
  • Java學習——HTML詳解(上)

    HTML詳解 初識HTML Hyper Text Markup Language(超文本標記語言) 1 <!--DOCTYPE:告訴瀏覽器我們要使用什么規范--> 2 <!DOCTYPE html> 3 <html lang="en"> 4 <head> 5 <!--meta 描述性的標簽,描述一些 ......

    uj5u.com 2020-09-10 04:40:33 more
最新发布
  • 我的第一個NPM包:panghu-planebattle-esm(胖虎飛機大戰)使用說明

    好家伙,我的包終于開發完啦 歡迎使用胖虎的飛機大戰包!! 為你的主頁添加色彩 這是一個有趣的網頁小游戲包,使用canvas和js開發 使用ES6模塊化開發 效果圖如下: (覺得圖片太sb的可以自己改) 代碼已開源!! Git: https://gitee.com/tang-and-han-dynas ......

    uj5u.com 2023-04-20 07:59:23 more
  • 生產事故-走近科學之消失的JWT

    入職多年,面對生產環境,盡管都是小心翼翼,慎之又慎,還是難免捅出簍子。輕則滿頭大汗,面紅耳赤。重則系統停擺,損失資金。每一個生產事故的背后,都是寶貴的經驗和教訓,都是專案成員的血淚史。為了更好地防范和遏制今后的各類事故,特開此專題,長期更新和記錄大大小小的各類事故。有些是親身經歷,有些是經人耳傳口授 ......

    uj5u.com 2023-04-18 07:55:04 more
  • 記錄--Canvas實作打飛字游戲

    這里給大家分享我在網上總結出來的一些知識,希望對大家有所幫助 打開游戲界面,看到一個畫面簡潔、卻又富有挑戰性的游戲。螢屏上,有一個白色的矩形框,里面不斷下落著各種單詞,而我需要迅速地輸入這些單詞。如果我輸入的單詞與螢屏上的單詞匹配,那么我就可以獲得得分;如果我輸入的單詞錯誤或者時間過長,那么我就會輸 ......

    uj5u.com 2023-04-04 08:35:30 more
  • 了解 HTTP 看這一篇就夠

    在學習網路之前,了解它的歷史能夠幫助我們明白為何它會發展為如今這個樣子,引發探究網路的興趣。下面的這張圖片就展示了“互聯網”誕生至今的發展歷程。 ......

    uj5u.com 2023-03-16 11:00:15 more
  • 藍牙-低功耗中心設備

    //11.開啟藍牙配接器 openBluetoothAdapter //21.開始搜索藍牙設備 startBluetoothDevicesDiscovery //31.開啟監聽搜索藍牙設備 onBluetoothDeviceFound //30.停止監聽搜索藍牙設備 offBluetoothDevi ......

    uj5u.com 2023-03-15 09:06:45 more
  • canvas畫板(滑鼠和觸摸)

    <!DOCTYPE html> <html> <head> <meta charset="utf-8"> <title>canves</title> <style> #canvas { cursor:url(../images/pen.png),crosshair; } #canvasdiv{ bo ......

    uj5u.com 2023-02-15 08:56:31 more
  • 手機端H5 實作自定義拍照界面

    手機端 H5 實作自定義拍照界面也可以使用 MediaDevices API 和 <video> 標簽來實作,和在桌面端做法基本一致。 首先,使用 MediaDevices.getUserMedia() 方法獲取攝像頭媒體流,并將其傳遞給 <video> 標簽進行渲染。 接著,使用 HTML 的 < ......

    uj5u.com 2023-01-12 07:58:22 more
  • 記錄--短視頻滑動播放在 H5 下的實作

    這里給大家分享我在網上總結出來的一些知識,希望對大家有所幫助 短視頻已經無數不在了,但是主體還是使用 app 來承載的。本文講述 H5 如何實作 app 的視頻滑動體驗。 無聲勝有聲,一圖頂百辯,且看下圖: 網址鏈接(需在微信或者手Q中瀏覽) 從上圖可以看到,我們主要實作的功能也是本文要講解的有: ......

    uj5u.com 2023-01-04 07:29:05 more
  • 一文讀懂 HTTP/1 HTTP/2 HTTP/3

    從 1989 年萬維網(www)誕生,HTTP(HyperText Transfer Protocol)經歷了眾多版本迭代,WebSocket 也在期間萌芽。1991 年 HTTP0.9 被發明。1996 年出現了 HTTP1.0。2015 年 HTTP2 正式發布。2020 年 HTTP3 或能正... ......

    uj5u.com 2022-12-24 06:56:02 more
  • 【HTML基礎篇002】HTML之form表單超詳解

    ??一、form表單是什么

    ??二、form表單的屬性

    ??三、input中的各種Type屬性值

    ??四、標簽 ......

    uj5u.com 2022-12-18 07:17:06 more