主頁 > 軟體設計 > Binder機制學習

Binder機制學習

2021-08-20 12:16:18 軟體設計

Binder機制學習

  • Binder驅動
  • Binder核心API
    • Linux 使用兩級保護機制:0 級供系統內核使用,3 級供用戶程式使用,
  • Linux 下的傳統 IPC 通信原理
  • Linux 下的傳統 IPC 通信原理
  • Binder通信程序
  • ServiceManager行程啟動
  • MMAP

Binder驅動

binder驅動在以misc設備進行注冊,作為虛擬字符設備,沒有直接操作硬體,只是對設備記憶體的處理,

主要是驅動設備的初始化(binder_init),打開 (binder_open),映射(binder_mmap),資料操作(binder_ioctl),

用戶態的程式呼叫Kernel層驅動是需要陷入內核態,進行系統呼叫(syscall),

比如打開Binder驅動方法的呼叫鏈為: open-> __open() -> binder_open()

open()為用戶空間的方法,__open()便是系統呼叫中相應的處理方法,通過查找,對應呼叫到內核binder驅動的binder_open()方法,至于其他的從用戶態陷入內核態的流程也基本一致,

用戶空間呼叫open()方法,最侄訓呼叫binder驅動的binder_open()方法;mmap()/ioctl()方法也是同理,在BInder系列的后續文章從用戶態進入內核態,都依賴于系統呼叫程序,

Binder核心API

1.binder_init

該方法主要是為了注冊misc設備,debugfs_create_dir是指在debugfs檔案系統中創建一個目錄,回傳值是指向dentry的指標

在這里插入圖片描述

注冊misc設備,miscdevice結構體,便是前面注冊misc設備時傳遞進去的引數

在這里插入圖片描述

file_operations結構體,指定相應檔案操作的方法,可以看到在上面用戶空間的方法會最終呼叫到對應的方法,就是根據這個來定的

在這里插入圖片描述

2.binder_open

創建binder_proc物件,并把當前行程等資訊保存到binder_proc物件,該物件管理IPC所需的各種資訊并擁有其他結構體的根結構體;再把binder_proc物件保存到檔案指標filp,以及把binder_proc加入到全域鏈表binder_procs,

在這里插入圖片描述

Binder驅動中通過static HLIST_HEAD(binder_procs);,創建了全域的哈希鏈表binder_procs,用于保存所有的binder_proc佇列,每次新創建的binder_proc物件都會加入binder_procs鏈表中,

在這里插入圖片描述

3.binder_mmap

主要功能:首先在內核虛擬地址空間,申請一塊與用戶虛擬記憶體相同大小的記憶體;然后再申請1個page大小的物理記憶體,再將同一塊物理記憶體分別映射到內核虛擬地址空間和用戶虛擬記憶體空間,從而實作了用戶空間的Buffer和內核空間的Buffer同步操作的功能,

在這里插入圖片描述

在這里插入圖片描述

總結:

binder_init:初始化字符設備;
binder_open:打開驅動設備,程序需要持有binder_main_lock同步鎖;
binder_mmap:申請記憶體空間,該程序需要持有binder_mmap_lock同步鎖;
binder_ioctl:執行相應的ioctl操作,該程序需要持有binder_main_lock同步鎖;
當處于binder_thread_read程序,read_buffer無資料則釋放同步鎖,并處于wait_event_freezable程序,等有資料到來則喚醒并嘗試持有同步鎖,

Linux 使用兩級保護機制:0 級供系統內核使用,3 級供用戶程式使用,

當一個任務(行程)執行系統呼叫而陷入內核代碼中執行時,稱行程處于內核運行態(內核態),此時處理器處于特權級最高的(0級)內核代碼中執行,當行程處于內核態時,執行的內核代碼會使用當前行程的內核堆疊,每個行程都有自己的內核堆疊,

當行程在執行用戶自己的代碼的時候,我們稱其處于用戶運行態(用戶態),此時處理器在特權級最低的(3級)用戶代碼中運行,

系統呼叫主要通過如下兩個函式來實作:

copy_from_user() //將資料從用戶空間拷貝到內核空間
copy_to_user() //將資料從內核空間拷貝到用戶空間

Linux 下的傳統 IPC 通信原理

在這里插入圖片描述

這種傳統的 IPC 通信方式有兩個問題:

1.性能低下,一次資料傳遞需要經歷:記憶體快取區 --> 內核快取區 --> 記憶體快取區,需要 2 次資料拷貝;
2.接收資料的快取區由資料接收行程提供,但是接收行程并不知道需要多大的空間來存放將要傳遞過來的資料,因此只能開辟盡可能大的記憶體空間或者先呼叫 API 接收訊息頭來獲取訊息體的大小,這兩種做法不是浪費空間就是浪費時間

