主頁 > 軟體設計 > 零拷貝原理的文章網上滿天飛,但你知道如何使用零拷貝嗎?

零拷貝原理的文章網上滿天飛,但你知道如何使用零拷貝嗎?

2021-11-09 08:35:50 軟體設計

零拷貝是中間件相關面試中必考題,本文就和大家一起來總結一下NIO拷貝的原理,并結合Netty代碼,從代碼實作層面近距離觀摩如何使用java實作零拷貝,

1、零拷貝實作原理

**“零拷貝”**其實包括兩個層面的含義:

  • 拷貝
    一份相同的資料從一個地方移動到另外一個地方的程序,叫拷貝,

  • 希望在IO讀寫程序中,CPU控制的資料拷貝到次數為0,

在IO編程領域,當然是拷貝的次數越少越好,逐步優化,將其拷貝次數將為0,最大化的提高性能,

那接下來我們循序漸進來看一下如何減少資料復制,

接下來我們將以RocketMQ訊息發送、訊息讀取場景來闡述IO讀寫程序中可能需要進行的資料復制與背景關系切換,

1.1 傳統的IO讀流程

一次傳統的IO讀序列流程如下所示:
在這里插入圖片描述
java應用中,如果要將從檔案中讀取資料,其基本的流程如下所示:

  1. 當broker收到拉取請求時發起一次read系統呼叫,此時作業系統會進行一次背景關系的切換,從用態間切換到內核態
  2. 通過直接存盤訪問器(DMA)從磁盤將資料加載到內核快取區DMA Copy,這個階段不需要CPU參與,如果是阻塞型IO,該程序用戶執行緒會處于阻塞狀態)
  3. 然后在CPU的控制下,將內核快取區的資料copy到用戶空間的快取區(由于這個是作業系統級別的行為,通常這里指的記憶體快取區,通常使用的是堆外記憶體),這里將發生一次CPU復制與一次背景關系切換(從內核態切換到用戶態)
  4. 堆外記憶體中的資料復制到應用程式的堆記憶體,供應用程式使用,本次復制需要經過CPU控制,
  5. 將資料加載到堆空間,需要傳輸到網卡,這個程序又要進入到內核空間,然后復制到sockebuffer,然后進入網卡協議引擎,從而進入到網路傳輸中,該部分會在接下來會詳細介紹,

溫馨提示:RocketMQ底層的作業機制并不是上述模型,是經過優化后的讀寫模型,本文將循序漸進的介紹優化程序,

1.2 傳統的IO寫流程

一次傳統的IO寫入流程如下圖所示:
在這里插入圖片描述
核心關鍵步驟如下:

  1. 在broker收到訊息時首先會在堆空間中創建一個堆快取區,用于存盤用戶需要寫入的資料,然后需要將jvm堆記憶體中資料復制到作業系統記憶體(CPU COPY)
  2. 發起write系統呼叫,將用戶空間中的資料復制到記憶體快取區,**此程序發生一次背景關系切換(用戶態切換到內核態)**并進行一次CPU Copy,
  3. 通過直接存盤訪問器(DMA)將內核空間的資料寫入到磁盤,并回傳結果,此程序發生一次DMA Copy 與一次背景關系切換(內核態切換到用戶態)

1.3 讀寫優化技巧

從上面兩張流程圖,我們不能看出讀寫處理流程中存在太多復制,同樣的資料需要被復制多次,造成性能損耗,故IO讀寫通常的優化方向主要為:減少復制次數、減少用戶態/內核態切換次數,

1.3.1 引入堆外記憶體

jvm堆空間中資料要發送到內核快取區,通常需要先將jvm堆空間中的資料拷貝到系統記憶體(一個非官方的理解,用C語言實作的本地方法呼叫中,首先需要將堆空間中資料拷貝到C語言相關的存盤結構),故提高性能的第一個措施:使用堆外記憶體,

