主頁 > 區塊鏈 > 死鎖

死鎖

2020-11-14 18:05:09 區塊鏈

文章目錄

    • 一.簡介
    • 二.預防死鎖
      • 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/qukuanlian/215587.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)

熱門瀏覽
  • JAVA使用 web3j 進行token轉賬

    最近新學習了下區塊鏈這方面的知識,所學不多,給大家分享下。 # 1. 關于web3j web3j是一個高度模塊化,反應性,型別安全的Java和Android庫,用于與智能合約配合并與以太坊網路上的客戶端(節點)集成。 # 2. 準備作業 jdk版本1.8 引入maven <dependency> < ......

    uj5u.com 2020-09-10 03:03:06 more
  • 以太坊智能合約開發框架Truffle

    前言 部署智能合約有多種方式,命令列的瀏覽器的渠道都有,但往往跟我們程式員的風格不太相符,因為我們習慣了在IDE里寫了代碼然后打包運行看效果。 雖然現在IDE中已經存在了Solidity插件,可以撰寫智能合約,但是部署智能合約卻要另走他路,沒辦法進行一個快捷的部署與測驗。 如果團隊管理的區塊節點多、 ......

    uj5u.com 2020-09-10 03:03:12 more
  • 谷歌二次驗證碼成為區塊鏈專用安全碼,你怎么看?

    前言 谷歌身份驗證器,前些年大家都比較陌生,但隨著國內互聯網安全的加強,它越來越多地出現在大家的視野中。 比較廣泛接觸的人群是國際3A游戲愛好者,游戲盜號現象嚴重+國外賬號安全應用廣泛,這類游戲一般都會要求用戶系結名為“兩步驗證”、“雙重驗證”等,平臺一般都推薦用谷歌身份驗證器。 后來區塊鏈業務風靡 ......

    uj5u.com 2020-09-10 03:03:17 more
  • 密碼學DAY1

    目錄 ##1.1 密碼學基本概念 密碼在我們的生活中有著重要的作用,那么密碼究竟來自何方,為何會產生呢? 密碼學是網路安全、資訊安全、區塊鏈等產品的基礎,常見的非對稱加密、對稱加密、散列函式等,都屬于密碼學范疇。 密碼學有數千年的歷史,從最開始的替換法到如今的非對稱加密演算法,經歷了古典密碼學,近代密 ......

    uj5u.com 2020-09-10 03:03:50 more
  • 密碼學DAY1_02

    目錄 ##1.1 ASCII編碼 ASCII(American Standard Code for Information Interchange,美國資訊交換標準代碼)是基于拉丁字母的一套電腦編碼系統,主要用于顯示現代英語和其他西歐語言。它是現今最通用的單位元組編碼系統,并等同于國際標準ISO/IE ......

    uj5u.com 2020-09-10 03:04:50 more
  • 密碼學DAY2

    ##1.1 加密模式 加密模式:https://docs.oracle.com/javase/8/docs/api/javax/crypto/Cipher.html ECB ECB : Electronic codebook, 電子密碼本. 需要加密的訊息按照塊密碼的塊大小被分為數個塊,并對每個塊進 ......

    uj5u.com 2020-09-10 03:05:42 more
  • NTP時鐘服務器的特點(京準電子)

    NTP時鐘服務器的特點(京準電子) NTP時鐘服務器的特點(京準電子) 京準電子官V——ahjzsz 首先對時間同步進行了背景介紹,然后討論了不同的時間同步網路技術,最后指出了建立全球或區域時間同步網存在的問題。 一、概 述 在通信領域,“同步”概念是指頻率的同步,即網路各個節點的時鐘頻率和相位同步 ......

    uj5u.com 2020-09-10 03:05:47 more
  • 標準化考場時鐘同步系統推進智能化校園建設

    標準化考場時鐘同步系統推進智能化校園建設 標準化考場時鐘同步系統推進智能化校園建設 安徽京準電子科技官微——ahjzsz 一、背景概述隨著教育事業的快速發展,學校建設如雨后春筍,隨之而來的學校教育、管理、安全方面的問題成了學校管理人員面臨的最大的挑戰,這些問題同時也是學生家長所擔心的。為了讓學生有更 ......

    uj5u.com 2020-09-10 03:05:51 more
  • 位元幣入門

    引言 位元幣基本結構 位元幣基礎知識 1)哈希演算法 2)非對稱加密技術 3)數字簽名 4)MerkleTree 5)哪有位元幣,有的是UTXO 6)位元幣挖礦與共識 7)區塊驗證(共識) 總結 引言 上一篇我們已經知道了什么是區塊鏈,此篇說一下區塊鏈的第一個應用——位元幣。其實先有位元幣,后有的區塊 ......

    uj5u.com 2020-09-10 03:06:15 more
  • 北斗對時服務器(北斗對時設備)電力系統應用

    北斗對時服務器(北斗對時設備)電力系統應用 北斗對時服務器(北斗對時設備)電力系統應用 京準電子科技官微(ahjzsz) 中國北斗衛星導航系統(英文名稱:BeiDou Navigation Satellite System,簡稱BDS),因為是目前世界范圍內唯一可以大面積提供免費定位服務的系統,所以 ......

    uj5u.com 2020-09-10 03:06:20 more