跨行程通信是需要內核空間做支持的,傳統的 IPC 機制如管道、Socket 都是內核的一部分,因此通過內核支持來實作行程間通信自然是沒問題的,但是 Binder 并不是 Linux 系統內核的一部分,這個是 Linux 的動態內核可加載模塊(Loadable Kernel Module,LKM)的機制;
LKM:模塊是具有獨立功能的程式,它可以被單獨編譯,但是不能獨立運行,它在運行時被鏈接到內核作為內核的一部分運行,這樣,Android 系統就可以通過動態添加一個內核模塊運行在內核空間,用戶行程之間通過這個內核模塊作為橋梁來實作通信,
這個運行在內核空間,負責各個用戶行程通過 Binder 實作通信的內核模塊就叫 Binder 驅動(Binder Dirver),

Binder IPC 機制中涉及到的記憶體映射通過 mmap() 來實作,mmap() 是作業系統中一種記憶體映射的方法,
記憶體映射就是將用戶空間的一塊記憶體區域映射到內核空間,映射關系建立后,用戶對這塊記憶體區域的修改可以直接反應到內核空間;反之內核空間對這段區域的修改也能直接反應到用戶空間,
兩個空間各自的修改能直接反映在映射的記憶體區域,從而被對方空間及時感知,

Linux 下的傳統 IPC 通信原理

Binder IPC 正是基于記憶體映射(mmap)來實作的,但是 mmap() 通常是用在有物理介質的檔案系統上的,
比如行程中的用戶區域是不能直接和物理設備打交道的,如果想要把磁盤上的資料讀取到行程的用戶區域,需要兩次拷貝(磁盤–>內核空間→用戶空間);
通常在這種場景下 mmap() 就能發揮作用,通過在物理介質和用戶空間之間建立映射,減少資料的拷貝次數,用記憶體讀寫取代I/O讀寫,提高檔案讀取效率,
而 Binder 并不存在物理介質,因此 Binder 驅動使用 mmap() 并不是為了在物理介質和用戶空間之間建立映射,而是用來在內核空間創建資料接收的快取空間,

Binder IPC 通信程序通常是這樣:
1.首先 Binder 驅動在內核空間創建一個資料接收快取區;
2.接著在內核空間開辟一塊內核快取區,建立內核快取區和內核中資料接收快取區之間的映射關系,以及內核中資料接收快取區和接收行程用戶空間地址的映射關系;
3.發送方行程通過系統呼叫 copy_from_user() 將資料 copy 到內核中的內核快取區,由于內核快取區和接收行程的用戶空間存在記憶體映射,因此也就相當于把資料發送到了接收行程的用戶空間,這樣便完成了一次行程間的通信,
在這里插入圖片描述

Binder 是基于 C/S 架構的,由一系列的組件組成,包括 Client、Server、ServiceManager、Binder 驅動,
其中 Client、Server、Service Manager 運行在用戶空間,Binder 驅動運行在內核空間,
其中 Service Manager 和 Binder 驅動由系統提供,而 Client、Server 由應用程式來實作,
Client、Server 和 ServiceManager 均是通過系統呼叫 open、mmap 和 ioctl 來訪問設備檔案 /dev/binder,從而實作與 Binder 驅動的互動來間接的實作跨行程通信,
在這里插入圖片描述

Binder IPC通信至少是兩個行程的互動:

client行程執行binder_thread_write,根據BC_XXX命令,生成相應的binder_work;
server行程執行binder_thread_read,根據binder_work.type型別,生成BR_XXX,發送到用戶空間處理,

在這里插入圖片描述

Binder通信程序

1.首先,一個行程使用 BINDER_SET_CONTEXT_MGR 命令通過 Binder 驅動將自己注冊成為 ServiceManager
2.Server 通過驅動向 ServiceManager 中注冊 Binder(Server 中的 Binder 物體),表明可以對外提供服務,驅動為這個 Binder 創建位于內核中的物體節點以及 ServiceManager 對物體的參考,將名字以及新建的參考打包傳給 ServiceManager,ServiceManger 將其填入查找表,
3.Client 通過名字,在 Binder 驅動的幫助下從 ServiceManager 中獲取到對 Binder 物體的參考,通過這個參考就能實作和 Server 行程的通信,
在這里插入圖片描述