不過堆外記憶體中的資料,通常還是需要從堆空間中獲取,從這個角度來看,貌似提升的性能有限,

1.3.2 引入記憶體映射(MMap與write)

通過引入記憶體映射機制,減少用戶空間與內核空間之間的資料復制,如下圖所示:
在這里插入圖片描述
記憶體映射的核心思想就是將內核快取區、用戶空間快取區映射到同一個物理地址上,可以減少用戶快取區與內核快取區之間的資料拷貝

但由于記憶體映射機制并不會減少背景關系切換次數,

1.3.3 大名鼎鼎鼎sendfile

在Linux 2.1內核引入了sendfile函式用于將檔案通過socket傳送

注意sendfile的傳播方向:使用于將檔案中的內容直接傳播到Socket,通常使用客戶端從服務端檔案中讀取資料,在服務端內部實作零拷貝,

在1.3.1中介紹客戶端從服務端讀取訊息的程序中,并沒有展開介紹從服務端寫入到客戶端網路中的程序,接下來看看sendfile的資料拷貝圖解:
在這里插入圖片描述
sendfile的主要特點是在內核空間中通過DMA將資料從磁盤檔案拷貝到內核快取區,然后可以直接將內核快取區中的資料在CPU控制下將資料復制到socket快取區,最終在DMA的控制下將socketbufer中拷貝到協議引擎,然后經網卡傳輸到目標端,

sendfile的優勢(特點):

  • 一次sendfile呼叫會只設計兩次背景關系切換,比read+write減少兩次背景關系切換,
  • 一次sendfile會存在3次copy,其中一次CPU拷貝,兩次DMA拷貝,
1.3.4 Linux Gather

Linux2.4內核引入了gather機制,用以消除最后一次CPU拷貝,即不再將內核快取區中的資料拷貝到socketbuffer,而是將記憶體快取區中的記憶體地址、需要讀取資料的長度寫入到socketbuffer中,然后DMA直接根據socketbuffer中存盤的記憶體地址,直接從內核快取區中的資料拷貝到協議引擎(注意,這次拷貝由DMA控制),

從而實作真正的零拷貝,

2、結合Netty談零拷貝實戰

上面講述了“零拷貝”的實作原理,接下來將嘗試從Netty原始碼去探究在代碼層面如何使用“零拷貝”

從網上的資料可以得知,在java nio提供的類別庫中真正能運用底層作業系統的零拷貝機制只有FileChannel的transferTo,而在Netty中也不出意料的對這種方式進行了封裝,其類圖如下:
在這里插入圖片描述
其主要的核心要點是FileRegion的transferTo方法,我們結合該方法再來介紹DefaultFileRegion各個核心屬性的含義,
在這里插入圖片描述
上述代碼并不復雜,我們不難得出如下觀點:

  • 首先介紹DefaultFileRegion的核心屬性含義:
    • File f
      底層抽取資料來源的底層磁盤檔案
    • FileChannel file
      底層檔案的檔案通道,
    • long position
      資料從通道中抽取的起始位置
    • long count
      需要傳遞的總位元組數
    • long transfered
      已傳遞的位元組數量,
  • 核心要點是呼叫java nio FileChannel的transferTo方法,底層呼叫的是作業系統的sendfile函式,即真正的零拷貝,
  • 呼叫一次transferTo方法并不一定能將需要的資料全部傳輸完成,故該方法回傳已傳輸的位元組數,是否需要再次呼叫該方法的判斷方法:已傳遞的位元組數是否等于需要傳遞的總位元組數(transfered == count)

接下來我們看一下FileRegion的transferTo在netty中的呼叫鏈,從而推斷一下Netty中的零拷貝的觸發要點,
在這里插入圖片描述
在Netty中代表兩個型別的通道:

  • EpollSocketChannel
    基于Epoll機制進行事件的就緒選擇機制,

  • NioSocketChannel

    基于select機制的事件就緒選擇,

