blob: f308931f212bbd8111b409922722dc00c23867ea [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
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
Tyler Wear3ad80892022-02-03 15:14:44 -080060 uint16_t sport = 0;
61 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 = {};
Tyler Wear4e8949b2022-06-23 14:15:58 -070065 uint8_t tos = 0; // Only used for IPv4
66 uint32_t old_first_u32 = 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;
Tyler Wear4e8949b2022-06-23 14:15:58 -070099 old_first_u32 = *(uint32_t*)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;
109 dport = 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;
116 dport = 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
Tyler Wear92281052022-06-22 15:32:14 -0700124 if (existing_rule && v6_equal(src_ip, existing_rule->src_ip) &&
125 v6_equal(dst_ip, existing_rule->dst_ip) && skb->ifindex == existing_rule->ifindex &&
126 ntohs(sport) == htons(existing_rule->src_port) &&
127 ntohs(dport) == htons(existing_rule->dst_port) && protocol == existing_rule->proto) {
Maciej Żenczykowskid7b92c02022-07-27 19:57:15 +0000128 if (existing_rule->dscp_val < 0) return;
Tyler Wear3ad80892022-02-03 15:14:44 -0800129 if (ipv4) {
Tyler Wear92281052022-06-22 15:32:14 -0700130 uint8_t newTos = UPDATE_TOS(existing_rule->dscp_val, tos);
Tyler Wear11f494f2022-06-14 16:04:49 -0700131 bpf_l3_csum_replace(skb, IP4_OFFSET(check, l2_header_size), htons(tos), htons(newTos),
132 sizeof(uint16_t));
133 bpf_skb_store_bytes(skb, IP4_OFFSET(tos, l2_header_size), &newTos, sizeof(newTos), 0);
Tyler Wear3ad80892022-02-03 15:14:44 -0800134 } else {
Tyler Wear4e8949b2022-06-23 14:15:58 -0700135 uint32_t new_first_u32 =
136 htonl(ntohl(old_first_u32) & 0xF03FFFFF | (existing_rule->dscp_val << 22));
137 bpf_skb_store_bytes(skb, l2_header_size, &new_first_u32, sizeof(uint32_t),
138 BPF_F_RECOMPUTE_CSUM);
Tyler Wear3ad80892022-02-03 15:14:44 -0800139 }
140 return;
141 }
142
143 // Linear scan ipv4_dscp_policies_map since no stored params match skb.
Maciej Żenczykowskid7b92c02022-07-27 19:57:15 +0000144 int best_score = 0;
145 int8_t new_dscp = -1;
Tyler Wear3ad80892022-02-03 15:14:44 -0800146
147 for (register uint64_t i = 0; i < MAX_POLICIES; i++) {
148 int score = 0;
Tyler Wear92281052022-06-22 15:32:14 -0700149 uint8_t temp_mask = 0;
Tyler Wear3ad80892022-02-03 15:14:44 -0800150 // Using a uint64 in for loop prevents infinite loop during BPF load,
151 // but the key is uint32, so convert back.
152 uint32_t key = i;
153
154 DscpPolicy* policy;
155 if (ipv4) {
156 policy = bpf_ipv4_dscp_policies_map_lookup_elem(&key);
157 } else {
158 policy = bpf_ipv6_dscp_policies_map_lookup_elem(&key);
Tyler Wear72388212021-09-09 14:49:02 -0700159 }
160
Tyler Wear92281052022-06-22 15:32:14 -0700161 // If the policy lookup failed, present_fields is 0, or iface index does not match
Tyler Wear3ad80892022-02-03 15:14:44 -0800162 // index on skb buff, then we can continue to next policy.
Tyler Wear92281052022-06-22 15:32:14 -0700163 if (!policy || policy->present_fields == 0 || policy->ifindex != skb->ifindex) continue;
Tyler Wear72388212021-09-09 14:49:02 -0700164
Tyler Wear92281052022-06-22 15:32:14 -0700165 if ((policy->present_fields & SRC_IP_MASK_FLAG) == SRC_IP_MASK_FLAG &&
166 v6_equal(src_ip, policy->src_ip)) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800167 score++;
Tyler Wear92281052022-06-22 15:32:14 -0700168 temp_mask |= SRC_IP_MASK_FLAG;
Tyler Wear3ad80892022-02-03 15:14:44 -0800169 }
Tyler Wear92281052022-06-22 15:32:14 -0700170 if ((policy->present_fields & DST_IP_MASK_FLAG) == DST_IP_MASK_FLAG &&
171 v6_equal(dst_ip, policy->dst_ip)) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800172 score++;
Tyler Wear92281052022-06-22 15:32:14 -0700173 temp_mask |= DST_IP_MASK_FLAG;
Tyler Wear3ad80892022-02-03 15:14:44 -0800174 }
Tyler Wear92281052022-06-22 15:32:14 -0700175 if ((policy->present_fields & SRC_PORT_MASK_FLAG) == SRC_PORT_MASK_FLAG &&
176 ntohs(sport) == htons(policy->src_port)) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800177 score++;
Tyler Wear92281052022-06-22 15:32:14 -0700178 temp_mask |= SRC_PORT_MASK_FLAG;
Tyler Wear3ad80892022-02-03 15:14:44 -0800179 }
Tyler Wear92281052022-06-22 15:32:14 -0700180 if ((policy->present_fields & DST_PORT_MASK_FLAG) == DST_PORT_MASK_FLAG &&
181 ntohs(dport) >= htons(policy->dst_port_start) &&
182 ntohs(dport) <= htons(policy->dst_port_end)) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800183 score++;
Tyler Wear92281052022-06-22 15:32:14 -0700184 temp_mask |= DST_PORT_MASK_FLAG;
Tyler Wear3ad80892022-02-03 15:14:44 -0800185 }
Tyler Wear92281052022-06-22 15:32:14 -0700186 if ((policy->present_fields & PROTO_MASK_FLAG) == PROTO_MASK_FLAG &&
Tyler Wear11f494f2022-06-14 16:04:49 -0700187 protocol == policy->proto) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800188 score++;
Tyler Wear92281052022-06-22 15:32:14 -0700189 temp_mask |= PROTO_MASK_FLAG;
Tyler Wear3ad80892022-02-03 15:14:44 -0800190 }
Tyler Wear72388212021-09-09 14:49:02 -0700191
Tyler Wear92281052022-06-22 15:32:14 -0700192 if (score > best_score && temp_mask == policy->present_fields) {
Tyler Wear92281052022-06-22 15:32:14 -0700193 best_score = score;
Tyler Wear92281052022-06-22 15:32:14 -0700194 new_dscp = policy->dscp_val;
Tyler Wear72388212021-09-09 14:49:02 -0700195 }
Maciej Żenczykowskid7b92c02022-07-27 19:57:15 +0000196 }
Tyler Wear72388212021-09-09 14:49:02 -0700197
Tyler Wear3ad80892022-02-03 15:14:44 -0800198 RuleEntry value = {
Tyler Wear92281052022-06-22 15:32:14 -0700199 .src_ip = src_ip,
200 .dst_ip = dst_ip,
Tyler Wear3ad80892022-02-03 15:14:44 -0800201 .ifindex = skb->ifindex,
Tyler Wear92281052022-06-22 15:32:14 -0700202 .src_port = sport,
203 .dst_port = dport,
Tyler Wear3ad80892022-02-03 15:14:44 -0800204 .proto = protocol,
Tyler Wear92281052022-06-22 15:32:14 -0700205 .dscp_val = new_dscp,
Tyler Wear3ad80892022-02-03 15:14:44 -0800206 };
Tyler Wear72388212021-09-09 14:49:02 -0700207
Maciej Żenczykowskid7b92c02022-07-27 19:57:15 +0000208 // Update cache with found policy.
Maciej Żenczykowskif75b7e12022-07-27 12:56:01 +0000209 bpf_socket_policy_cache_map_update_elem(&cookie, &value, BPF_ANY);
Tyler Wear72388212021-09-09 14:49:02 -0700210
Maciej Żenczykowskid7b92c02022-07-27 19:57:15 +0000211 if (new_dscp < 0) return;
212
Tyler Wear3ad80892022-02-03 15:14:44 -0800213 // Need to store bytes after updating map or program will not load.
Tyler Wear4e8949b2022-06-23 14:15:58 -0700214 if (ipv4) {
215 uint8_t new_tos = UPDATE_TOS(new_dscp, tos);
Tyler Wear11f494f2022-06-14 16:04:49 -0700216 bpf_l3_csum_replace(skb, IP4_OFFSET(check, l2_header_size), htons(tos), htons(new_tos), 2);
217 bpf_skb_store_bytes(skb, IP4_OFFSET(tos, l2_header_size), &new_tos, sizeof(new_tos), 0);
Tyler Wear4e8949b2022-06-23 14:15:58 -0700218 } else {
219 uint32_t new_first_u32 = htonl(ntohl(old_first_u32) & 0xF03FFFFF | (new_dscp << 22));
220 bpf_skb_store_bytes(skb, l2_header_size, &new_first_u32, sizeof(uint32_t),
221 BPF_F_RECOMPUTE_CSUM);
Tyler Wear3ad80892022-02-03 15:14:44 -0800222 }
223 return;
224}
Tyler Wear72388212021-09-09 14:49:02 -0700225
Tyler Wear4e8949b2022-06-23 14:15:58 -0700226DEFINE_BPF_PROG_KVER("schedcls/set_dscp_ether", AID_ROOT, AID_SYSTEM, schedcls_set_dscp_ether,
227 KVER(5, 15, 0))
Tyler Wear3ad80892022-02-03 15:14:44 -0800228(struct __sk_buff* skb) {
Tyler Wear3ad80892022-02-03 15:14:44 -0800229 if (skb->pkt_type != PACKET_HOST) return TC_ACT_PIPE;
230
231 if (skb->protocol == htons(ETH_P_IP)) {
Patrick Rohr7f325cc2022-07-25 10:15:02 -0700232 match_policy(skb, true);
Tyler Wear3ad80892022-02-03 15:14:44 -0800233 } else if (skb->protocol == htons(ETH_P_IPV6)) {
Patrick Rohr7f325cc2022-07-25 10:15:02 -0700234 match_policy(skb, false);
Tyler Wear3ad80892022-02-03 15:14:44 -0800235 }
236
237 // Always return TC_ACT_PIPE
238 return TC_ACT_PIPE;
239}
240
Tyler Wear72388212021-09-09 14:49:02 -0700241LICENSE("Apache 2.0");
242CRITICAL("Connectivity");