Java:既然有了synchronized,為什麼還要提供Lock?

来源:https://www.cnblogs.com/huaweiyun/archive/2022/10/31/16843766.html
-Advertisement-
Play Games

摘要:在Java中提供了synchronized關鍵字來保證只有一個線程能夠訪問同步代碼塊。既然已經提供了synchronized關鍵字,那為何在Java的SDK包中,還會提供Lock介面呢?這是不是重覆造輪子,多此一舉呢? 本文分享自華為雲社區《【高併發】Java中提供了synchronized, ...


摘要:在Java中提供了synchronized關鍵字來保證只有一個線程能夠訪問同步代碼塊。既然已經提供了synchronized關鍵字,那為何在Java的SDK包中,還會提供Lock介面呢?這是不是重覆造輪子,多此一舉呢?

本文分享自華為雲社區《【高併發】Java中提供了synchronized,為什麼還要提供Lock呢?》,作者: 冰 河。

在Java中提供了synchronized關鍵字來保證只有一個線程能夠訪問同步代碼塊。既然已經提供了synchronized關鍵字,那為何在Java的SDK包中,還會提供Lock介面呢?這是不是重覆造輪子,多此一舉呢?今天,我們就一起來探討下這個問題。

再造輪子?

既然JVM中提供了synchronized關鍵字來保證只有一個線程能夠訪問同步代碼塊,為何還要提供Lock介面呢?這是在重覆造輪子嗎?Java的設計者們為何要這樣做呢?讓我們一起帶著疑問往下看。

為何提供Lock介面?

很多小伙伴可能會聽說過,在Java 1.5版本中,synchronized的性能不如Lock,但在Java 1.6版本之後,synchronized做了很多優化,性能提升了不少。那既然synchronized關鍵字的性能已經提升了,那為何還要使用Lock呢?

如果我們向更深層次思考的話,就不難想到了:我們使用synchronized加鎖是無法主動釋放鎖的,這就會涉及到死鎖的問題。

死鎖問題

如果要發生死鎖,則必須存在以下四個必要條件,四者缺一不可。

  • 互斥條件

在一段時間內某資源僅為一個線程所占有。此時若有其他線程請求該資源,則請求線程只能等待。

  • 不可剝奪條件

線程所獲得的資源在未使用完畢之前,不能被其他線程強行奪走,即只能由獲得該資源的線程自己來釋放(只能是主動釋放)。

  • 請求與保持條件

線程已經保持了至少一個資源,但又提出了新的資源請求,而該資源已被其他線程占有,此時請求線程被阻塞,但對自己已獲得的資源保持不放。

  • 迴圈等待條件

在發生死鎖時必然存在一個進程等待隊列{P1,P2,…,Pn},其中P1等待P2占有的資源,P2等待P3占有的資源,…,Pn等待P1占有的資源,形成一個進程等待環路,環路中每一個進程所占有的資源同時被另一個申請,也就是前一個進程占有後一個進程所深情地資源。

synchronized的局限性

如果我們的程式使用synchronized關鍵字發生了死鎖時,synchronized關鍵是是無法破壞“不可剝奪”這個死鎖的條件的。這是因為synchronized申請資源的時候, 如果申請不到, 線程直接進入阻塞狀態了, 而線程進入阻塞狀態, 啥都幹不了, 也釋放不了線程已經占有的資源。

然而,在大部分場景下,我們都是希望“不可剝奪”這個條件能夠被破壞。也就是說對於“不可剝奪”這個條件,占用部分資源的線程進一步申請其他資源時, 如果申請不到, 可以主動釋放它占有的資源, 這樣不可剝奪這個條件就破壞掉了。

如果我們自己重新設計鎖來解決synchronized的問題,我們該如何設計呢?

解決問題

瞭解了synchronized的局限性之後,如果是讓我們自己實現一把同步鎖,我們該如何設計呢?也就是說,我們在設計鎖的時候,要如何解決synchronized的局限性問題呢?這裡,我覺得可以從三個方面來思考這個問題。

(1)能夠響應中斷。 synchronized的問題是, 持有鎖A後, 如果嘗試獲取鎖B失敗, 那麼線程就進入阻塞狀態, 一旦發生死鎖, 就沒有任何機會來喚醒阻塞的線程。 但如果阻塞狀態的線程能夠響應中斷信號, 也就是說當我們給阻塞的線程發送中斷信號的時候, 能夠喚醒它, 那它就有機會釋放曾經持有的鎖A。 這樣就破壞了不可剝奪條件了。

(2)支持超時。 如果線程在一段時間之內沒有獲取到鎖, 不是進入阻塞狀態, 而是返回一個錯誤, 那這個線程也有機會釋放曾經持有的鎖。 這樣也能破壞不可剝奪條件。

(3)非阻塞地獲取鎖。 如果嘗試獲取鎖失敗, 並不進入阻塞狀態, 而是直接返回, 那這個線程也有機會釋放曾經持有的鎖。 這樣也能破壞不可剝奪條件。

體現在Lock介面上,就是Lock介面提供的三個方法,如下所示。

// 支持中斷的API
void lockInterruptibly() throws InterruptedException;
// 支持超時的API
boolean tryLock(long time, TimeUnit unit) throws InterruptedException;
// 支持非阻塞獲取鎖的API
boolean tryLock();
  • lockInterruptibly()

支持中斷。

  • tryLock()方法

tryLock()方法是有返回值的,它表示用來嘗試獲取鎖,如果獲取成功,則返回true,如果獲取失敗(即鎖已被其他線程獲取),則返回false,也就說這個方法無論如何都會立即返回。在拿不到鎖時不會一直在那等待。

  • tryLock(long time, TimeUnit unit)方法

