| 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
|
|
|