blob: 8bb8ad52ea82e7bf4e803aaf2cb3b690c8c8911d [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 Żenczykowski11141da2024-03-15 18:21:33 -070030// The resulting .o needs to load on Android T+
Maciej Żenczykowski4b283362024-06-14 04:23:48 -070031#define BPFLOADER_MIN_VER BPFLOADER_T_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
Maciej Żenczykowskid7b92c02022-07-27 19:57:15 +000037#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
Maciej Żenczykowskif75b7e12022-07-27 12:56:01 +000040DEFINE_BPF_MAP_GRW(socket_policy_cache_map, HASH, uint64_t, RuleEntry, CACHE_MAP_SIZE, AID_SYSTEM)
Tyler Wear72388212021-09-09 14:49:02 -070041
Tyler Wear11f494f2022-06-14 16:04:49 -070042DEFINE_BPF_MAP_GRW(ipv4_dscp_policies_map, ARRAY, uint32_t, DscpPolicy, MAX_POLICIES, AID_SYSTEM)
43DEFINE_BPF_MAP_GRW(ipv6_dscp_policies_map, ARRAY, uint32_t, DscpPolicy, MAX_POLICIES, AID_SYSTEM)
Tyler Wear3ad80892022-02-03 15:14:44 -080044
Patrick Rohr7f325cc2022-07-25 10:15:02 -070045static inline __always_inline void match_policy(struct __sk_buff* skb, bool ipv4) {
Tyler Wear3ad80892022-02-03 15:14:44 -080046 void* data = (void*)(long)skb->data;
47 const void* data_end = (void*)(long)skb->data_end;
48
Patrick Rohr7f325cc2022-07-25 10:15:02 -070049 const int l2_header_size = sizeof(struct ethhdr);
50 struct ethhdr* eth = data;
Tyler Wear3ad80892022-02-03 15:14:44 -080051
52 if (data + l2_header_size > data_end) return;
53
Tyler Wear3ad80892022-02-03 15:14:44 -080054 int hdr_size = 0;
Tyler Wear72388212021-09-09 14:49:02 -070055
56 // used for map lookup
57 uint64_t cookie = bpf_get_socket_cookie(skb);
Tyler Wear11f494f2022-06-14 16:04:49 -070058 if (!cookie) return;
Tyler Wear72388212021-09-09 14:49:02 -070059
Maciej Żenczykowski640752b2022-08-09 23:02:57 +000060 __be16 sport = 0;
Tyler Wear3ad80892022-02-03 15:14:44 -080061 uint16_t dport = 0;
Tyler Wear11f494f2022-06-14 16:04:49 -070062 uint8_t protocol = 0; // TODO: Use are reserved value? Or int (-1) and cast to uint below?
Tyler Wear92281052022-06-22 15:32:14 -070063 struct in6_addr src_ip = {};
64 struct in6_addr dst_ip = {};
Maciej Żenczykowski242af392022-08-22 09:11:10 +000065 uint8_t tos = 0; // Only used for IPv4
66 __be32 old_first_be32 = 0; // Only used for IPv6
Tyler Wear3ad80892022-02-03 15:14:44 -080067 if (ipv4) {
Patrick Rohr7f325cc2022-07-25 10:15:02 -070068 const struct iphdr* const iph = (void*)(eth + 1);
Tyler Wear11f494f2022-06-14 16:04:49 -070069 hdr_size = l2_header_size + sizeof(struct iphdr);
Tyler Wear72388212021-09-09 14:49:02 -070070 // Must have ipv4 header
Tyler Wear11f494f2022-06-14 16:04:49 -070071 if (data + hdr_size > data_end) return;
Tyler Wear72388212021-09-09 14:49:02 -070072
73 // IP version must be 4
Tyler Wear3ad80892022-02-03 15:14:44 -080074 if (iph->version != 4) return;
Tyler Wear72388212021-09-09 14:49:02 -070075
76 // We cannot handle IP options, just standard 20 byte == 5 dword minimal IPv4 header
Tyler Wear3ad80892022-02-03 15:14:44 -080077 if (iph->ihl != 5) return;
Tyler Wear72388212021-09-09 14:49:02 -070078
Tyler Wear3ad80892022-02-03 15:14:44 -080079 // V4 mapped address in in6_addr sets 10/11 position to 0xff.
Tyler Wear92281052022-06-22 15:32:14 -070080 src_ip.s6_addr32[2] = htonl(0x0000ffff);
81 dst_ip.s6_addr32[2] = htonl(0x0000ffff);
Tyler Wear72388212021-09-09 14:49:02 -070082
Tyler Wear3ad80892022-02-03 15:14:44 -080083 // Copy IPv4 address into in6_addr for easy comparison below.
Tyler Wear92281052022-06-22 15:32:14 -070084 src_ip.s6_addr32[3] = iph->saddr;
85 dst_ip.s6_addr32[3] = iph->daddr;
Tyler Wear3ad80892022-02-03 15:14:44 -080086 protocol = iph->protocol;
87 tos = iph->tos;
Tyler Wear3ad80892022-02-03 15:14:44 -080088 } else {
Patrick Rohr7f325cc2022-07-25 10:15:02 -070089 struct ipv6hdr* ip6h = (void*)(eth + 1);
Tyler Wear11f494f2022-06-14 16:04:49 -070090 hdr_size = l2_header_size + sizeof(struct ipv6hdr);
Tyler Wear3ad80892022-02-03 15:14:44 -080091 // Must have ipv6 header
Tyler Wear11f494f2022-06-14 16:04:49 -070092 if (data + hdr_size > data_end) return;
Tyler Wear72388212021-09-09 14:49:02 -070093
Tyler Wear3ad80892022-02-03 15:14:44 -080094 if (ip6h->version != 6) return;
Tyler Wear72388212021-09-09 14:49:02 -070095
Tyler Wear92281052022-06-22 15:32:14 -070096 src_ip = ip6h->saddr;
97 dst_ip = ip6h->daddr;
Tyler Wear3ad80892022-02-03 15:14:44 -080098 protocol = ip6h->nexthdr;
Maciej Żenczykowski242af392022-08-22 09:11:10 +000099 old_first_be32 = *(__be32*)ip6h;
Tyler Wear3ad80892022-02-03 15:14:44 -0800100 }
Tyler Wear72388212021-09-09 14:49:02 -0700101
Tyler Wear3ad80892022-02-03 15:14:44 -0800102 switch (protocol) {
103 case IPPROTO_UDP:
Tyler Wear11f494f2022-06-14 16:04:49 -0700104 case IPPROTO_UDPLITE: {
105 struct udphdr* udp;
Tyler Wear3ad80892022-02-03 15:14:44 -0800106 udp = data + hdr_size;
107 if ((void*)(udp + 1) > data_end) return;
108 sport = udp->source;
Maciej Żenczykowski640752b2022-08-09 23:02:57 +0000109 dport = ntohs(udp->dest);
Tyler Wear11f494f2022-06-14 16:04:49 -0700110 } break;
111 case IPPROTO_TCP: {
112 struct tcphdr* tcp;
Tyler Wear3ad80892022-02-03 15:14:44 -0800113 tcp = data + hdr_size;
114 if ((void*)(tcp + 1) > data_end) return;
115 sport = tcp->source;
Maciej Żenczykowski640752b2022-08-09 23:02:57 +0000116 dport = ntohs(tcp->dest);
Tyler Wear11f494f2022-06-14 16:04:49 -0700117 } break;
Tyler Wear3ad80892022-02-03 15:14:44 -0800118 default:
119 return;
120 }
121
Maciej Żenczykowskif75b7e12022-07-27 12:56:01 +0000122 RuleEntry* existing_rule = bpf_socket_policy_cache_map_lookup_elem(&cookie);
Tyler Wear3ad80892022-02-03 15:14:44 -0800123
Maciej Żenczykowski1feaa432022-07-29 21:17:07 +0000124 if (existing_rule &&
125 v6_equal(src_ip, existing_rule->src_ip) &&
126 v6_equal(dst_ip, existing_rule->dst_ip) &&
127 skb->ifindex == existing_rule->ifindex &&
128 sport == existing_rule->src_port &&
129 dport == existing_rule->dst_port &&
130 protocol == existing_rule->proto) {
Maciej Żenczykowskid7b92c02022-07-27 19:57:15 +0000131 if (existing_rule->dscp_val < 0) return;
Tyler Wear3ad80892022-02-03 15:14:44 -0800132 if (ipv4) {
Tyler Wear92281052022-06-22 15:32:14 -0700133 uint8_t newTos = UPDATE_TOS(existing_rule->dscp_val, tos);
Tyler Wear11f494f2022-06-14 16:04:49 -0700134 bpf_l3_csum_replace(skb, IP4_OFFSET(check, l2_header_size), htons(tos), htons(newTos),
135 sizeof(uint16_t));
136 bpf_skb_store_bytes(skb, IP4_OFFSET(tos, l2_header_size), &newTos, sizeof(newTos), 0);
Tyler Wear3ad80892022-02-03 15:14:44 -0800137 } else {
Maciej Żenczykowski242af392022-08-22 09:11:10 +0000138 __be32 new_first_be32 =
139 htonl(ntohl(old_first_be32) & 0xF03FFFFF | (existing_rule->dscp_val << 22));
140 bpf_skb_store_bytes(skb, l2_header_size, &new_first_be32, sizeof(__be32),
Tyler Wear4e8949b2022-06-23 14:15:58 -0700141 BPF_F_RECOMPUTE_CSUM);
Tyler Wear3ad80892022-02-03 15:14:44 -0800142 }
143 return;
144 }
145
146 // Linear scan ipv4_dscp_policies_map since no stored params match skb.
Maciej Żenczykowskid7b92c02022-07-27 19:57:15 +0000147 int best_score = 0;
148 int8_t new_dscp = -1;
Tyler Wear3ad80892022-02-03 15:14:44 -0800149
150 for (register uint64_t i = 0; i < MAX_POLICIES; i++) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800151 // Using a uint64 in for loop prevents infinite loop during BPF load,
152 // but the key is uint32, so convert back.
153 uint32_t key = i;
154
155 DscpPolicy* policy;
156 if (ipv4) {
157 policy = bpf_ipv4_dscp_policies_map_lookup_elem(&key);
158 } else {
159 policy = bpf_ipv6_dscp_policies_map_lookup_elem(&key);
Tyler Wear72388212021-09-09 14:49:02 -0700160 }
161
Maciej Żenczykowski1feaa432022-07-29 21:17:07 +0000162 // If the policy lookup failed, just continue (this should not ever happen)
163 if (!policy) continue;
Tyler Wear72388212021-09-09 14:49:02 -0700164
Maciej Żenczykowski1feaa432022-07-29 21:17:07 +0000165 // If policy iface index does not match skb, then skip to next policy.
166 if (policy->ifindex != skb->ifindex) continue;
Tyler Wear72388212021-09-09 14:49:02 -0700167
Maciej Żenczykowski1feaa432022-07-29 21:17:07 +0000168 int score = 0;
169
170 if (policy->present_fields & PROTO_MASK_FLAG) {
171 if (protocol != policy->proto) continue;
172 score += 0xFFFF;
173 }
174 if (policy->present_fields & SRC_IP_MASK_FLAG) {
175 if (v6_not_equal(src_ip, policy->src_ip)) continue;
176 score += 0xFFFF;
177 }
178 if (policy->present_fields & DST_IP_MASK_FLAG) {
179 if (v6_not_equal(dst_ip, policy->dst_ip)) continue;
180 score += 0xFFFF;
181 }
182 if (policy->present_fields & SRC_PORT_MASK_FLAG) {
183 if (sport != policy->src_port) continue;
184 score += 0xFFFF;
185 }
Maciej Żenczykowski640752b2022-08-09 23:02:57 +0000186 if (dport < policy->dst_port_start) continue;
187 if (dport > policy->dst_port_end) continue;
Maciej Żenczykowskia44510b2022-08-09 14:59:25 +0000188 score += 0xFFFF + policy->dst_port_start - policy->dst_port_end;
Maciej Żenczykowski1feaa432022-07-29 21:17:07 +0000189
190 if (score > best_score) {
Tyler Wear92281052022-06-22 15:32:14 -0700191 best_score = score;
Tyler Wear92281052022-06-22 15:32:14 -0700192 new_dscp = policy->dscp_val;
Tyler Wear72388212021-09-09 14:49:02 -0700193 }
Maciej Żenczykowskid7b92c02022-07-27 19:57:15 +0000194 }
Tyler Wear72388212021-09-09 14:49:02 -0700195
Tyler Wear3ad80892022-02-03 15:14:44 -0800196 RuleEntry value = {
Tyler Wear92281052022-06-22 15:32:14 -0700197 .src_ip = src_ip,
198 .dst_ip = dst_ip,
Tyler Wear3ad80892022-02-03 15:14:44 -0800199 .ifindex = skb->ifindex,
Tyler Wear92281052022-06-22 15:32:14 -0700200 .src_port = sport,
201 .dst_port = dport,
Tyler Wear3ad80892022-02-03 15:14:44 -0800202 .proto = protocol,
Tyler Wear92281052022-06-22 15:32:14 -0700203 .dscp_val = new_dscp,
Tyler Wear3ad80892022-02-03 15:14:44 -0800204 };
Tyler Wear72388212021-09-09 14:49:02 -0700205
Maciej Żenczykowskid7b92c02022-07-27 19:57:15 +0000206 // Update cache with found policy.
Maciej Żenczykowskif75b7e12022-07-27 12:56:01 +0000207 bpf_socket_policy_cache_map_update_elem(&cookie, &value, BPF_ANY);
Tyler Wear72388212021-09-09 14:49:02 -0700208
Maciej Żenczykowskid7b92c02022-07-27 19:57:15 +0000209 if (new_dscp < 0) return;
210
Tyler Wear3ad80892022-02-03 15:14:44 -0800211 // Need to store bytes after updating map or program will not load.
Tyler Wear4e8949b2022-06-23 14:15:58 -0700212 if (ipv4) {
213 uint8_t new_tos = UPDATE_TOS(new_dscp, tos);
Tyler Wear11f494f2022-06-14 16:04:49 -0700214 bpf_l3_csum_replace(skb, IP4_OFFSET(check, l2_header_size), htons(tos), htons(new_tos), 2);
215 bpf_skb_store_bytes(skb, IP4_OFFSET(tos, l2_header_size), &new_tos, sizeof(new_tos), 0);
Tyler Wear4e8949b2022-06-23 14:15:58 -0700216 } else {
Maciej Żenczykowski242af392022-08-22 09:11:10 +0000217 __be32 new_first_be32 = htonl(ntohl(old_first_be32) & 0xF03FFFFF | (new_dscp << 22));
218 bpf_skb_store_bytes(skb, l2_header_size, &new_first_be32, sizeof(__be32),
Tyler Wear4e8949b2022-06-23 14:15:58 -0700219 BPF_F_RECOMPUTE_CSUM);
Tyler Wear3ad80892022-02-03 15:14:44 -0800220 }
221 return;
222}
Tyler Wear72388212021-09-09 14:49:02 -0700223
Tyler Wear4e8949b2022-06-23 14:15:58 -0700224DEFINE_BPF_PROG_KVER("schedcls/set_dscp_ether", AID_ROOT, AID_SYSTEM, schedcls_set_dscp_ether,
Maciej Żenczykowski901c7102023-10-06 15:47:46 -0700225 KVER_5_15)
Tyler Wear3ad80892022-02-03 15:14:44 -0800226(struct __sk_buff* skb) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800227 if (skb->pkt_type != PACKET_HOST) return TC_ACT_PIPE;
228
229 if (skb->protocol == htons(ETH_P_IP)) {
Patrick Rohr7f325cc2022-07-25 10:15:02 -0700230 match_policy(skb, true);
Tyler Wear3ad80892022-02-03 15:14:44 -0800231 } else if (skb->protocol == htons(ETH_P_IPV6)) {
Patrick Rohr7f325cc2022-07-25 10:15:02 -0700232 match_policy(skb, false);
Tyler Wear3ad80892022-02-03 15:14:44 -0800233 }
234
235 // Always return TC_ACT_PIPE
236 return TC_ACT_PIPE;
237}
238
Tyler Wear72388212021-09-09 14:49:02 -0700239LICENSE("Apache 2.0");
240CRITICAL("Connectivity");
Maciej Żenczykowskide1342a2023-06-09 05:45:57 +0000241DISABLE_BTF_ON_USER_BUILDS();
Maciej Żenczykowski231598b2024-06-14 04:39:03 -0700242DISABLE_ON_MAINLINE_BEFORE_U_QPR3();