tryLock(long time, TimeUnit unit)方法和tryLock()方法是類似的,只不過區別在於這個方法在拿不到鎖時會等待一定的時間,在時間期限之內如果還拿不到鎖,就返回false。如果一開始拿到鎖或者在等待期間內拿到了鎖,則返回true。

也就是說,對於死鎖問題,Lock能夠破壞不可剝奪的條件,例如,我們下麵的程式代碼就破壞了死鎖的不可剝奪的條件。

public class TansferAccount{
 private Lock thisLock = new ReentrantLock();
 private Lock targetLock = new ReentrantLock();
 //賬戶的餘額
 private Integer balance;
 //轉賬操作
 public void transfer(TansferAccount target, Integer transferMoney){
 boolean isThisLock = thisLock.tryLock();
 if(isThisLock){
 try{
 boolean isTargetLock = targetLock.tryLock();
 if(isTargetLock){
 try{
 if(this.balance >= transferMoney){
 this.balance -= transferMoney;
 target.balance += transferMoney;
 } 
 }finally{
 targetLock.unlock
 }
 }
 }finally{
 thisLock.unlock();
 }
 }
 }
}

例外,Lock下麵有一個ReentrantLock,而ReentrantLock支持公平鎖和非公平鎖。

在使用ReentrantLock的時候, ReentrantLock中有兩個構造函數, 一個是無參構造函數, 一個是傳入fair參數的構造函數。 fair參數代表的是鎖的公平策略, 如果傳入true就表示需要構造一個公平鎖, 反之則表示要構造一個非公平鎖。如下代碼片段所示。

//無參構造函數: 預設非公平鎖
public ReentrantLock() {
sync = new NonfairSync();
} 
//根據公平策略參數創建鎖
public ReentrantLock(boolean fair){
sync = fair ? new FairSync() : new NonfairSync();
}

鎖的實現在本質上都對應著一個入口等待隊列, 如果一個線程沒有獲得鎖, 就會進入等待隊列, 當有線程釋放鎖的時候, 就需要從等待隊列中喚醒一個等待的線程。 如果是公平鎖, 喚醒的策略就是誰等待的時間長, 就喚醒誰, 很公平; 如果是非公平鎖, 則不提供這個公平保證, 有可能等待時間短的線程反而先被喚醒。 而Lock是支持公平鎖的,synchronized不支持公平鎖。

最後,值得註意的是,在使用Lock加鎖時,一定要在finally{}代碼塊中釋放鎖,例如,下麵的代碼片段所示。

try{
 lock.lock();
}finally{
 lock.unlock();
}

註:其他synchronized和Lock的詳細說明,小伙伴們自行查閱即可。

 

點擊關註,第一時間瞭解華為雲新鮮技術~


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 閱識風雲是華為雲信息大咖,擅長將複雜信息多元化呈現,其出品的一張圖(雲圖說)、深入淺出的博文(雲小課)或短視頻(雲視廳)總有一款能讓您快速上手華為雲。更多精彩內容請單擊此處。 摘要:Oozie是一個基於工作流引擎的開源框架,它能夠提供對Hadoop作業的任務調度與協調。Oozie是一個工作流引擎服務 ...
  • Elasticsearch在db_ranking 的排名又(雙叒叕)上升了一位,如圖1-1所示;由此可見es在存儲領域已經蔚然成風且占有非常重要的地位。隨著Elasticsearch越來越受歡迎,企業花費在ES建設上的成本自然也不少。那如何減少ES的成本呢?今天我們就特地來聊聊ES降本增效的常見方法... ...
  • ①表級鎖:全局鎖,元數據鎖,意向鎖,AUTO-INC鎖 ②行級鎖:兩階段鎖協議,間隙鎖,臨鍵鎖 ③事務隔離級別,ACID特性 ④死鎖:解決方案 ...
  • 這裡給大家分享我在網上總結出來的一些知識,希望對大家有所幫助 最近碰到了一個奇葩需求,要用uni-app來實現usb接入設備的時候,讓軟體自動彈出來,這裡給出我製作的過程和參考的各種思路,希望對大家有所幫助 一.插入usb自動彈出app 因為uni-app代碼里並不支持這個行為,我們需要用Andro ...
  • 1 準備 2 申請App ID 2.1 打開[蘋果開發者官網](https://developer.apple.com),點擊Account登陸賬號。 2.2 進入ID申請 3 創建證書請求文件(*.cerSigningRequest文件) 4 添加軟體開發證書和分發證書 並下載(*.CER文件) ...
  • 一、 問題描述: 華為地圖服務“我的位置”能力,在中國大陸地區,向用戶展示他們在地圖上的當前位置與用戶的實際位置存在較大的偏差。 具體差別可以查看下方的圖片: 二、 偏差較大的原因: 華為Map SDK在中國大陸使用的地理坐標系是GCJ02。 點擊“我的位置”控制項,獲取的定位經緯度的地理坐標系是WG ...
  • 一、下載 node.js的下載地址**Download | Node.js (nodejs.org)** 根據使用系統,選擇對應的安裝包 根據點擊如下按鈕可以選擇歷史版本進行下載 二、安裝 下載好之後直接雙擊安裝即可 三、環境配置 安裝完成後,在系統環境變數配置中將node的路徑添加進去 在CMD中 ...
  • 在做一些常規應用的時候,我們往往需要確定條件的內容,以便在後臺進行區分的進行精確查詢,在移動端,由於受限於屏幕界面的情況,一般會對多個指定的條件進行模糊的搜索,而這個搜索的處理,也是和前者強類型的條件查詢處理類似的處理過程,因此本篇隨筆探討兩種不同查詢在前端界面上的展示效果,以及後端基於.netCo... ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...