Protocol Buffers - Google's data interchange format (grpc依赖)
https://developers.google.com/protocol-buffers/
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
271 lines
8.1 KiB
271 lines
8.1 KiB
4 months ago
|
#include "upb_generator/minitable/fasttable.h"
|
||
|
|
||
|
#include <algorithm>
|
||
|
#include <cstddef>
|
||
|
#include <cstdint>
|
||
|
#include <cstring>
|
||
|
#include <string>
|
||
|
#include <utility>
|
||
|
#include <vector>
|
||
|
|
||
|
#include "absl/strings/substitute.h"
|
||
|
#include "upb/base/descriptor_constants.h"
|
||
|
#include "upb/mini_table/field.h"
|
||
|
#include "upb/mini_table/message.h"
|
||
|
#include "upb/reflection/def.hpp"
|
||
|
#include "upb/wire/types.h"
|
||
|
#include "upb_generator/file_layout.h"
|
||
|
|
||
|
// Must be last.
|
||
|
#include "upb/port/def.inc"
|
||
|
|
||
|
namespace upb {
|
||
|
namespace generator {
|
||
|
|
||
|
namespace {
|
||
|
|
||
|
// Returns fields in order of "hotness", eg. how frequently they appear in
|
||
|
// serialized payloads. Ideally this will use a profile. When we don't have
|
||
|
// that, we assume that fields with smaller numbers are used more frequently.
|
||
|
inline std::vector<upb::FieldDefPtr> FieldHotnessOrder(
|
||
|
upb::MessageDefPtr message) {
|
||
|
std::vector<upb::FieldDefPtr> fields;
|
||
|
size_t field_count = message.field_count();
|
||
|
fields.reserve(field_count);
|
||
|
for (size_t i = 0; i < field_count; i++) {
|
||
|
fields.push_back(message.field(i));
|
||
|
}
|
||
|
std::sort(fields.begin(), fields.end(),
|
||
|
[](upb::FieldDefPtr a, upb::FieldDefPtr b) {
|
||
|
return std::make_pair(!a.is_required(), a.number()) <
|
||
|
std::make_pair(!b.is_required(), b.number());
|
||
|
});
|
||
|
return fields;
|
||
|
}
|
||
|
|
||
|
typedef std::pair<std::string, uint64_t> TableEntry;
|
||
|
|
||
|
uint32_t GetWireTypeForField(upb::FieldDefPtr field) {
|
||
|
if (field.packed()) return kUpb_WireType_Delimited;
|
||
|
switch (field.type()) {
|
||
|
case kUpb_FieldType_Double:
|
||
|
case kUpb_FieldType_Fixed64:
|
||
|
case kUpb_FieldType_SFixed64:
|
||
|
return kUpb_WireType_64Bit;
|
||
|
case kUpb_FieldType_Float:
|
||
|
case kUpb_FieldType_Fixed32:
|
||
|
case kUpb_FieldType_SFixed32:
|
||
|
return kUpb_WireType_32Bit;
|
||
|
case kUpb_FieldType_Int64:
|
||
|
case kUpb_FieldType_UInt64:
|
||
|
case kUpb_FieldType_Int32:
|
||
|
case kUpb_FieldType_Bool:
|
||
|
case kUpb_FieldType_UInt32:
|
||
|
case kUpb_FieldType_Enum:
|
||
|
case kUpb_FieldType_SInt32:
|
||
|
case kUpb_FieldType_SInt64:
|
||
|
return kUpb_WireType_Varint;
|
||
|
case kUpb_FieldType_Group:
|
||
|
return kUpb_WireType_StartGroup;
|
||
|
case kUpb_FieldType_Message:
|
||
|
case kUpb_FieldType_String:
|
||
|
case kUpb_FieldType_Bytes:
|
||
|
return kUpb_WireType_Delimited;
|
||
|
}
|
||
|
UPB_UNREACHABLE();
|
||
|
}
|
||
|
|
||
|
uint32_t MakeTag(uint32_t field_number, uint32_t wire_type) {
|
||
|
return field_number << 3 | wire_type;
|
||
|
}
|
||
|
|
||
|
size_t WriteVarint32ToArray(uint64_t val, char* buf) {
|
||
|
size_t i = 0;
|
||
|
do {
|
||
|
uint8_t byte = val & 0x7fU;
|
||
|
val >>= 7;
|
||
|
if (val) byte |= 0x80U;
|
||
|
buf[i++] = byte;
|
||
|
} while (val);
|
||
|
return i;
|
||
|
}
|
||
|
|
||
|
uint64_t GetEncodedTag(upb::FieldDefPtr field) {
|
||
|
uint32_t wire_type = GetWireTypeForField(field);
|
||
|
uint32_t unencoded_tag = MakeTag(field.number(), wire_type);
|
||
|
char tag_bytes[10] = {0};
|
||
|
WriteVarint32ToArray(unencoded_tag, tag_bytes);
|
||
|
uint64_t encoded_tag = 0;
|
||
|
memcpy(&encoded_tag, tag_bytes, sizeof(encoded_tag));
|
||
|
// TODO: byte-swap for big endian.
|
||
|
return encoded_tag;
|
||
|
}
|
||
|
|
||
|
int GetTableSlot(upb::FieldDefPtr field) {
|
||
|
uint64_t tag = GetEncodedTag(field);
|
||
|
if (tag > 0x7fff) {
|
||
|
// Tag must fit within a two-byte varint.
|
||
|
return -1;
|
||
|
}
|
||
|
return (tag & 0xf8) >> 3;
|
||
|
}
|
||
|
|
||
|
bool TryFillTableEntry(const DefPoolPair& pools, upb::FieldDefPtr field,
|
||
|
TableEntry& ent) {
|
||
|
const upb_MiniTable* mt = pools.GetMiniTable64(field.containing_type());
|
||
|
const upb_MiniTableField* mt_f =
|
||
|
upb_MiniTable_FindFieldByNumber(mt, field.number());
|
||
|
std::string type = "";
|
||
|
std::string cardinality = "";
|
||
|
switch (upb_MiniTableField_Type(mt_f)) {
|
||
|
case kUpb_FieldType_Bool:
|
||
|
type = "b1";
|
||
|
break;
|
||
|
case kUpb_FieldType_Enum:
|
||
|
if (upb_MiniTableField_IsClosedEnum(mt_f)) {
|
||
|
// We don't have the means to test proto2 enum fields for valid values.
|
||
|
return false;
|
||
|
}
|
||
|
[[fallthrough]];
|
||
|
case kUpb_FieldType_Int32:
|
||
|
case kUpb_FieldType_UInt32:
|
||
|
type = "v4";
|
||
|
break;
|
||
|
case kUpb_FieldType_Int64:
|
||
|
case kUpb_FieldType_UInt64:
|
||
|
type = "v8";
|
||
|
break;
|
||
|
case kUpb_FieldType_Fixed32:
|
||
|
case kUpb_FieldType_SFixed32:
|
||
|
case kUpb_FieldType_Float:
|
||
|
type = "f4";
|
||
|
break;
|
||
|
case kUpb_FieldType_Fixed64:
|
||
|
case kUpb_FieldType_SFixed64:
|
||
|
case kUpb_FieldType_Double:
|
||
|
type = "f8";
|
||
|
break;
|
||
|
case kUpb_FieldType_SInt32:
|
||
|
type = "z4";
|
||
|
break;
|
||
|
case kUpb_FieldType_SInt64:
|
||
|
type = "z8";
|
||
|
break;
|
||
|
case kUpb_FieldType_String:
|
||
|
type = "s";
|
||
|
break;
|
||
|
case kUpb_FieldType_Bytes:
|
||
|
type = "b";
|
||
|
break;
|
||
|
case kUpb_FieldType_Message:
|
||
|
type = "m";
|
||
|
break;
|
||
|
default:
|
||
|
return false; // Not supported yet.
|
||
|
}
|
||
|
|
||
|
if (upb_MiniTableField_IsArray(mt_f)) {
|
||
|
cardinality = upb_MiniTableField_IsPacked(mt_f) ? "p" : "r";
|
||
|
} else if (upb_MiniTableField_IsScalar(mt_f)) {
|
||
|
cardinality = upb_MiniTableField_IsInOneof(mt_f) ? "o" : "s";
|
||
|
} else {
|
||
|
return false; // Not supported yet (ever?).
|
||
|
}
|
||
|
|
||
|
uint64_t expected_tag = GetEncodedTag(field);
|
||
|
|
||
|
// Data is:
|
||
|
//
|
||
|
// 48 32 16 0
|
||
|
// |--------|--------|--------|--------|--------|--------|--------|--------|
|
||
|
// | offset (16) |case offset (16) |presence| submsg | exp. tag (16) |
|
||
|
// |--------|--------|--------|--------|--------|--------|--------|--------|
|
||
|
//
|
||
|
// - |presence| is either hasbit index or field number for oneofs.
|
||
|
|
||
|
uint64_t data =
|
||
|
static_cast<uint64_t>(mt_f->UPB_PRIVATE(offset)) << 48 | expected_tag;
|
||
|
|
||
|
if (field.IsSequence()) {
|
||
|
// No hasbit/oneof-related fields.
|
||
|
}
|
||
|
if (field.real_containing_oneof()) {
|
||
|
uint64_t case_offset = ~mt_f->presence;
|
||
|
if (case_offset > 0xffff || field.number() > 0xff) return false;
|
||
|
data |= field.number() << 24;
|
||
|
data |= case_offset << 32;
|
||
|
} else {
|
||
|
uint64_t hasbit_index = 63; // No hasbit (set a high, unused bit).
|
||
|
if (mt_f->presence) {
|
||
|
hasbit_index = mt_f->presence;
|
||
|
if (hasbit_index > 31) return false;
|
||
|
}
|
||
|
data |= hasbit_index << 24;
|
||
|
}
|
||
|
|
||
|
if (field.ctype() == kUpb_CType_Message) {
|
||
|
uint64_t idx = mt_f->UPB_PRIVATE(submsg_index);
|
||
|
if (idx > 255) return false;
|
||
|
data |= idx << 16;
|
||
|
|
||
|
std::string size_ceil = "max";
|
||
|
size_t size = SIZE_MAX;
|
||
|
if (field.message_type().file() == field.file()) {
|
||
|
// We can only be guaranteed the size of the sub-message if it is in the
|
||
|
// same file as us. We could relax this to increase the speed of
|
||
|
// cross-file sub-message parsing if we are comfortable requiring that
|
||
|
// users compile all messages at the same time.
|
||
|
const upb_MiniTable* sub_mt = pools.GetMiniTable64(field.message_type());
|
||
|
size = sub_mt->UPB_PRIVATE(size) + 8;
|
||
|
}
|
||
|
std::vector<size_t> breaks = {64, 128, 192, 256};
|
||
|
for (auto brk : breaks) {
|
||
|
if (size <= brk) {
|
||
|
size_ceil = std::to_string(brk);
|
||
|
break;
|
||
|
}
|
||
|
}
|
||
|
ent.first = absl::Substitute("upb_p$0$1_$2bt_max$3b", cardinality, type,
|
||
|
expected_tag > 0xff ? "2" : "1", size_ceil);
|
||
|
|
||
|
} else {
|
||
|
ent.first = absl::Substitute("upb_p$0$1_$2bt", cardinality, type,
|
||
|
expected_tag > 0xff ? "2" : "1");
|
||
|
}
|
||
|
ent.second = data;
|
||
|
return true;
|
||
|
}
|
||
|
|
||
|
} // namespace
|
||
|
|
||
|
std::vector<TableEntry> FastDecodeTable(upb::MessageDefPtr message,
|
||
|
const DefPoolPair& pools) {
|
||
|
std::vector<TableEntry> table;
|
||
|
for (const auto field : FieldHotnessOrder(message)) {
|
||
|
TableEntry ent;
|
||
|
int slot = GetTableSlot(field);
|
||
|
// std::cerr << "table slot: " << field->number() << ": " << slot << "\n";
|
||
|
if (slot < 0) {
|
||
|
// Tag can't fit in the table.
|
||
|
continue;
|
||
|
}
|
||
|
if (!TryFillTableEntry(pools, field, ent)) {
|
||
|
// Unsupported field type or offset, hasbit index, etc. doesn't fit.
|
||
|
continue;
|
||
|
}
|
||
|
while ((size_t)slot >= table.size()) {
|
||
|
size_t size = std::max(static_cast<size_t>(1), table.size() * 2);
|
||
|
table.resize(size, TableEntry{"_upb_FastDecoder_DecodeGeneric", 0});
|
||
|
}
|
||
|
if (table[slot].first != "_upb_FastDecoder_DecodeGeneric") {
|
||
|
// A hotter field already filled this slot.
|
||
|
continue;
|
||
|
}
|
||
|
table[slot] = ent;
|
||
|
}
|
||
|
return table;
|
||
|
}
|
||
|
|
||
|
} // namespace generator
|
||
|
} // namespace upb
|