併發編程之線程第二篇

来源:https://www.cnblogs.com/haizai/archive/2020/02/08/12285404.html
-Advertisement-
Play Games

併發編程之線程第二篇 3.12 五種狀態 3.13 六種狀態 4.1 共用帶來的問題 4.2 synchronized解決方案 4.4 變數的線程安全分析 4.6 Monitor概念 1. 輕量級鎖 2. 鎖膨脹 3.12 五種狀態 這是從操作系統層面來描述的 【初始狀態】僅是在語音層面創建了線程對 ...


併發編程之線程第二篇

 

3.12 五種狀態

這是從操作系統層面來描述的
在這裡插入圖片描述

  • 【初始狀態】僅是在語音層面創建了線程對象，還未與操作系統線程關聯
  • 【可運行狀態】（就緒狀態）指該線程已經被創建（與操作系統線程關聯），可以由CPU調度執行
  • 【運行狀態】指獲取了CPU時間片運行中的狀態
    （1）當CPU時間片用完，會從【運行狀態】轉換至【可運行狀態】，會導致線程的上下文切換
  • 【阻塞狀態】
    （1）如果調用了阻塞API，如BIO讀寫文件，這時該線程實際不會用到CPU，會導致線程上下文切換，進入【阻塞狀態】
    （2）等BIO操作完畢，會由操作系統喚醒阻塞的線程，轉換至【可運行狀態】
    （3）與【可運行狀態】的區別是，對【阻塞狀態】的線程來說只要它們一直不喚醒，調度器就一直不會考慮調度它們
  • 【終止狀態】表示線程已經執行完畢，生命周期已經結束，不會再轉換為其它狀態

3.13 六種狀態

這是從Java API層面來描述的
根據Thread.State枚舉，分為六種狀態
在這裡插入圖片描述

  • NEW 線程剛被創建，但是還沒有調用start()方法
  • RUNNABLE 當調用了start()方法之後，註意，Java API層面的RUNNABLE狀態涵蓋了操作系統層面的【可運行狀態】、【運行狀態】和【阻塞狀態】（由於BIO導致的線程阻塞，在Java里無法區分，任然認為是可運行）
  • BLOCKED、WAITING、TIMED_WAITING都是Java API層面對【阻塞狀態】的細分。
  • TERMINATED當線程代碼運行結束

4.1 共用帶來的問題

Java的體現
兩個線程對初始值為0的靜態變數一個做自增，一個做自減，各做5000次，結果是0嗎？
在這裡插入圖片描述
問題分析
y以上的結果可能是正數、負數、零。為什麼呢？因為Java中對靜態變數的自增，自減並不是原子操作，要徹底理解，必須從位元組碼來進行分析
例如對於 i++而言（i為靜態變數），實際會產生如下的JVM位元組碼指令 ：
getstatic i // 獲取靜態變數i的值
iconst_1 // 準備常量1
iadd // 自增
putstatic i // 將修改後的值存入靜態變數i
而對應 i-- 也是類似
getstatic i // 獲取靜態變數i的值
iconst_1 // 準備常量1
isub // 自減
putstatic i // 將修改後的值存入靜態變數i
而Java的記憶體模型如下，完成靜態變數的自增，自減需要在主存和工作記憶體中進行數據交換 ：
在這裡插入圖片描述
如果是單線程以上8行代碼是順序執行（不會交錯）沒有問題 ：
在這裡插入圖片描述
但多線程下這8行代碼可能交錯運行 ：
出現負數的情況 ：
在這裡插入圖片描述
出現正數的情況
在這裡插入圖片描述
臨界區Critical Section

  • 一個程式運行多個線程本身是沒有問題的
  • 問題出在多個線程訪問共用資源
    • 多個線程讀共用資源其實也沒有問題
    • 在多個線程對共用資源讀寫操作時發生指令交錯，就會出現問題
  • 一段代碼塊如果存在對共用資源的多線程讀寫操作，稱這段代碼塊為臨界區
    例如，下麵代碼中臨界區
    在這裡插入圖片描述
    競態條件 Race Condition
    多個線程在臨界區內執行，由於代碼的執行序列不同而導致結果無法預測，稱之為發生了競態條件