Binder通信的代理模式
當 A 行程想要獲取 B 行程中的 object 時,驅動并不會真的把 object 回傳給 A,而是回傳了一個跟 object 看起來一模一樣的代理物件 objectProxy,這個 objectProxy 具有和 object 一摸一樣的方法,但是這些方法并沒有 B 行程中 object 物件那些方法的能力,這些方法只需要把把請求引數交給驅動即可,對于 A 行程來說和直接呼叫 object 中的方法是一樣的,
當 Binder 驅動接收到 A 行程的訊息后,發現這是個 objectProxy 就去查詢自己維護的表單,一查發現這是 B 行程 object 的代理物件,于是就會去通知 B 行程呼叫 object 的方法,并要求 B 行程把回傳結果發給自己,當驅動拿到 B 行程的回傳結果后就會轉發給 A 行程,一次通信就完成了,
在這里插入圖片描述

ServiceManager行程啟動

1.ServiceManager成為Binder管理者
首先在android系統開始啟動時通過init.rc啟動了servicemanager(Native行程)可執行檔案行程,系統真正的ServieManager管理最終通過Native行程servicemanager來完成,接下來分析在main函式中做了那些事情:
在這里插入圖片描述

1.binder_open(128*1024)通過打開/dev/binder設備節點回傳fd檔案描述符,通過mmap最終實作對binder驅動128K大小的記憶體映射
2.binder_become_context_manager(bs)通過ioctl往設備節點發送BINDER_SET_CONTEXT_MGR命令通知Binder驅動為servicemanager創建特殊不變的0句柄物體binder_node:binder_context_mgr_node
在這里插入圖片描述

3.Binder_loop(bs,svcmgr_handler)通過iotcl發送BINDER_WRITE_READ命令并攜帶BC_ENTER_LOOPER請求命令告知Binder驅動創建了binder主執行緒并使binder驅動創建與之對應的binder_thread結構體存盤到binder_proc中,并通過for回圈進入回圈讀取binder驅動回傳資訊的回圈流程
在這里插入圖片描述

ServiceManager(native行程)最終通過獲取binder驅動設備節點fd地址,與binder驅動記憶體映射(虛擬記憶體與物理記憶體映射),開啟binder主體執行緒回圈讀取binder驅動回傳的訊息而成為服務端;
成為服務端后能夠不斷接收來自客戶端(服務端 與客戶端在此統稱為客戶端)的binder請求通信,ServiceManager(native行程)完成其他服務的注冊并保存binder驅動創建的binder句柄值與服務名稱字串,保證客戶端通過字串獲取其他服務參考句柄;因而ServiceManager(native行程)為binder管理者(服務注冊與獲取的橋梁),
2.客戶端通過ServiceManager獲取服務
用戶行程需要和ServiceManager(native行程)行程通信,ServiceManager行程接收到請求后去回應
1.用戶行程第一步先實體化ServiceManager Binder Proxy代理
在這里插入圖片描述

通過BinderInternal.getContextObject()呼叫獲取到句柄值為0的BpBinder native物件,最終通過javaObjectForIbinder()函式的jni轉換為BinderProxy類物件其實就是填充了這個類的mObject物件也就是ServiceManager Binder物件的參考封裝物件,所以SMN才能通過asInterface完成代理Proxy的實體化

MMAP

在這里插入圖片描述

虛擬行程地址空間(vm_area_struct)和虛擬內核地址空間(vm_struct)都映射到同一塊物理記憶體空間,當Client端與Server端發送資料時,Client(作為資料發送端)先從自己的行程空間把IPC通信資料copy_from_user拷貝到內核空間,而Server端(作為資料接收端)與內核共享資料,不再需要拷貝資料,而是通過記憶體地址空間的偏移量,即可獲悉記憶體地址,整個程序只發生一次記憶體拷貝,一般地做法,需要Client端行程空間拷貝到內核空間,再由內核空間拷貝到Server行程空間,會發生兩次拷貝,

對于行程和內核虛擬地址映射到同一個物理記憶體的操作是發生在資料接收端,而資料發送端還是需要將用戶態的資料復制到內核態,到此,為何不直接讓發送端和接收端直接映射到同一個物理空間,那樣就連一次復制的操作都不需要了,0次復制操作那就與Linux標準內核的共享記憶體的IPC機制沒有區別了,對于共享記憶體雖然效率高,但是對于多行程的同步問題比較復雜,而管道/訊息佇列等IPC需要復制2兩次,效率較低,
如下是大致流程圖:
在這里插入圖片描述

借鑒文章:

https://blog.csdn.net/universus/article/details/6211589

關于mmap:https://www.cnblogs.com/huxiao-tee/p/4660352.html

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

標籤:其他

上一篇:還在做創業夢?醒醒!

下一篇:前后端分離系統使用Nginx代理https地址

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