主頁 > 軟體設計 > 編程思想:如何設計一個好的通信網路協議

編程思想:如何設計一個好的通信網路協議

2020-09-11 14:58:37 軟體設計

當網路中兩個行程需要通信時,我們往往會使用 Socket 來實作,Socket 都不陌生,當三次握手成功后,客戶端與服務端就能通信,并且,彼此之間通信的資料包格式都是二進制,由 TCP/IP 協議負責傳輸,

當客戶端和服務端取得了二進制資料包后,我們往往需要『萃取』出想要的資料,這樣才能更好的執行業務邏輯,所以,我們需要定義好資料結構來描述這些二進制資料的格式,這就是通信網路協議,簡單講,就是需要約定好二進制資料包中每一段位元組的含義,比如從第 n 位元組開始的 m 長度是核心資料,有了這樣的約定后,我們就能解碼出想要的資料,執行業務邏輯,這樣我們就能暢通無阻的通信了,

網路協議的設計

概要劃分

一個最基本的網路協議必須包含

  • 資料的長度
  • 資料

了解 TCP 協議的同學一定聽說過粘包、拆包 這兩個術語,因為TCP協議是資料流協議,它的底層根據二進制緩沖區的實際情況進行包的劃分,所以,不可避免的會出現粘包,拆包 現象 ,為了解決它們,我們的網路協議往往會使用一個 4 位元組的 int 型別來表示資料的大小,比如,Netty 就為我們提供了 LengthFieldBasedFrameDecoder 解碼器,它可以有效的使用自定義長度幀來解決上述問題,

同時一個好的網路協議,還會將動作和業務資料分離,試想一下, HTTP 協議的分為請求頭,請求體——

  • 請求頭:定義了介面地址、Http MethodHTTP 版本
  • 請求體:定義了需要傳遞的資料

這就是一種分離關注點的思想,所以自定義的網路協議也可以包含:

  • 動作指令:比如定義 code 來分門別類的代表不同的業務邏輯
  • 序列化演算法:描述了 JAVA 物件和二進制之間轉換的形式,提供多種序列化/反序列化方式,比如 jsonprotobuf 等等,甚至是自定義演算法,比如:rocketmq 等等,

同時,協議的開頭可以定義一個約定的魔數,這個固定值(4位元組),一般用來判斷當前的資料包是否合法,比如,當我們使用 telnet 發送錯誤的資料包時,很顯然,它不合法,會導致解碼失敗,所以,為了減輕服務器的壓力,我們可以取出資料包的前4個位元組與固定的魔數對比,如果是非法的格式,直接關閉連接,不繼續解碼,

網路協議結構如下所示

+--------------+-----------+------------+-----------+----------+
| 魔數(4)       | code(1)   |序列化演算法(1) |資料長度(4) |資料(n)   |
+--------------+-----------+------------+-----------+----------+ 

RocketMQ 通信網路協議的實作

RocketMQ 網路協議

這一小節,我們從RocketMQ 中,分析優秀通信網路協議的實作,RocketMQ 專案中,客戶端和服務端的通信是基于 Netty 之上構建的,同時,為了更加有效的通信,往往需要對發送的訊息自定義網路協議,

RocketMQ 的網路協議,從資料分類的角度上看,可分為兩大類

  • 訊息頭資料(Header Data)
  • 訊息體資料(Body Data)

從左到右

  • 第一段:4 個位元組整數,等于2、3、4 長度總和

  • 第二段:4 個位元組整數,等于3 的長度,特別的 byte[0] 代表序列化演算法,byte[1~3]才是真正的長度

  • 第三段:代表訊息頭資料,結構如下

{
    "code":0,
    "language":"JAVA",
    "version":0,
    "opaque":0,
    "flag":1,
    "remark":"hello, I am respponse /127.0.0.1:27603",
    "extFields":{
        "count":"0",
        "messageTitle":"HelloMessageTitle"
    }
}
  • 第四段:代表訊息體資料

RocketMQ 訊息頭協議詳細如下:

Header 欄位名 型別 Request Response
code 整數 請求操作代碼,請求接收方根據不同的代碼做不同的操作 應答結果代碼,0表示成功,非0表示各種錯誤代碼
language 字串 請求發起方實作語言,默認JAVA 應答接收方實作語言
version 整數 請求發起方程式版本 應答接收方程式版本
opaque 整數 請求發起方在同一連接上不同的請求標識代碼,多執行緒連接復用使用 應答方不做修改,直接回傳
flag 整數 通信層的標志位 通信層的標志位
remark 字串 傳輸自定義文本資訊 錯誤詳細描述資訊
extFields HashMap<String,String> 請求自定義欄位 應答自定義欄位

編碼程序

RocketMQ 的通信模塊是基于 Netty的,通過定義 NettyEncoder 來實作對每一個 Channel的 出堆疊資料進行編碼,如下所示:

@ChannelHandler.Sharable
public class NettyEncoder extends MessageToByteEncoder<RemotingCommand> {
    @Override
    public void encode(ChannelHandlerContext ctx, RemotingCommand remotingCommand, ByteBuf out)
        throws Exception {
        try {
            ByteBuffer header = remotingCommand.encodeHeader();
            out.writeBytes(header);
            byte[] body = remotingCommand.getBody();
            if (body != null) {
                out.writeBytes(body);
            }
        } catch (Exception e) {
           ...
        }
    }
}

其中,核心的編碼程序位于 RemotingCommand 物件中,encodeHeader 階段,需要統計出訊息總長度,即:

  • 定義訊息頭長度,一個整數表示:占4個位元組

  • 定義訊息頭資料,并計算其長度

  • 定義訊息體資料,并計算其長度

  • 額外再加 4是因為需要加入訊息總長度,一個整數表示:占4個位元組