在Netty中呼叫通道Channel的flush或writeAndFlush方法,都會最終觸發底層通道的網路寫事件,如果待寫入的物件是FileRegion,則會觸發零拷貝機制,接下來我們對兩個簡單介紹一下:

2.1 EpollSocketChannel 通道零拷貝

寫入的入口函式為如下:
在這里插入圖片描述
核心思想為:如果待寫入的訊息是DefaultFileRegion,EpollSocketChannel將直接呼叫sendfile函式進行資料傳遞;如果是FileRegion型別,則按照約定呼叫FileRegion的transferTo進行資料傳遞,這種方式是否真正進行零拷貝取決于FileRegion的transferTo中是否呼叫了FileChannel的transferTo方法,

溫馨提示:本文并沒有打算詳細分析Epoll機制以及編程實踐,

2.2 NioSocketChannel 通道零拷貝實作

實作入口為:
在這里插入圖片描述
從這里可知,NioSocketChannel就是中規中矩的呼叫FileRegion的transferTo方法,是否真正實作了零拷貝,取決于底層是否呼叫了FileChannel的transferTo方法,

2.3 零拷貝實踐總結

從Netty的實作中我們基本可以得出結論:是否是零拷貝,判斷的依據是是否呼叫了FileChannel的transferTo方法,更準備的表述是底層是否呼叫了作業系統的sendfile函式,并且作業系統底層還需要支持gather機制,即linux的內核版本不低于2.4,


一鍵三連(關注、點贊、留言)是對我最大的鼓勵,

各位技術朋友們,我是《RocketMQ技術內幕》一書作者,CSDN2020博客之星TOP2,熱衷于中間件領域的技術分享,維護「中間件興趣圈」公眾號,旨在成體系剖析Java主流中間件,構建完備的分布式架構體系,歡迎大家大家關注我,回復「專欄」可獲取15個專欄;回復「PDF」可獲取海量學習資料,回復「加群」可以拉你入技術交流群,零距離與BAT大廠的大神交流,
在這里插入圖片描述

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

標籤:其他

上一篇:為什么越來越多程式員開始選擇單身了?

下一篇:【歷史上的今天】11 月 8 日:計算機先驅誕生日;卷積神經網路 LeNet-5 問世;特斯拉發明遙控器

標籤雲
其他(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)

