1 /* Copyright (c) 2017 Facebook
2 *
3 * This program is free software; you can redistribute it and/or
4 * modify it under the terms of version 2 of the GNU General Public
5 * License as published by the Free Software Foundation.
6 */
7 #include <stddef.h>
8 #include <stdbool.h>
9 #include <string.h>
10 #include <linux/pkt_cls.h>
11 #include <linux/bpf.h>
12 #include <linux/in.h>
13 #include <linux/if_ether.h>
14 #include <linux/ip.h>
15 #include <linux/ipv6.h>
16 #include <linux/icmp.h>
17 #include <linux/icmpv6.h>
18 #include <linux/tcp.h>
19 #include <linux/udp.h>
20 #include <bpf/bpf_helpers.h>
21 #include "test_iptunnel_common.h"
22 #include <bpf/bpf_endian.h>
23
24 static inline __u32 rol32(__u32 word, unsigned int shift)
25 {
26 return (word << shift) | (word >> ((-shift) & 31));
27 }
28
29 /* copy paste of jhash from kernel sources to make sure llvm
30 * can compile it into valid sequence of bpf instructions
31 */
32 #define __jhash_mix(a, b, c) \
33 { \
34 a -= c; a ^= rol32(c, 4); c += b; \
35 b -= a; b ^= rol32(a, 6); a += c; \
36 c -= b; c ^= rol32(b, 8); b += a; \
37 a -= c; a ^= rol32(c, 16); c += b; \
38 b -= a; b ^= rol32(a, 19); a += c; \
39 c -= b; c ^= rol32(b, 4); b += a; \
40 }
41
42 #define __jhash_final(a, b, c) \
43 { \
44 c ^= b; c -= rol32(b, 14); \
45 a ^= c; a -= rol32(c, 11); \
46 b ^= a; b -= rol32(a, 25); \
47 c ^= b; c -= rol32(b, 16); \
48 a ^= c; a -= rol32(c, 4); \
49 b ^= a; b -= rol32(a, 14); \
50 c ^= b; c -= rol32(b, 24); \
51 }
52
53 #define JHASH_INITVAL 0xdeadbeef
54
55 typedef unsigned int u32;
56
57 static inline u32 jhash(const void *key, u32 length, u32 initval)
58 {
59 u32 a, b, c;
60 const unsigned char *k = key;
61
62 a = b = c = JHASH_INITVAL + length + initval;
63
64 while (length > 12) {
65 a += *(u32 *)(k);
66 b += *(u32 *)(k + 4);
67 c += *(u32 *)(k + 8);
68 __jhash_mix(a, b, c);
69 length -= 12;
70 k += 12;
71 }
72 switch (length) {
73 case 12: c += (u32)k[11]<<24;
74 case 11: c += (u32)k[10]<<16;
75 case 10: c += (u32)k[9]<<8;
76 case 9: c += k[8];
77 case 8: b += (u32)k[7]<<24;
78 case 7: b += (u32)k[6]<<16;
79 case 6: b += (u32)k[5]<<8;
80 case 5: b += k[4];
81 case 4: a += (u32)k[3]<<24;
82 case 3: a += (u32)k[2]<<16;
83 case 2: a += (u32)k[1]<<8;
84 case 1: a += k[0];
85 __jhash_final(a, b, c);
86 case 0: /* Nothing left to add */
87 break;
88 }
89
90 return c;
91 }
92
93 static inline u32 __jhash_nwords(u32 a, u32 b, u32 c, u32 initval)
94 {
95 a += initval;
96 b += initval;
97 c += initval;
98 __jhash_final(a, b, c);
99 return c;
100 }
101
102 static inline u32 jhash_2words(u32 a, u32 b, u32 initval)
103 {
104 return __jhash_nwords(a, b, 0, initval + JHASH_INITVAL + (2 << 2));
105 }
106
107 #define PCKT_FRAGMENTED 65343
108 #define IPV4_HDR_LEN_NO_OPT 20
109 #define IPV4_PLUS_ICMP_HDR 28
110 #define IPV6_PLUS_ICMP_HDR 48
111 #define RING_SIZE 2
112 #define MAX_VIPS 12
113 #define MAX_REALS 5
114 #define CTL_MAP_SIZE 16
115 #define CH_RINGS_SIZE (MAX_VIPS * RING_SIZE)
116 #define F_IPV6 (1 << 0)
117 #define F_HASH_NO_SRC_PORT (1 << 0)
118 #define F_ICMP (1 << 0)
119 #define F_SYN_SET (1 << 1)
120
121 struct packet_description {
122 union {
123 __be32 src;
124 __be32 srcv6[4];
125 };
126 union {
127 __be32 dst;
128 __be32 dstv6[4];
129 };
130 union {
131 __u32 ports;
132 __u16 port16[2];
133 };
134 __u8 proto;
135 __u8 flags;
136 };
137
138 struct ctl_value {
139 union {
140 __u64 value;
141 __u32 ifindex;
142 __u8 mac[6];
143 };
144 };
145
146 struct vip_meta {
147 __u32 flags;
148 __u32 vip_num;
149 };
150
151 struct real_definition {
152 union {
153 __be32 dst;
154 __be32 dstv6[4];
155 };
156 __u8 flags;
157 };
158
159 struct vip_stats {
160 __u64 bytes;
161 __u64 pkts;
162 };
163
164 struct eth_hdr {
165 unsigned char eth_dest[ETH_ALEN];
166 unsigned char eth_source[ETH_ALEN];
167 unsigned short eth_proto;
168 };
169
170 struct {
171 __uint(type, BPF_MAP_TYPE_HASH);
172 __uint(max_entries, MAX_VIPS);
173 __type(key, struct vip);
174 __type(value, struct vip_meta);
175 } vip_map SEC(".maps");
176
177 struct {
178 __uint(type, BPF_MAP_TYPE_ARRAY);
179 __uint(max_entries, CH_RINGS_SIZE);
180 __type(key, __u32);
181 __type(value, __u32);
182 } ch_rings SEC(".maps");
183
184 struct {
185 __uint(type, BPF_MAP_TYPE_ARRAY);
186 __uint(max_entries, MAX_REALS);
187 __type(key, __u32);
188 __type(value, struct real_definition);
189 } reals SEC(".maps");
190
191 struct {
192 __uint(type, BPF_MAP_TYPE_PERCPU_ARRAY);
193 __uint(max_entries, MAX_VIPS);
194 __type(key, __u32);
195 __type(value, struct vip_stats);
196 } stats SEC(".maps");
197
198 struct {
199 __uint(type, BPF_MAP_TYPE_ARRAY);
200 __uint(max_entries, CTL_MAP_SIZE);
201 __type(key, __u32);
202 __type(value, struct ctl_value);
203 } ctl_array SEC(".maps");
204
205 static __always_inline __u32 get_packet_hash(struct packet_description *pckt,
206 bool ipv6)
207 {
208 if (ipv6)
209 return jhash_2words(jhash(pckt->srcv6, 16, MAX_VIPS),
210 pckt->ports, CH_RINGS_SIZE);
211 else
212 return jhash_2words(pckt->src, pckt->ports, CH_RINGS_SIZE);
213 }
214
215 static __always_inline bool get_packet_dst(struct real_definition **real,
216 struct packet_description *pckt,
217 struct vip_meta *vip_info,
218 bool is_ipv6)
219 {
220 __u32 hash = get_packet_hash(pckt, is_ipv6) % RING_SIZE;
221 __u32 key = RING_SIZE * vip_info->vip_num + hash;
222 __u32 *real_pos;
223
224 real_pos = bpf_map_lookup_elem(&ch_rings, &key);
225 if (!real_pos)
226 return false;
227 key = *real_pos;
228 *real = bpf_map_lookup_elem(&reals, &key);
229 if (!(*real))
230 return false;
231 return true;
232 }
233
234 static __always_inline int parse_icmpv6(void *data, void *data_end, __u64 off,
235 struct packet_description *pckt)
236 {
237 struct icmp6hdr *icmp_hdr;
238 struct ipv6hdr *ip6h;
239
240 icmp_hdr = data + off;
241 if (icmp_hdr + 1 > data_end)
242 return TC_ACT_SHOT;
243 if (icmp_hdr->icmp6_type != ICMPV6_PKT_TOOBIG)
244 return TC_ACT_OK;
245 off += sizeof(struct icmp6hdr);
246 ip6h = data + off;
247 if (ip6h + 1 > data_end)
248 return TC_ACT_SHOT;
249 pckt->proto = ip6h->nexthdr;
250 pckt->flags |= F_ICMP;
251 memcpy(pckt->srcv6, ip6h->daddr.s6_addr32, 16);
252 memcpy(pckt->dstv6, ip6h->saddr.s6_addr32, 16);
253 return TC_ACT_UNSPEC;
254 }
255
256 static __always_inline int parse_icmp(void *data, void *data_end, __u64 off,
257 struct packet_description *pckt)
258 {
259 struct icmphdr *icmp_hdr;
260 struct iphdr *iph;
261
262 icmp_hdr = data + off;
263 if (icmp_hdr + 1 > data_end)
264 return TC_ACT_SHOT;
265 if (icmp_hdr->type != ICMP_DEST_UNREACH ||
266 icmp_hdr->code != ICMP_FRAG_NEEDED)
267 return TC_ACT_OK;
268 off += sizeof(struct icmphdr);
269 iph = data + off;
270 if (iph + 1 > data_end)
271 return TC_ACT_SHOT;
272 if (iph->ihl != 5)
273 return TC_ACT_SHOT;
274 pckt->proto = iph->protocol;
275 pckt->flags |= F_ICMP;
276 pckt->src = iph->daddr;
277 pckt->dst = iph->saddr;
278 return TC_ACT_UNSPEC;
279 }
280
281 static __always_inline bool parse_udp(void *data, __u64 off, void *data_end,
282 struct packet_description *pckt)
283 {
284 struct udphdr *udp;
285 udp = data + off;
286
287 if (udp + 1 > data_end)
288 return false;
289
290 if (!(pckt->flags & F_ICMP)) {
291 pckt->port16[0] = udp->source;
292 pckt->port16[1] = udp->dest;
293 } else {
294 pckt->port16[0] = udp->dest;
295 pckt->port16[1] = udp->source;
296 }
297 return true;
298 }
299
300 static __always_inline bool parse_tcp(void *data, __u64 off, void *data_end,
301 struct packet_description *pckt)
302 {
303 struct tcphdr *tcp;
304
305 tcp = data + off;
306 if (tcp + 1 > data_end)
307 return false;
308
309 if (tcp->syn)
310 pckt->flags |= F_SYN_SET;
311
312 if (!(pckt->flags & F_ICMP)) {
313 pckt->port16[0] = tcp->source;
314 pckt->port16[1] = tcp->dest;
315 } else {
316 pckt->port16[0] = tcp->dest;
317 pckt->port16[1] = tcp->source;
318 }
319 return true;
320 }
321
322 static __always_inline int process_packet(void *data, __u64 off, void *data_end,
323 bool is_ipv6, struct __sk_buff *skb)
324 {
325 void *pkt_start = (void *)(long)skb->data;
326 struct packet_description pckt = {};
327 struct eth_hdr *eth = pkt_start;
328 struct bpf_tunnel_key tkey = {};
329 struct vip_stats *data_stats;
330 struct real_definition *dst;
331 struct vip_meta *vip_info;
332 struct ctl_value *cval;
333 __u32 v4_intf_pos = 1;
334 __u32 v6_intf_pos = 2;
335 struct ipv6hdr *ip6h;
336 struct vip vip = {};
337 struct iphdr *iph;
338 int tun_flag = 0;
339 __u16 pkt_bytes;
340 __u64 iph_len;
341 __u32 ifindex;
342 __u8 protocol;
343 __u32 vip_num;
344 int action;
345
346 tkey.tunnel_ttl = 64;
347 if (is_ipv6) {
348 ip6h = data + off;
349 if (ip6h + 1 > data_end)
350 return TC_ACT_SHOT;
351
352 iph_len = sizeof(struct ipv6hdr);
353 protocol = ip6h->nexthdr;
354 pckt.proto = protocol;
355 pkt_bytes = bpf_ntohs(ip6h->payload_len);
356 off += iph_len;
357 if (protocol == IPPROTO_FRAGMENT) {
358 return TC_ACT_SHOT;
359 } else if (protocol == IPPROTO_ICMPV6) {
360 action = parse_icmpv6(data, data_end, off, &pckt);
361 if (action >= 0)
362 return action;
363 off += IPV6_PLUS_ICMP_HDR;
364 } else {
365 memcpy(pckt.srcv6, ip6h->saddr.s6_addr32, 16);
366 memcpy(pckt.dstv6, ip6h->daddr.s6_addr32, 16);
367 }
368 } else {
369 iph = data + off;
370 if (iph + 1 > data_end)
371 return TC_ACT_SHOT;
372 if (iph->ihl != 5)
373 return TC_ACT_SHOT;
374
375 protocol = iph->protocol;
376 pckt.proto = protocol;
377 pkt_bytes = bpf_ntohs(iph->tot_len);
378 off += IPV4_HDR_LEN_NO_OPT;
379
380 if (iph->frag_off & PCKT_FRAGMENTED)
381 return TC_ACT_SHOT;
382 if (protocol == IPPROTO_ICMP) {
383 action = parse_icmp(data, data_end, off, &pckt);
384 if (action >= 0)
385 return action;
386 off += IPV4_PLUS_ICMP_HDR;
387 } else {
388 pckt.src = iph->saddr;
389 pckt.dst = iph->daddr;
390 }
391 }
392 protocol = pckt.proto;
393
394 if (protocol == IPPROTO_TCP) {
395 if (!parse_tcp(data, off, data_end, &pckt))
396 return TC_ACT_SHOT;
397 } else if (protocol == IPPROTO_UDP) {
398 if (!parse_udp(data, off, data_end, &pckt))
399 return TC_ACT_SHOT;
400 } else {
401 return TC_ACT_SHOT;
402 }
403
404 if (is_ipv6)
405 memcpy(vip.daddr.v6, pckt.dstv6, 16);
406 else
407 vip.daddr.v4 = pckt.dst;
408
409 vip.dport = pckt.port16[1];
410 vip.protocol = pckt.proto;
411 vip_info = bpf_map_lookup_elem(&vip_map, &vip);
412 if (!vip_info) {
413 vip.dport = 0;
414 vip_info = bpf_map_lookup_elem(&vip_map, &vip);
415 if (!vip_info)
416 return TC_ACT_SHOT;
417 pckt.port16[1] = 0;
418 }
419
420 if (vip_info->flags & F_HASH_NO_SRC_PORT)
421 pckt.port16[0] = 0;
422
423 if (!get_packet_dst(&dst, &pckt, vip_info, is_ipv6))
424 return TC_ACT_SHOT;
425
426 if (dst->flags & F_IPV6) {
427 cval = bpf_map_lookup_elem(&ctl_array, &v6_intf_pos);
428 if (!cval)
429 return TC_ACT_SHOT;
430 ifindex = cval->ifindex;
431 memcpy(tkey.remote_ipv6, dst->dstv6, 16);
432 tun_flag = BPF_F_TUNINFO_IPV6;
433 } else {
434 cval = bpf_map_lookup_elem(&ctl_array, &v4_intf_pos);
435 if (!cval)
436 return TC_ACT_SHOT;
437 ifindex = cval->ifindex;
438 tkey.remote_ipv4 = dst->dst;
439 }
440 vip_num = vip_info->vip_num;
441 data_stats = bpf_map_lookup_elem(&stats, &vip_num);
442 if (!data_stats)
443 return TC_ACT_SHOT;
444 data_stats->pkts++;
445 data_stats->bytes += pkt_bytes;
446 bpf_skb_set_tunnel_key(skb, &tkey, sizeof(tkey), tun_flag);
447 *(u32 *)eth->eth_dest = tkey.remote_ipv4;
448 return bpf_redirect(ifindex, 0);
449 }
450
451 SEC("tc")
452 int balancer_ingress(struct __sk_buff *ctx)
453 {
454 void *data_end = (void *)(long)ctx->data_end;
455 void *data = (void *)(long)ctx->data;
456 struct eth_hdr *eth = data;
457 __u32 eth_proto;
458 __u32 nh_off;
459
460 nh_off = sizeof(struct eth_hdr);
461 if (data + nh_off > data_end)
462 return TC_ACT_SHOT;
463 eth_proto = eth->eth_proto;
464 if (eth_proto == bpf_htons(ETH_P_IP))
465 return process_packet(data, nh_off, data_end, false, ctx);
466 else if (eth_proto == bpf_htons(ETH_P_IPV6))
467 return process_packet(data, nh_off, data_end, true, ctx);
468 else
469 return TC_ACT_SHOT;
470 }
471 char _license[] SEC("license") = "GPL";
472
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.