blob: 8c329e6725c0441b5685c8485cd4dcc1b1f8b75a [file] [log] [blame]
Bernie Innocenti55864192018-08-30 04:05:20 +09001/*
2 * Copyright (C) 2008 The Android Open Source Project
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 * * Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
10 * * Redistributions in binary form must reproduce the above copyright
11 * notice, this list of conditions and the following disclaimer in
12 * the documentation and/or other materials provided with the
13 * distribution.
14 *
15 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
17 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
18 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
19 * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
20 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
21 * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
22 * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
23 * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24 * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
25 * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26 * SUCH DAMAGE.
27 */
28
Bernie Innocentie9ba09c2018-09-12 23:20:10 +090029#define LOG_TAG "res_cache"
30
Bernie Innocenti34de3ba2019-02-19 18:08:36 +090031#include "resolv_cache.h"
32
Bernie Innocenti55864192018-08-30 04:05:20 +090033#include <resolv.h>
34#include <stdarg.h>
35#include <stdio.h>
36#include <stdlib.h>
37#include <string.h>
38#include <time.h>
Ken Chen2a429352018-12-22 21:46:55 +080039#include <mutex>
Bernie Innocenti55864192018-08-30 04:05:20 +090040
Bernie Innocentie9ba09c2018-09-12 23:20:10 +090041#include <arpa/inet.h>
Bernie Innocenti55864192018-08-30 04:05:20 +090042#include <arpa/nameser.h>
Bernie Innocentif12d5bb2018-08-31 14:09:46 +090043#include <errno.h>
44#include <linux/if.h>
Bernie Innocenti55864192018-08-30 04:05:20 +090045#include <net/if.h>
46#include <netdb.h>
Bernie Innocenti55864192018-08-30 04:05:20 +090047
Bernie Innocentie9ba09c2018-09-12 23:20:10 +090048#include <android-base/logging.h>
waynema2371eab2019-01-18 14:02:31 +080049#include <android-base/parseint.h>
Ken Chen2a429352018-12-22 21:46:55 +080050#include <android-base/thread_annotations.h>
Bernie Innocenti34de3ba2019-02-19 18:08:36 +090051#include <android/multinetwork.h> // ResNsendFlags
Bernie Innocentif89b3512018-08-30 07:34:37 +090052
waynema2371eab2019-01-18 14:02:31 +080053#include <server_configurable_flags/get_flags.h>
54
Bernie Innocenti189eb502018-10-01 23:10:18 +090055#include "res_state_ext.h"
Bernie Innocentif12d5bb2018-08-31 14:09:46 +090056#include "resolv_private.h"
Bernie Innocenti55864192018-08-30 04:05:20 +090057
Bernie Innocentid017e972019-03-03 19:39:53 +090058// NOTE: verbose logging MUST NOT be left enabled in production binaries.
59// It floods logs at high rate, and can leak privacy-sensitive information.
60constexpr bool kDumpData = false;
61
Bernie Innocenti55864192018-08-30 04:05:20 +090062/* This code implements a small and *simple* DNS resolver cache.
63 *
64 * It is only used to cache DNS answers for a time defined by the smallest TTL
65 * among the answer records in order to reduce DNS traffic. It is not supposed
66 * to be a full DNS cache, since we plan to implement that in the future in a
67 * dedicated process running on the system.
68 *
69 * Note that its design is kept simple very intentionally, i.e.:
70 *
71 * - it takes raw DNS query packet data as input, and returns raw DNS
72 * answer packet data as output
73 *
74 * (this means that two similar queries that encode the DNS name
75 * differently will be treated distinctly).
76 *
77 * the smallest TTL value among the answer records are used as the time
78 * to keep an answer in the cache.
79 *
80 * this is bad, but we absolutely want to avoid parsing the answer packets
81 * (and should be solved by the later full DNS cache process).
82 *
83 * - the implementation is just a (query-data) => (answer-data) hash table
84 * with a trivial least-recently-used expiration policy.
85 *
86 * Doing this keeps the code simple and avoids to deal with a lot of things
87 * that a full DNS cache is expected to do.
88 *
89 * The API is also very simple:
90 *
91 * - the client calls _resolv_cache_get() to obtain a handle to the cache.
92 * this will initialize the cache on first usage. the result can be NULL
93 * if the cache is disabled.
94 *
95 * - the client calls _resolv_cache_lookup() before performing a query
96 *
97 * if the function returns RESOLV_CACHE_FOUND, a copy of the answer data
98 * has been copied into the client-provided answer buffer.
99 *
100 * if the function returns RESOLV_CACHE_NOTFOUND, the client should perform
101 * a request normally, *then* call _resolv_cache_add() to add the received
102 * answer to the cache.
103 *
104 * if the function returns RESOLV_CACHE_UNSUPPORTED, the client should
105 * perform a request normally, and *not* call _resolv_cache_add()
106 *
107 * note that RESOLV_CACHE_UNSUPPORTED is also returned if the answer buffer
108 * is too short to accomodate the cached result.
109 */
110
111/* default number of entries kept in the cache. This value has been
112 * determined by browsing through various sites and counting the number
113 * of corresponding requests. Keep in mind that our framework is currently
114 * performing two requests per name lookup (one for IPv4, the other for IPv6)
115 *
116 * www.google.com 4
117 * www.ysearch.com 6
118 * www.amazon.com 8
119 * www.nytimes.com 22
120 * www.espn.com 28
121 * www.msn.com 28
122 * www.lemonde.fr 35
123 *
124 * (determined in 2009-2-17 from Paris, France, results may vary depending
125 * on location)
126 *
127 * most high-level websites use lots of media/ad servers with different names
128 * but these are generally reused when browsing through the site.
129 *
130 * As such, a value of 64 should be relatively comfortable at the moment.
131 *
132 * ******************************************
133 * * NOTE - this has changed.
134 * * 1) we've added IPv6 support so each dns query results in 2 responses
135 * * 2) we've made this a system-wide cache, so the cost is less (it's not
136 * * duplicated in each process) and the need is greater (more processes
137 * * making different requests).
138 * * Upping by 2x for IPv6
139 * * Upping by another 5x for the centralized nature
140 * *****************************************
141 */
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900142#define CONFIG_MAX_ENTRIES (64 * 2 * 5)
Bernie Innocenti55864192018-08-30 04:05:20 +0900143
Bernie Innocenti1f4a9fd2018-09-07 21:10:25 +0900144/** BOUNDED BUFFER FORMATTING **/
Bernie Innocenti55864192018-08-30 04:05:20 +0900145
146/* technical note:
147 *
148 * the following debugging routines are used to append data to a bounded
149 * buffer they take two parameters that are:
150 *
151 * - p : a pointer to the current cursor position in the buffer
152 * this value is initially set to the buffer's address.
153 *
154 * - end : the address of the buffer's limit, i.e. of the first byte
155 * after the buffer. this address should never be touched.
156 *
157 * IMPORTANT: it is assumed that end > buffer_address, i.e.
158 * that the buffer is at least one byte.
159 *
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900160 * the bprint_x() functions return the new value of 'p' after the data
Bernie Innocenti55864192018-08-30 04:05:20 +0900161 * has been appended, and also ensure the following:
162 *
163 * - the returned value will never be strictly greater than 'end'
164 *
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900165 * - a return value equal to 'end' means that truncation occurred
Bernie Innocenti55864192018-08-30 04:05:20 +0900166 * (in which case, end[-1] will be set to 0)
167 *
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900168 * - after returning from a bprint_x() function, the content of the buffer
Bernie Innocenti55864192018-08-30 04:05:20 +0900169 * is always 0-terminated, even in the event of truncation.
170 *
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900171 * these conventions allow you to call bprint_x() functions multiple times and
Bernie Innocenti55864192018-08-30 04:05:20 +0900172 * only check for truncation at the end of the sequence, as in:
173 *
174 * char buff[1000], *p = buff, *end = p + sizeof(buff);
175 *
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900176 * p = bprint_c(p, end, '"');
177 * p = bprint_s(p, end, my_string);
178 * p = bprint_c(p, end, '"');
Bernie Innocenti55864192018-08-30 04:05:20 +0900179 *
180 * if (p >= end) {
181 * // buffer was too small
182 * }
183 *
184 * printf( "%s", buff );
185 */
186
Bernie Innocenti34de3ba2019-02-19 18:08:36 +0900187/* Defaults used for initializing res_params */
Bernie Innocenti1fbca5c2018-10-01 20:46:20 +0900188
189// If successes * 100 / total_samples is less than this value, the server is considered failing
190#define SUCCESS_THRESHOLD 75
191// Sample validity in seconds. Set to -1 to disable skipping failing servers.
192#define NSSAMPLE_VALIDITY 1800
193
Bernie Innocenti55864192018-08-30 04:05:20 +0900194/* add a char to a bounded buffer */
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900195static char* bprint_c(char* p, char* end, int c) {
Bernie Innocenti55864192018-08-30 04:05:20 +0900196 if (p < end) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900197 if (p + 1 == end)
Bernie Innocenti55864192018-08-30 04:05:20 +0900198 *p++ = 0;
199 else {
200 *p++ = (char) c;
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900201 *p = 0;
Bernie Innocenti55864192018-08-30 04:05:20 +0900202 }
203 }
204 return p;
205}
206
207/* add a sequence of bytes to a bounded buffer */
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900208static char* bprint_b(char* p, char* end, const char* buf, int len) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900209 int avail = end - p;
Bernie Innocenti55864192018-08-30 04:05:20 +0900210
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900211 if (avail <= 0 || len <= 0) return p;
Bernie Innocenti55864192018-08-30 04:05:20 +0900212
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900213 if (avail > len) avail = len;
Bernie Innocenti55864192018-08-30 04:05:20 +0900214
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900215 memcpy(p, buf, avail);
Bernie Innocenti55864192018-08-30 04:05:20 +0900216 p += avail;
217
218 if (p < end)
219 p[0] = 0;
220 else
221 end[-1] = 0;
222
223 return p;
224}
225
226/* add a string to a bounded buffer */
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900227static char* bprint_s(char* p, char* end, const char* str) {
228 return bprint_b(p, end, str, strlen(str));
Bernie Innocenti55864192018-08-30 04:05:20 +0900229}
230
231/* add a formatted string to a bounded buffer */
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900232static char* bprint(char* p, char* end, const char* format, ...) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900233 int avail, n;
234 va_list args;
Bernie Innocenti55864192018-08-30 04:05:20 +0900235
236 avail = end - p;
237
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900238 if (avail <= 0) return p;
Bernie Innocenti55864192018-08-30 04:05:20 +0900239
240 va_start(args, format);
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900241 n = vsnprintf(p, avail, format, args);
Bernie Innocenti55864192018-08-30 04:05:20 +0900242 va_end(args);
243
244 /* certain C libraries return -1 in case of truncation */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900245 if (n < 0 || n > avail) n = avail;
Bernie Innocenti55864192018-08-30 04:05:20 +0900246
247 p += n;
248 /* certain C libraries do not zero-terminate in case of truncation */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900249 if (p == end) p[-1] = 0;
Bernie Innocenti55864192018-08-30 04:05:20 +0900250
251 return p;
252}
253
254/* add a hex value to a bounded buffer, up to 8 digits */
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900255static char* bprint_hex(char* p, char* end, unsigned value, int numDigits) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900256 char text[sizeof(unsigned) * 2];
257 int nn = 0;
Bernie Innocenti55864192018-08-30 04:05:20 +0900258
259 while (numDigits-- > 0) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900260 text[nn++] = "0123456789abcdef"[(value >> (numDigits * 4)) & 15];
Bernie Innocenti55864192018-08-30 04:05:20 +0900261 }
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900262 return bprint_b(p, end, text, nn);
Bernie Innocenti55864192018-08-30 04:05:20 +0900263}
264
265/* add the hexadecimal dump of some memory area to a bounded buffer */
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900266static char* bprint_hexdump(char* p, char* end, const uint8_t* data, int datalen) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900267 int lineSize = 16;
Bernie Innocenti55864192018-08-30 04:05:20 +0900268
269 while (datalen > 0) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900270 int avail = datalen;
271 int nn;
Bernie Innocenti55864192018-08-30 04:05:20 +0900272
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900273 if (avail > lineSize) avail = lineSize;
Bernie Innocenti55864192018-08-30 04:05:20 +0900274
275 for (nn = 0; nn < avail; nn++) {
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900276 if (nn > 0) p = bprint_c(p, end, ' ');
277 p = bprint_hex(p, end, data[nn], 2);
Bernie Innocenti55864192018-08-30 04:05:20 +0900278 }
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900279 for (; nn < lineSize; nn++) {
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900280 p = bprint_s(p, end, " ");
Bernie Innocenti55864192018-08-30 04:05:20 +0900281 }
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900282 p = bprint_s(p, end, " ");
Bernie Innocenti55864192018-08-30 04:05:20 +0900283
284 for (nn = 0; nn < avail; nn++) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900285 int c = data[nn];
Bernie Innocenti55864192018-08-30 04:05:20 +0900286
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900287 if (c < 32 || c > 127) c = '.';
Bernie Innocenti55864192018-08-30 04:05:20 +0900288
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900289 p = bprint_c(p, end, c);
Bernie Innocenti55864192018-08-30 04:05:20 +0900290 }
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900291 p = bprint_c(p, end, '\n');
Bernie Innocenti55864192018-08-30 04:05:20 +0900292
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900293 data += avail;
Bernie Innocenti55864192018-08-30 04:05:20 +0900294 datalen -= avail;
295 }
296 return p;
297}
298
299/* dump the content of a query of packet to the log */
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900300static void dump_bytes(const uint8_t* base, int len) {
301 if (!kDumpData) return;
Bernie Innocenti55864192018-08-30 04:05:20 +0900302
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900303 char buff[1024];
304 char *p = buff, *end = p + sizeof(buff);
305
306 p = bprint_hexdump(p, end, base, len);
Ken Chenbab50142019-03-19 17:41:28 +0800307 LOG(INFO) << __func__ << ": " << buff;
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900308}
Bernie Innocenti55864192018-08-30 04:05:20 +0900309
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900310static time_t _time_now(void) {
311 struct timeval tv;
Bernie Innocenti55864192018-08-30 04:05:20 +0900312
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900313 gettimeofday(&tv, NULL);
Bernie Innocenti55864192018-08-30 04:05:20 +0900314 return tv.tv_sec;
315}
316
317/* reminder: the general format of a DNS packet is the following:
318 *
319 * HEADER (12 bytes)
320 * QUESTION (variable)
321 * ANSWER (variable)
322 * AUTHORITY (variable)
323 * ADDITIONNAL (variable)
324 *
325 * the HEADER is made of:
326 *
327 * ID : 16 : 16-bit unique query identification field
328 *
329 * QR : 1 : set to 0 for queries, and 1 for responses
330 * Opcode : 4 : set to 0 for queries
331 * AA : 1 : set to 0 for queries
332 * TC : 1 : truncation flag, will be set to 0 in queries
333 * RD : 1 : recursion desired
334 *
335 * RA : 1 : recursion available (0 in queries)
336 * Z : 3 : three reserved zero bits
337 * RCODE : 4 : response code (always 0=NOERROR in queries)
338 *
339 * QDCount: 16 : question count
340 * ANCount: 16 : Answer count (0 in queries)
341 * NSCount: 16: Authority Record count (0 in queries)
342 * ARCount: 16: Additionnal Record count (0 in queries)
343 *
344 * the QUESTION is made of QDCount Question Record (QRs)
345 * the ANSWER is made of ANCount RRs
346 * the AUTHORITY is made of NSCount RRs
347 * the ADDITIONNAL is made of ARCount RRs
348 *
349 * Each Question Record (QR) is made of:
350 *
351 * QNAME : variable : Query DNS NAME
352 * TYPE : 16 : type of query (A=1, PTR=12, MX=15, AAAA=28, ALL=255)
353 * CLASS : 16 : class of query (IN=1)
354 *
355 * Each Resource Record (RR) is made of:
356 *
357 * NAME : variable : DNS NAME
358 * TYPE : 16 : type of query (A=1, PTR=12, MX=15, AAAA=28, ALL=255)
359 * CLASS : 16 : class of query (IN=1)
360 * TTL : 32 : seconds to cache this RR (0=none)
361 * RDLENGTH: 16 : size of RDDATA in bytes
362 * RDDATA : variable : RR data (depends on TYPE)
363 *
364 * Each QNAME contains a domain name encoded as a sequence of 'labels'
365 * terminated by a zero. Each label has the following format:
366 *
367 * LEN : 8 : lenght of label (MUST be < 64)
368 * NAME : 8*LEN : label length (must exclude dots)
369 *
370 * A value of 0 in the encoding is interpreted as the 'root' domain and
371 * terminates the encoding. So 'www.android.com' will be encoded as:
372 *
373 * <3>www<7>android<3>com<0>
374 *
375 * Where <n> represents the byte with value 'n'
376 *
377 * Each NAME reflects the QNAME of the question, but has a slightly more
378 * complex encoding in order to provide message compression. This is achieved
379 * by using a 2-byte pointer, with format:
380 *
381 * TYPE : 2 : 0b11 to indicate a pointer, 0b01 and 0b10 are reserved
382 * OFFSET : 14 : offset to another part of the DNS packet
383 *
384 * The offset is relative to the start of the DNS packet and must point
385 * A pointer terminates the encoding.
386 *
387 * The NAME can be encoded in one of the following formats:
388 *
389 * - a sequence of simple labels terminated by 0 (like QNAMEs)
390 * - a single pointer
391 * - a sequence of simple labels terminated by a pointer
392 *
393 * A pointer shall always point to either a pointer of a sequence of
394 * labels (which can themselves be terminated by either a 0 or a pointer)
395 *
396 * The expanded length of a given domain name should not exceed 255 bytes.
397 *
398 * NOTE: we don't parse the answer packets, so don't need to deal with NAME
399 * records, only QNAMEs.
400 */
401
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900402#define DNS_HEADER_SIZE 12
Bernie Innocenti55864192018-08-30 04:05:20 +0900403
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900404#define DNS_TYPE_A "\00\01" /* big-endian decimal 1 */
405#define DNS_TYPE_PTR "\00\014" /* big-endian decimal 12 */
406#define DNS_TYPE_MX "\00\017" /* big-endian decimal 15 */
407#define DNS_TYPE_AAAA "\00\034" /* big-endian decimal 28 */
408#define DNS_TYPE_ALL "\00\0377" /* big-endian decimal 255 */
Bernie Innocenti55864192018-08-30 04:05:20 +0900409
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900410#define DNS_CLASS_IN "\00\01" /* big-endian decimal 1 */
Bernie Innocenti55864192018-08-30 04:05:20 +0900411
412typedef struct {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900413 const uint8_t* base;
414 const uint8_t* end;
415 const uint8_t* cursor;
Bernie Innocenti55864192018-08-30 04:05:20 +0900416} DnsPacket;
417
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900418static void _dnsPacket_init(DnsPacket* packet, const uint8_t* buff, int bufflen) {
419 packet->base = buff;
420 packet->end = buff + bufflen;
Bernie Innocenti55864192018-08-30 04:05:20 +0900421 packet->cursor = buff;
422}
423
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900424static void _dnsPacket_rewind(DnsPacket* packet) {
Bernie Innocenti55864192018-08-30 04:05:20 +0900425 packet->cursor = packet->base;
426}
427
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900428static void _dnsPacket_skip(DnsPacket* packet, int count) {
429 const uint8_t* p = packet->cursor + count;
Bernie Innocenti55864192018-08-30 04:05:20 +0900430
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900431 if (p > packet->end) p = packet->end;
Bernie Innocenti55864192018-08-30 04:05:20 +0900432
433 packet->cursor = p;
434}
435
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900436static int _dnsPacket_readInt16(DnsPacket* packet) {
437 const uint8_t* p = packet->cursor;
Bernie Innocenti55864192018-08-30 04:05:20 +0900438
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900439 if (p + 2 > packet->end) return -1;
Bernie Innocenti55864192018-08-30 04:05:20 +0900440
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900441 packet->cursor = p + 2;
442 return (p[0] << 8) | p[1];
Bernie Innocenti55864192018-08-30 04:05:20 +0900443}
444
Bernie Innocenti1f4a9fd2018-09-07 21:10:25 +0900445/** QUERY CHECKING **/
Bernie Innocenti55864192018-08-30 04:05:20 +0900446
447/* check bytes in a dns packet. returns 1 on success, 0 on failure.
448 * the cursor is only advanced in the case of success
449 */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900450static int _dnsPacket_checkBytes(DnsPacket* packet, int numBytes, const void* bytes) {
451 const uint8_t* p = packet->cursor;
Bernie Innocenti55864192018-08-30 04:05:20 +0900452
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900453 if (p + numBytes > packet->end) return 0;
Bernie Innocenti55864192018-08-30 04:05:20 +0900454
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900455 if (memcmp(p, bytes, numBytes) != 0) return 0;
Bernie Innocenti55864192018-08-30 04:05:20 +0900456
457 packet->cursor = p + numBytes;
458 return 1;
459}
460
461/* parse and skip a given QNAME stored in a query packet,
462 * from the current cursor position. returns 1 on success,
463 * or 0 for malformed data.
464 */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900465static int _dnsPacket_checkQName(DnsPacket* packet) {
466 const uint8_t* p = packet->cursor;
467 const uint8_t* end = packet->end;
Bernie Innocenti55864192018-08-30 04:05:20 +0900468
469 for (;;) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900470 int c;
Bernie Innocenti55864192018-08-30 04:05:20 +0900471
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900472 if (p >= end) break;
Bernie Innocenti55864192018-08-30 04:05:20 +0900473
474 c = *p++;
475
476 if (c == 0) {
477 packet->cursor = p;
478 return 1;
479 }
480
481 /* we don't expect label compression in QNAMEs */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900482 if (c >= 64) break;
Bernie Innocenti55864192018-08-30 04:05:20 +0900483
484 p += c;
485 /* we rely on the bound check at the start
486 * of the loop here */
487 }
488 /* malformed data */
Ken Chenbab50142019-03-19 17:41:28 +0800489 LOG(INFO) << __func__ << ": malformed QNAME";
Bernie Innocenti55864192018-08-30 04:05:20 +0900490 return 0;
491}
492
493/* parse and skip a given QR stored in a packet.
494 * returns 1 on success, and 0 on failure
495 */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900496static int _dnsPacket_checkQR(DnsPacket* packet) {
497 if (!_dnsPacket_checkQName(packet)) return 0;
Bernie Innocenti55864192018-08-30 04:05:20 +0900498
499 /* TYPE must be one of the things we support */
500 if (!_dnsPacket_checkBytes(packet, 2, DNS_TYPE_A) &&
501 !_dnsPacket_checkBytes(packet, 2, DNS_TYPE_PTR) &&
502 !_dnsPacket_checkBytes(packet, 2, DNS_TYPE_MX) &&
503 !_dnsPacket_checkBytes(packet, 2, DNS_TYPE_AAAA) &&
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900504 !_dnsPacket_checkBytes(packet, 2, DNS_TYPE_ALL)) {
Ken Chenbab50142019-03-19 17:41:28 +0800505 LOG(INFO) << __func__ << ": unsupported TYPE";
Bernie Innocenti55864192018-08-30 04:05:20 +0900506 return 0;
507 }
508 /* CLASS must be IN */
509 if (!_dnsPacket_checkBytes(packet, 2, DNS_CLASS_IN)) {
Ken Chenbab50142019-03-19 17:41:28 +0800510 LOG(INFO) << __func__ << ": unsupported CLASS";
Bernie Innocenti55864192018-08-30 04:05:20 +0900511 return 0;
512 }
513
514 return 1;
515}
516
517/* check the header of a DNS Query packet, return 1 if it is one
518 * type of query we can cache, or 0 otherwise
519 */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900520static int _dnsPacket_checkQuery(DnsPacket* packet) {
521 const uint8_t* p = packet->base;
522 int qdCount, anCount, dnCount, arCount;
Bernie Innocenti55864192018-08-30 04:05:20 +0900523
524 if (p + DNS_HEADER_SIZE > packet->end) {
Ken Chenbab50142019-03-19 17:41:28 +0800525 LOG(INFO) << __func__ << ": query packet too small";
Bernie Innocenti55864192018-08-30 04:05:20 +0900526 return 0;
527 }
528
529 /* QR must be set to 0, opcode must be 0 and AA must be 0 */
530 /* RA, Z, and RCODE must be 0 */
531 if ((p[2] & 0xFC) != 0 || (p[3] & 0xCF) != 0) {
Ken Chenbab50142019-03-19 17:41:28 +0800532 LOG(INFO) << __func__ << ": query packet flags unsupported";
Bernie Innocenti55864192018-08-30 04:05:20 +0900533 return 0;
534 }
535
536 /* Note that we ignore the TC, RD, CD, and AD bits here for the
537 * following reasons:
538 *
539 * - there is no point for a query packet sent to a server
540 * to have the TC bit set, but the implementation might
541 * set the bit in the query buffer for its own needs
542 * between a _resolv_cache_lookup and a
543 * _resolv_cache_add. We should not freak out if this
544 * is the case.
545 *
546 * - we consider that the result from a query might depend on
547 * the RD, AD, and CD bits, so these bits
548 * should be used to differentiate cached result.
549 *
550 * this implies that these bits are checked when hashing or
551 * comparing query packets, but not TC
552 */
553
554 /* ANCOUNT, DNCOUNT and ARCOUNT must be 0 */
555 qdCount = (p[4] << 8) | p[5];
556 anCount = (p[6] << 8) | p[7];
557 dnCount = (p[8] << 8) | p[9];
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900558 arCount = (p[10] << 8) | p[11];
Bernie Innocenti55864192018-08-30 04:05:20 +0900559
560 if (anCount != 0 || dnCount != 0 || arCount > 1) {
Ken Chenbab50142019-03-19 17:41:28 +0800561 LOG(INFO) << __func__ << ": query packet contains non-query records";
Bernie Innocenti55864192018-08-30 04:05:20 +0900562 return 0;
563 }
564
565 if (qdCount == 0) {
Ken Chenbab50142019-03-19 17:41:28 +0800566 LOG(INFO) << __func__ << ": query packet doesn't contain query record";
Bernie Innocenti55864192018-08-30 04:05:20 +0900567 return 0;
568 }
569
570 /* Check QDCOUNT QRs */
571 packet->cursor = p + DNS_HEADER_SIZE;
572
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900573 for (; qdCount > 0; qdCount--)
574 if (!_dnsPacket_checkQR(packet)) return 0;
Bernie Innocenti55864192018-08-30 04:05:20 +0900575
576 return 1;
577}
578
Bernie Innocenti1f4a9fd2018-09-07 21:10:25 +0900579/** QUERY DEBUGGING **/
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900580static char* dnsPacket_bprintQName(DnsPacket* packet, char* bp, char* bend) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900581 const uint8_t* p = packet->cursor;
582 const uint8_t* end = packet->end;
583 int first = 1;
Bernie Innocenti55864192018-08-30 04:05:20 +0900584
585 for (;;) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900586 int c;
Bernie Innocenti55864192018-08-30 04:05:20 +0900587
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900588 if (p >= end) break;
Bernie Innocenti55864192018-08-30 04:05:20 +0900589
590 c = *p++;
591
592 if (c == 0) {
593 packet->cursor = p;
594 return bp;
595 }
596
597 /* we don't expect label compression in QNAMEs */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900598 if (c >= 64) break;
Bernie Innocenti55864192018-08-30 04:05:20 +0900599
600 if (first)
601 first = 0;
602 else
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900603 bp = bprint_c(bp, bend, '.');
Bernie Innocenti55864192018-08-30 04:05:20 +0900604
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900605 bp = bprint_b(bp, bend, (const char*) p, c);
Bernie Innocenti55864192018-08-30 04:05:20 +0900606
607 p += c;
608 /* we rely on the bound check at the start
609 * of the loop here */
610 }
611 /* malformed data */
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900612 bp = bprint_s(bp, bend, "<MALFORMED>");
Bernie Innocenti55864192018-08-30 04:05:20 +0900613 return bp;
614}
615
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900616static char* dnsPacket_bprintQR(DnsPacket* packet, char* p, char* end) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900617#define QQ(x) \
618 { DNS_TYPE_##x, #x }
Bernie Innocenti55864192018-08-30 04:05:20 +0900619 static const struct {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900620 const char* typeBytes;
621 const char* typeString;
622 } qTypes[] = {QQ(A), QQ(PTR), QQ(MX), QQ(AAAA), QQ(ALL), {NULL, NULL}};
623 int nn;
624 const char* typeString = NULL;
Bernie Innocenti55864192018-08-30 04:05:20 +0900625
626 /* dump QNAME */
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900627 p = dnsPacket_bprintQName(packet, p, end);
Bernie Innocenti55864192018-08-30 04:05:20 +0900628
629 /* dump TYPE */
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900630 p = bprint_s(p, end, " (");
Bernie Innocenti55864192018-08-30 04:05:20 +0900631
632 for (nn = 0; qTypes[nn].typeBytes != NULL; nn++) {
633 if (_dnsPacket_checkBytes(packet, 2, qTypes[nn].typeBytes)) {
634 typeString = qTypes[nn].typeString;
635 break;
636 }
637 }
638
639 if (typeString != NULL)
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900640 p = bprint_s(p, end, typeString);
Bernie Innocenti55864192018-08-30 04:05:20 +0900641 else {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900642 int typeCode = _dnsPacket_readInt16(packet);
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900643 p = bprint(p, end, "UNKNOWN-%d", typeCode);
Bernie Innocenti55864192018-08-30 04:05:20 +0900644 }
645
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900646 p = bprint_c(p, end, ')');
Bernie Innocenti55864192018-08-30 04:05:20 +0900647
648 /* skip CLASS */
649 _dnsPacket_skip(packet, 2);
650 return p;
651}
652
653/* this function assumes the packet has already been checked */
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900654static char* dnsPacket_bprintQuery(DnsPacket* packet, char* p, char* end) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900655 int qdCount;
Bernie Innocenti55864192018-08-30 04:05:20 +0900656
657 if (packet->base[2] & 0x1) {
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900658 p = bprint_s(p, end, "RECURSIVE ");
Bernie Innocenti55864192018-08-30 04:05:20 +0900659 }
660
661 _dnsPacket_skip(packet, 4);
662 qdCount = _dnsPacket_readInt16(packet);
663 _dnsPacket_skip(packet, 6);
664
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900665 for (; qdCount > 0; qdCount--) {
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900666 p = dnsPacket_bprintQR(packet, p, end);
Bernie Innocenti55864192018-08-30 04:05:20 +0900667 }
668 return p;
669}
Bernie Innocenti55864192018-08-30 04:05:20 +0900670
Bernie Innocenti55864192018-08-30 04:05:20 +0900671/** QUERY HASHING SUPPORT
672 **
673 ** THE FOLLOWING CODE ASSUMES THAT THE INPUT PACKET HAS ALREADY
674 ** BEEN SUCCESFULLY CHECKED.
675 **/
676
677/* use 32-bit FNV hash function */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900678#define FNV_MULT 16777619U
679#define FNV_BASIS 2166136261U
Bernie Innocenti55864192018-08-30 04:05:20 +0900680
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900681static unsigned _dnsPacket_hashBytes(DnsPacket* packet, int numBytes, unsigned hash) {
682 const uint8_t* p = packet->cursor;
683 const uint8_t* end = packet->end;
Bernie Innocenti55864192018-08-30 04:05:20 +0900684
685 while (numBytes > 0 && p < end) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900686 hash = hash * FNV_MULT ^ *p++;
Bernie Innocenti55864192018-08-30 04:05:20 +0900687 }
688 packet->cursor = p;
689 return hash;
690}
691
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900692static unsigned _dnsPacket_hashQName(DnsPacket* packet, unsigned hash) {
693 const uint8_t* p = packet->cursor;
694 const uint8_t* end = packet->end;
Bernie Innocenti55864192018-08-30 04:05:20 +0900695
696 for (;;) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900697 int c;
Bernie Innocenti55864192018-08-30 04:05:20 +0900698
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900699 if (p >= end) { /* should not happen */
chenbruce16adee42019-02-20 19:45:50 +0800700 LOG(INFO) << __func__ << ": INTERNAL_ERROR: read-overflow";
Bernie Innocenti55864192018-08-30 04:05:20 +0900701 break;
702 }
703
704 c = *p++;
705
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900706 if (c == 0) break;
Bernie Innocenti55864192018-08-30 04:05:20 +0900707
708 if (c >= 64) {
chenbruce16adee42019-02-20 19:45:50 +0800709 LOG(INFO) << __func__ << ": INTERNAL_ERROR: malformed domain";
Bernie Innocenti55864192018-08-30 04:05:20 +0900710 break;
711 }
712 if (p + c >= end) {
chenbruce16adee42019-02-20 19:45:50 +0800713 LOG(INFO) << __func__ << ": INTERNAL_ERROR: simple label read-overflow";
Bernie Innocenti55864192018-08-30 04:05:20 +0900714 break;
715 }
716 while (c > 0) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900717 hash = hash * FNV_MULT ^ *p++;
718 c -= 1;
Bernie Innocenti55864192018-08-30 04:05:20 +0900719 }
720 }
721 packet->cursor = p;
722 return hash;
723}
724
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900725static unsigned _dnsPacket_hashQR(DnsPacket* packet, unsigned hash) {
Bernie Innocenti55864192018-08-30 04:05:20 +0900726 hash = _dnsPacket_hashQName(packet, hash);
727 hash = _dnsPacket_hashBytes(packet, 4, hash); /* TYPE and CLASS */
728 return hash;
729}
730
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900731static unsigned _dnsPacket_hashRR(DnsPacket* packet, unsigned hash) {
Bernie Innocenti55864192018-08-30 04:05:20 +0900732 int rdlength;
733 hash = _dnsPacket_hashQR(packet, hash);
734 hash = _dnsPacket_hashBytes(packet, 4, hash); /* TTL */
735 rdlength = _dnsPacket_readInt16(packet);
736 hash = _dnsPacket_hashBytes(packet, rdlength, hash); /* RDATA */
737 return hash;
738}
739
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900740static unsigned _dnsPacket_hashQuery(DnsPacket* packet) {
741 unsigned hash = FNV_BASIS;
742 int count, arcount;
Bernie Innocenti55864192018-08-30 04:05:20 +0900743 _dnsPacket_rewind(packet);
744
745 /* ignore the ID */
746 _dnsPacket_skip(packet, 2);
747
748 /* we ignore the TC bit for reasons explained in
749 * _dnsPacket_checkQuery().
750 *
751 * however we hash the RD bit to differentiate
752 * between answers for recursive and non-recursive
753 * queries.
754 */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900755 hash = hash * FNV_MULT ^ (packet->base[2] & 1);
Bernie Innocenti55864192018-08-30 04:05:20 +0900756
757 /* mark the first header byte as processed */
758 _dnsPacket_skip(packet, 1);
759
760 /* process the second header byte */
761 hash = _dnsPacket_hashBytes(packet, 1, hash);
762
763 /* read QDCOUNT */
764 count = _dnsPacket_readInt16(packet);
765
766 /* assume: ANcount and NScount are 0 */
767 _dnsPacket_skip(packet, 4);
768
769 /* read ARCOUNT */
770 arcount = _dnsPacket_readInt16(packet);
771
772 /* hash QDCOUNT QRs */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900773 for (; count > 0; count--) hash = _dnsPacket_hashQR(packet, hash);
Bernie Innocenti55864192018-08-30 04:05:20 +0900774
775 /* hash ARCOUNT RRs */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900776 for (; arcount > 0; arcount--) hash = _dnsPacket_hashRR(packet, hash);
Bernie Innocenti55864192018-08-30 04:05:20 +0900777
778 return hash;
779}
780
Bernie Innocenti55864192018-08-30 04:05:20 +0900781/** QUERY COMPARISON
782 **
783 ** THE FOLLOWING CODE ASSUMES THAT THE INPUT PACKETS HAVE ALREADY
Bernie Innocentie9ba09c2018-09-12 23:20:10 +0900784 ** BEEN SUCCESSFULLY CHECKED.
Bernie Innocenti55864192018-08-30 04:05:20 +0900785 **/
786
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900787static int _dnsPacket_isEqualDomainName(DnsPacket* pack1, DnsPacket* pack2) {
788 const uint8_t* p1 = pack1->cursor;
789 const uint8_t* end1 = pack1->end;
790 const uint8_t* p2 = pack2->cursor;
791 const uint8_t* end2 = pack2->end;
Bernie Innocenti55864192018-08-30 04:05:20 +0900792
793 for (;;) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900794 int c1, c2;
Bernie Innocenti55864192018-08-30 04:05:20 +0900795
796 if (p1 >= end1 || p2 >= end2) {
chenbruce16adee42019-02-20 19:45:50 +0800797 LOG(INFO) << __func__ << ": INTERNAL_ERROR: read-overflow";
Bernie Innocenti55864192018-08-30 04:05:20 +0900798 break;
799 }
800 c1 = *p1++;
801 c2 = *p2++;
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900802 if (c1 != c2) break;
Bernie Innocenti55864192018-08-30 04:05:20 +0900803
804 if (c1 == 0) {
805 pack1->cursor = p1;
806 pack2->cursor = p2;
807 return 1;
808 }
809 if (c1 >= 64) {
chenbruce16adee42019-02-20 19:45:50 +0800810 LOG(INFO) << __func__ << ": INTERNAL_ERROR: malformed domain";
Bernie Innocenti55864192018-08-30 04:05:20 +0900811 break;
812 }
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900813 if ((p1 + c1 > end1) || (p2 + c1 > end2)) {
chenbruce16adee42019-02-20 19:45:50 +0800814 LOG(INFO) << __func__ << ": INTERNAL_ERROR: simple label read-overflow";
Bernie Innocenti55864192018-08-30 04:05:20 +0900815 break;
816 }
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900817 if (memcmp(p1, p2, c1) != 0) break;
Bernie Innocenti55864192018-08-30 04:05:20 +0900818 p1 += c1;
819 p2 += c1;
820 /* we rely on the bound checks at the start of the loop */
821 }
822 /* not the same, or one is malformed */
Ken Chenbab50142019-03-19 17:41:28 +0800823 LOG(INFO) << __func__ << ": different DN";
Bernie Innocenti55864192018-08-30 04:05:20 +0900824 return 0;
825}
826
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900827static int _dnsPacket_isEqualBytes(DnsPacket* pack1, DnsPacket* pack2, int numBytes) {
828 const uint8_t* p1 = pack1->cursor;
829 const uint8_t* p2 = pack2->cursor;
Bernie Innocenti55864192018-08-30 04:05:20 +0900830
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900831 if (p1 + numBytes > pack1->end || p2 + numBytes > pack2->end) return 0;
Bernie Innocenti55864192018-08-30 04:05:20 +0900832
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900833 if (memcmp(p1, p2, numBytes) != 0) return 0;
Bernie Innocenti55864192018-08-30 04:05:20 +0900834
835 pack1->cursor += numBytes;
836 pack2->cursor += numBytes;
837 return 1;
838}
839
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900840static int _dnsPacket_isEqualQR(DnsPacket* pack1, DnsPacket* pack2) {
Bernie Innocenti55864192018-08-30 04:05:20 +0900841 /* compare domain name encoding + TYPE + CLASS */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900842 if (!_dnsPacket_isEqualDomainName(pack1, pack2) ||
843 !_dnsPacket_isEqualBytes(pack1, pack2, 2 + 2))
Bernie Innocenti55864192018-08-30 04:05:20 +0900844 return 0;
845
846 return 1;
847}
848
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900849static int _dnsPacket_isEqualRR(DnsPacket* pack1, DnsPacket* pack2) {
Bernie Innocenti55864192018-08-30 04:05:20 +0900850 int rdlength1, rdlength2;
851 /* compare query + TTL */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900852 if (!_dnsPacket_isEqualQR(pack1, pack2) || !_dnsPacket_isEqualBytes(pack1, pack2, 4)) return 0;
Bernie Innocenti55864192018-08-30 04:05:20 +0900853
854 /* compare RDATA */
855 rdlength1 = _dnsPacket_readInt16(pack1);
856 rdlength2 = _dnsPacket_readInt16(pack2);
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900857 if (rdlength1 != rdlength2 || !_dnsPacket_isEqualBytes(pack1, pack2, rdlength1)) return 0;
Bernie Innocenti55864192018-08-30 04:05:20 +0900858
859 return 1;
860}
861
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900862static int _dnsPacket_isEqualQuery(DnsPacket* pack1, DnsPacket* pack2) {
863 int count1, count2, arcount1, arcount2;
Bernie Innocenti55864192018-08-30 04:05:20 +0900864
865 /* compare the headers, ignore most fields */
866 _dnsPacket_rewind(pack1);
867 _dnsPacket_rewind(pack2);
868
869 /* compare RD, ignore TC, see comment in _dnsPacket_checkQuery */
870 if ((pack1->base[2] & 1) != (pack2->base[2] & 1)) {
Ken Chenbab50142019-03-19 17:41:28 +0800871 LOG(INFO) << __func__ << ": different RD";
Bernie Innocenti55864192018-08-30 04:05:20 +0900872 return 0;
873 }
874
875 if (pack1->base[3] != pack2->base[3]) {
Ken Chenbab50142019-03-19 17:41:28 +0800876 LOG(INFO) << __func__ << ": different CD or AD";
Bernie Innocenti55864192018-08-30 04:05:20 +0900877 return 0;
878 }
879
880 /* mark ID and header bytes as compared */
881 _dnsPacket_skip(pack1, 4);
882 _dnsPacket_skip(pack2, 4);
883
884 /* compare QDCOUNT */
885 count1 = _dnsPacket_readInt16(pack1);
886 count2 = _dnsPacket_readInt16(pack2);
887 if (count1 != count2 || count1 < 0) {
Ken Chenbab50142019-03-19 17:41:28 +0800888 LOG(INFO) << __func__ << ": different QDCOUNT";
Bernie Innocenti55864192018-08-30 04:05:20 +0900889 return 0;
890 }
891
892 /* assume: ANcount and NScount are 0 */
893 _dnsPacket_skip(pack1, 4);
894 _dnsPacket_skip(pack2, 4);
895
896 /* compare ARCOUNT */
897 arcount1 = _dnsPacket_readInt16(pack1);
898 arcount2 = _dnsPacket_readInt16(pack2);
899 if (arcount1 != arcount2 || arcount1 < 0) {
Ken Chenbab50142019-03-19 17:41:28 +0800900 LOG(INFO) << __func__ << ": different ARCOUNT";
Bernie Innocenti55864192018-08-30 04:05:20 +0900901 return 0;
902 }
903
904 /* compare the QDCOUNT QRs */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900905 for (; count1 > 0; count1--) {
Bernie Innocenti55864192018-08-30 04:05:20 +0900906 if (!_dnsPacket_isEqualQR(pack1, pack2)) {
Ken Chenbab50142019-03-19 17:41:28 +0800907 LOG(INFO) << __func__ << ": different QR";
Bernie Innocenti55864192018-08-30 04:05:20 +0900908 return 0;
909 }
910 }
911
912 /* compare the ARCOUNT RRs */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900913 for (; arcount1 > 0; arcount1--) {
Bernie Innocenti55864192018-08-30 04:05:20 +0900914 if (!_dnsPacket_isEqualRR(pack1, pack2)) {
Ken Chenbab50142019-03-19 17:41:28 +0800915 LOG(INFO) << __func__ << ": different additional RR";
Bernie Innocenti55864192018-08-30 04:05:20 +0900916 return 0;
917 }
918 }
919 return 1;
920}
921
Bernie Innocenti55864192018-08-30 04:05:20 +0900922/* cache entry. for simplicity, 'hash' and 'hlink' are inlined in this
923 * structure though they are conceptually part of the hash table.
924 *
925 * similarly, mru_next and mru_prev are part of the global MRU list
926 */
927typedef struct Entry {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900928 unsigned int hash; /* hash value */
929 struct Entry* hlink; /* next in collision chain */
930 struct Entry* mru_prev;
931 struct Entry* mru_next;
Bernie Innocenti55864192018-08-30 04:05:20 +0900932
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900933 const uint8_t* query;
934 int querylen;
935 const uint8_t* answer;
936 int answerlen;
937 time_t expires; /* time_t when the entry isn't valid any more */
938 int id; /* for debugging purpose */
Bernie Innocenti55864192018-08-30 04:05:20 +0900939} Entry;
940
Bernie Innocenti1f4a9fd2018-09-07 21:10:25 +0900941/*
Bernie Innocenti55864192018-08-30 04:05:20 +0900942 * Find the TTL for a negative DNS result. This is defined as the minimum
943 * of the SOA records TTL and the MINIMUM-TTL field (RFC-2308).
944 *
945 * Return 0 if not found.
946 */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900947static u_long answer_getNegativeTTL(ns_msg handle) {
Bernie Innocenti55864192018-08-30 04:05:20 +0900948 int n, nscount;
949 u_long result = 0;
950 ns_rr rr;
951
952 nscount = ns_msg_count(handle, ns_s_ns);
953 for (n = 0; n < nscount; n++) {
954 if ((ns_parserr(&handle, ns_s_ns, n, &rr) == 0) && (ns_rr_type(rr) == ns_t_soa)) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900955 const u_char* rdata = ns_rr_rdata(rr); // find the data
956 const u_char* edata = rdata + ns_rr_rdlen(rr); // add the len to find the end
Bernie Innocenti55864192018-08-30 04:05:20 +0900957 int len;
958 u_long ttl, rec_result = ns_rr_ttl(rr);
959
960 // find the MINIMUM-TTL field from the blob of binary data for this record
961 // skip the server name
962 len = dn_skipname(rdata, edata);
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900963 if (len == -1) continue; // error skipping
Bernie Innocenti55864192018-08-30 04:05:20 +0900964 rdata += len;
965
966 // skip the admin name
967 len = dn_skipname(rdata, edata);
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900968 if (len == -1) continue; // error skipping
Bernie Innocenti55864192018-08-30 04:05:20 +0900969 rdata += len;
970
Bernie Innocentif12d5bb2018-08-31 14:09:46 +0900971 if (edata - rdata != 5 * NS_INT32SZ) continue;
Bernie Innocenti55864192018-08-30 04:05:20 +0900972 // skip: serial number + refresh interval + retry interval + expiry
973 rdata += NS_INT32SZ * 4;
974 // finally read the MINIMUM TTL
975 ttl = ns_get32(rdata);
976 if (ttl < rec_result) {
977 rec_result = ttl;
978 }
979 // Now that the record is read successfully, apply the new min TTL
980 if (n == 0 || rec_result < result) {
981 result = rec_result;
982 }
983 }
984 }
985 return result;
986}
987
Bernie Innocenti1f4a9fd2018-09-07 21:10:25 +0900988/*
Bernie Innocenti55864192018-08-30 04:05:20 +0900989 * Parse the answer records and find the appropriate
990 * smallest TTL among the records. This might be from
991 * the answer records if found or from the SOA record
992 * if it's a negative result.
993 *
994 * The returned TTL is the number of seconds to
995 * keep the answer in the cache.
996 *
997 * In case of parse error zero (0) is returned which
998 * indicates that the answer shall not be cached.
999 */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001000static u_long answer_getTTL(const void* answer, int answerlen) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001001 ns_msg handle;
1002 int ancount, n;
1003 u_long result, ttl;
1004 ns_rr rr;
1005
1006 result = 0;
Bernie Innocenti1f4a9fd2018-09-07 21:10:25 +09001007 if (ns_initparse((const uint8_t*) answer, answerlen, &handle) >= 0) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001008 // get number of answer records
1009 ancount = ns_msg_count(handle, ns_s_an);
1010
1011 if (ancount == 0) {
1012 // a response with no answers? Cache this negative result.
1013 result = answer_getNegativeTTL(handle);
1014 } else {
1015 for (n = 0; n < ancount; n++) {
1016 if (ns_parserr(&handle, ns_s_an, n, &rr) == 0) {
1017 ttl = ns_rr_ttl(rr);
1018 if (n == 0 || ttl < result) {
1019 result = ttl;
1020 }
1021 } else {
Ken Chenbab50142019-03-19 17:41:28 +08001022 PLOG(INFO) << __func__ << ": ns_parserr failed ancount no = " << n;
Bernie Innocenti55864192018-08-30 04:05:20 +09001023 }
1024 }
1025 }
1026 } else {
Ken Chenbab50142019-03-19 17:41:28 +08001027 PLOG(INFO) << __func__ << ": ns_initparse failed";
Bernie Innocenti55864192018-08-30 04:05:20 +09001028 }
1029
Ken Chenbab50142019-03-19 17:41:28 +08001030 LOG(INFO) << __func__ << ": TTL = " << result;
Bernie Innocenti55864192018-08-30 04:05:20 +09001031 return result;
1032}
1033
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001034static void entry_free(Entry* e) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001035 /* everything is allocated in a single memory block */
1036 if (e) {
1037 free(e);
1038 }
1039}
1040
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001041static void entry_mru_remove(Entry* e) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001042 e->mru_prev->mru_next = e->mru_next;
1043 e->mru_next->mru_prev = e->mru_prev;
1044}
1045
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001046static void entry_mru_add(Entry* e, Entry* list) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001047 Entry* first = list->mru_next;
Bernie Innocenti55864192018-08-30 04:05:20 +09001048
1049 e->mru_next = first;
1050 e->mru_prev = list;
1051
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001052 list->mru_next = e;
Bernie Innocenti55864192018-08-30 04:05:20 +09001053 first->mru_prev = e;
1054}
1055
1056/* compute the hash of a given entry, this is a hash of most
1057 * data in the query (key) */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001058static unsigned entry_hash(const Entry* e) {
1059 DnsPacket pack[1];
Bernie Innocenti55864192018-08-30 04:05:20 +09001060
1061 _dnsPacket_init(pack, e->query, e->querylen);
1062 return _dnsPacket_hashQuery(pack);
1063}
1064
1065/* initialize an Entry as a search key, this also checks the input query packet
1066 * returns 1 on success, or 0 in case of unsupported/malformed data */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001067static int entry_init_key(Entry* e, const void* query, int querylen) {
1068 DnsPacket pack[1];
Bernie Innocenti55864192018-08-30 04:05:20 +09001069
1070 memset(e, 0, sizeof(*e));
1071
Bernie Innocenti1f4a9fd2018-09-07 21:10:25 +09001072 e->query = (const uint8_t*) query;
Bernie Innocenti55864192018-08-30 04:05:20 +09001073 e->querylen = querylen;
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001074 e->hash = entry_hash(e);
Bernie Innocenti55864192018-08-30 04:05:20 +09001075
Bernie Innocenti1f4a9fd2018-09-07 21:10:25 +09001076 _dnsPacket_init(pack, e->query, e->querylen);
Bernie Innocenti55864192018-08-30 04:05:20 +09001077
1078 return _dnsPacket_checkQuery(pack);
1079}
1080
1081/* allocate a new entry as a cache node */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001082static Entry* entry_alloc(const Entry* init, const void* answer, int answerlen) {
1083 Entry* e;
1084 int size;
Bernie Innocenti55864192018-08-30 04:05:20 +09001085
1086 size = sizeof(*e) + init->querylen + answerlen;
Bernie Innocenti1f4a9fd2018-09-07 21:10:25 +09001087 e = (Entry*) calloc(size, 1);
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001088 if (e == NULL) return e;
Bernie Innocenti55864192018-08-30 04:05:20 +09001089
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001090 e->hash = init->hash;
1091 e->query = (const uint8_t*) (e + 1);
Bernie Innocenti55864192018-08-30 04:05:20 +09001092 e->querylen = init->querylen;
1093
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001094 memcpy((char*) e->query, init->query, e->querylen);
Bernie Innocenti55864192018-08-30 04:05:20 +09001095
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001096 e->answer = e->query + e->querylen;
Bernie Innocenti55864192018-08-30 04:05:20 +09001097 e->answerlen = answerlen;
1098
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001099 memcpy((char*) e->answer, answer, e->answerlen);
Bernie Innocenti55864192018-08-30 04:05:20 +09001100
1101 return e;
1102}
1103
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001104static int entry_equals(const Entry* e1, const Entry* e2) {
1105 DnsPacket pack1[1], pack2[1];
Bernie Innocenti55864192018-08-30 04:05:20 +09001106
1107 if (e1->querylen != e2->querylen) {
1108 return 0;
1109 }
1110 _dnsPacket_init(pack1, e1->query, e1->querylen);
1111 _dnsPacket_init(pack2, e2->query, e2->querylen);
1112
1113 return _dnsPacket_isEqualQuery(pack1, pack2);
1114}
1115
Bernie Innocenti55864192018-08-30 04:05:20 +09001116/* We use a simple hash table with external collision lists
1117 * for simplicity, the hash-table fields 'hash' and 'hlink' are
1118 * inlined in the Entry structure.
1119 */
1120
1121/* Maximum time for a thread to wait for an pending request */
Ken Chen2a429352018-12-22 21:46:55 +08001122constexpr int PENDING_REQUEST_TIMEOUT = 20;
Bernie Innocenti55864192018-08-30 04:05:20 +09001123
1124typedef struct resolv_cache {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001125 int max_entries;
1126 int num_entries;
1127 Entry mru_list;
1128 int last_id;
1129 Entry* entries;
Ken Chen2a429352018-12-22 21:46:55 +08001130 struct pending_req_info {
1131 unsigned int hash;
1132 struct pending_req_info* next;
1133 } pending_requests;
Bernie Innocenti55864192018-08-30 04:05:20 +09001134} Cache;
1135
1136struct resolv_cache_info {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001137 unsigned netid;
1138 Cache* cache;
1139 struct resolv_cache_info* next;
1140 int nscount;
1141 char* nameservers[MAXNS];
1142 struct addrinfo* nsaddrinfo[MAXNS];
1143 int revision_id; // # times the nameservers have been replaced
Bernie Innocenti34de3ba2019-02-19 18:08:36 +09001144 res_params params;
Bernie Innocenti189eb502018-10-01 23:10:18 +09001145 struct res_stats nsstats[MAXNS];
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001146 char defdname[MAXDNSRCHPATH];
1147 int dnsrch_offset[MAXDNSRCH + 1]; // offsets into defdname
Ken Chen2a429352018-12-22 21:46:55 +08001148 int wait_for_pending_req_timeout_count;
Bernie Innocenti55864192018-08-30 04:05:20 +09001149};
1150
Ken Chen2a429352018-12-22 21:46:55 +08001151// A helper class for the Clang Thread Safety Analysis to deal with
1152// std::unique_lock.
1153class SCOPED_CAPABILITY ScopedAssumeLocked {
1154 public:
1155 ScopedAssumeLocked(std::mutex& mutex) ACQUIRE(mutex) {}
1156 ~ScopedAssumeLocked() RELEASE() {}
1157};
Bernie Innocenti55864192018-08-30 04:05:20 +09001158
Ken Chen2a429352018-12-22 21:46:55 +08001159// lock protecting everything in the resolve_cache_info structs (next ptr, etc)
1160static std::mutex cache_mutex;
1161static std::condition_variable cv;
Bernie Innocenti55864192018-08-30 04:05:20 +09001162
1163/* gets cache associated with a network, or NULL if none exists */
Ken Chen2a429352018-12-22 21:46:55 +08001164static struct resolv_cache* find_named_cache_locked(unsigned netid) REQUIRES(cache_mutex);
1165static resolv_cache* get_res_cache_for_net_locked(unsigned netid) REQUIRES(cache_mutex);
Bernie Innocenti55864192018-08-30 04:05:20 +09001166
Ken Chen2a429352018-12-22 21:46:55 +08001167static void cache_flush_pending_requests_locked(struct resolv_cache* cache) {
1168 resolv_cache::pending_req_info *ri, *tmp;
1169 if (!cache) return;
Bernie Innocenti55864192018-08-30 04:05:20 +09001170
Ken Chen2a429352018-12-22 21:46:55 +08001171 ri = cache->pending_requests.next;
Bernie Innocenti55864192018-08-30 04:05:20 +09001172
Ken Chen2a429352018-12-22 21:46:55 +08001173 while (ri) {
1174 tmp = ri;
1175 ri = ri->next;
1176 free(tmp);
Bernie Innocenti55864192018-08-30 04:05:20 +09001177 }
1178
Ken Chen2a429352018-12-22 21:46:55 +08001179 cache->pending_requests.next = NULL;
1180 cv.notify_all();
Bernie Innocenti55864192018-08-30 04:05:20 +09001181}
1182
Ken Chen2a429352018-12-22 21:46:55 +08001183// Return true - if there is a pending request in |cache| matching |key|.
1184// Return false - if no pending request is found matching the key. Optionally
1185// link a new one if parameter append_if_not_found is true.
1186static bool cache_has_pending_request_locked(resolv_cache* cache, const Entry* key,
1187 bool append_if_not_found) {
1188 if (!cache || !key) return false;
Bernie Innocenti55864192018-08-30 04:05:20 +09001189
Ken Chen2a429352018-12-22 21:46:55 +08001190 resolv_cache::pending_req_info* ri = cache->pending_requests.next;
1191 resolv_cache::pending_req_info* prev = &cache->pending_requests;
1192 while (ri) {
1193 if (ri->hash == key->hash) {
1194 return true;
Bernie Innocenti55864192018-08-30 04:05:20 +09001195 }
Ken Chen2a429352018-12-22 21:46:55 +08001196 prev = ri;
1197 ri = ri->next;
1198 }
Bernie Innocenti55864192018-08-30 04:05:20 +09001199
Ken Chen2a429352018-12-22 21:46:55 +08001200 if (append_if_not_found) {
1201 ri = (resolv_cache::pending_req_info*)calloc(1, sizeof(resolv_cache::pending_req_info));
Bernie Innocenti55864192018-08-30 04:05:20 +09001202 if (ri) {
Ken Chen2a429352018-12-22 21:46:55 +08001203 ri->hash = key->hash;
1204 prev->next = ri;
Bernie Innocenti55864192018-08-30 04:05:20 +09001205 }
1206 }
Ken Chen2a429352018-12-22 21:46:55 +08001207 return false;
1208}
1209
1210// Notify all threads that the cache entry |key| has become available
1211static void _cache_notify_waiting_tid_locked(struct resolv_cache* cache, const Entry* key) {
1212 if (!cache || !key) return;
1213
1214 resolv_cache::pending_req_info* ri = cache->pending_requests.next;
1215 resolv_cache::pending_req_info* prev = &cache->pending_requests;
1216 while (ri) {
1217 if (ri->hash == key->hash) {
1218 // remove item from list and destroy
1219 prev->next = ri->next;
1220 free(ri);
1221 cv.notify_all();
1222 return;
1223 }
1224 prev = ri;
1225 ri = ri->next;
1226 }
Bernie Innocenti55864192018-08-30 04:05:20 +09001227}
1228
Luke Huang952d0942018-12-26 16:53:03 +08001229void _resolv_cache_query_failed(unsigned netid, const void* query, int querylen, uint32_t flags) {
1230 // We should not notify with these flags.
1231 if (flags & (ANDROID_RESOLV_NO_CACHE_STORE | ANDROID_RESOLV_NO_CACHE_LOOKUP)) {
1232 return;
1233 }
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001234 Entry key[1];
1235 Cache* cache;
Bernie Innocenti55864192018-08-30 04:05:20 +09001236
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001237 if (!entry_init_key(key, query, querylen)) return;
Bernie Innocenti55864192018-08-30 04:05:20 +09001238
Ken Chen2a429352018-12-22 21:46:55 +08001239 std::lock_guard guard(cache_mutex);
Bernie Innocenti55864192018-08-30 04:05:20 +09001240
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001241 cache = find_named_cache_locked(netid);
Bernie Innocenti55864192018-08-30 04:05:20 +09001242
1243 if (cache) {
1244 _cache_notify_waiting_tid_locked(cache, key);
1245 }
Bernie Innocenti55864192018-08-30 04:05:20 +09001246}
1247
Bernie Innocentid2b27032018-12-18 19:53:42 +09001248static void cache_flush_locked(Cache* cache) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001249 int nn;
Bernie Innocenti55864192018-08-30 04:05:20 +09001250
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001251 for (nn = 0; nn < cache->max_entries; nn++) {
1252 Entry** pnode = (Entry**) &cache->entries[nn];
Bernie Innocenti55864192018-08-30 04:05:20 +09001253
1254 while (*pnode != NULL) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001255 Entry* node = *pnode;
Bernie Innocenti55864192018-08-30 04:05:20 +09001256 *pnode = node->hlink;
1257 entry_free(node);
1258 }
1259 }
1260
1261 // flush pending request
Ken Chen2a429352018-12-22 21:46:55 +08001262 cache_flush_pending_requests_locked(cache);
Bernie Innocenti55864192018-08-30 04:05:20 +09001263
1264 cache->mru_list.mru_next = cache->mru_list.mru_prev = &cache->mru_list;
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001265 cache->num_entries = 0;
1266 cache->last_id = 0;
Bernie Innocenti55864192018-08-30 04:05:20 +09001267
Ken Chenbab50142019-03-19 17:41:28 +08001268 LOG(INFO) << __func__ << ": *** DNS CACHE FLUSHED ***";
Bernie Innocenti55864192018-08-30 04:05:20 +09001269}
1270
Ken Chen2a429352018-12-22 21:46:55 +08001271static resolv_cache* resolv_cache_create() {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001272 struct resolv_cache* cache;
Bernie Innocenti55864192018-08-30 04:05:20 +09001273
Bernie Innocenti1f4a9fd2018-09-07 21:10:25 +09001274 cache = (struct resolv_cache*) calloc(sizeof(*cache), 1);
Bernie Innocenti55864192018-08-30 04:05:20 +09001275 if (cache) {
nuccachen989d2232018-11-29 17:41:12 +08001276 cache->max_entries = CONFIG_MAX_ENTRIES;
Bernie Innocenti1f4a9fd2018-09-07 21:10:25 +09001277 cache->entries = (Entry*) calloc(sizeof(*cache->entries), cache->max_entries);
Bernie Innocenti55864192018-08-30 04:05:20 +09001278 if (cache->entries) {
1279 cache->mru_list.mru_prev = cache->mru_list.mru_next = &cache->mru_list;
chenbruce16adee42019-02-20 19:45:50 +08001280 LOG(INFO) << __func__ << ": cache created";
Bernie Innocenti55864192018-08-30 04:05:20 +09001281 } else {
1282 free(cache);
1283 cache = NULL;
1284 }
1285 }
1286 return cache;
1287}
1288
Bernie Innocentie9ba09c2018-09-12 23:20:10 +09001289static void dump_query(const uint8_t* query, int querylen) {
Ken Chenbab50142019-03-19 17:41:28 +08001290 if (!WOULD_LOG(VERBOSE)) return;
1291
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001292 char temp[256], *p = temp, *end = p + sizeof(temp);
1293 DnsPacket pack[1];
Bernie Innocenti55864192018-08-30 04:05:20 +09001294
1295 _dnsPacket_init(pack, query, querylen);
Bernie Innocentie9ba09c2018-09-12 23:20:10 +09001296 p = dnsPacket_bprintQuery(pack, p, end);
Ken Chenbab50142019-03-19 17:41:28 +08001297 LOG(VERBOSE) << __func__ << ": " << temp;
Bernie Innocenti55864192018-08-30 04:05:20 +09001298}
1299
Bernie Innocentie9ba09c2018-09-12 23:20:10 +09001300static void cache_dump_mru(Cache* cache) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001301 char temp[512], *p = temp, *end = p + sizeof(temp);
1302 Entry* e;
Bernie Innocenti55864192018-08-30 04:05:20 +09001303
Bernie Innocentie9ba09c2018-09-12 23:20:10 +09001304 p = bprint(temp, end, "MRU LIST (%2d): ", cache->num_entries);
Bernie Innocenti55864192018-08-30 04:05:20 +09001305 for (e = cache->mru_list.mru_next; e != &cache->mru_list; e = e->mru_next)
Bernie Innocentie9ba09c2018-09-12 23:20:10 +09001306 p = bprint(p, end, " %d", e->id);
Bernie Innocenti55864192018-08-30 04:05:20 +09001307
Ken Chenbab50142019-03-19 17:41:28 +08001308 LOG(INFO) << __func__ << ": " << temp;
Bernie Innocenti55864192018-08-30 04:05:20 +09001309}
1310
Bernie Innocenti55864192018-08-30 04:05:20 +09001311/* This function tries to find a key within the hash table
1312 * In case of success, it will return a *pointer* to the hashed key.
1313 * In case of failure, it will return a *pointer* to NULL
1314 *
1315 * So, the caller must check '*result' to check for success/failure.
1316 *
1317 * The main idea is that the result can later be used directly in
1318 * calls to _resolv_cache_add or _resolv_cache_remove as the 'lookup'
1319 * parameter. This makes the code simpler and avoids re-searching
1320 * for the key position in the htable.
1321 *
1322 * The result of a lookup_p is only valid until you alter the hash
1323 * table.
1324 */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001325static Entry** _cache_lookup_p(Cache* cache, Entry* key) {
1326 int index = key->hash % cache->max_entries;
1327 Entry** pnode = (Entry**) &cache->entries[index];
Bernie Innocenti55864192018-08-30 04:05:20 +09001328
1329 while (*pnode != NULL) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001330 Entry* node = *pnode;
Bernie Innocenti55864192018-08-30 04:05:20 +09001331
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001332 if (node == NULL) break;
Bernie Innocenti55864192018-08-30 04:05:20 +09001333
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001334 if (node->hash == key->hash && entry_equals(node, key)) break;
Bernie Innocenti55864192018-08-30 04:05:20 +09001335
1336 pnode = &node->hlink;
1337 }
1338 return pnode;
1339}
1340
1341/* Add a new entry to the hash table. 'lookup' must be the
1342 * result of an immediate previous failed _lookup_p() call
1343 * (i.e. with *lookup == NULL), and 'e' is the pointer to the
1344 * newly created entry
1345 */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001346static void _cache_add_p(Cache* cache, Entry** lookup, Entry* e) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001347 *lookup = e;
1348 e->id = ++cache->last_id;
1349 entry_mru_add(e, &cache->mru_list);
1350 cache->num_entries += 1;
1351
chenbruce16adee42019-02-20 19:45:50 +08001352 LOG(INFO) << __func__ << ": entry " << e->id << " added (count=" << cache->num_entries << ")";
Bernie Innocenti55864192018-08-30 04:05:20 +09001353}
1354
1355/* Remove an existing entry from the hash table,
1356 * 'lookup' must be the result of an immediate previous
1357 * and succesful _lookup_p() call.
1358 */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001359static void _cache_remove_p(Cache* cache, Entry** lookup) {
1360 Entry* e = *lookup;
Bernie Innocenti55864192018-08-30 04:05:20 +09001361
chenbruce16adee42019-02-20 19:45:50 +08001362 LOG(INFO) << __func__ << ": entry " << e->id << " removed (count=" << cache->num_entries - 1
1363 << ")";
Bernie Innocenti55864192018-08-30 04:05:20 +09001364
1365 entry_mru_remove(e);
1366 *lookup = e->hlink;
1367 entry_free(e);
1368 cache->num_entries -= 1;
1369}
1370
1371/* Remove the oldest entry from the hash table.
1372 */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001373static void _cache_remove_oldest(Cache* cache) {
1374 Entry* oldest = cache->mru_list.mru_prev;
1375 Entry** lookup = _cache_lookup_p(cache, oldest);
Bernie Innocenti55864192018-08-30 04:05:20 +09001376
1377 if (*lookup == NULL) { /* should not happen */
chenbruce16adee42019-02-20 19:45:50 +08001378 LOG(INFO) << __func__ << ": OLDEST NOT IN HTABLE ?";
Bernie Innocenti55864192018-08-30 04:05:20 +09001379 return;
1380 }
Ken Chenbab50142019-03-19 17:41:28 +08001381 LOG(INFO) << __func__ << ": Cache full - removing oldest";
Bernie Innocentie9ba09c2018-09-12 23:20:10 +09001382 dump_query(oldest->query, oldest->querylen);
Bernie Innocenti55864192018-08-30 04:05:20 +09001383 _cache_remove_p(cache, lookup);
1384}
1385
1386/* Remove all expired entries from the hash table.
1387 */
1388static void _cache_remove_expired(Cache* cache) {
1389 Entry* e;
1390 time_t now = _time_now();
1391
1392 for (e = cache->mru_list.mru_next; e != &cache->mru_list;) {
1393 // Entry is old, remove
1394 if (now >= e->expires) {
1395 Entry** lookup = _cache_lookup_p(cache, e);
1396 if (*lookup == NULL) { /* should not happen */
chenbruce16adee42019-02-20 19:45:50 +08001397 LOG(INFO) << __func__ << ": ENTRY NOT IN HTABLE ?";
Bernie Innocenti55864192018-08-30 04:05:20 +09001398 return;
1399 }
1400 e = e->mru_next;
1401 _cache_remove_p(cache, lookup);
1402 } else {
1403 e = e->mru_next;
1404 }
1405 }
1406}
1407
Ken Chen2a429352018-12-22 21:46:55 +08001408// gets a resolv_cache_info associated with a network, or NULL if not found
1409static resolv_cache_info* find_cache_info_locked(unsigned netid) REQUIRES(cache_mutex);
1410
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001411ResolvCacheStatus _resolv_cache_lookup(unsigned netid, const void* query, int querylen,
Luke Huang952d0942018-12-26 16:53:03 +08001412 void* answer, int answersize, int* answerlen,
1413 uint32_t flags) {
1414 if (flags & ANDROID_RESOLV_NO_CACHE_LOOKUP) {
1415 return RESOLV_CACHE_SKIP;
1416 }
Ken Chen2a429352018-12-22 21:46:55 +08001417 Entry key;
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001418 Entry** lookup;
1419 Entry* e;
1420 time_t now;
1421 Cache* cache;
Bernie Innocenti55864192018-08-30 04:05:20 +09001422
chenbruce16adee42019-02-20 19:45:50 +08001423 LOG(INFO) << __func__ << ": lookup";
Bernie Innocentie9ba09c2018-09-12 23:20:10 +09001424 dump_query((u_char*) query, querylen);
Bernie Innocenti55864192018-08-30 04:05:20 +09001425
1426 /* we don't cache malformed queries */
Ken Chen2a429352018-12-22 21:46:55 +08001427 if (!entry_init_key(&key, query, querylen)) {
chenbruce16adee42019-02-20 19:45:50 +08001428 LOG(INFO) << __func__ << ": unsupported query";
Bernie Innocenti55864192018-08-30 04:05:20 +09001429 return RESOLV_CACHE_UNSUPPORTED;
1430 }
1431 /* lookup cache */
Ken Chen2a429352018-12-22 21:46:55 +08001432 std::unique_lock lock(cache_mutex);
1433 ScopedAssumeLocked assume_lock(cache_mutex);
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001434 cache = find_named_cache_locked(netid);
Bernie Innocenti55864192018-08-30 04:05:20 +09001435 if (cache == NULL) {
Ken Chen2a429352018-12-22 21:46:55 +08001436 return RESOLV_CACHE_UNSUPPORTED;
Bernie Innocenti55864192018-08-30 04:05:20 +09001437 }
1438
1439 /* see the description of _lookup_p to understand this.
1440 * the function always return a non-NULL pointer.
1441 */
Ken Chen2a429352018-12-22 21:46:55 +08001442 lookup = _cache_lookup_p(cache, &key);
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001443 e = *lookup;
Bernie Innocenti55864192018-08-30 04:05:20 +09001444
1445 if (e == NULL) {
Ken Chenbab50142019-03-19 17:41:28 +08001446 LOG(INFO) << __func__ << ": NOT IN CACHE";
Luke Huang952d0942018-12-26 16:53:03 +08001447 // If it is no-cache-store mode, we won't wait for possible query.
1448 if (flags & ANDROID_RESOLV_NO_CACHE_STORE) {
Ken Chen2a429352018-12-22 21:46:55 +08001449 return RESOLV_CACHE_SKIP;
Luke Huang952d0942018-12-26 16:53:03 +08001450 }
Ken Chen2a429352018-12-22 21:46:55 +08001451
1452 if (!cache_has_pending_request_locked(cache, &key, true)) {
1453 return RESOLV_CACHE_NOTFOUND;
1454
Bernie Innocenti55864192018-08-30 04:05:20 +09001455 } else {
Ken Chenbab50142019-03-19 17:41:28 +08001456 LOG(INFO) << __func__ << ": Waiting for previous request";
Ken Chen2a429352018-12-22 21:46:55 +08001457 // wait until (1) timeout OR
1458 // (2) cv is notified AND no pending request matching the |key|
1459 // (cv notifier should delete pending request before sending notification.)
1460 bool ret = cv.wait_for(lock, std::chrono::seconds(PENDING_REQUEST_TIMEOUT),
1461 [netid, &cache, &key]() REQUIRES(cache_mutex) {
1462 // Must update cache as it could have been deleted
1463 cache = find_named_cache_locked(netid);
1464 return !cache_has_pending_request_locked(cache, &key, false);
1465 });
Ken Chen111c1ba2019-02-21 03:50:11 +08001466 if (!cache) {
1467 return RESOLV_CACHE_NOTFOUND;
1468 }
Ken Chen2a429352018-12-22 21:46:55 +08001469 if (ret == false) {
1470 resolv_cache_info* info = find_cache_info_locked(netid);
1471 if (info != NULL) {
1472 info->wait_for_pending_req_timeout_count++;
1473 }
1474 }
1475 lookup = _cache_lookup_p(cache, &key);
Bernie Innocenti55864192018-08-30 04:05:20 +09001476 e = *lookup;
1477 if (e == NULL) {
Ken Chen2a429352018-12-22 21:46:55 +08001478 return RESOLV_CACHE_NOTFOUND;
Bernie Innocenti55864192018-08-30 04:05:20 +09001479 }
1480 }
1481 }
1482
1483 now = _time_now();
1484
1485 /* remove stale entries here */
1486 if (now >= e->expires) {
Ken Chenbab50142019-03-19 17:41:28 +08001487 LOG(INFO) << __func__ << ": NOT IN CACHE (STALE ENTRY " << *lookup << "DISCARDED)";
Bernie Innocentie9ba09c2018-09-12 23:20:10 +09001488 dump_query(e->query, e->querylen);
Bernie Innocenti55864192018-08-30 04:05:20 +09001489 _cache_remove_p(cache, lookup);
Ken Chen2a429352018-12-22 21:46:55 +08001490 return RESOLV_CACHE_NOTFOUND;
Bernie Innocenti55864192018-08-30 04:05:20 +09001491 }
1492
1493 *answerlen = e->answerlen;
1494 if (e->answerlen > answersize) {
1495 /* NOTE: we return UNSUPPORTED if the answer buffer is too short */
Ken Chenbab50142019-03-19 17:41:28 +08001496 LOG(INFO) << __func__ << ": ANSWER TOO LONG";
Ken Chen2a429352018-12-22 21:46:55 +08001497 return RESOLV_CACHE_UNSUPPORTED;
Bernie Innocenti55864192018-08-30 04:05:20 +09001498 }
1499
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001500 memcpy(answer, e->answer, e->answerlen);
Bernie Innocenti55864192018-08-30 04:05:20 +09001501
1502 /* bump up this entry to the top of the MRU list */
1503 if (e != cache->mru_list.mru_next) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001504 entry_mru_remove(e);
1505 entry_mru_add(e, &cache->mru_list);
Bernie Innocenti55864192018-08-30 04:05:20 +09001506 }
1507
Ken Chenbab50142019-03-19 17:41:28 +08001508 LOG(INFO) << __func__ << ": FOUND IN CACHE entry=" << e;
Ken Chen2a429352018-12-22 21:46:55 +08001509 return RESOLV_CACHE_FOUND;
Bernie Innocenti55864192018-08-30 04:05:20 +09001510}
1511
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001512void _resolv_cache_add(unsigned netid, const void* query, int querylen, const void* answer,
1513 int answerlen) {
1514 Entry key[1];
1515 Entry* e;
1516 Entry** lookup;
1517 u_long ttl;
1518 Cache* cache = NULL;
Bernie Innocenti55864192018-08-30 04:05:20 +09001519
1520 /* don't assume that the query has already been cached
1521 */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001522 if (!entry_init_key(key, query, querylen)) {
chenbruce16adee42019-02-20 19:45:50 +08001523 LOG(INFO) << __func__ << ": passed invalid query?";
Bernie Innocenti55864192018-08-30 04:05:20 +09001524 return;
1525 }
1526
Ken Chen2a429352018-12-22 21:46:55 +08001527 std::lock_guard guard(cache_mutex);
Bernie Innocenti55864192018-08-30 04:05:20 +09001528
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001529 cache = find_named_cache_locked(netid);
Bernie Innocenti55864192018-08-30 04:05:20 +09001530 if (cache == NULL) {
Ken Chen2a429352018-12-22 21:46:55 +08001531 return;
Bernie Innocenti55864192018-08-30 04:05:20 +09001532 }
1533
chenbruce16adee42019-02-20 19:45:50 +08001534 LOG(INFO) << __func__ << ": query:";
chenbrucee8911f92019-03-06 13:52:43 +08001535 dump_query((u_char*)query, querylen);
1536 res_pquery((u_char*)answer, answerlen);
Bernie Innocentie9ba09c2018-09-12 23:20:10 +09001537 if (kDumpData) {
Ken Chenbab50142019-03-19 17:41:28 +08001538 LOG(INFO) << __func__ << ": answer:";
chenbrucee8911f92019-03-06 13:52:43 +08001539 dump_bytes((u_char*)answer, answerlen);
Bernie Innocentie9ba09c2018-09-12 23:20:10 +09001540 }
Bernie Innocenti55864192018-08-30 04:05:20 +09001541
1542 lookup = _cache_lookup_p(cache, key);
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001543 e = *lookup;
Bernie Innocenti55864192018-08-30 04:05:20 +09001544
1545 if (e != NULL) { /* should not happen */
chenbruce16adee42019-02-20 19:45:50 +08001546 LOG(INFO) << __func__ << ": ALREADY IN CACHE (" << e << ") ? IGNORING ADD";
Ken Chen2a429352018-12-22 21:46:55 +08001547 _cache_notify_waiting_tid_locked(cache, key);
1548 return;
Bernie Innocenti55864192018-08-30 04:05:20 +09001549 }
1550
1551 if (cache->num_entries >= cache->max_entries) {
1552 _cache_remove_expired(cache);
1553 if (cache->num_entries >= cache->max_entries) {
1554 _cache_remove_oldest(cache);
1555 }
1556 /* need to lookup again */
1557 lookup = _cache_lookup_p(cache, key);
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001558 e = *lookup;
Bernie Innocenti55864192018-08-30 04:05:20 +09001559 if (e != NULL) {
chenbruce16adee42019-02-20 19:45:50 +08001560 LOG(INFO) << __func__ << ": ALREADY IN CACHE (" << e << ") ? IGNORING ADD";
Ken Chen2a429352018-12-22 21:46:55 +08001561 _cache_notify_waiting_tid_locked(cache, key);
1562 return;
Bernie Innocenti55864192018-08-30 04:05:20 +09001563 }
1564 }
1565
1566 ttl = answer_getTTL(answer, answerlen);
1567 if (ttl > 0) {
1568 e = entry_alloc(key, answer, answerlen);
1569 if (e != NULL) {
1570 e->expires = ttl + _time_now();
1571 _cache_add_p(cache, lookup, e);
1572 }
1573 }
Bernie Innocentie9ba09c2018-09-12 23:20:10 +09001574
Ken Chen2a429352018-12-22 21:46:55 +08001575 cache_dump_mru(cache);
1576 _cache_notify_waiting_tid_locked(cache, key);
Bernie Innocenti55864192018-08-30 04:05:20 +09001577}
1578
Ken Chen2a429352018-12-22 21:46:55 +08001579// Head of the list of caches.
1580static struct resolv_cache_info res_cache_list GUARDED_BY(cache_mutex);
Bernie Innocenti55864192018-08-30 04:05:20 +09001581
ckenb1a69a42018-12-01 17:45:18 +09001582// insert resolv_cache_info into the list of resolv_cache_infos
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001583static void insert_cache_info_locked(resolv_cache_info* cache_info);
ckenb1a69a42018-12-01 17:45:18 +09001584// creates a resolv_cache_info
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001585static resolv_cache_info* create_cache_info();
ckenb1a69a42018-12-01 17:45:18 +09001586// empty the nameservers set for the named cache
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001587static void free_nameservers_locked(resolv_cache_info* cache_info);
1588// return 1 if the provided list of name servers differs from the list of name servers
1589// currently attached to the provided cache_info
1590static int resolv_is_nameservers_equal_locked(resolv_cache_info* cache_info, const char** servers,
1591 int numservers);
ckenb1a69a42018-12-01 17:45:18 +09001592// clears the stats samples contained withing the given cache_info
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001593static void res_cache_clear_stats_locked(resolv_cache_info* cache_info);
Bernie Innocenti55864192018-08-30 04:05:20 +09001594
ckenb1a69a42018-12-01 17:45:18 +09001595// public API for netd to query if name server is set on specific netid
1596bool resolv_has_nameservers(unsigned netid) {
Ken Chen2a429352018-12-22 21:46:55 +08001597 std::lock_guard guard(cache_mutex);
ckenb1a69a42018-12-01 17:45:18 +09001598 resolv_cache_info* info = find_cache_info_locked(netid);
Ken Chen2a429352018-12-22 21:46:55 +08001599 return (info != nullptr) && (info->nscount > 0);
ckenb1a69a42018-12-01 17:45:18 +09001600}
1601
1602// look up the named cache, and creates one if needed
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001603static resolv_cache* get_res_cache_for_net_locked(unsigned netid) {
1604 resolv_cache* cache = find_named_cache_locked(netid);
Bernie Innocenti55864192018-08-30 04:05:20 +09001605 if (!cache) {
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001606 resolv_cache_info* cache_info = create_cache_info();
Bernie Innocenti55864192018-08-30 04:05:20 +09001607 if (cache_info) {
Ken Chen2a429352018-12-22 21:46:55 +08001608 cache = resolv_cache_create();
Bernie Innocenti55864192018-08-30 04:05:20 +09001609 if (cache) {
1610 cache_info->cache = cache;
1611 cache_info->netid = netid;
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001612 insert_cache_info_locked(cache_info);
Bernie Innocenti55864192018-08-30 04:05:20 +09001613 } else {
1614 free(cache_info);
1615 }
1616 }
1617 }
1618 return cache;
1619}
1620
Bernie Innocenti189eb502018-10-01 23:10:18 +09001621void resolv_delete_cache_for_net(unsigned netid) {
Ken Chen2a429352018-12-22 21:46:55 +08001622 std::lock_guard guard(cache_mutex);
Bernie Innocenti55864192018-08-30 04:05:20 +09001623
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001624 struct resolv_cache_info* prev_cache_info = &res_cache_list;
Bernie Innocenti55864192018-08-30 04:05:20 +09001625
1626 while (prev_cache_info->next) {
1627 struct resolv_cache_info* cache_info = prev_cache_info->next;
1628
1629 if (cache_info->netid == netid) {
1630 prev_cache_info->next = cache_info->next;
Bernie Innocentid2b27032018-12-18 19:53:42 +09001631 cache_flush_locked(cache_info->cache);
Bernie Innocenti55864192018-08-30 04:05:20 +09001632 free(cache_info->cache->entries);
1633 free(cache_info->cache);
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001634 free_nameservers_locked(cache_info);
Bernie Innocenti55864192018-08-30 04:05:20 +09001635 free(cache_info);
1636 break;
1637 }
1638
1639 prev_cache_info = prev_cache_info->next;
1640 }
Bernie Innocenti55864192018-08-30 04:05:20 +09001641}
1642
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001643static resolv_cache_info* create_cache_info() {
Bernie Innocenti1f4a9fd2018-09-07 21:10:25 +09001644 return (struct resolv_cache_info*) calloc(sizeof(struct resolv_cache_info), 1);
Bernie Innocenti55864192018-08-30 04:05:20 +09001645}
1646
Ken Chen2a429352018-12-22 21:46:55 +08001647// TODO: convert this to a simple and efficient C++ container.
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001648static void insert_cache_info_locked(struct resolv_cache_info* cache_info) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001649 struct resolv_cache_info* last;
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001650 for (last = &res_cache_list; last->next; last = last->next) {}
Bernie Innocenti55864192018-08-30 04:05:20 +09001651 last->next = cache_info;
Bernie Innocenti55864192018-08-30 04:05:20 +09001652}
1653
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001654static resolv_cache* find_named_cache_locked(unsigned netid) {
ckenb1a69a42018-12-01 17:45:18 +09001655 resolv_cache_info* info = find_cache_info_locked(netid);
Bernie Innocenti55864192018-08-30 04:05:20 +09001656 if (info != NULL) return info->cache;
Bernie Innocenti55864192018-08-30 04:05:20 +09001657 return NULL;
1658}
1659
ckenb1a69a42018-12-01 17:45:18 +09001660static resolv_cache_info* find_cache_info_locked(unsigned netid) {
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001661 struct resolv_cache_info* cache_info = res_cache_list.next;
Bernie Innocenti55864192018-08-30 04:05:20 +09001662
1663 while (cache_info) {
1664 if (cache_info->netid == netid) {
1665 break;
1666 }
1667
1668 cache_info = cache_info->next;
1669 }
1670 return cache_info;
1671}
1672
Bernie Innocenti34de3ba2019-02-19 18:08:36 +09001673static void resolv_set_default_params(res_params* params) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001674 params->sample_validity = NSSAMPLE_VALIDITY;
1675 params->success_threshold = SUCCESS_THRESHOLD;
1676 params->min_samples = 0;
1677 params->max_samples = 0;
1678 params->base_timeout_msec = 0; // 0 = legacy algorithm
waynemad193e4d2019-02-18 17:47:59 +08001679 params->retry_count = 0;
Bernie Innocenti55864192018-08-30 04:05:20 +09001680}
1681
waynema2371eab2019-01-18 14:02:31 +08001682static void resolv_set_experiment_params(res_params* params) {
1683 using android::base::ParseInt;
1684 using server_configurable_flags::GetServerConfigurableFlag;
1685
1686 if (params->retry_count == 0) {
1687 params->retry_count = RES_DFLRETRY;
1688 ParseInt(GetServerConfigurableFlag("netd_native", "retry_count", ""), &params->retry_count);
1689 }
1690
1691 if (params->base_timeout_msec == 0) {
1692 params->base_timeout_msec = RES_TIMEOUT;
1693 ParseInt(GetServerConfigurableFlag("netd_native", "retransmission_time_interval", ""),
1694 &params->base_timeout_msec);
1695 }
1696}
1697
Bernie Innocenti45238a12018-12-04 14:57:48 +09001698int resolv_set_nameservers_for_net(unsigned netid, const char** servers, const int numservers,
Bernie Innocenti34de3ba2019-02-19 18:08:36 +09001699 const char* domains, const res_params* params) {
Bernie Innocenti1f4a9fd2018-09-07 21:10:25 +09001700 char* cp;
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001701 int* offset;
Bernie Innocenti55864192018-08-30 04:05:20 +09001702 struct addrinfo* nsaddrinfo[MAXNS];
1703
1704 if (numservers > MAXNS) {
Bernie Innocentid017e972019-03-03 19:39:53 +09001705 LOG(ERROR) << __func__ << ": numservers=" << numservers << ", MAXNS=" << MAXNS;
Bernie Innocenti55864192018-08-30 04:05:20 +09001706 return E2BIG;
1707 }
1708
1709 // Parse the addresses before actually locking or changing any state, in case there is an error.
1710 // As a side effect this also reduces the time the lock is kept.
Bernie Innocentic165ce82018-10-16 23:35:28 +09001711 char sbuf[NI_MAXSERV];
Bernie Innocenti55864192018-08-30 04:05:20 +09001712 snprintf(sbuf, sizeof(sbuf), "%u", NAMESERVER_PORT);
Bernie Innocenti45238a12018-12-04 14:57:48 +09001713 for (int i = 0; i < numservers; i++) {
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001714 // The addrinfo structures allocated here are freed in free_nameservers_locked().
Bernie Innocentic165ce82018-10-16 23:35:28 +09001715 const addrinfo hints = {
1716 .ai_family = AF_UNSPEC, .ai_socktype = SOCK_DGRAM, .ai_flags = AI_NUMERICHOST};
1717 int rt = getaddrinfo_numeric(servers[i], sbuf, hints, &nsaddrinfo[i]);
Bernie Innocenti55864192018-08-30 04:05:20 +09001718 if (rt != 0) {
Bernie Innocenti45238a12018-12-04 14:57:48 +09001719 for (int j = 0; j < i; j++) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001720 freeaddrinfo(nsaddrinfo[j]);
Bernie Innocenti55864192018-08-30 04:05:20 +09001721 }
chenbruce16adee42019-02-20 19:45:50 +08001722 LOG(INFO) << __func__ << ": getaddrinfo_numeric(" << servers[i]
1723 << ") = " << gai_strerror(rt);
Bernie Innocenti55864192018-08-30 04:05:20 +09001724 return EINVAL;
1725 }
1726 }
1727
Ken Chen2a429352018-12-22 21:46:55 +08001728 std::lock_guard guard(cache_mutex);
Bernie Innocenti55864192018-08-30 04:05:20 +09001729 // creates the cache if not created
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001730 get_res_cache_for_net_locked(netid);
Bernie Innocenti55864192018-08-30 04:05:20 +09001731
ckenb1a69a42018-12-01 17:45:18 +09001732 resolv_cache_info* cache_info = find_cache_info_locked(netid);
Bernie Innocenti55864192018-08-30 04:05:20 +09001733
1734 if (cache_info != NULL) {
1735 uint8_t old_max_samples = cache_info->params.max_samples;
1736 if (params != NULL) {
1737 cache_info->params = *params;
1738 } else {
Bernie Innocenti1fbca5c2018-10-01 20:46:20 +09001739 resolv_set_default_params(&cache_info->params);
Bernie Innocenti55864192018-08-30 04:05:20 +09001740 }
waynema2371eab2019-01-18 14:02:31 +08001741 resolv_set_experiment_params(&cache_info->params);
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001742 if (!resolv_is_nameservers_equal_locked(cache_info, servers, numservers)) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001743 // free current before adding new
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001744 free_nameservers_locked(cache_info);
Bernie Innocenti45238a12018-12-04 14:57:48 +09001745 for (int i = 0; i < numservers; i++) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001746 cache_info->nsaddrinfo[i] = nsaddrinfo[i];
1747 cache_info->nameservers[i] = strdup(servers[i]);
chenbruce16adee42019-02-20 19:45:50 +08001748 LOG(INFO) << __func__ << ": netid = " << netid << ", addr = " << servers[i];
Bernie Innocenti55864192018-08-30 04:05:20 +09001749 }
1750 cache_info->nscount = numservers;
1751
1752 // Clear the NS statistics because the mapping to nameservers might have changed.
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001753 res_cache_clear_stats_locked(cache_info);
Bernie Innocenti55864192018-08-30 04:05:20 +09001754
1755 // increment the revision id to ensure that sample state is not written back if the
1756 // servers change; in theory it would suffice to do so only if the servers or
1757 // max_samples actually change, in practice the overhead of checking is higher than the
1758 // cost, and overflows are unlikely
1759 ++cache_info->revision_id;
Ken Chen26f01e42018-11-02 13:18:40 +08001760 } else {
1761 if (cache_info->params.max_samples != old_max_samples) {
1762 // If the maximum number of samples changes, the overhead of keeping the most recent
1763 // samples around is not considered worth the effort, so they are cleared instead.
1764 // All other parameters do not affect shared state: Changing these parameters does
1765 // not invalidate the samples, as they only affect aggregation and the conditions
1766 // under which servers are considered usable.
1767 res_cache_clear_stats_locked(cache_info);
1768 ++cache_info->revision_id;
1769 }
Bernie Innocenti45238a12018-12-04 14:57:48 +09001770 for (int j = 0; j < numservers; j++) {
Ken Chen26f01e42018-11-02 13:18:40 +08001771 freeaddrinfo(nsaddrinfo[j]);
1772 }
Bernie Innocenti55864192018-08-30 04:05:20 +09001773 }
1774
1775 // Always update the search paths, since determining whether they actually changed is
1776 // complex due to the zero-padding, and probably not worth the effort. Cache-flushing
Bernie Innocentid017e972019-03-03 19:39:53 +09001777 // however is not necessary, since the stored cache entries do contain the domain, not
Bernie Innocenti55864192018-08-30 04:05:20 +09001778 // just the host name.
Bernie Innocenti55864192018-08-30 04:05:20 +09001779 strlcpy(cache_info->defdname, domains, sizeof(cache_info->defdname));
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001780 if ((cp = strchr(cache_info->defdname, '\n')) != NULL) *cp = '\0';
Bernie Innocentid017e972019-03-03 19:39:53 +09001781 LOG(INFO) << __func__ << ": domains=\"" << cache_info->defdname << "\"";
Bernie Innocenti55864192018-08-30 04:05:20 +09001782
1783 cp = cache_info->defdname;
1784 offset = cache_info->dnsrch_offset;
1785 while (offset < cache_info->dnsrch_offset + MAXDNSRCH) {
1786 while (*cp == ' ' || *cp == '\t') /* skip leading white space */
1787 cp++;
1788 if (*cp == '\0') /* stop if nothing more to do */
1789 break;
1790 *offset++ = cp - cache_info->defdname; /* record this search domain */
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001791 while (*cp) { /* zero-terminate it */
1792 if (*cp == ' ' || *cp == '\t') {
Bernie Innocenti55864192018-08-30 04:05:20 +09001793 *cp++ = '\0';
1794 break;
1795 }
1796 cp++;
1797 }
1798 }
1799 *offset = -1; /* cache_info->dnsrch_offset has MAXDNSRCH+1 items */
1800 }
1801
Bernie Innocenti55864192018-08-30 04:05:20 +09001802 return 0;
1803}
1804
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001805static int resolv_is_nameservers_equal_locked(resolv_cache_info* cache_info, const char** servers,
1806 int numservers) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001807 if (cache_info->nscount != numservers) {
1808 return 0;
1809 }
1810
1811 // Compare each name server against current name servers.
1812 // TODO: this is incorrect if the list of current or previous nameservers
1813 // contains duplicates. This does not really matter because the framework
1814 // filters out duplicates, but we should probably fix it. It's also
1815 // insensitive to the order of the nameservers; we should probably fix that
1816 // too.
1817 for (int i = 0; i < numservers; i++) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001818 for (int j = 0;; j++) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001819 if (j >= numservers) {
1820 return 0;
1821 }
1822 if (strcmp(cache_info->nameservers[i], servers[j]) == 0) {
1823 break;
1824 }
1825 }
1826 }
1827
1828 return 1;
1829}
1830
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001831static void free_nameservers_locked(resolv_cache_info* cache_info) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001832 int i;
1833 for (i = 0; i < cache_info->nscount; i++) {
1834 free(cache_info->nameservers[i]);
1835 cache_info->nameservers[i] = NULL;
1836 if (cache_info->nsaddrinfo[i] != NULL) {
1837 freeaddrinfo(cache_info->nsaddrinfo[i]);
1838 cache_info->nsaddrinfo[i] = NULL;
1839 }
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001840 cache_info->nsstats[i].sample_count = cache_info->nsstats[i].sample_next = 0;
Bernie Innocenti55864192018-08-30 04:05:20 +09001841 }
1842 cache_info->nscount = 0;
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001843 res_cache_clear_stats_locked(cache_info);
Bernie Innocenti55864192018-08-30 04:05:20 +09001844 ++cache_info->revision_id;
1845}
1846
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001847void _resolv_populate_res_for_net(res_state statp) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001848 if (statp == NULL) {
1849 return;
1850 }
Ken Chenbab50142019-03-19 17:41:28 +08001851 LOG(INFO) << __func__ << ": netid=" << statp->netid;
Bernie Innocenti55864192018-08-30 04:05:20 +09001852
Ken Chen2a429352018-12-22 21:46:55 +08001853 std::lock_guard guard(cache_mutex);
ckenb1a69a42018-12-01 17:45:18 +09001854 resolv_cache_info* info = find_cache_info_locked(statp->netid);
Bernie Innocenti55864192018-08-30 04:05:20 +09001855 if (info != NULL) {
1856 int nserv;
1857 struct addrinfo* ai;
Bernie Innocenti55864192018-08-30 04:05:20 +09001858 for (nserv = 0; nserv < MAXNS; nserv++) {
1859 ai = info->nsaddrinfo[nserv];
1860 if (ai == NULL) {
1861 break;
1862 }
1863
1864 if ((size_t) ai->ai_addrlen <= sizeof(statp->_u._ext.ext->nsaddrs[0])) {
1865 if (statp->_u._ext.ext != NULL) {
1866 memcpy(&statp->_u._ext.ext->nsaddrs[nserv], ai->ai_addr, ai->ai_addrlen);
1867 statp->nsaddr_list[nserv].sin_family = AF_UNSPEC;
1868 } else {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001869 if ((size_t) ai->ai_addrlen <= sizeof(statp->nsaddr_list[0])) {
1870 memcpy(&statp->nsaddr_list[nserv], ai->ai_addr, ai->ai_addrlen);
Bernie Innocenti55864192018-08-30 04:05:20 +09001871 } else {
1872 statp->nsaddr_list[nserv].sin_family = AF_UNSPEC;
1873 }
1874 }
1875 } else {
chenbruce16adee42019-02-20 19:45:50 +08001876 LOG(INFO) << __func__ << ": found too long addrlen";
Bernie Innocenti55864192018-08-30 04:05:20 +09001877 }
1878 }
1879 statp->nscount = nserv;
1880 // now do search domains. Note that we cache the offsets as this code runs alot
1881 // but the setting/offset-computer only runs when set/changed
1882 // WARNING: Don't use str*cpy() here, this string contains zeroes.
1883 memcpy(statp->defdname, info->defdname, sizeof(statp->defdname));
Bernie Innocenti1f4a9fd2018-09-07 21:10:25 +09001884 char** pp = statp->dnsrch;
1885 int* p = info->dnsrch_offset;
Bernie Innocenti55864192018-08-30 04:05:20 +09001886 while (pp < statp->dnsrch + MAXDNSRCH && *p != -1) {
1887 *pp++ = &statp->defdname[0] + *p++;
1888 }
1889 }
Bernie Innocenti55864192018-08-30 04:05:20 +09001890}
1891
1892/* Resolver reachability statistics. */
1893
Bernie Innocenti189eb502018-10-01 23:10:18 +09001894static void _res_cache_add_stats_sample_locked(res_stats* stats, const res_sample* sample,
1895 int max_samples) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001896 // Note: This function expects max_samples > 0, otherwise a (harmless) modification of the
1897 // allocated but supposedly unused memory for samples[0] will happen
Ken Chenbab50142019-03-19 17:41:28 +08001898 LOG(INFO) << __func__ << ": adding sample to stats, next = " << unsigned(stats->sample_next)
1899 << ", count = " << unsigned(stats->sample_count);
Bernie Innocenti55864192018-08-30 04:05:20 +09001900 stats->samples[stats->sample_next] = *sample;
1901 if (stats->sample_count < max_samples) {
1902 ++stats->sample_count;
1903 }
1904 if (++stats->sample_next >= max_samples) {
1905 stats->sample_next = 0;
1906 }
1907}
1908
Bernie Innocenti84ec88d2018-09-27 13:44:29 +09001909static void res_cache_clear_stats_locked(resolv_cache_info* cache_info) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001910 if (cache_info) {
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001911 for (int i = 0; i < MAXNS; ++i) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001912 cache_info->nsstats->sample_count = cache_info->nsstats->sample_next = 0;
1913 }
1914 }
1915}
1916
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001917int android_net_res_stats_get_info_for_net(unsigned netid, int* nscount,
1918 struct sockaddr_storage servers[MAXNS], int* dcount,
1919 char domains[MAXDNSRCH][MAXDNSRCHPATH],
Bernie Innocenti34de3ba2019-02-19 18:08:36 +09001920 res_params* params, struct res_stats stats[MAXNS],
Ken Chen2a429352018-12-22 21:46:55 +08001921 int* wait_for_pending_req_timeout_count) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001922 int revision_id = -1;
Ken Chen2a429352018-12-22 21:46:55 +08001923 std::lock_guard guard(cache_mutex);
Bernie Innocenti55864192018-08-30 04:05:20 +09001924
ckenb1a69a42018-12-01 17:45:18 +09001925 resolv_cache_info* info = find_cache_info_locked(netid);
Bernie Innocenti55864192018-08-30 04:05:20 +09001926 if (info) {
1927 if (info->nscount > MAXNS) {
chenbruce16adee42019-02-20 19:45:50 +08001928 LOG(INFO) << __func__ << ": nscount " << info->nscount << " > MAXNS " << MAXNS;
Bernie Innocenti55864192018-08-30 04:05:20 +09001929 errno = EFAULT;
1930 return -1;
1931 }
1932 int i;
1933 for (i = 0; i < info->nscount; i++) {
1934 // Verify that the following assumptions are held, failure indicates corruption:
1935 // - getaddrinfo() may never return a sockaddr > sockaddr_storage
1936 // - all addresses are valid
1937 // - there is only one address per addrinfo thanks to numeric resolution
1938 int addrlen = info->nsaddrinfo[i]->ai_addrlen;
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001939 if (addrlen < (int) sizeof(struct sockaddr) || addrlen > (int) sizeof(servers[0])) {
chenbruce16adee42019-02-20 19:45:50 +08001940 LOG(INFO) << __func__ << ": nsaddrinfo[" << i << "].ai_addrlen == " << addrlen;
Bernie Innocenti55864192018-08-30 04:05:20 +09001941 errno = EMSGSIZE;
1942 return -1;
1943 }
1944 if (info->nsaddrinfo[i]->ai_addr == NULL) {
chenbruce16adee42019-02-20 19:45:50 +08001945 LOG(INFO) << __func__ << ": nsaddrinfo[" << i << "].ai_addr == NULL";
Bernie Innocenti55864192018-08-30 04:05:20 +09001946 errno = ENOENT;
1947 return -1;
1948 }
1949 if (info->nsaddrinfo[i]->ai_next != NULL) {
chenbruce16adee42019-02-20 19:45:50 +08001950 LOG(INFO) << __func__ << ": nsaddrinfo[" << i << "].ai_next != NULL";
Bernie Innocenti55864192018-08-30 04:05:20 +09001951 errno = ENOTUNIQ;
1952 return -1;
1953 }
1954 }
1955 *nscount = info->nscount;
1956 for (i = 0; i < info->nscount; i++) {
1957 memcpy(&servers[i], info->nsaddrinfo[i]->ai_addr, info->nsaddrinfo[i]->ai_addrlen);
1958 stats[i] = info->nsstats[i];
1959 }
1960 for (i = 0; i < MAXDNSRCH; i++) {
1961 const char* cur_domain = info->defdname + info->dnsrch_offset[i];
1962 // dnsrch_offset[i] can either be -1 or point to an empty string to indicate the end
1963 // of the search offsets. Checking for < 0 is not strictly necessary, but safer.
1964 // TODO: Pass in a search domain array instead of a string to
Bernie Innocenti189eb502018-10-01 23:10:18 +09001965 // resolv_set_nameservers_for_net() and make this double check unnecessary.
Bernie Innocenti55864192018-08-30 04:05:20 +09001966 if (info->dnsrch_offset[i] < 0 ||
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001967 ((size_t) info->dnsrch_offset[i]) >= sizeof(info->defdname) || !cur_domain[0]) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001968 break;
1969 }
1970 strlcpy(domains[i], cur_domain, MAXDNSRCHPATH);
1971 }
1972 *dcount = i;
1973 *params = info->params;
1974 revision_id = info->revision_id;
Ken Chen2a429352018-12-22 21:46:55 +08001975 *wait_for_pending_req_timeout_count = info->wait_for_pending_req_timeout_count;
Bernie Innocenti55864192018-08-30 04:05:20 +09001976 }
1977
Bernie Innocenti55864192018-08-30 04:05:20 +09001978 return revision_id;
1979}
1980
Bernie Innocenti34de3ba2019-02-19 18:08:36 +09001981int resolv_cache_get_resolver_stats(unsigned netid, res_params* params, res_stats stats[MAXNS]) {
Ken Chen2a429352018-12-22 21:46:55 +08001982 std::lock_guard guard(cache_mutex);
ckenb1a69a42018-12-01 17:45:18 +09001983 resolv_cache_info* info = find_cache_info_locked(netid);
Bernie Innocenti55864192018-08-30 04:05:20 +09001984 if (info) {
1985 memcpy(stats, info->nsstats, sizeof(info->nsstats));
1986 *params = info->params;
Ken Chen2a429352018-12-22 21:46:55 +08001987 return info->revision_id;
Bernie Innocenti55864192018-08-30 04:05:20 +09001988 }
1989
Ken Chen2a429352018-12-22 21:46:55 +08001990 return -1;
Bernie Innocenti55864192018-08-30 04:05:20 +09001991}
1992
Bernie Innocentif12d5bb2018-08-31 14:09:46 +09001993void _resolv_cache_add_resolver_stats_sample(unsigned netid, int revision_id, int ns,
Bernie Innocenti189eb502018-10-01 23:10:18 +09001994 const res_sample* sample, int max_samples) {
Bernie Innocenti55864192018-08-30 04:05:20 +09001995 if (max_samples <= 0) return;
1996
Ken Chen2a429352018-12-22 21:46:55 +08001997 std::lock_guard guard(cache_mutex);
ckenb1a69a42018-12-01 17:45:18 +09001998 resolv_cache_info* info = find_cache_info_locked(netid);
Bernie Innocenti55864192018-08-30 04:05:20 +09001999
2000 if (info && info->revision_id == revision_id) {
2001 _res_cache_add_stats_sample_locked(&info->nsstats[ns], sample, max_samples);
2002 }
Bernie Innocenti55864192018-08-30 04:05:20 +09002003}