熱門瀏覽
  • 面試突擊第一季,第二季,第三季

    第一季必考 https://www.bilibili.com/video/BV1FE411y79Y?from=search&seid=15921726601957489746 第二季分布式 https://www.bilibili.com/video/BV13f4y127ee/?spm_id_fro ......

    uj5u.com 2020-09-10 05:35:24 more
  • 第三單元作業總結

    1.前言 這應該是本學期最后一次寫作業總結了吧。總體來說,對作業的節奏也差不多掌握了,作業做起來的效率也更高了。雖然和之前的作業一樣,作業中都要用到新的知識,但是相比之前,更加懂得了如何利用工具以及資料。雖然之間卡過殼,但總體而言,這幾次作業還算完成的比較好。 2.作業程序總結 相比前兩個單元,此單 ......

    uj5u.com 2020-09-10 05:35:41 more
  • 北航OO(2020)第四單元博客作業暨課程總結博客

    北航OO(2020)第四單元博客作業暨課程總結博客 本單元作業的架構設計 在本單元中,由于UML圖具有比較清晰的樹形結構,因此我對其中需要進行查詢操作的元素進行了包裝,在樹的父節點中存盤所有孩子的參考。考慮到性能問題,我采用了快取機制,一次查詢后盡可能快取已經遍歷過的資訊,以減少遍歷次數。 本單元我 ......

    uj5u.com 2020-09-10 05:35:48 more
  • BUAA_OO_第四單元

    一、UML決議器設計 ? 先看下題目:第四單元實作一個基于JDK 8帶有效性檢查的UML(Unified Modeling Language)類圖,順序圖,狀態圖分析器 MyUmlInteraction,實際上我們要建立一個有向圖模型,UML中的物件(元素)可能與同級元素連接,也可與低級元素相連形成 ......

    uj5u.com 2020-09-10 05:35:54 more
  • 6.1邏輯運算子

    邏輯運算子 1. && 短路與 運算式1 && 運算式2 01.運算式1為true并且運算式2也為true 整體回傳為true 02.運算式1為false,將不會執行運算式2 整體回傳為false 03.只要有一個運算式為false 整體回傳為false 2. || 短路或 運算式1 || 運算式2 ......

    uj5u.com 2020-09-10 05:35:56 more
  • BUAAOO 第四單元 & 課程總結

    1. 第四單元:StarUml檔案決議 本單元采用了圖模型決議UML。 UML檔案可以抽象為圖、子圖、邊的邏輯結構。 在實作中,圖的節點包括類、介面、屬性,子圖包括狀態圖、順序圖等。 采用了三次遍歷UML元素的方法建圖,第一遍遍歷建點,第二、三次遍歷設定屬性、連邊,實作圖物件的初始化。這里借鑒了一些 ......

    uj5u.com 2020-09-10 05:36:06 more
  • 談談我對C# 多型的理解

    面向物件三要素:封裝、繼承、多型。 封裝和繼承,這兩個比較好理解,但要理解多型的話,可就稍微有點難度了。今天,我們就來講講多型的理解。 我們應該經常會看到面試題目:請談談對多型的理解。 其實呢,多型非常簡單,就一句話:呼叫同一種方法產生了不同的結果。 具體實作方式有三種。 一、多載 多載很簡單。 p ......

    uj5u.com 2020-09-10 05:36:09 more
  • Python 資料驅動工具:DDT

    背景 python 的unittest 沒有自帶資料驅動功能。 所以如果使用unittest,同時又想使用資料驅動,那么就可以使用DDT來完成。 DDT是 “Data-Driven Tests”的縮寫。 資料:http://ddt.readthedocs.io/en/latest/ 使用方法 dd. ......

    uj5u.com 2020-09-10 05:36:13 more
  • Python里面的xlrd模塊詳解

    那我就一下面積個問題對xlrd模塊進行學習一下: 1.什么是xlrd模塊? 2.為什么使用xlrd模塊? 3.怎樣使用xlrd模塊? 1.什么是xlrd模塊? ?python操作excel主要用到xlrd和xlwt這兩個庫,即xlrd是讀excel,xlwt是寫excel的庫。 今天就先來說一下xl ......

    uj5u.com 2020-09-10 05:36:28 more
  • 當我們創建HashMap時,底層到底做了什么?

    jdk1.7中的底層實作程序(底層基于陣列+鏈表) 在我們new HashMap()時,底層創建了默認長度為16的一維陣列Entry[ ] table。當我們呼叫map.put(key1,value1)方法向HashMap里添加資料的時候: 首先,呼叫key1所在類的hashCode()計算key1 ......

    uj5u.com 2020-09-10 05:36:38 more
最新发布
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:20:47 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:20:25 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:20:17 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:20:10 more
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:19:44 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:19:07 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:18:57 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:18:49 more
  • 05單件模式

    #經典的單件模式 public class Singleton { private static Singleton uniqueInstance; //一個靜態變數持有Singleton類的唯一實體。 // 其他有用的實體變數寫在這里 //構造器宣告為私有,只有Singleton可以實體化這個類! ......

    uj5u.com 2023-04-19 08:42:51 more
  • 【架構與設計】常見微服務分層架構的區別和落地實踐

    軟體工程的方方面面都遵循一個最基本的道理:沒有銀彈,架構分層模型更是如此,每一種都有各自優缺點,所以請根據不同的業務場景,并遵循簡單、可演進這兩個重要的架構原則選擇合適的架構分層模型即可。 ......

    uj5u.com 2023-04-19 08:42:41 more