public ByteBuffer encodeHeader(final int bodyLength) {
    // 1> 訊息頭長度,一個整數表示:占4個位元組
    int length = 4;

    // 2> 訊息頭資料
    byte[] headerData;
    headerData = https://www.cnblogs.com/OceanEyes/p/this.headerEncode();
    // 再加訊息頭資料長度
    length += headerData.length;

    // 3> 再加訊息體資料長度
    length += bodyLength;
    // 4> 額外加 4是因為需要加入訊息總長度,一個整數表示:占4個位元組
    ByteBuffer result = ByteBuffer.allocate(4 + length - bodyLength);

    // 5> 將訊息總長度加入 ByteBuffer
    result.putInt(length);

    // 6> 將訊息的頭長度加入 ByteBuffer
    result.put(markProtocolType(headerData.length, serializeTypeCurrentRPC));

    // 7> 將訊息頭資料加入 ByteBuffer
    result.put(headerData);

    result.flip();

    return result;
}

其中,encode 階段會將 CommandCustomHeader 資料轉換 HashMap<String,String>,方便序列化

public void makeCustomHeaderToNet() {
    if (this.customHeader != null) {
        Field[] fields = getClazzFields(customHeader.getClass());
        if (null == this.extFields) {
            this.extFields = new HashMap<String, String>();
        }

        for (Field field : fields) {
            if (!Modifier.isStatic(field.getModifiers())) {
                String name = field.getName();
                if (!name.startsWith("this")) {
                    Object value = https://www.cnblogs.com/OceanEyes/p/null;
                    try {
                        field.setAccessible(true);
                        value = field.get(this.customHeader);
                    } catch (Exception e) {
                        log.error("Failed to access field [{}]", name, e);
                    }

                    if (value != null) {
                        this.extFields.put(name, value.toString());
                    }
                }
            }
        }
    }
}

特別的,訊息頭序列化支持兩種演算法:

  • JSON
  • RocketMQ
private byte[] headerEncode() {
    this.makeCustomHeaderToNet();
    if (SerializeType.ROCKETMQ == serializeTypeCurrentRPC) {
        return RocketMQSerializable.rocketMQProtocolEncode(this);
    } else {
        return RemotingSerializable.encode(this);
    }
}

這兒需要值得注意的是,encode階段將當前 RPC 型別和 headerData長度編碼到一個 byte[4] 陣列中,byte[0] 位序列化型別,

public static byte[] markProtocolType(int source, SerializeType type) {
    byte[] result = new byte[4];

    result[0] = type.getCode();
    result[1] = (byte) ((source >> 16) & 0xFF);
    result[2] = (byte) ((source >> 8) & 0xFF);
    result[3] = (byte) (source & 0xFF);
    return result;
}

其中,通過與運算 & 0xFF 取低八位資料,

所以, 最終 length 長度等于序列化型別 + header length + header data + body data 的位元組的長度,

解碼程序

RocketMQ 解碼通過NettyDecoder來實作,它繼承自 LengthFieldBasedFrameDecoder,其中呼叫了父類LengthFieldBasedFrameDecoder的建構式

super(FRAME_MAX_LENGTH, 0, 4, 0, 4);

這些引數設定4個位元組代表 length總長度,同時解碼時跳過最開始的4個位元組:

frame = (ByteBuf) super.decode(ctx, in);

所以,得到的 frame= 序列化型別 + header length + header data + body data ,解碼如下所示:

public static RemotingCommand decode(final ByteBuffer byteBuffer) {
    //總長度
    int length = byteBuffer.limit();
    //原始的 header length,4位
    int oriHeaderLen = byteBuffer.getInt();
    //真正的 header data 長度,忽略 byte[0]的 serializeType
    int headerLength = getHeaderLength(oriHeaderLen);

    byte[] headerData = https://www.cnblogs.com/OceanEyes/p/new byte[headerLength];
    byteBuffer.get(headerData);

    RemotingCommand cmd = headerDecode(headerData, getProtocolType(oriHeaderLen));

    int bodyLength = length - 4 - headerLength;
    byte[] bodyData = null;
    if (bodyLength > 0) {
        bodyData = new byte[bodyLength];
        byteBuffer.get(bodyData);
    }
    cmd.body = bodyData;

    return cmd;
}

private static RemotingCommand headerDecode(byte[] headerData, SerializeType type) {
    switch (type) {
        case JSON:
            RemotingCommand resultJson = RemotingSerializable.decode(headerData, RemotingCommand.class);
            resultJson.setSerializeTypeCurrentRPC(type);
            return resultJson;
        case ROCKETMQ:
            RemotingCommand resultRMQ = RocketMQSerializable.rocketMQProtocolDecode(headerData);
            resultRMQ.setSerializeTypeCurrentRPC(type);
            return resultRMQ;
        default:
            break;
    }

    return null;
}

其中,getProtocolType,右移 24位,拿到 serializeType

public static SerializeType getProtocolType(int source) {
    return SerializeType.valueOf((byte) ((source >> 24) & 0xFF));
}

getHeaderLength 拿到 0-24 位代表的 headerData length:

public static int getHeaderLength(int length) {
    return length & 0xFFFFFF;
}

小結

對于諸多中間件而言,底層的網路通信模塊往往會使用 NettyNetty 提供了諸多的編解碼器,可以快速方便的上手,本文從如何設計一個網路協議入手,最終切入到 RocketMQ 底層網路協議的實作,可以看到,它并不復雜,仔細研讀幾遍變能理解其奧義,具體參考類NettyEncoderNettyDecoderRemotingCommand

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

標籤:架構設計

上一篇:基于腳本引擎的運費架構分享

下一篇:實作介面冪等性的幾種方案

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