4.2 synchronized解決方案

  • 應用之互斥
    為了避免臨界區的競態條件發生，有多種手段可以達到目的。
  • 阻塞式的解決方案 ： synchronized,Lock
  • 非阻塞式的解決方案 ： 原子變數
    本次使用阻塞式的解決方案 : synchronized，來解決上述問題，即俗稱的【對象鎖】，它採用互斥的方式讓同一個時刻最多只有一個線程能持有【對象鎖】，其它線程再想獲取這個【對象鎖】時就會阻塞住。這樣就能保證擁有鎖的線程可以安全的執行臨界區內的代碼，不用擔心線程上下文切換
    註意
    雖然java中互斥和同步都可以採用synchronized關鍵字來完成，但它們還是有區別的 ：
  • 互斥是保證臨界區的競態條件發生，同一時刻只能有一個線程執行臨界區代碼
  • 同步是由於線程執行的先後、順序不同、需要一個線程等待其它線程運行到某個點
    synchronized
    語法
    在這裡插入圖片描述
    解決
    在這裡插入圖片描述
    在這裡插入圖片描述
    所謂的線程八鎖
    其實就是考察synchronized鎖住的是哪個對象
    情況1 ：

在這裡插入圖片描述
用圖來解釋
在這裡插入圖片描述
在這裡插入圖片描述
思考
synchronized實際是用對象鎖保證了臨界區內代碼的原子性，臨界區內的代碼對外是不可分割的，不會被線程切換所打斷。
為了加深理解，請思考下麵的問題

  • 如果把synchronized（obj）放在for迴圈的外面，如何理解？-- 原子性
  • 如果t1 synchronized(obj1) 而 t2 synchronized(obj2)會怎樣運作？ – 鎖對象
  • 如果t1 synchronized(obj) 而t2 沒有加會怎麼樣？如何理解？ – 鎖對象
    面向對象改進
    把需要保護的共用變數放入一個類
    在這裡插入圖片描述

4.4 變數的線程安全分析

