Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1327)

Unified Diff: net/base/lookup_string_in_fixed_set.cc

Issue 2641953009: [1 of 4] Support prefix queries against the effective_tld_names DAFSA (Closed)
Patch Set: Fix problem Created 3 years, 10 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « net/base/lookup_string_in_fixed_set.h ('k') | net/base/lookup_string_in_fixed_set_unittest.cc » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: net/base/lookup_string_in_fixed_set.cc
diff --git a/net/base/lookup_string_in_fixed_set.cc b/net/base/lookup_string_in_fixed_set.cc
index 46497f3c47bb654c44e6aa34f9b72a2fd5820fb9..5c145f8cd63ebbb04d68bf2cd12275498cf9aa41 100644
--- a/net/base/lookup_string_in_fixed_set.cc
+++ b/net/base/lookup_string_in_fixed_set.cc
@@ -10,19 +10,16 @@ namespace net {
namespace {
-// Read next offset from pos.
-// Returns true if an offset could be read, false otherwise.
-bool GetNextOffset(const unsigned char** pos,
- const unsigned char* end,
- const unsigned char** offset) {
- if (*pos == end)
+// Read next offset from |pos|, increment |offset| by that amount, and increment
+// |pos| either to point to the start of the next encoded offset in its node, or
+// nullptr, if there are no remaining offsets.
+//
+// Returns true if an offset could be read; false otherwise.
+inline bool GetNextOffset(const unsigned char** pos,
+ const unsigned char** offset) {
+ if (*pos == nullptr)
return false;
- // When reading an offset the byte array must always contain at least
- // three more bytes to consume. First the offset to read, then a node
- // to skip over and finally a destination node. No object can be smaller
- // than one byte.
- CHECK_LT(*pos + 2, end);
size_t bytes_consumed;
switch (**pos & 0x60) {
case 0x60: // Read three byte offset
@@ -38,45 +35,33 @@ bool GetNextOffset(const unsigned char** pos,
bytes_consumed = 1;
}
if ((**pos & 0x80) != 0) {
- *pos = end;
+ *pos = nullptr;
} else {
*pos += bytes_consumed;
}
return true;
}
-// Check if byte at offset is last in label.
-bool IsEOL(const unsigned char* offset, const unsigned char* end) {
- CHECK_LT(offset, end);
+// Check if byte at |offset| is last in label.
+bool IsEOL(const unsigned char* offset) {
return (*offset & 0x80) != 0;
}
-// Check if byte at offset matches first character in key.
-// This version matches characters not last in label.
-bool IsMatch(const unsigned char* offset,
- const unsigned char* end,
- const char* key) {
- CHECK_LT(offset, end);
- return *offset == *key;
+// Check if byte at |offset| matches key. This version matches both end-of-label
+// chars and not-end-of-label chars.
+bool IsMatch(const unsigned char* offset, char key) {
+ return (*offset & 0x7F) == key;
}
-// Check if byte at offset matches first character in key.
-// This version matches characters last in label.
-bool IsEndCharMatch(const unsigned char* offset,
- const unsigned char* end,
- const char* key) {
- CHECK_LT(offset, end);
- return *offset == (*key | 0x80);
-}
-
-// Read return value at offset.
-// Returns true if a return value could be read, false otherwise.
-bool GetReturnValue(const unsigned char* offset,
- const unsigned char* end,
- int* return_value) {
- CHECK_LT(offset, end);
+// Read return value at |offset|, if it is a return value. Returns true if a
+// return value could be read, false otherwise.
+bool GetReturnValue(const unsigned char* offset, int* return_value) {
+ // Return values are always encoded as end-of-label chars (so the high bit is
+ // set). So byte values in the inclusive range [0x80, 0x9F] encode the return
+ // values 0 through 31 (though make_dafsa.py doesn't currently encode values
+ // higher than 7). The following code does that translation.
if ((*offset & 0xE0) == 0x80) {
- *return_value = *offset & 0x0F;
+ *return_value = *offset & 0x1F;
return true;
}
return false;
@@ -84,69 +69,130 @@ bool GetReturnValue(const unsigned char* offset,
} // namespace
-// Lookup a domain key in a byte array generated by make_dafsa.py.
-// The rule type is returned if key is found, otherwise kDafsaNotFound is
-// returned.
+FixedSetIncrementalLookup::FixedSetIncrementalLookup(const unsigned char* graph,
+ size_t length)
+ : pos_(graph), end_(graph + length), pos_is_label_character_(false) {}
+
+FixedSetIncrementalLookup::FixedSetIncrementalLookup(
+ const FixedSetIncrementalLookup& other) = default;
+
+FixedSetIncrementalLookup& FixedSetIncrementalLookup::operator=(
+ const FixedSetIncrementalLookup& other) = default;
+
+FixedSetIncrementalLookup::~FixedSetIncrementalLookup() {}
+
+bool FixedSetIncrementalLookup::Advance(char input) {
+ if (!pos_) {
+ // A previous input exhausted the graph, so there are no possible matches.
+ return false;
+ }
+
+ // Only ASCII printable chars are supported by the current DAFSA format -- the
+ // high bit (values 0x80-0xFF) is reserved as a label-end signifier, and the
+ // low values (values 0x00-0x1F) are reserved to encode the return values. So
+ // values outside this range will never be in the dictionary.
+ if (input >= 0x20) {
+ if (pos_is_label_character_) {
+ // Currently processing a label, so it is only necessary to check the byte
+ // at |pos_| to see if it encodes a character matching |input|.
+ bool is_last_char_in_label = IsEOL(pos_);
+ bool is_match = IsMatch(pos_, input);
+ if (is_match) {
+ // If this is not the last character in the label, the next byte should
+ // be interpreted as a character or return value. Otherwise, the next
+ // byte should be interpreted as a list of child node offsets.
+ ++pos_;
+ DCHECK(pos_ < end_);
+ pos_is_label_character_ = !is_last_char_in_label;
+ return true;
+ }
+ } else {
+ const unsigned char* offset = pos_;
+ // Read offsets from |pos_| until the label of the child node at |offset|
+ // matches |input|, or until there are no more offsets.
+ while (GetNextOffset(&pos_, &offset)) {
+ DCHECK(offset < end_);
+ DCHECK((pos_ == nullptr) || (pos_ < end_));
+
+ // |offset| points to a DAFSA node that is a child of the original node.
+ //
+ // The low 7 bits of a node encodes a character value; the high bit
+ // indicates whether it's the last character in the label.
+ //
+ // Note that |*offset| could also be a result code value, but these are
+ // really just out-of-range ASCII values, encoded the same way as
+ // characters. Since |input| was already validated as a printable ASCII
+ // value ASCII value, IsMatch will never return true if |offset| is a
+ // result code.
+ bool is_last_char_in_label = IsEOL(offset);
+ bool is_match = IsMatch(offset, input);
+
+ if (is_match) {
+ // If this is not the last character in the label, the next byte
+ // should be interpreted as a character or return value. Otherwise,
+ // the next byte should be interpreted as a list of child node
+ // offsets.
+ pos_ = offset + 1;
+ DCHECK(pos_ < end_);
+ pos_is_label_character_ = !is_last_char_in_label;
+ return true;
+ }
+ }
+ }
+ }
+
+ // If no match was found, then end of the DAFSA has been reached.
+ pos_ = nullptr;
+ pos_is_label_character_ = false;
+ return false;
+}
+
+int FixedSetIncrementalLookup::GetResultForCurrentSequence() const {
+ int value = kDafsaNotFound;
+ // Look to see if there is a next character that's a return value.
+ if (pos_is_label_character_) {
+ // Currently processing a label, so it is only necessary to check the byte
+ // at |pos_| to see if encodes a return value.
+ GetReturnValue(pos_, &value);
+ } else {
+ // Otherwise, |pos_| is an offset list (or nullptr). Explore the list of
+ // child nodes (given by their offsets) to find one whose label is a result
+ // code.
+ //
+ // This search uses a temporary copy of |pos_|, since mutating |pos_| could
+ // skip over a node that would be important to a subsequent Advance() call.
+ const unsigned char* temp_pos = pos_;
+
+ // Read offsets from |temp_pos| until either |temp_pos| is nullptr or until
+ // the byte at |offset| contains a result code (encoded as an ASCII
+ // character below 0x20).
+ const unsigned char* offset = pos_;
+ while (GetNextOffset(&temp_pos, &offset)) {
+ DCHECK(offset < end_);
+ DCHECK((temp_pos == nullptr) || temp_pos < end_);
+ if (GetReturnValue(offset, &value))
+ break;
+ }
+ }
+ return value;
+}
+
int LookupStringInFixedSet(const unsigned char* graph,
size_t length,
const char* key,
size_t key_length) {
- const unsigned char* pos = graph;
- const unsigned char* end = graph + length;
- const unsigned char* offset = pos;
+ // Do an incremental lookup until either the end of the graph is reached, or
+ // until every character in |key| is consumed.
+ FixedSetIncrementalLookup lookup(graph, length);
const char* key_end = key + key_length;
- while (GetNextOffset(&pos, end, &offset)) {
- // char <char>+ end_char offsets
- // char <char>+ return value
- // char end_char offsets
- // char return value
- // end_char offsets
- // return_value
- bool did_consume = false;
- if (key != key_end && !IsEOL(offset, end)) {
- // Leading <char> is not a match. Don't dive into this child
- if (!IsMatch(offset, end, key))
- continue;
- did_consume = true;
- ++offset;
- ++key;
- // Possible matches at this point:
- // <char>+ end_char offsets
- // <char>+ return value
- // end_char offsets
- // return value
- // Remove all remaining <char> nodes possible
- while (!IsEOL(offset, end) && key != key_end) {
- if (!IsMatch(offset, end, key))
- return kDafsaNotFound;
- ++key;
- ++offset;
- }
- }
- // Possible matches at this point:
- // end_char offsets
- // return_value
- // If one or more <char> elements were consumed, a failure
- // to match is terminal. Otherwise, try the next node.
- if (key == key_end) {
- int return_value;
- if (GetReturnValue(offset, end, &return_value))
- return return_value;
- // The DAFSA guarantees that if the first char is a match, all
- // remaining char elements MUST match if the key is truly present.
- if (did_consume)
- return kDafsaNotFound;
- continue;
- }
- if (!IsEndCharMatch(offset, end, key)) {
- if (did_consume)
- return kDafsaNotFound; // Unexpected
- continue;
- }
- ++key;
- pos = ++offset; // Dive into child
+ while (key != key_end) {
+ if (!lookup.Advance(*key))
+ return kDafsaNotFound;
+ key++;
}
- return kDafsaNotFound; // No match
+ // The entire input was consumed without reaching the end of the graph. Return
+ // the result code (if present) for the current position, or kDafsaNotFound.
+ return lookup.GetResultForCurrentSequence();
}
} // namespace net
« no previous file with comments | « net/base/lookup_string_in_fixed_set.h ('k') | net/base/lookup_string_in_fixed_set_unittest.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698