在上篇文章用了整篇的內容來描述網絡數據包在 Kubernetes 網絡中的軌跡,文章末尾,我們提出了一種假設:同一個內核空間中的兩個 socket 可以直接傳輸數據,是不是就可以省掉內核網絡協議棧處理帶來的延遲?
(資料圖片)
不論是同 pod 中的兩個不同容器,或者同節點的兩個 pod 間的網絡通信,實際上都發生在同一個內核空間中,互為對端的兩個 socket 也都位于同一個內存中。而在上篇文章的開頭也總結了數據包的傳輸軌跡實際上是 socket 的尋址過程,可以進一步將問題展開:同一節點上的兩個 socket 間的通信,如果可以快速定位到對端的 socket-- 找到其在內存中的地址,我們就可以省掉網絡協議棧處理帶來的延遲。
互為對端的兩個 socket 也就是建立起連接的客戶端 socket 和服務端 socket,他們可以通過 IP 地址和端口進行關聯??蛻舳?socket 的本地地址和端口,是服務端 socket 的遠端地址和端口;客戶端 socket 的遠端地址和端口,則是服務端 socket 的本地地址和端口。
當客戶端和服務端的完成連接的建立之后,如果可以使用本地地址 + 端口和遠端地址 + 端口端口的組合指向socket 的話,僅需調換本地和遠端的地址 + 端口,即可定位到對端的 socket,然后將數據直接寫到對端 socket(實際是寫入 socket 的接收隊列 RXQ,這里不做展開),就可以避開內核網絡棧(包括 netfilter/iptables)以及 NIC 的處理。
如何實現?看標題應該也猜出來了,這里借助 eBPF 技術。
eBPF 是什么?Linux 內核一直是實現監控/可觀測性、網絡和安全功能的理想地方。不過很多情況下這并非易事,因為這些工作需要修改內核源碼或加載內核模塊, 最終實現形式是在已有的層層抽象之上疊加新的抽象。eBPF 是一項革命性技術,它能在內核中運行沙箱程序(sandbox programs), 而無需修改內核源碼或者加載內核模塊。
將 Linux 內核變成可編程之后,就能基于現有的(而非增加新的)抽象層來打造更加智能、 功能更加豐富的基礎設施軟件,而不會增加系統的復雜度,也不會犧牲執行效率和安全性。
應用場景下面截取了eBPF.io[1]網站的介紹。
事件驅動在網絡方面,在不離開內核空間的情況下使用 eBPF 可以加快數據包處理速度。添加額外的協議解析器并輕松編寫任何轉發邏輯以滿足不斷變化的需求。
在可觀測性方面,使用 eBPF 可以自定義指標的收集和內核聚合,以及從眾多來源生成可見性事件和數據結構,而無需導出樣本。
在鏈路跟蹤與分析方面,將 eBPF 程序附加到跟蹤點以及內核和用戶應用程序探測點,可以提供強大的檢查能力和獨特的洞察力來解決系統性能問題。
在安全方面,將查看和理解所有系統調用與所有網絡的數據包和套接字級別視圖相結合,來創建在更多上下文中運行并具有更好控制級別的安全系統。
eBPF 程序是事件驅動的,當內核或應用程序通過某個 hook(鉤子) 點時運行。預定義的鉤子類型包括系統調用、函數進入/退出、內核跟蹤點、網絡事件等。
Linux 的內核在系統調用和網絡棧上提供了一組 BPF 鉤子,通過這些鉤子可以觸發 BPF 程序的執行,下面就介紹常見的幾種鉤子。
XDP:這是網絡驅動中接收網絡包時就可以觸發 BPF 程序的鉤子,也是最早的點。由于此時還沒有進入內核網絡協議棧,也未執行高成本的操作,比如為網絡包分配`sk_buff`[2],所以它非常適合運行刪除惡意或意外流量的過濾程序,以及其他常見的 DDOS 保護機制。Traffic Control Ingress/Egress:附加到流量控制(traffic control,簡稱 tc)ingress 鉤子上的 BPF 程序,可以被附加到網絡接口上。這種鉤子在網絡棧的 L3 之前執行,并可以訪問網絡包的大部分元數據??梢蕴幚硗濣c的操作,比如應用 L3/L4 的端點策略、轉發流量到端點。CNI 通常使用虛擬機以太接口對veth將容器連接到主機的網絡命名空間。使用附加到主機端veth的 tc ingress 鉤子,可以監控離開容器的所有流量(當然也可以附加到容器的eth0接口上)。也可以用于處理跨節點的操作。同時將另一個 BPF 程序附加到 tc egress 鉤子,Cilium 可以監控所有進出節點的流量并執行策略。上面兩種屬于網絡事件類型的鉤子,下面介紹同樣是網絡相關的,套接字的系統調用。
Socket operations:套接字操作鉤子附加到特定的 cgroup 并在套接字的操作上運行。比如將 BPF 套接字操作程序附加到cgroup/sock_ops,使用它來監控 socket 的狀態變化(從`bpf_sock_ops`[3]獲取信息),特別是 ESTABLISHED 狀態。當套接字狀態變為 ESTABLISHED 時,如果 TCP 套接字的對端也在當前節點(也可能是本地代理),然后進行信息的存儲?;蛘邔⒊绦蚋郊拥絚group/connect4操作,可以在使用 ipv4 地址初始化連接時執行程序,對地址和端口進行修改。Socket send:這個鉤子在套接字執行的每個發送操作上運行。此時鉤子可以檢查消息并丟棄消息、將消息發送到內核網絡協議棧,或者將消息重定向到另一個套接字。這里,我們可以使用其完成 socket 的快速尋址。MapeBPF 程序的一個重要方面是共享收集的信息和存儲狀態的能力。為此,eBPF 程序可以利用 eBPF Map 的概念存儲和檢索數據。eBPF Map 可以從 eBPF 程序訪問,也可以通過系統調用從用戶空間中的應用程序訪問。
Map 有多種類型:哈希表、數組、LRU(最近最少使用)哈希表、環形緩沖區、堆棧調用跟蹤等等。
比如上面附加到 socket 套接字上用來在每次發送消息時執行的程序,實際上是附加在 socket 哈希表上,socket 就是鍵值對中的值。
輔助函數eBPF 程序不能調用任意內核函數。如果這樣做會將 eBPF 程序綁定到特定的內核版本,并會使程序的兼容性復雜化。相反,eBPF 程序可以對輔助函數進行函數調用,輔助函數是內核提供的眾所周知且穩定的 API。
這些輔助函數[4]提供了不同的功能:
生成隨機數獲取當前時間和日期訪問 eBPF Map獲取進程/cgroup 上下文操縱網絡數據包和轉發邏輯實現講完 eBPF 的內容,對實現應該會有一個大概的思路了。這里我們需要兩個 eBPF 程序分別維護 socket map 和將消息直通對端的 socket。這里感謝Idan Zach 的示例代碼 ebpf-sockops[5],我將代碼做了簡單的修改[6],讓可讀性更好一點。
socket map 維護:sockops原來代碼用使用了16777343表示地址127.0.0.1?,4135表示端口10000,二者是網絡 字節序列轉換后的值。
附加到sock_ops?的程序:監控 socket 狀態,當狀態為BPF_SOCK_OPS_PASSIVE_ESTABLISHED_CB?或者BPF_SOCK_OPS_ACTIVE_ESTABLISHED_CB?時,使用輔助函數bpf_sock_hash_update?[^1] 將 socket 作為value保存到 socket map 中,key
__section("sockops")int bpf_sockmap(struct bpf_sock_ops *skops){ __u32 family, op; family = skops->family; op = skops->op; //printk("<<< op %d, port = %d --> %d\n", op, skops->local_port, skops->remote_port); switch (op) { case BPF_SOCK_OPS_PASSIVE_ESTABLISHED_CB: case BPF_SOCK_OPS_ACTIVE_ESTABLISHED_CB: if (family == AF_INET6) bpf_sock_ops_ipv6(skops); else if (family == AF_INET) bpf_sock_ops_ipv4(skops); break; default: break; } return 0;}// 127.0.0.1static const __u32 lo_ip = 127 + (1 << 24);static inline void bpf_sock_ops_ipv4(struct bpf_sock_ops *skops){ struct sock_key key = {}; sk_extract4_key(skops, &key); if (key.dip4 == loopback_ip || key.sip4 == loopback_ip ) { if (key.dport == bpf_htons(SERVER_PORT) || key.sport == bpf_htons(SERVER_PORT)) { int ret = sock_hash_update(skops, &sock_ops_map, &key, BPF_NOEXIST); printk("<<< ipv4 op = %d, port %d --> %d\n", skops->op, key.sport, key.dport); if (ret != 0) printk("*** FAILED %d ***\n", ret); } }}消息直通:sk_msg
附加到 socket map 的程序:在每次發送消息時觸發該程序,使用當前 socket 的遠端地址 + 端口和本地地址 + 端口作為 key 從 map 中定位對端的 socket。如果定位成功,說明客戶端和服務端位于同一節點上,使用輔助函數bpf_msg_redirect_hash[^2] 將數據直接寫入到對端 socket。
這里沒有直接使用bpf_msg_redirect_hash?,而是通過自定義的msg_redirect_hash來訪問。因為前者無法直接訪問,否則校驗會不通過。
__section("sk_msg")int bpf_redir(struct sk_msg_md *msg){ __u64 flags = BPF_F_INGRESS; struct sock_key key = {}; sk_msg_extract4_key(msg, &key); // See whether the source or destination IP is local host if (key.dip4 == loopback_ip || key.sip4 == loopback_ip ) { // See whether the source or destination port is 10000 if (key.dport == bpf_htons(SERVER_PORT) || key.sport == bpf_htons(SERVER_PORT)) { //int len1 = (__u64)msg->data_end - (__u64)msg->data; //printk("<<< redir_proxy port %d --> %d (%d)\n", key.sport, key.dport, len1); msg_redirect_hash(msg, &sock_ops_map, &key, flags); } } return SK_PASS;}測試
環境
Ubuntu 20.04Kernel 5.15.0-1034安裝依賴。
sudo apt update && sudo apt install make clang llvm gcc-multilib linux-tools-$(uname -r) linux-cloud-tools-$(uname -r) linux-tools-generic
克隆代碼。
git clone https://github.com/addozhang/ebpf-sockopscd ebpf-sockops
編譯并加載 BPF 程序。
sudo ./load.sh
安裝iperf3。
sudo apt install iperf3
啟動 iperf3 服務端。
iperf3 -s -p 10000
運行 iperf3 客戶端。
iperf3 -c 127.0.0.1 -t 10 -l 64k -p 10000
運行trace.sh腳本查看打印的日志,可以看到 4 條日志:創建了 2 個連接。
./trace.shiperf3-7744 [001] d...1 838.985683: bpf_trace_printk: <<< ipv4 op = 4, port 45189 --> 4135iperf3-7744 [001] d.s11 838.985733: bpf_trace_printk: <<< ipv4 op = 5, port 4135 --> 45189iperf3-7744 [001] d...1 838.986033: bpf_trace_printk: <<< ipv4 op = 4, port 45701 --> 4135iperf3-7744 [001] d.s11 838.986078: bpf_trace_printk: <<< ipv4 op = 5, port 4135 --> 45701
如何確定跳過了內核網絡棧了,使用 tcpdump 抓包看一下。從抓包的結果來看,只有握手和揮手的流量,后續消息的發送完全跳過了內核網絡棧。
sudo tcpdump -i lo port 10000 -vvvtcpdump: listening on lo, link-type EN10MB (Ethernet), capture size 262144 bytes13:23:31.761317 IP (tos 0x0, ttl 64, id 50214, offset 0, flags [DF], proto TCP (6), length 60) localhost.34224 > localhost.webmin: Flags [S], cksum 0xfe30 (incorrect -> 0x5ca1), seq 2753408235, win 65495, options [mss 65495,sackOK,TS val 166914980 ecr 0,nop,wscale 7], length 013:23:31.761333 IP (tos 0x0, ttl 64, id 0, offset 0, flags [DF], proto TCP (6), length 60) localhost.webmin > localhost.34224: Flags [S.], cksum 0xfe30 (incorrect -> 0x169a), seq 3960628312, ack 2753408236, win 65483, options [mss 65495,sackOK,TS val 166914980 ecr 166914980,nop,wscale 7], length 013:23:31.761385 IP (tos 0x0, ttl 64, id 50215, offset 0, flags [DF], proto TCP (6), length 52) localhost.34224 > localhost.webmin: Flags [.], cksum 0xfe28 (incorrect -> 0x3d56), seq 1, ack 1, win 512, options [nop,nop,TS val 166914980 ecr 166914980], length 013:23:31.761678 IP (tos 0x0, ttl 64, id 59057, offset 0, flags [DF], proto TCP (6), length 60) localhost.34226 > localhost.webmin: Flags [S], cksum 0xfe30 (incorrect -> 0x4eb8), seq 3068504073, win 65495, options [mss 65495,sackOK,TS val 166914981 ecr 0,nop,wscale 7], length 013:23:31.761689 IP (tos 0x0, ttl 64, id 0, offset 0, flags [DF], proto TCP (6), length 60) localhost.webmin > localhost.34226: Flags [S.], cksum 0xfe30 (incorrect -> 0x195d), seq 874449823, ack 3068504074, win 65483, options [mss 65495,sackOK,TS val 166914981 ecr 166914981,nop,wscale 7], length 013:23:31.761734 IP (tos 0x0, ttl 64, id 59058, offset 0, flags [DF], proto TCP (6), length 52) localhost.34226 > localhost.webmin: Flags [.], cksum 0xfe28 (incorrect -> 0x4019), seq 1, ack 1, win 512, options [nop,nop,TS val 166914981 ecr 166914981], length 013:23:41.762819 IP (tos 0x0, ttl 64, id 43056, offset 0, flags [DF], proto TCP (6), length 52) localhost.webmin > localhost.34226: Flags [F.], cksum 0xfe28 (incorrect -> 0x1907), seq 1, ack 1, win 512, options [nop,nop,TS val 166924982 ecr 166914981], length 013:23:41.763334 IP (tos 0x0, ttl 64, id 59059, offset 0, flags [DF], proto TCP (6), length 52) localhost.34226 > localhost.webmin: Flags [F.], cksum 0xfe28 (incorrect -> 0xf1f4), seq 1, ack 2, win 512, options [nop,nop,TS val 166924982 ecr 166924982], length 013:23:41.763348 IP (tos 0x0, ttl 64, id 43057, offset 0, flags [DF], proto TCP (6), length 52) localhost.webmin > localhost.34226: Flags [.], cksum 0xfe28 (incorrect -> 0xf1f4), seq 2, ack 2, win 512, options [nop,nop,TS val 166924982 ecr 166924982], length 013:23:41.763588 IP (tos 0x0, ttl 64, id 50216, offset 0, flags [DF], proto TCP (6), length 52) localhost.34224 > localhost.webmin: Flags [F.], cksum 0xfe28 (incorrect -> 0x1643), seq 1, ack 1, win 512, options [nop,nop,TS val 166924982 ecr 166914980], length 013:23:41.763940 IP (tos 0x0, ttl 64, id 14090, offset 0, flags [DF], proto TCP (6), length 52) localhost.webmin > localhost.34224: Flags [F.], cksum 0xfe28 (incorrect -> 0xef2e), seq 1, ack 2, win 512, options [nop,nop,TS val 166924983 ecr 166924982], length 013:23:41.763952 IP (tos 0x0, ttl 64, id 50217, offset 0, flags [DF], proto TCP (6), length 52) localhost.34224 > localhost.webmin: Flags [.], cksum 0xfe28 (incorrect -> 0xef2d), seq 2, ack 2, win 512, options [nop,nop,TS val 166924983 ecr 166924983], length 0總結
通過 eBPF 的引入,我們縮短了同節點通信數據包的 datapath,跳過了內核網絡棧直接連接兩個對端的 socket。
這種設計適用于同 pod 兩個應用的通信以及同節點上兩個 pod 的通信。
[^1]: 該輔助函數將引用的 socket 添加或者更新到 sockethashmap中,程序的輸入bpf_sock_ops?作為鍵值對的值。詳細信息可參考 https://man7.org/linux/man-pages/man7/bpf-helpers.7.html 中的bpf_sock_hash_update。
[^2]: 該輔助函數將msg轉發到 socket map 中key
參考資料[1]eBPF.io:https://ebpf.io
[2]sk_buff?:https://atbug.com/tracing-network-packets-in-kubernetes/#sk_buff
[3]bpf_sock_ops?:https://elixir.bootlin.com/linux/latest/source/include/uapi/linux/bpf.h#L6377
[4]輔助函數:https://man7.org/linux/man-pages/man7/bpf-helpers.7.html
[5]Idan Zach 的示例代碼 ebpf-sockops:https://github.com/zachidan/ebpf-sockops
[6]簡單的修改:https://github.com/zachidan/ebpf-sockops/pull/3/commits/be09ac4fffa64f4a74afa630ba608fd09c10fe2a
關鍵詞:
X 關閉
X 關閉
- 15G資費不大降!三大運營商誰提供的5G網速最快?中國信通院給出答案
- 2聯想拯救者Y70發布最新預告:售價2970元起 迄今最便宜的驍龍8+旗艦
- 3亞馬遜開始大規模推廣掌紋支付技術 顧客可使用“揮手付”結賬
- 4現代和起亞上半年出口20萬輛新能源汽車同比增長30.6%
- 5如何讓居民5分鐘使用到各種設施?沙特“線性城市”來了
- 6AMD實現連續8個季度的增長 季度營收首次突破60億美元利潤更是翻倍
- 7轉轉集團發布2022年二季度手機行情報告:二手市場“飄香”
- 8充電寶100Wh等于多少毫安?鐵路旅客禁止、限制攜帶和托運物品目錄
- 9好消息!京東與騰訊續簽三年戰略合作協議 加強技術創新與供應鏈服務
- 10名創優品擬通過香港IPO全球發售4100萬股 全球發售所得款項有什么用處?