成員變數和靜態變數是否線程安全？

  • 如果它們沒有共用，則線程安全
  • 如果它們被共用了，根據它們的狀態是否能夠改變，又分兩種情況
    • 如果只有讀操作，則線程安全
    • 如果有讀寫操作，則這段代碼是臨界區，需要考慮線程安全
      局部變數是否線程安全？
  • 局部變數是線程安全的
  • 但局部變數引用的對象則未必
    • 如果該對象沒有逃離方法的作用訪問，它是線程安全的
    • 如果該對象逃離方法的作用範圍，需要考慮線程安全
      局部變數線程安全分析
      在這裡插入圖片描述
      每個線程調用test1（）方法時局部變數i，會在每個線程的棧幀記憶體中被創建多份，因此不存在共用
      在這裡插入圖片描述
      如圖
      在這裡插入圖片描述
      局部變數的引用稍有不同
      先看一個成員變數的例子
      在這裡插入圖片描述
      在這裡插入圖片描述
      其中一種情況是，如果線程2還未add，線程1remove就會報錯 ：
      在這裡插入圖片描述
      分析 ：
  • 無論哪個線程中的method2引用的都是同一個對象中的list成員變數
  • method3與method2分析相同
    在這裡插入圖片描述
    將list修改成局部變數
    在這裡插入圖片描述
    分析 ：
  • list是局部變數，每個線程調用時會創建其不同實例，沒有共用
  • 而method2的蠶食是從method1中傳遞過來的，與method1中引用同一個對象
  • method3的參數分析與method2相同
    在這裡插入圖片描述
    方法訪問修飾符帶來的思考，如果把method2和method3的方法修改為public會不會代理線程安全問題？
  • 情況1 ：有其它線程調用method2和method3
  • 情況2 ：在情況1的基礎上，為ThreadSafe類添加子類，子類覆蓋method2或method3方法。
    ![在這裡插入圖片描述](https://img-blog.csdnimg.cn/2020020816151116.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poYW8xMjk5MDAyNzg4,size_16,color_FFFFFF,t_7
    從這裡例子中可以看出private或final提高【安全】的意義所在，請體會開閉原則中的【閉】
    常見線程安全類
  • String
  • Integer
  • StringBuffer
  • Random
  • Vector
  • HashTable
  • java.util.concurrent包下的類
    這裡說它們是線程安全的是指，多個線程調用它們同一個實例的某個方法時，是線程安全的。也可以理解為
  • 它們的每個方法是原子的
  • 但註意它們多個方法的組合不是原子的，見後面分析
    線程安全類方法的組合
    分析下麵代碼是否線程安全？
    在這裡插入圖片描述
    在這裡插入圖片描述
    不可變類線程安全性
    String、Integer等都是不可變類，因為其內部的狀態不可以改變，因此它們的方法都是線程安全的。
    在這裡插入圖片描述
    在這裡插入圖片描述
    其中foo的行為是不確定的，可能導致不安全的發生，被稱之為外星方法
    在這裡插入圖片描述
    請比較JDK中String類的實現，為什麼是final修飾的？因為防止子類去實現，這樣會引起線程安全問題。也是符合開閉原則

4.6 Monitor概念

Java對象頭
以32位虛擬機為例
普通對象
在這裡插入圖片描述
數組對象
在這裡插入圖片描述
其中Mark Word結構為
在這裡插入圖片描述
Monitor
Monitor被翻譯為監視器或管程
每個Java對象都可以關聯一個Monitor對象，如果使用synchronized給對象上鎖（重量級）之後，該對象頭的Mark Word中就被設置指向Monitor對象的指針
Monitor結構如下
在這裡插入圖片描述

  • 剛開始Monitor中Owner為null
  • 當Thread-2指向synchronized（obj）就會將Monitor的所有者Owner置為Thread-2，Monitor中只能有一個Owner
  • 在Thread-2上鎖的過程中，如果Thread-3，Thread-4，Thread-5也來執行synchronized（obj），就會進入EntryList BLOCKED
  • Thread-2執行完同步代碼塊的內容，然後喚醒EntryList中等待的線程來競爭鎖，競爭的時是非公平的
  • 圖中WaitSet中的Thread-0，Thread-1是之前獲得過鎖，但條件不滿足進入WAITING狀態的線程，後面講wait-notify時會分析
    註意 ：
    • synchronized必須是進入同一個對象的monitor才有上述的效果
    • 不加synchronized的對象不會關聯監視器，不遵從以上規則
      原理之synchronized
      在這裡插入圖片描述
      對應的位元組碼
      在這裡插入圖片描述

1. 輕量級鎖

輕量級鎖的使用場景 ：如果一個對象雖然有多線程訪問，但多線程訪問的時間是錯開的（也就是沒有競爭），那麼可以使用輕量級鎖來優化
輕量級鎖來優化。
輕量級鎖對使用者是透明的，即語法任然是synchronized
假設有兩個方法同步塊，利用同一個對象加鎖
在這裡插入圖片描述

  • 創建鎖記錄（Lock Record）對象，每個線程都的棧幀都會包含一個鎖記錄的結構，內部可以存儲鎖定對象的Mark Word
    在這裡插入圖片描述
  • 讓鎖記錄中Object reference指向鎖對象，並嘗試用cas替換Object的Mark Word，將Mark Word的值存入鎖記錄
    在這裡插入圖片描述
  • 如果cas替換成功，對象頭中存儲了鎖記錄地址和狀態 00，表示由該線程給對象加鎖，這時圖示如下
    在這裡插入圖片描述
  • 如果cas失敗，有兩種情況
    • 如果是其他線程已經持有了該Object的輕量級鎖，這時錶面有競爭，進入膨脹過程
    • 如果是自己執行了synchronized鎖重入，那麼再添加一條Lock Record作為重入的計數
      在這裡插入圖片描述
  • 當退出synchronized代碼塊（解鎖時）如果有取值為null的鎖記錄，表示有重入，這時重置鎖記錄，表示重入計數減一
    在這裡插入圖片描述
  • 當退出synchronized代碼塊（解鎖時）鎖記錄的值不為null，這時使用cas將Mark Word的值恢復給對象頭
    • 成功，則解鎖成功
    • 失敗，說明輕量級鎖進行了鎖膨脹或已經升級為重量級鎖，進入重量級鎖解鎖流程

2. 鎖膨脹

如果在嘗試加輕量級鎖的過程中，CAS操作無法成功，這時一種情況就是有其他線程為此對象加上了輕量級鎖（有競爭），這時需要進行鎖膨脹，將輕量級鎖變為重量級鎖。
在這裡插入圖片描述

  • 當Thread-1進行輕量級加鎖時，Thread-0已結對該對象加了輕量級鎖
    在這裡插入圖片描述
  • 這時Thread-1加輕量級鎖失敗，進入鎖膨脹流程
    • 即為Object對象申請Monitor鎖，讓Object指向重量級鎖地址
    • 然後自己進入Monitor的EntryList BLOCKED
      在這裡插入圖片描述
  • 當Thread-0退出同步塊解鎖時，使用cas將Mark Word的值恢復給對象頭，失敗。這時會進入重量級解鎖流程，即 按照Monitor地址找到Monitor對象，設置Owner為null，喚醒EntryList中BLOCKED線程。

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

-Advertisement-
Play Games
更多相關文章
  • JS事件流、DOM事件流、IE事件處理、跨瀏覽器事件處理、事件對象與類型
    事件的移除 removeEventListener() 第二個參數需要指定要移除的事件句柄，不能是匿名函數，因為無法識別 想要移除成功，那麼三個參數必須跟addEventListener中的三個完全一致 <!DOCTYPE html> <html lang="en"> <head> <meta ch ...
  • vuex源碼簡析
    前言 基於 vuex 3.1.2 按如下流程進行分析： Vue.use(Vuex) Vue.use() 會執行插件的 install 方法，並把插件放入緩存數組中。 而 Vuex 的 install 方法很簡單，保證只執行一次，以及使用 applyMixin 初始化。 applyMixin 方法定義 ...
  • 使用placeholder屬性設置input文本框的提示信息
    input文本框中設置提示信息,可以使用placeholder屬性,結果就是這樣,有當文本框內容為空時就顯示提示信息,當輸入內容時提示內容就消失了 ...
  • 什麼是數據結構？
    本篇文章主要來介紹什麼是數據結構。 首先讓我們來看一張圖片： 數據存儲於電腦的記憶體中。記憶體如上圖所示，形似排成 1 列的箱子，1 個箱子里存儲 1 個數據。 數據存儲於記憶體時， 決定了數據順序和位置關係的便是數據結構 。 其實在我們生活中用到很多數據結構的知識，那麼舉一個我們生活中的慄子： 首先舉 ...
  • 什麼是鏈表？
    在瞭解完 "什麼是數據結構" 之後，讓我們一起來探索下數據結構中常見的一種— 鏈表 。 鏈表 鏈表是數據結構之一， 其中的數據呈線性排列。在鏈表中，數據的添加和刪除都較為方便，就是訪問比較耗費時間。 如上圖所示就是鏈表的概念圖，Blue、Yellow、Red 這 3 個字元串作為數據被存儲於鏈表中， ...
  • Java連載80-數字類格式、隨機數、BigDecimal
    一、數字類 1.關於數字格式化：java.text.DecimalFormat; 2.數字格式元素： # 任意數字 ， 千分位 . 小數點 0 不夠補零 package com.bjpowernode.java_learning; ​ import java.text.DecimalFormat; ...
  • JavaSE學習筆記（6）---異常
    JavaSE學習筆記（6） 異常 ​ 軟體程式在運行過程中，非常可能遇到問題，我們稱之為異常，英文是：Exception，意思是例外。遇到這些例外情況，或者叫異常，我們怎麼讓寫的程式做出合理的處理，安全的退出，而不至於程式崩潰呢? 1.異常產生的原因及使用原則 在 Java 中一個異常的產生，主要有 ...
  • linux安裝jdk並設置環境變數（看這一篇文章即可）
    1.查看linux位數 查看linux是32位還是64位，影響需要下載JDK的版本 系統位數 jdk位數 x86（32位） 32位 x86_64（64位） 32位 64位 在linux命令輸入： uname -a 如果是64位機器，會輸出x86_64 2.下載JDK 下載地址：https://www ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發（一）：使用.NET MAUI開發第一個安卓APP
    移動開發（一）：使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說，近來想嘗試開發一款安卓APP，考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP，畢竟是使用Visual Studio開發工具，使用起來也比較的順手，結合微軟官方的教程進行了安卓 ...
  • wpf ToggleButton選中效果和一個登錄界面
    前言 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 ...
  • 第27篇 sqlserver2022詳細安裝步驟
    話不多說，直接開乾 一.下載 1.官方鏈接下載： https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe，運行開始下載SQL server； 二. ...
  • .NET 開源高性能 MQTT 類庫
    前言 隨著物聯網（IoT）技術的迅猛發展，MQTT（消息隊列遙測傳輸）協議憑藉其輕量級和高效性，已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫，為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog文檔翻譯系列（六） - 可用的接收器、增強器、格式化輸出
    Serilog支持多種接收器用於日誌存儲，增強器用於添加屬性，LogContext管理動態屬性，支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項，適用於不同需求。 ...
  • 警惕 Visual Studio 屬性求值副作用導致邏輯不符合預期
    目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據，爬取信息時需要模擬瀏覽器行為，否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下： 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • [使用目前最新版]HybridCLR6.9.0+YooAsset2.2.4實現純C# Unity熱更新方案 (一)
    1.前言 什麼是熱更新 游戲或者軟體更新時，無需重新下載客戶端進行安裝，而是在應用程式啟動的情況下，在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR，Xlua，ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles，Addressable， ...
  • 在 ASP.NET Core Web API 中使用操作篩選器統一處理通用操作
    本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺，其實像阿裡雲，騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後，它會送 ...
  • 第28篇 如何.net中實現高效可靠數據同步api
    通過以下方式可以高效，並保證數據同步的可靠性 1.API設計 使用RESTful設計，確保API端點明確，並使用適當的HTTP方法（如POST用於創建，PUT用於更新）。 設計清晰的請求和響應模型，以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證，確保接收到的數據符合預期格 ...
所有分類