最新发布
  • web3 產品介紹:metamask 錢包 使用最多的瀏覽器插件錢包

    Metamask錢包是一種基于區塊鏈技術的數字貨幣錢包,它允許用戶在安全、便捷的環境下管理自己的加密資產。Metamask錢包是以太坊生態系統中最流行的錢包之一,它具有易于使用、安全性高和功能強大等優點。 本文將詳細介紹Metamask錢包的功能和使用方法。 一、 Metamask錢包的功能 數字資 ......

    uj5u.com 2023-04-20 08:46:47 more
  • Hyperledger Fabric 使用 CouchDB 和復雜智能合約開發

    在上個實驗中,我們已經實作了簡單智能合約實作及客戶端開發,但該實驗中智能合約只有基礎的增刪改查功能,且其中的資料管理功能與傳統 MySQL 比相差甚遠。本文將在前面實驗的基礎上,將 Hyperledger Fabric 的默認資料庫支持 LevelDB 改為 CouchDB 模式,以實作更復雜的資料... ......

    uj5u.com 2023-04-16 07:28:31 more
  • .NET Core 波場鏈離線簽名、廣播交易(發送 TRX和USDT)筆記

    Get Started NuGet You can run the following command to install the Tron.Wallet.Net in your project. PM> Install-Package Tron.Wallet.Net 配置 public reco ......

    uj5u.com 2023-04-14 08:08:00 more
  • DKP 黑客分析——不正確的代幣對比率計算

    概述: 2023 年 2 月 8 日,針對 DKP 協議的閃電貸攻擊導致該協議的用戶損失了 8 萬美元,因為 execute() 函式取決于 USDT-DKP 對中兩種代幣的余額比率。 智能合約黑客概述: 攻擊者的交易:0x0c850f,0x2d31 攻擊者地址:0xF38 利用合同:0xf34ad ......

    uj5u.com 2023-04-07 07:46:09 more
  • Defi開發簡介

    Defi開發簡介 介紹 Defi是去中心化金融的縮寫, 是一項旨在利用區塊鏈技術和智能合約創建更加開放,可訪問和透明的金融體系的運動. 這與傳統金融形成鮮明對比,傳統金融通常由少數大型銀行和金融機構控制 在Defi的世界里,用戶可以直接從他們的電腦或移動設備上訪問廣泛的金融服務,而不需要像銀行或者信 ......

    uj5u.com 2023-04-05 08:01:34 more
  • solidity簡單的ERC20代幣實作

    // SPDX-License-Identifier: GPL-3.0 pragma solidity >=0.7.0 <0.9.0; import "hardhat/console.sol"; //ERC20 同質化代幣,每個代幣的本質或性質都是相同 //ETH 是原生代幣,它不是ERC20代幣, ......

    uj5u.com 2023-03-21 07:56:29 more
  • solidity 參考型別修飾符memory、calldata與storage 常量修飾符C

    在solidity語言中 參考型別修飾符(參考型別為存盤空間不固定的數值型別) memory、calldata與storage,它們只能修飾參考型別變數,比如字串、陣列、位元組等... memory 適用于方法傳參、返參或在方法體內使用,使用完就會清除掉,釋放記憶體 calldata 僅適用于方法傳參 ......

    uj5u.com 2023-03-08 07:57:54 more
  • solidity注解標簽

    在solidity語言中 注釋符為// 注解符為/* 內容*/ 或者 是 ///內容 注解中含有這幾個標簽給予我們使用 @title 一個應該描述合約/介面的標題 contract, library, interface @author 作者的名字 contract, library, interf ......

    uj5u.com 2023-03-08 07:57:49 more
  • 評價指標:相似度、GAS消耗

    【代碼注釋自動生成方法綜述】 這些評測指標主要來自機器翻譯和文本總結等研究領域,可以評估候選文本(即基于代碼注釋自動方法而生成)和參考文本(即基于手工方式而生成)的相似度. BLEU指標^[^?88^^?^]^:其全稱是bilingual evaluation understudy.該指標是最早用于 ......

    uj5u.com 2023-02-23 07:27:39 more
  • 基于NOSTR協議的“公有制”版本的Twitter,去中心化社交軟體Damus

    最近,一個幽靈,Web3的幽靈,在網路游蕩,它叫Damus,這玩意詮釋了什么叫做病毒式營銷,滑稽的是,一個Web3產品卻在Web2的產品鏈上瘋狂傳銷,各方大佬紛紛為其背書,到底發生了什么?Damus的葫蘆里,賣的是什么藥? 注冊和簡單實用 很少有什么產品在用戶注冊環節會有什么噱頭,但Damus確實出 ......

    uj5u.com 2023-02-05 06:48:39 more