blob: f2116f20b899c2aed3fd2bf78ce412177947c78b [file] [log] [blame]
Tyler Wear72388212021-09-09 14:49:02 -07001/*
2 * Copyright (C) 2021 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Tyler Wear72388212021-09-09 14:49:02 -070017#include <linux/bpf.h>
Tyler Wear11f494f2022-06-14 16:04:49 -070018#include <linux/if_ether.h>
Tyler Wear3ad80892022-02-03 15:14:44 -080019#include <linux/if_packet.h>
Tyler Wear72388212021-09-09 14:49:02 -070020#include <linux/ip.h>
21#include <linux/ipv6.h>
Tyler Wear72388212021-09-09 14:49:02 -070022#include <linux/pkt_cls.h>
23#include <linux/tcp.h>
Tyler Wear11f494f2022-06-14 16:04:49 -070024#include <linux/types.h>
Tyler Wear72388212021-09-09 14:49:02 -070025#include <netinet/in.h>
26#include <netinet/udp.h>
Tyler Wear11f494f2022-06-14 16:04:49 -070027#include <stdint.h>
Tyler Wear72388212021-09-09 14:49:02 -070028#include <string.h>
29
Maciej Żenczykowskif7699522022-05-24 15:56:03 -070030// The resulting .o needs to load on the Android T beta 3 bpfloader
31#define BPFLOADER_MIN_VER BPFLOADER_T_BETA3_VERSION
Maciej Żenczykowskiacebffb2022-05-16 16:05:15 -070032
Tyler Wear72388212021-09-09 14:49:02 -070033#include "bpf_helpers.h"
Ken Chen74ff3ee2022-07-14 16:46:39 +080034#include "dscpPolicy.h"
Tyler Wear72388212021-09-09 14:49:02 -070035
Tyler Wear11f494f2022-06-14 16:04:49 -070036#define ECN_MASK 3
37#define IP4_OFFSET(field, header) (header + offsetof(struct iphdr, field))
38#define UPDATE_TOS(dscp, tos) (dscp << 2) | (tos & ECN_MASK)
Tyler Wear11f494f2022-06-14 16:04:49 -070039
Tyler Wear72388212021-09-09 14:49:02 -070040DEFINE_BPF_MAP_GRW(switch_comp_map, ARRAY, int, uint64_t, 1, AID_SYSTEM)
41
Tyler Wear3ad80892022-02-03 15:14:44 -080042DEFINE_BPF_MAP_GRW(ipv4_socket_to_policies_map_A, HASH, uint64_t, RuleEntry, MAX_POLICIES,
Tyler Wear11f494f2022-06-14 16:04:49 -070043 AID_SYSTEM)
Tyler Wear3ad80892022-02-03 15:14:44 -080044DEFINE_BPF_MAP_GRW(ipv4_socket_to_policies_map_B, HASH, uint64_t, RuleEntry, MAX_POLICIES,
Tyler Wear11f494f2022-06-14 16:04:49 -070045 AID_SYSTEM)
Tyler Wear3ad80892022-02-03 15:14:44 -080046DEFINE_BPF_MAP_GRW(ipv6_socket_to_policies_map_A, HASH, uint64_t, RuleEntry, MAX_POLICIES,
Tyler Wear11f494f2022-06-14 16:04:49 -070047 AID_SYSTEM)
Tyler Wear3ad80892022-02-03 15:14:44 -080048DEFINE_BPF_MAP_GRW(ipv6_socket_to_policies_map_B, HASH, uint64_t, RuleEntry, MAX_POLICIES,
Tyler Wear11f494f2022-06-14 16:04:49 -070049 AID_SYSTEM)
Tyler Wear72388212021-09-09 14:49:02 -070050
Tyler Wear11f494f2022-06-14 16:04:49 -070051DEFINE_BPF_MAP_GRW(ipv4_dscp_policies_map, ARRAY, uint32_t, DscpPolicy, MAX_POLICIES, AID_SYSTEM)
52DEFINE_BPF_MAP_GRW(ipv6_dscp_policies_map, ARRAY, uint32_t, DscpPolicy, MAX_POLICIES, AID_SYSTEM)
Tyler Wear3ad80892022-02-03 15:14:44 -080053
Patrick Rohr7f325cc2022-07-25 10:15:02 -070054static inline __always_inline void match_policy(struct __sk_buff* skb, bool ipv4) {
Tyler Wear3ad80892022-02-03 15:14:44 -080055 void* data = (void*)(long)skb->data;
56 const void* data_end = (void*)(long)skb->data_end;
57
Patrick Rohr7f325cc2022-07-25 10:15:02 -070058 const int l2_header_size = sizeof(struct ethhdr);
59 struct ethhdr* eth = data;
Tyler Wear3ad80892022-02-03 15:14:44 -080060
61 if (data + l2_header_size > data_end) return;
62
63 int zero = 0;
64 int hdr_size = 0;
Tyler Wear92281052022-06-22 15:32:14 -070065 uint64_t* selected_map = bpf_switch_comp_map_lookup_elem(&zero);
Tyler Wear72388212021-09-09 14:49:02 -070066
67 // use this with HASH map so map lookup only happens once policies have been added?
Tyler Wear92281052022-06-22 15:32:14 -070068 if (!selected_map) {
Tyler Wear3ad80892022-02-03 15:14:44 -080069 return;
Tyler Wear72388212021-09-09 14:49:02 -070070 }
71
72 // used for map lookup
73 uint64_t cookie = bpf_get_socket_cookie(skb);
Tyler Wear11f494f2022-06-14 16:04:49 -070074 if (!cookie) return;
Tyler Wear72388212021-09-09 14:49:02 -070075
Tyler Wear3ad80892022-02-03 15:14:44 -080076 uint16_t sport = 0;
77 uint16_t dport = 0;
Tyler Wear11f494f2022-06-14 16:04:49 -070078 uint8_t protocol = 0; // TODO: Use are reserved value? Or int (-1) and cast to uint below?
Tyler Wear92281052022-06-22 15:32:14 -070079 struct in6_addr src_ip = {};
80 struct in6_addr dst_ip = {};
Tyler Wear4e8949b2022-06-23 14:15:58 -070081 uint8_t tos = 0; // Only used for IPv4
82 uint32_t old_first_u32 = 0; // Only used for IPv6
Tyler Wear3ad80892022-02-03 15:14:44 -080083 if (ipv4) {
Patrick Rohr7f325cc2022-07-25 10:15:02 -070084 const struct iphdr* const iph = (void*)(eth + 1);
Tyler Wear11f494f2022-06-14 16:04:49 -070085 hdr_size = l2_header_size + sizeof(struct iphdr);
Tyler Wear72388212021-09-09 14:49:02 -070086 // Must have ipv4 header
Tyler Wear11f494f2022-06-14 16:04:49 -070087 if (data + hdr_size > data_end) return;
Tyler Wear72388212021-09-09 14:49:02 -070088
89 // IP version must be 4
Tyler Wear3ad80892022-02-03 15:14:44 -080090 if (iph->version != 4) return;
Tyler Wear72388212021-09-09 14:49:02 -070091
92 // We cannot handle IP options, just standard 20 byte == 5 dword minimal IPv4 header
Tyler Wear3ad80892022-02-03 15:14:44 -080093 if (iph->ihl != 5) return;
Tyler Wear72388212021-09-09 14:49:02 -070094
Tyler Wear3ad80892022-02-03 15:14:44 -080095 // V4 mapped address in in6_addr sets 10/11 position to 0xff.
Tyler Wear92281052022-06-22 15:32:14 -070096 src_ip.s6_addr32[2] = htonl(0x0000ffff);
97 dst_ip.s6_addr32[2] = htonl(0x0000ffff);
Tyler Wear72388212021-09-09 14:49:02 -070098
Tyler Wear3ad80892022-02-03 15:14:44 -080099 // Copy IPv4 address into in6_addr for easy comparison below.
Tyler Wear92281052022-06-22 15:32:14 -0700100 src_ip.s6_addr32[3] = iph->saddr;
101 dst_ip.s6_addr32[3] = iph->daddr;
Tyler Wear3ad80892022-02-03 15:14:44 -0800102 protocol = iph->protocol;
103 tos = iph->tos;
Tyler Wear3ad80892022-02-03 15:14:44 -0800104 } else {
Patrick Rohr7f325cc2022-07-25 10:15:02 -0700105 struct ipv6hdr* ip6h = (void*)(eth + 1);
Tyler Wear11f494f2022-06-14 16:04:49 -0700106 hdr_size = l2_header_size + sizeof(struct ipv6hdr);
Tyler Wear3ad80892022-02-03 15:14:44 -0800107 // Must have ipv6 header
Tyler Wear11f494f2022-06-14 16:04:49 -0700108 if (data + hdr_size > data_end) return;
Tyler Wear72388212021-09-09 14:49:02 -0700109
Tyler Wear3ad80892022-02-03 15:14:44 -0800110 if (ip6h->version != 6) return;
Tyler Wear72388212021-09-09 14:49:02 -0700111
Tyler Wear92281052022-06-22 15:32:14 -0700112 src_ip = ip6h->saddr;
113 dst_ip = ip6h->daddr;
Tyler Wear3ad80892022-02-03 15:14:44 -0800114 protocol = ip6h->nexthdr;
Tyler Wear4e8949b2022-06-23 14:15:58 -0700115 old_first_u32 = *(uint32_t*)ip6h;
Tyler Wear3ad80892022-02-03 15:14:44 -0800116 }
Tyler Wear72388212021-09-09 14:49:02 -0700117
Tyler Wear3ad80892022-02-03 15:14:44 -0800118 switch (protocol) {
119 case IPPROTO_UDP:
Tyler Wear11f494f2022-06-14 16:04:49 -0700120 case IPPROTO_UDPLITE: {
121 struct udphdr* udp;
Tyler Wear3ad80892022-02-03 15:14:44 -0800122 udp = data + hdr_size;
123 if ((void*)(udp + 1) > data_end) return;
124 sport = udp->source;
125 dport = udp->dest;
Tyler Wear11f494f2022-06-14 16:04:49 -0700126 } break;
127 case IPPROTO_TCP: {
128 struct tcphdr* tcp;
Tyler Wear3ad80892022-02-03 15:14:44 -0800129 tcp = data + hdr_size;
130 if ((void*)(tcp + 1) > data_end) return;
131 sport = tcp->source;
132 dport = tcp->dest;
Tyler Wear11f494f2022-06-14 16:04:49 -0700133 } break;
Tyler Wear3ad80892022-02-03 15:14:44 -0800134 default:
135 return;
136 }
137
Tyler Wear92281052022-06-22 15:32:14 -0700138 RuleEntry* existing_rule;
Tyler Wear3ad80892022-02-03 15:14:44 -0800139 if (ipv4) {
Tyler Wear92281052022-06-22 15:32:14 -0700140 if (*selected_map == MAP_A) {
141 existing_rule = bpf_ipv4_socket_to_policies_map_A_lookup_elem(&cookie);
Tyler Wear3ad80892022-02-03 15:14:44 -0800142 } else {
Tyler Wear92281052022-06-22 15:32:14 -0700143 existing_rule = bpf_ipv4_socket_to_policies_map_B_lookup_elem(&cookie);
Tyler Wear3ad80892022-02-03 15:14:44 -0800144 }
145 } else {
Tyler Wear92281052022-06-22 15:32:14 -0700146 if (*selected_map == MAP_A) {
147 existing_rule = bpf_ipv6_socket_to_policies_map_A_lookup_elem(&cookie);
Tyler Wear3ad80892022-02-03 15:14:44 -0800148 } else {
Tyler Wear92281052022-06-22 15:32:14 -0700149 existing_rule = bpf_ipv6_socket_to_policies_map_B_lookup_elem(&cookie);
Tyler Wear3ad80892022-02-03 15:14:44 -0800150 }
151 }
152
Tyler Wear92281052022-06-22 15:32:14 -0700153 if (existing_rule && v6_equal(src_ip, existing_rule->src_ip) &&
154 v6_equal(dst_ip, existing_rule->dst_ip) && skb->ifindex == existing_rule->ifindex &&
155 ntohs(sport) == htons(existing_rule->src_port) &&
156 ntohs(dport) == htons(existing_rule->dst_port) && protocol == existing_rule->proto) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800157 if (ipv4) {
Tyler Wear92281052022-06-22 15:32:14 -0700158 uint8_t newTos = UPDATE_TOS(existing_rule->dscp_val, tos);
Tyler Wear11f494f2022-06-14 16:04:49 -0700159 bpf_l3_csum_replace(skb, IP4_OFFSET(check, l2_header_size), htons(tos), htons(newTos),
160 sizeof(uint16_t));
161 bpf_skb_store_bytes(skb, IP4_OFFSET(tos, l2_header_size), &newTos, sizeof(newTos), 0);
Tyler Wear3ad80892022-02-03 15:14:44 -0800162 } else {
Tyler Wear4e8949b2022-06-23 14:15:58 -0700163 uint32_t new_first_u32 =
164 htonl(ntohl(old_first_u32) & 0xF03FFFFF | (existing_rule->dscp_val << 22));
165 bpf_skb_store_bytes(skb, l2_header_size, &new_first_u32, sizeof(uint32_t),
166 BPF_F_RECOMPUTE_CSUM);
Tyler Wear3ad80892022-02-03 15:14:44 -0800167 }
168 return;
169 }
170
171 // Linear scan ipv4_dscp_policies_map since no stored params match skb.
Tyler Wear92281052022-06-22 15:32:14 -0700172 int best_score = -1;
173 uint32_t best_match = 0;
Tyler Wear3ad80892022-02-03 15:14:44 -0800174
175 for (register uint64_t i = 0; i < MAX_POLICIES; i++) {
176 int score = 0;
Tyler Wear92281052022-06-22 15:32:14 -0700177 uint8_t temp_mask = 0;
Tyler Wear3ad80892022-02-03 15:14:44 -0800178 // Using a uint64 in for loop prevents infinite loop during BPF load,
179 // but the key is uint32, so convert back.
180 uint32_t key = i;
181
182 DscpPolicy* policy;
183 if (ipv4) {
184 policy = bpf_ipv4_dscp_policies_map_lookup_elem(&key);
185 } else {
186 policy = bpf_ipv6_dscp_policies_map_lookup_elem(&key);
Tyler Wear72388212021-09-09 14:49:02 -0700187 }
188
Tyler Wear92281052022-06-22 15:32:14 -0700189 // If the policy lookup failed, present_fields is 0, or iface index does not match
Tyler Wear3ad80892022-02-03 15:14:44 -0800190 // index on skb buff, then we can continue to next policy.
Tyler Wear92281052022-06-22 15:32:14 -0700191 if (!policy || policy->present_fields == 0 || policy->ifindex != skb->ifindex) continue;
Tyler Wear72388212021-09-09 14:49:02 -0700192
Tyler Wear92281052022-06-22 15:32:14 -0700193 if ((policy->present_fields & SRC_IP_MASK_FLAG) == SRC_IP_MASK_FLAG &&
194 v6_equal(src_ip, policy->src_ip)) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800195 score++;
Tyler Wear92281052022-06-22 15:32:14 -0700196 temp_mask |= SRC_IP_MASK_FLAG;
Tyler Wear3ad80892022-02-03 15:14:44 -0800197 }
Tyler Wear92281052022-06-22 15:32:14 -0700198 if ((policy->present_fields & DST_IP_MASK_FLAG) == DST_IP_MASK_FLAG &&
199 v6_equal(dst_ip, policy->dst_ip)) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800200 score++;
Tyler Wear92281052022-06-22 15:32:14 -0700201 temp_mask |= DST_IP_MASK_FLAG;
Tyler Wear3ad80892022-02-03 15:14:44 -0800202 }
Tyler Wear92281052022-06-22 15:32:14 -0700203 if ((policy->present_fields & SRC_PORT_MASK_FLAG) == SRC_PORT_MASK_FLAG &&
204 ntohs(sport) == htons(policy->src_port)) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800205 score++;
Tyler Wear92281052022-06-22 15:32:14 -0700206 temp_mask |= SRC_PORT_MASK_FLAG;
Tyler Wear3ad80892022-02-03 15:14:44 -0800207 }
Tyler Wear92281052022-06-22 15:32:14 -0700208 if ((policy->present_fields & DST_PORT_MASK_FLAG) == DST_PORT_MASK_FLAG &&
209 ntohs(dport) >= htons(policy->dst_port_start) &&
210 ntohs(dport) <= htons(policy->dst_port_end)) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800211 score++;
Tyler Wear92281052022-06-22 15:32:14 -0700212 temp_mask |= DST_PORT_MASK_FLAG;
Tyler Wear3ad80892022-02-03 15:14:44 -0800213 }
Tyler Wear92281052022-06-22 15:32:14 -0700214 if ((policy->present_fields & PROTO_MASK_FLAG) == PROTO_MASK_FLAG &&
Tyler Wear11f494f2022-06-14 16:04:49 -0700215 protocol == policy->proto) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800216 score++;
Tyler Wear92281052022-06-22 15:32:14 -0700217 temp_mask |= PROTO_MASK_FLAG;
Tyler Wear3ad80892022-02-03 15:14:44 -0800218 }
Tyler Wear72388212021-09-09 14:49:02 -0700219
Tyler Wear92281052022-06-22 15:32:14 -0700220 if (score > best_score && temp_mask == policy->present_fields) {
221 best_match = i;
222 best_score = score;
Tyler Wear3ad80892022-02-03 15:14:44 -0800223 }
224 }
Tyler Wear72388212021-09-09 14:49:02 -0700225
Tyler Wear11f494f2022-06-14 16:04:49 -0700226 uint8_t new_dscp = 0;
Tyler Wear92281052022-06-22 15:32:14 -0700227 if (best_score > 0) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800228 DscpPolicy* policy;
229 if (ipv4) {
Tyler Wear92281052022-06-22 15:32:14 -0700230 policy = bpf_ipv4_dscp_policies_map_lookup_elem(&best_match);
Tyler Wear3ad80892022-02-03 15:14:44 -0800231 } else {
Tyler Wear92281052022-06-22 15:32:14 -0700232 policy = bpf_ipv6_dscp_policies_map_lookup_elem(&best_match);
Tyler Wear3ad80892022-02-03 15:14:44 -0800233 }
234
235 if (policy) {
Tyler Wear92281052022-06-22 15:32:14 -0700236 new_dscp = policy->dscp_val;
Tyler Wear72388212021-09-09 14:49:02 -0700237 }
Tyler Wear11f494f2022-06-14 16:04:49 -0700238 } else
239 return;
Tyler Wear72388212021-09-09 14:49:02 -0700240
Tyler Wear3ad80892022-02-03 15:14:44 -0800241 RuleEntry value = {
Tyler Wear92281052022-06-22 15:32:14 -0700242 .src_ip = src_ip,
243 .dst_ip = dst_ip,
Tyler Wear3ad80892022-02-03 15:14:44 -0800244 .ifindex = skb->ifindex,
Tyler Wear92281052022-06-22 15:32:14 -0700245 .src_port = sport,
246 .dst_port = dport,
Tyler Wear3ad80892022-02-03 15:14:44 -0800247 .proto = protocol,
Tyler Wear92281052022-06-22 15:32:14 -0700248 .dscp_val = new_dscp,
Tyler Wear3ad80892022-02-03 15:14:44 -0800249 };
Tyler Wear72388212021-09-09 14:49:02 -0700250
Tyler Wear11f494f2022-06-14 16:04:49 -0700251 // Update map with new policy.
Tyler Wear3ad80892022-02-03 15:14:44 -0800252 if (ipv4) {
Tyler Wear92281052022-06-22 15:32:14 -0700253 if (*selected_map == MAP_A) {
Tyler Wear72388212021-09-09 14:49:02 -0700254 bpf_ipv4_socket_to_policies_map_A_update_elem(&cookie, &value, BPF_ANY);
255 } else {
256 bpf_ipv4_socket_to_policies_map_B_update_elem(&cookie, &value, BPF_ANY);
257 }
Tyler Wear3ad80892022-02-03 15:14:44 -0800258 } else {
Tyler Wear92281052022-06-22 15:32:14 -0700259 if (*selected_map == MAP_A) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800260 bpf_ipv6_socket_to_policies_map_A_update_elem(&cookie, &value, BPF_ANY);
Tyler Wear72388212021-09-09 14:49:02 -0700261 } else {
Tyler Wear3ad80892022-02-03 15:14:44 -0800262 bpf_ipv6_socket_to_policies_map_B_update_elem(&cookie, &value, BPF_ANY);
Tyler Wear72388212021-09-09 14:49:02 -0700263 }
Tyler Wear3ad80892022-02-03 15:14:44 -0800264 }
Tyler Wear72388212021-09-09 14:49:02 -0700265
Tyler Wear3ad80892022-02-03 15:14:44 -0800266 // Need to store bytes after updating map or program will not load.
Tyler Wear4e8949b2022-06-23 14:15:58 -0700267 if (ipv4) {
268 uint8_t new_tos = UPDATE_TOS(new_dscp, tos);
Tyler Wear11f494f2022-06-14 16:04:49 -0700269 bpf_l3_csum_replace(skb, IP4_OFFSET(check, l2_header_size), htons(tos), htons(new_tos), 2);
270 bpf_skb_store_bytes(skb, IP4_OFFSET(tos, l2_header_size), &new_tos, sizeof(new_tos), 0);
Tyler Wear4e8949b2022-06-23 14:15:58 -0700271 } else {
272 uint32_t new_first_u32 = htonl(ntohl(old_first_u32) & 0xF03FFFFF | (new_dscp << 22));
273 bpf_skb_store_bytes(skb, l2_header_size, &new_first_u32, sizeof(uint32_t),
274 BPF_F_RECOMPUTE_CSUM);
Tyler Wear3ad80892022-02-03 15:14:44 -0800275 }
276 return;
277}
Tyler Wear72388212021-09-09 14:49:02 -0700278
Tyler Wear4e8949b2022-06-23 14:15:58 -0700279DEFINE_BPF_PROG_KVER("schedcls/set_dscp_ether", AID_ROOT, AID_SYSTEM, schedcls_set_dscp_ether,
280 KVER(5, 15, 0))
Tyler Wear3ad80892022-02-03 15:14:44 -0800281(struct __sk_buff* skb) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800282 if (skb->pkt_type != PACKET_HOST) return TC_ACT_PIPE;
283
284 if (skb->protocol == htons(ETH_P_IP)) {
Patrick Rohr7f325cc2022-07-25 10:15:02 -0700285 match_policy(skb, true);
Tyler Wear3ad80892022-02-03 15:14:44 -0800286 } else if (skb->protocol == htons(ETH_P_IPV6)) {
Patrick Rohr7f325cc2022-07-25 10:15:02 -0700287 match_policy(skb, false);
Tyler Wear3ad80892022-02-03 15:14:44 -0800288 }
289
290 // Always return TC_ACT_PIPE
291 return TC_ACT_PIPE;
292}
293
Tyler Wear72388212021-09-09 14:49:02 -0700294LICENSE("Apache 2.0");
295CRITICAL("Connectivity");