| 1 | // Copyright (c) 2013-2016 Sandstorm Development Group, Inc. and contributors |
| 2 | // Licensed under the MIT License: |
| 3 | // |
| 4 | // Permission is hereby granted, free of charge, to any person obtaining a copy |
| 5 | // of this software and associated documentation files (the "Software"), to deal |
| 6 | // in the Software without restriction, including without limitation the rights |
| 7 | // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell |
| 8 | // copies of the Software, and to permit persons to whom the Software is |
| 9 | // furnished to do so, subject to the following conditions: |
| 10 | // |
| 11 | // The above copyright notice and this permission notice shall be included in |
| 12 | // all copies or substantial portions of the Software. |
| 13 | // |
| 14 | // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
| 15 | // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
| 16 | // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE |
| 17 | // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER |
| 18 | // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, |
| 19 | // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN |
| 20 | // THE SOFTWARE. |
| 21 | |
| 22 | // This file is NOT intended for use by clients, except in generated code. |
| 23 | // |
| 24 | // This file defines low-level, non-type-safe classes for traversing the Cap'n Proto memory layout |
| 25 | // (which is also its wire format). Code generated by the Cap'n Proto compiler uses these classes, |
| 26 | // as does other parts of the Cap'n proto library which provide a higher-level interface for |
| 27 | // dynamic introspection. |
| 28 | |
| 29 | #pragma once |
| 30 | |
| 31 | #if defined(__GNUC__) && !defined(CAPNP_HEADER_WARNINGS) |
| 32 | #pragma GCC system_header |
| 33 | #endif |
| 34 | |
| 35 | #include <kj/common.h> |
| 36 | #include <kj/memory.h> |
| 37 | #include "common.h" |
| 38 | #include "blob.h" |
| 39 | #include "endian.h" |
| 40 | #include <kj/windows-sanity.h> // work-around macro conflict with `VOID` |
| 41 | |
| 42 | #if (defined(__mips__) || defined(__hppa__)) && !defined(CAPNP_CANONICALIZE_NAN) |
| 43 | #define CAPNP_CANONICALIZE_NAN 1 |
| 44 | // Explicitly detect NaNs and canonicalize them to the quiet NaN value as would be returned by |
| 45 | // __builtin_nan("") on systems implementing the IEEE-754 recommended (but not required) NaN |
| 46 | // signalling/quiet differentiation (such as x86). Unfortunately, some architectures -- in |
| 47 | // particular, MIPS -- represent quiet vs. signalling nans differently than the rest of the world. |
| 48 | // Canonicalizing them makes output consistent (which is important!), but hurts performance |
| 49 | // slightly. |
| 50 | // |
| 51 | // Note that trying to convert MIPS NaNs to standard NaNs without losing data doesn't work. |
| 52 | // Signaling vs. quiet is indicated by a bit, with the meaning being the opposite on MIPS vs. |
| 53 | // everyone else. It would be great if we could just flip that bit, but we can't, because if the |
| 54 | // significand is all-zero, then the value is infinity rather than NaN. This means that on most |
| 55 | // machines, where the bit indicates quietness, there is one more quiet NaN value than signalling |
| 56 | // NaN value, whereas on MIPS there is one more sNaN than qNaN, and thus there is no isomorphic |
| 57 | // mapping that properly preserves quietness. Instead of doing something hacky, we just give up |
| 58 | // and blow away NaN payloads, because no one uses them anyway. |
| 59 | #endif |
| 60 | |
| 61 | namespace capnp { |
| 62 | |
| 63 | #if !CAPNP_LITE |
| 64 | class ClientHook; |
| 65 | #endif // !CAPNP_LITE |
| 66 | |
| 67 | namespace _ { // private |
| 68 | |
| 69 | class PointerBuilder; |
| 70 | class PointerReader; |
| 71 | class StructBuilder; |
| 72 | class StructReader; |
| 73 | class ListBuilder; |
| 74 | class ListReader; |
| 75 | class OrphanBuilder; |
| 76 | struct WirePointer; |
| 77 | struct WireHelpers; |
| 78 | class SegmentReader; |
| 79 | class SegmentBuilder; |
| 80 | class Arena; |
| 81 | class BuilderArena; |
| 82 | |
| 83 | // ============================================================================= |
| 84 | |
| 85 | #if CAPNP_DEBUG_TYPES |
| 86 | typedef kj::UnitRatio<kj::Bounded<64, uint>, BitLabel, ElementLabel> BitsPerElementTableType; |
| 87 | #else |
| 88 | typedef uint BitsPerElementTableType; |
| 89 | #endif |
| 90 | |
| 91 | static constexpr BitsPerElementTableType BITS_PER_ELEMENT_TABLE[8] = { |
| 92 | bounded< 0>() * BITS / ELEMENTS, |
| 93 | bounded< 1>() * BITS / ELEMENTS, |
| 94 | bounded< 8>() * BITS / ELEMENTS, |
| 95 | bounded<16>() * BITS / ELEMENTS, |
| 96 | bounded<32>() * BITS / ELEMENTS, |
| 97 | bounded<64>() * BITS / ELEMENTS, |
| 98 | bounded< 0>() * BITS / ELEMENTS, |
| 99 | bounded< 0>() * BITS / ELEMENTS |
| 100 | }; |
| 101 | |
| 102 | inline KJ_CONSTEXPR() BitsPerElementTableType dataBitsPerElement(ElementSize size) { |
| 103 | return _::BITS_PER_ELEMENT_TABLE[static_cast<int>(size)]; |
| 104 | } |
| 105 | |
| 106 | inline constexpr PointersPerElementN<1> pointersPerElement(ElementSize size) { |
| 107 | return size == ElementSize::POINTER |
| 108 | ? PointersPerElementN<1>(ONE * POINTERS / ELEMENTS) |
| 109 | : PointersPerElementN<1>(ZERO * POINTERS / ELEMENTS); |
| 110 | } |
| 111 | |
| 112 | static constexpr BitsPerElementTableType BITS_PER_ELEMENT_INCLUDING_PONITERS_TABLE[8] = { |
| 113 | bounded< 0>() * BITS / ELEMENTS, |
| 114 | bounded< 1>() * BITS / ELEMENTS, |
| 115 | bounded< 8>() * BITS / ELEMENTS, |
| 116 | bounded<16>() * BITS / ELEMENTS, |
| 117 | bounded<32>() * BITS / ELEMENTS, |
| 118 | bounded<64>() * BITS / ELEMENTS, |
| 119 | bounded<64>() * BITS / ELEMENTS, |
| 120 | bounded< 0>() * BITS / ELEMENTS |
| 121 | }; |
| 122 | |
| 123 | inline KJ_CONSTEXPR() BitsPerElementTableType bitsPerElementIncludingPointers(ElementSize size) { |
| 124 | return _::BITS_PER_ELEMENT_INCLUDING_PONITERS_TABLE[static_cast<int>(size)]; |
| 125 | } |
| 126 | |
| 127 | template <size_t size> struct ElementSizeForByteSize; |
| 128 | template <> struct ElementSizeForByteSize<1> { static constexpr ElementSize value = ElementSize::BYTE; }; |
| 129 | template <> struct ElementSizeForByteSize<2> { static constexpr ElementSize value = ElementSize::TWO_BYTES; }; |
| 130 | template <> struct ElementSizeForByteSize<4> { static constexpr ElementSize value = ElementSize::FOUR_BYTES; }; |
| 131 | template <> struct ElementSizeForByteSize<8> { static constexpr ElementSize value = ElementSize::EIGHT_BYTES; }; |
| 132 | |
| 133 | template <typename T> struct ElementSizeForType { |
| 134 | static constexpr ElementSize value = |
| 135 | // Primitive types that aren't special-cased below can be determined from sizeof(). |
| 136 | CAPNP_KIND(T) == Kind::PRIMITIVE ? ElementSizeForByteSize<sizeof(T)>::value : |
| 137 | CAPNP_KIND(T) == Kind::ENUM ? ElementSize::TWO_BYTES : |
| 138 | CAPNP_KIND(T) == Kind::STRUCT ? ElementSize::INLINE_COMPOSITE : |
| 139 | |
| 140 | // Everything else is a pointer. |
| 141 | ElementSize::POINTER; |
| 142 | }; |
| 143 | |
| 144 | // Void and bool are special. |
| 145 | template <> struct ElementSizeForType<Void> { static constexpr ElementSize value = ElementSize::VOID; }; |
| 146 | template <> struct ElementSizeForType<bool> { static constexpr ElementSize value = ElementSize::BIT; }; |
| 147 | |
| 148 | // Lists and blobs are pointers, not structs. |
| 149 | template <typename T, Kind K> struct ElementSizeForType<List<T, K>> { |
| 150 | static constexpr ElementSize value = ElementSize::POINTER; |
| 151 | }; |
| 152 | template <> struct ElementSizeForType<Text> { |
| 153 | static constexpr ElementSize value = ElementSize::POINTER; |
| 154 | }; |
| 155 | template <> struct ElementSizeForType<Data> { |
| 156 | static constexpr ElementSize value = ElementSize::POINTER; |
| 157 | }; |
| 158 | |
| 159 | template <typename T> |
| 160 | inline constexpr ElementSize elementSizeForType() { |
| 161 | return ElementSizeForType<T>::value; |
| 162 | } |
| 163 | |
| 164 | struct MessageSizeCounts { |
| 165 | WordCountN<61, uint64_t> wordCount; // 2^64 bytes |
| 166 | uint capCount; |
| 167 | |
| 168 | MessageSizeCounts& operator+=(const MessageSizeCounts& other) { |
| 169 | // OK to truncate unchecked because this class is used to count actual stuff in memory, and |
| 170 | // we couldn't possibly have anywhere near 2^61 words. |
| 171 | wordCount = assumeBits<61>(wordCount + other.wordCount); |
| 172 | capCount += other.capCount; |
| 173 | return *this; |
| 174 | } |
| 175 | |
| 176 | void addWords(WordCountN<61, uint64_t> other) { |
| 177 | wordCount = assumeBits<61>(wordCount + other); |
| 178 | } |
| 179 | |
| 180 | MessageSize asPublic() { |
| 181 | return MessageSize { unbound(wordCount / WORDS), capCount }; |
| 182 | } |
| 183 | }; |
| 184 | |
| 185 | // ============================================================================= |
| 186 | |
| 187 | template <int wordCount> |
| 188 | union AlignedData { |
| 189 | // Useful for declaring static constant data blobs as an array of bytes, but forcing those |
| 190 | // bytes to be word-aligned. |
| 191 | |
| 192 | uint8_t bytes[wordCount * sizeof(word)]; |
| 193 | word words[wordCount]; |
| 194 | }; |
| 195 | |
| 196 | struct StructSize { |
| 197 | StructDataWordCount data; |
| 198 | StructPointerCount pointers; |
| 199 | |
| 200 | inline constexpr WordCountN<17> total() const { return data + pointers * WORDS_PER_POINTER; } |
| 201 | |
| 202 | StructSize() = default; |
| 203 | inline constexpr StructSize(StructDataWordCount data, StructPointerCount pointers) |
| 204 | : data(data), pointers(pointers) {} |
| 205 | }; |
| 206 | |
| 207 | template <typename T, typename CapnpPrivate = typename T::_capnpPrivate> |
| 208 | inline constexpr StructSize structSize() { |
| 209 | return StructSize(bounded(CapnpPrivate::dataWordSize) * WORDS, |
| 210 | bounded(CapnpPrivate::pointerCount) * POINTERS); |
| 211 | } |
| 212 | |
| 213 | template <typename T, typename CapnpPrivate = typename T::_capnpPrivate, |
| 214 | typename = kj::EnableIf<CAPNP_KIND(T) == Kind::STRUCT>> |
| 215 | inline constexpr StructSize minStructSizeForElement() { |
| 216 | // If T is a struct, return its struct size. Otherwise return the minimum struct size big enough |
| 217 | // to hold a T. |
| 218 | |
| 219 | return StructSize(bounded(CapnpPrivate::dataWordSize) * WORDS, |
| 220 | bounded(CapnpPrivate::pointerCount) * POINTERS); |
| 221 | } |
| 222 | |
| 223 | template <typename T, typename = kj::EnableIf<CAPNP_KIND(T) != Kind::STRUCT>> |
| 224 | inline constexpr StructSize minStructSizeForElement() { |
| 225 | // If T is a struct, return its struct size. Otherwise return the minimum struct size big enough |
| 226 | // to hold a T. |
| 227 | |
| 228 | return StructSize( |
| 229 | dataBitsPerElement(elementSizeForType<T>()) * ELEMENTS > ZERO * BITS |
| 230 | ? StructDataWordCount(ONE * WORDS) : StructDataWordCount(ZERO * WORDS), |
| 231 | pointersPerElement(elementSizeForType<T>()) * ELEMENTS); |
| 232 | } |
| 233 | |
| 234 | // ------------------------------------------------------------------- |
| 235 | // Masking of default values |
| 236 | |
| 237 | template <typename T, Kind kind = CAPNP_KIND(T)> struct Mask_; |
| 238 | template <typename T> struct Mask_<T, Kind::PRIMITIVE> { typedef T Type; }; |
| 239 | template <typename T> struct Mask_<T, Kind::ENUM> { typedef uint16_t Type; }; |
| 240 | template <> struct Mask_<float, Kind::PRIMITIVE> { typedef uint32_t Type; }; |
| 241 | template <> struct Mask_<double, Kind::PRIMITIVE> { typedef uint64_t Type; }; |
| 242 | |
| 243 | template <typename T> struct Mask_<T, Kind::OTHER> { |
| 244 | // Union discriminants end up here. |
| 245 | static_assert(sizeof(T) == 2, "Don't know how to mask this type." ); |
| 246 | typedef uint16_t Type; |
| 247 | }; |
| 248 | |
| 249 | template <typename T> |
| 250 | using Mask = typename Mask_<T>::Type; |
| 251 | |
| 252 | template <typename T> |
| 253 | KJ_ALWAYS_INLINE(Mask<T> mask(T value, Mask<T> mask)); |
| 254 | template <typename T> |
| 255 | KJ_ALWAYS_INLINE(T unmask(Mask<T> value, Mask<T> mask)); |
| 256 | |
| 257 | template <typename T> |
| 258 | inline Mask<T> mask(T value, Mask<T> mask) { |
| 259 | return static_cast<Mask<T> >(value) ^ mask; |
| 260 | } |
| 261 | |
| 262 | template <> |
| 263 | inline uint32_t mask<float>(float value, uint32_t mask) { |
| 264 | #if CAPNP_CANONICALIZE_NAN |
| 265 | if (value != value) { |
| 266 | return 0x7fc00000u ^ mask; |
| 267 | } |
| 268 | #endif |
| 269 | |
| 270 | uint32_t i; |
| 271 | static_assert(sizeof(i) == sizeof(value), "float is not 32 bits?" ); |
| 272 | memcpy(&i, &value, sizeof(value)); |
| 273 | return i ^ mask; |
| 274 | } |
| 275 | |
| 276 | template <> |
| 277 | inline uint64_t mask<double>(double value, uint64_t mask) { |
| 278 | #if CAPNP_CANONICALIZE_NAN |
| 279 | if (value != value) { |
| 280 | return 0x7ff8000000000000ull ^ mask; |
| 281 | } |
| 282 | #endif |
| 283 | |
| 284 | uint64_t i; |
| 285 | static_assert(sizeof(i) == sizeof(value), "double is not 64 bits?" ); |
| 286 | memcpy(&i, &value, sizeof(value)); |
| 287 | return i ^ mask; |
| 288 | } |
| 289 | |
| 290 | template <typename T> |
| 291 | inline T unmask(Mask<T> value, Mask<T> mask) { |
| 292 | return static_cast<T>(value ^ mask); |
| 293 | } |
| 294 | |
| 295 | template <> |
| 296 | inline float unmask<float>(uint32_t value, uint32_t mask) { |
| 297 | value ^= mask; |
| 298 | float result; |
| 299 | static_assert(sizeof(result) == sizeof(value), "float is not 32 bits?" ); |
| 300 | memcpy(&result, &value, sizeof(value)); |
| 301 | return result; |
| 302 | } |
| 303 | |
| 304 | template <> |
| 305 | inline double unmask<double>(uint64_t value, uint64_t mask) { |
| 306 | value ^= mask; |
| 307 | double result; |
| 308 | static_assert(sizeof(result) == sizeof(value), "double is not 64 bits?" ); |
| 309 | memcpy(&result, &value, sizeof(value)); |
| 310 | return result; |
| 311 | } |
| 312 | |
| 313 | // ------------------------------------------------------------------- |
| 314 | |
| 315 | class CapTableReader { |
| 316 | public: |
| 317 | #if !CAPNP_LITE |
| 318 | virtual kj::Maybe<kj::Own<ClientHook>> (uint index) = 0; |
| 319 | // Extract the capability at the given index. If the index is invalid, returns null. |
| 320 | #endif // !CAPNP_LITE |
| 321 | }; |
| 322 | |
| 323 | class CapTableBuilder: public CapTableReader { |
| 324 | public: |
| 325 | #if !CAPNP_LITE |
| 326 | virtual uint injectCap(kj::Own<ClientHook>&& cap) = 0; |
| 327 | // Add the capability to the message and return its index. If the same ClientHook is injected |
| 328 | // twice, this may return the same index both times, but in this case dropCap() needs to be |
| 329 | // called an equal number of times to actually remove the cap. |
| 330 | |
| 331 | virtual void dropCap(uint index) = 0; |
| 332 | // Remove a capability injected earlier. Called when the pointer is overwritten or zero'd out. |
| 333 | #endif // !CAPNP_LITE |
| 334 | }; |
| 335 | |
| 336 | // ------------------------------------------------------------------- |
| 337 | |
| 338 | class PointerBuilder: public kj::DisallowConstCopy { |
| 339 | // Represents a single pointer, usually embedded in a struct or a list. |
| 340 | |
| 341 | public: |
| 342 | inline PointerBuilder(): segment(nullptr), capTable(nullptr), pointer(nullptr) {} |
| 343 | |
| 344 | static inline PointerBuilder getRoot( |
| 345 | SegmentBuilder* segment, CapTableBuilder* capTable, word* location); |
| 346 | // Get a PointerBuilder representing a message root located in the given segment at the given |
| 347 | // location. |
| 348 | |
| 349 | inline bool isNull() { return getPointerType() == PointerType::NULL_; } |
| 350 | PointerType getPointerType() const; |
| 351 | |
| 352 | StructBuilder getStruct(StructSize size, const word* defaultValue); |
| 353 | ListBuilder getList(ElementSize elementSize, const word* defaultValue); |
| 354 | ListBuilder getStructList(StructSize elementSize, const word* defaultValue); |
| 355 | ListBuilder getListAnySize(const word* defaultValue); |
| 356 | template <typename T> typename T::Builder getBlob( |
| 357 | const void* defaultValue, ByteCount defaultSize); |
| 358 | #if !CAPNP_LITE |
| 359 | kj::Own<ClientHook> getCapability(); |
| 360 | #endif // !CAPNP_LITE |
| 361 | // Get methods: Get the value. If it is null, initialize it to a copy of the default value. |
| 362 | // The default value is encoded as an "unchecked message" for structs, lists, and objects, or a |
| 363 | // simple byte array for blobs. |
| 364 | |
| 365 | StructBuilder initStruct(StructSize size); |
| 366 | ListBuilder initList(ElementSize elementSize, ElementCount elementCount); |
| 367 | ListBuilder initStructList(ElementCount elementCount, StructSize size); |
| 368 | template <typename T> typename T::Builder initBlob(ByteCount size); |
| 369 | // Init methods: Initialize the pointer to a newly-allocated object, discarding the existing |
| 370 | // object. |
| 371 | |
| 372 | void setStruct(const StructReader& value, bool canonical = false); |
| 373 | void setList(const ListReader& value, bool canonical = false); |
| 374 | template <typename T> void setBlob(typename T::Reader value); |
| 375 | #if !CAPNP_LITE |
| 376 | void setCapability(kj::Own<ClientHook>&& cap); |
| 377 | #endif // !CAPNP_LITE |
| 378 | // Set methods: Initialize the pointer to a newly-allocated copy of the given value, discarding |
| 379 | // the existing object. |
| 380 | |
| 381 | void adopt(OrphanBuilder&& orphan); |
| 382 | // Set the pointer to point at the given orphaned value. |
| 383 | |
| 384 | OrphanBuilder disown(); |
| 385 | // Set the pointer to null and return its previous value as an orphan. |
| 386 | |
| 387 | void clear(); |
| 388 | // Clear the pointer to null, discarding its previous value. |
| 389 | |
| 390 | void transferFrom(PointerBuilder other); |
| 391 | // Equivalent to `adopt(other.disown())`. |
| 392 | |
| 393 | void copyFrom(PointerReader other, bool canonical = false); |
| 394 | // Equivalent to `set(other.get())`. |
| 395 | // If you set the canonical flag, it will attempt to lay the target out |
| 396 | // canonically, provided enough space is available. |
| 397 | |
| 398 | PointerReader asReader() const; |
| 399 | |
| 400 | BuilderArena* getArena() const; |
| 401 | // Get the arena containing this pointer. |
| 402 | |
| 403 | CapTableBuilder* getCapTable(); |
| 404 | // Gets the capability context in which this object is operating. |
| 405 | |
| 406 | PointerBuilder imbue(CapTableBuilder* capTable); |
| 407 | // Return a copy of this builder except using the given capability context. |
| 408 | |
| 409 | private: |
| 410 | SegmentBuilder* segment; // Memory segment in which the pointer resides. |
| 411 | CapTableBuilder* capTable; // Table of capability indexes. |
| 412 | WirePointer* pointer; // Pointer to the pointer. |
| 413 | |
| 414 | inline PointerBuilder(SegmentBuilder* segment, CapTableBuilder* capTable, WirePointer* pointer) |
| 415 | : segment(segment), capTable(capTable), pointer(pointer) {} |
| 416 | |
| 417 | friend class StructBuilder; |
| 418 | friend class ListBuilder; |
| 419 | friend class OrphanBuilder; |
| 420 | }; |
| 421 | |
| 422 | class PointerReader { |
| 423 | public: |
| 424 | inline PointerReader() |
| 425 | : segment(nullptr), capTable(nullptr), pointer(nullptr), nestingLimit(0x7fffffff) {} |
| 426 | |
| 427 | static PointerReader getRoot(SegmentReader* segment, CapTableReader* capTable, |
| 428 | const word* location, int nestingLimit); |
| 429 | // Get a PointerReader representing a message root located in the given segment at the given |
| 430 | // location. |
| 431 | |
| 432 | static inline PointerReader getRootUnchecked(const word* location); |
| 433 | // Get a PointerReader for an unchecked message. |
| 434 | |
| 435 | MessageSizeCounts targetSize() const; |
| 436 | // Return the total size of the target object and everything to which it points. Does not count |
| 437 | // far pointer overhead. This is useful for deciding how much space is needed to copy the object |
| 438 | // into a flat array. However, the caller is advised NOT to treat this value as secure. Instead, |
| 439 | // use the result as a hint for allocating the first segment, do the copy, and then throw an |
| 440 | // exception if it overruns. |
| 441 | |
| 442 | inline bool isNull() const { return getPointerType() == PointerType::NULL_; } |
| 443 | PointerType getPointerType() const; |
| 444 | |
| 445 | StructReader getStruct(const word* defaultValue) const; |
| 446 | ListReader getList(ElementSize expectedElementSize, const word* defaultValue) const; |
| 447 | ListReader getListAnySize(const word* defaultValue) const; |
| 448 | template <typename T> |
| 449 | typename T::Reader getBlob(const void* defaultValue, ByteCount defaultSize) const; |
| 450 | #if !CAPNP_LITE |
| 451 | kj::Own<ClientHook> getCapability() const; |
| 452 | #endif // !CAPNP_LITE |
| 453 | // Get methods: Get the value. If it is null, return the default value instead. |
| 454 | // The default value is encoded as an "unchecked message" for structs, lists, and objects, or a |
| 455 | // simple byte array for blobs. |
| 456 | |
| 457 | const word* getUnchecked() const; |
| 458 | // If this is an unchecked message, get a word* pointing at the location of the pointer. This |
| 459 | // word* can actually be passed to readUnchecked() to read the designated sub-object later. If |
| 460 | // this isn't an unchecked message, throws an exception. |
| 461 | |
| 462 | kj::Maybe<Arena&> getArena() const; |
| 463 | // Get the arena containing this pointer. |
| 464 | |
| 465 | CapTableReader* getCapTable(); |
| 466 | // Gets the capability context in which this object is operating. |
| 467 | |
| 468 | PointerReader imbue(CapTableReader* capTable) const; |
| 469 | // Return a copy of this reader except using the given capability context. |
| 470 | |
| 471 | bool isCanonical(const word **readHead); |
| 472 | // Validate this pointer's canonicity, subject to the conditions: |
| 473 | // * All data to the left of readHead has been read thus far (for pointer |
| 474 | // ordering) |
| 475 | // * All pointers in preorder have already been checked |
| 476 | // * This pointer is in the first and only segment of the message |
| 477 | |
| 478 | private: |
| 479 | SegmentReader* segment; // Memory segment in which the pointer resides. |
| 480 | CapTableReader* capTable; // Table of capability indexes. |
| 481 | const WirePointer* pointer; // Pointer to the pointer. null = treat as null pointer. |
| 482 | |
| 483 | int nestingLimit; |
| 484 | // Limits the depth of message structures to guard against stack-overflow-based DoS attacks. |
| 485 | // Once this reaches zero, further pointers will be pruned. |
| 486 | |
| 487 | inline PointerReader(SegmentReader* segment, CapTableReader* capTable, |
| 488 | const WirePointer* pointer, int nestingLimit) |
| 489 | : segment(segment), capTable(capTable), pointer(pointer), nestingLimit(nestingLimit) {} |
| 490 | |
| 491 | friend class StructReader; |
| 492 | friend class ListReader; |
| 493 | friend class PointerBuilder; |
| 494 | friend class OrphanBuilder; |
| 495 | }; |
| 496 | |
| 497 | // ------------------------------------------------------------------- |
| 498 | |
| 499 | class StructBuilder: public kj::DisallowConstCopy { |
| 500 | public: |
| 501 | inline StructBuilder(): segment(nullptr), capTable(nullptr), data(nullptr), pointers(nullptr) {} |
| 502 | |
| 503 | inline word* getLocation() { return reinterpret_cast<word*>(data); } |
| 504 | // Get the object's location. Only valid for independently-allocated objects (i.e. not list |
| 505 | // elements). |
| 506 | |
| 507 | inline StructDataBitCount getDataSectionSize() const { return dataSize; } |
| 508 | inline StructPointerCount getPointerSectionSize() const { return pointerCount; } |
| 509 | inline kj::ArrayPtr<byte> getDataSectionAsBlob(); |
| 510 | inline _::ListBuilder getPointerSectionAsList(); |
| 511 | |
| 512 | template <typename T> |
| 513 | KJ_ALWAYS_INLINE(bool hasDataField(StructDataOffset offset)); |
| 514 | // Return true if the field is set to something other than its default value. |
| 515 | |
| 516 | template <typename T> |
| 517 | KJ_ALWAYS_INLINE(T getDataField(StructDataOffset offset)); |
| 518 | // Gets the data field value of the given type at the given offset. The offset is measured in |
| 519 | // multiples of the field size, determined by the type. |
| 520 | |
| 521 | template <typename T> |
| 522 | KJ_ALWAYS_INLINE(T getDataField(StructDataOffset offset, Mask<T> mask)); |
| 523 | // Like getDataField() but applies the given XOR mask to the data on load. Used for reading |
| 524 | // fields with non-zero default values. |
| 525 | |
| 526 | template <typename T> |
| 527 | KJ_ALWAYS_INLINE(void setDataField(StructDataOffset offset, kj::NoInfer<T> value)); |
| 528 | // Sets the data field value at the given offset. |
| 529 | |
| 530 | template <typename T> |
| 531 | KJ_ALWAYS_INLINE(void setDataField(StructDataOffset offset, |
| 532 | kj::NoInfer<T> value, Mask<T> mask)); |
| 533 | // Like setDataField() but applies the given XOR mask before storing. Used for writing fields |
| 534 | // with non-zero default values. |
| 535 | |
| 536 | KJ_ALWAYS_INLINE(PointerBuilder getPointerField(StructPointerOffset ptrIndex)); |
| 537 | // Get a builder for a pointer field given the index within the pointer section. |
| 538 | |
| 539 | void clearAll(); |
| 540 | // Clear all pointers and data. |
| 541 | |
| 542 | void transferContentFrom(StructBuilder other); |
| 543 | // Adopt all pointers from `other`, and also copy all data. If `other`'s sections are larger |
| 544 | // than this, the extra data is not transferred, meaning there is a risk of data loss when |
| 545 | // transferring from messages built with future versions of the protocol. |
| 546 | |
| 547 | void copyContentFrom(StructReader other); |
| 548 | // Copy content from `other`. If `other`'s sections are larger than this, the extra data is not |
| 549 | // copied, meaning there is a risk of data loss when copying from messages built with future |
| 550 | // versions of the protocol. |
| 551 | |
| 552 | StructReader asReader() const; |
| 553 | // Gets a StructReader pointing at the same memory. |
| 554 | |
| 555 | BuilderArena* getArena(); |
| 556 | // Gets the arena in which this object is allocated. |
| 557 | |
| 558 | CapTableBuilder* getCapTable(); |
| 559 | // Gets the capability context in which this object is operating. |
| 560 | |
| 561 | StructBuilder imbue(CapTableBuilder* capTable); |
| 562 | // Return a copy of this builder except using the given capability context. |
| 563 | |
| 564 | private: |
| 565 | SegmentBuilder* segment; // Memory segment in which the struct resides. |
| 566 | CapTableBuilder* capTable; // Table of capability indexes. |
| 567 | void* data; // Pointer to the encoded data. |
| 568 | WirePointer* pointers; // Pointer to the encoded pointers. |
| 569 | |
| 570 | StructDataBitCount dataSize; |
| 571 | // Size of data section. We use a bit count rather than a word count to more easily handle the |
| 572 | // case of struct lists encoded with less than a word per element. |
| 573 | |
| 574 | StructPointerCount pointerCount; // Size of the pointer section. |
| 575 | |
| 576 | inline StructBuilder(SegmentBuilder* segment, CapTableBuilder* capTable, |
| 577 | void* data, WirePointer* pointers, |
| 578 | StructDataBitCount dataSize, StructPointerCount pointerCount) |
| 579 | : segment(segment), capTable(capTable), data(data), pointers(pointers), |
| 580 | dataSize(dataSize), pointerCount(pointerCount) {} |
| 581 | |
| 582 | friend class ListBuilder; |
| 583 | friend struct WireHelpers; |
| 584 | friend class OrphanBuilder; |
| 585 | }; |
| 586 | |
| 587 | class StructReader { |
| 588 | public: |
| 589 | inline StructReader() |
| 590 | : segment(nullptr), capTable(nullptr), data(nullptr), pointers(nullptr), |
| 591 | dataSize(ZERO * BITS), pointerCount(ZERO * POINTERS), nestingLimit(0x7fffffff) {} |
| 592 | inline StructReader(kj::ArrayPtr<const word> data) |
| 593 | : segment(nullptr), capTable(nullptr), data(data.begin()), pointers(nullptr), |
| 594 | dataSize(assumeBits<STRUCT_DATA_WORD_COUNT_BITS>(data.size()) * WORDS * BITS_PER_WORD), |
| 595 | pointerCount(ZERO * POINTERS), nestingLimit(0x7fffffff) {} |
| 596 | |
| 597 | const void* getLocation() const { return data; } |
| 598 | |
| 599 | inline StructDataBitCount getDataSectionSize() const { return dataSize; } |
| 600 | inline StructPointerCount getPointerSectionSize() const { return pointerCount; } |
| 601 | inline kj::ArrayPtr<const byte> getDataSectionAsBlob() const; |
| 602 | inline _::ListReader getPointerSectionAsList() const; |
| 603 | |
| 604 | kj::Array<word> canonicalize(); |
| 605 | |
| 606 | template <typename T> |
| 607 | KJ_ALWAYS_INLINE(bool hasDataField(StructDataOffset offset) const); |
| 608 | // Return true if the field is set to something other than its default value. |
| 609 | |
| 610 | template <typename T> |
| 611 | KJ_ALWAYS_INLINE(T getDataField(StructDataOffset offset) const); |
| 612 | // Get the data field value of the given type at the given offset. The offset is measured in |
| 613 | // multiples of the field size, determined by the type. Returns zero if the offset is past the |
| 614 | // end of the struct's data section. |
| 615 | |
| 616 | template <typename T> |
| 617 | KJ_ALWAYS_INLINE(T getDataField(StructDataOffset offset, Mask<T> mask) const); |
| 618 | // Like getDataField(offset), but applies the given XOR mask to the result. Used for reading |
| 619 | // fields with non-zero default values. |
| 620 | |
| 621 | KJ_ALWAYS_INLINE(PointerReader getPointerField(StructPointerOffset ptrIndex) const); |
| 622 | // Get a reader for a pointer field given the index within the pointer section. If the index |
| 623 | // is out-of-bounds, returns a null pointer. |
| 624 | |
| 625 | MessageSizeCounts totalSize() const; |
| 626 | // Return the total size of the struct and everything to which it points. Does not count far |
| 627 | // pointer overhead. This is useful for deciding how much space is needed to copy the struct |
| 628 | // into a flat array. |
| 629 | |
| 630 | CapTableReader* getCapTable(); |
| 631 | // Gets the capability context in which this object is operating. |
| 632 | |
| 633 | StructReader imbue(CapTableReader* capTable) const; |
| 634 | // Return a copy of this reader except using the given capability context. |
| 635 | |
| 636 | bool isCanonical(const word **readHead, const word **ptrHead, |
| 637 | bool *dataTrunc, bool *ptrTrunc); |
| 638 | // Validate this pointer's canonicity, subject to the conditions: |
| 639 | // * All data to the left of readHead has been read thus far (for pointer |
| 640 | // ordering) |
| 641 | // * All pointers in preorder have already been checked |
| 642 | // * This pointer is in the first and only segment of the message |
| 643 | // |
| 644 | // If this function returns false, the struct is non-canonical. If it |
| 645 | // returns true, then: |
| 646 | // * If it is a composite in a list, it is canonical if at least one struct |
| 647 | // in the list outputs dataTrunc = 1, and at least one outputs ptrTrunc = 1 |
| 648 | // * If it is derived from a struct pointer, it is canonical if |
| 649 | // dataTrunc = 1 AND ptrTrunc = 1 |
| 650 | |
| 651 | private: |
| 652 | SegmentReader* segment; // Memory segment in which the struct resides. |
| 653 | CapTableReader* capTable; // Table of capability indexes. |
| 654 | |
| 655 | const void* data; |
| 656 | const WirePointer* pointers; |
| 657 | |
| 658 | StructDataBitCount dataSize; |
| 659 | // Size of data section. We use a bit count rather than a word count to more easily handle the |
| 660 | // case of struct lists encoded with less than a word per element. |
| 661 | |
| 662 | StructPointerCount pointerCount; // Size of the pointer section. |
| 663 | |
| 664 | int nestingLimit; |
| 665 | // Limits the depth of message structures to guard against stack-overflow-based DoS attacks. |
| 666 | // Once this reaches zero, further pointers will be pruned. |
| 667 | // TODO(perf): Limit to 16 bits for better packing? |
| 668 | |
| 669 | inline StructReader(SegmentReader* segment, CapTableReader* capTable, |
| 670 | const void* data, const WirePointer* pointers, |
| 671 | StructDataBitCount dataSize, StructPointerCount pointerCount, |
| 672 | int nestingLimit) |
| 673 | : segment(segment), capTable(capTable), data(data), pointers(pointers), |
| 674 | dataSize(dataSize), pointerCount(pointerCount), |
| 675 | nestingLimit(nestingLimit) {} |
| 676 | |
| 677 | friend class ListReader; |
| 678 | friend class StructBuilder; |
| 679 | friend struct WireHelpers; |
| 680 | }; |
| 681 | |
| 682 | // ------------------------------------------------------------------- |
| 683 | |
| 684 | class ListBuilder: public kj::DisallowConstCopy { |
| 685 | public: |
| 686 | inline explicit ListBuilder(ElementSize elementSize) |
| 687 | : segment(nullptr), capTable(nullptr), ptr(nullptr), elementCount(ZERO * ELEMENTS), |
| 688 | step(ZERO * BITS / ELEMENTS), structDataSize(ZERO * BITS), |
| 689 | structPointerCount(ZERO * POINTERS), elementSize(elementSize) {} |
| 690 | |
| 691 | inline word* getLocation() { |
| 692 | // Get the object's location. |
| 693 | |
| 694 | if (elementSize == ElementSize::INLINE_COMPOSITE && ptr != nullptr) { |
| 695 | return reinterpret_cast<word*>(ptr) - POINTER_SIZE_IN_WORDS; |
| 696 | } else { |
| 697 | return reinterpret_cast<word*>(ptr); |
| 698 | } |
| 699 | } |
| 700 | |
| 701 | inline ElementSize getElementSize() const { return elementSize; } |
| 702 | |
| 703 | inline ListElementCount size() const; |
| 704 | // The number of elements in the list. |
| 705 | |
| 706 | Text::Builder asText(); |
| 707 | Data::Builder asData(); |
| 708 | // Reinterpret the list as a blob. Throws an exception if the elements are not byte-sized. |
| 709 | |
| 710 | template <typename T> |
| 711 | KJ_ALWAYS_INLINE(T getDataElement(ElementCount index)); |
| 712 | // Get the element of the given type at the given index. |
| 713 | |
| 714 | template <typename T> |
| 715 | KJ_ALWAYS_INLINE(void setDataElement(ElementCount index, kj::NoInfer<T> value)); |
| 716 | // Set the element at the given index. |
| 717 | |
| 718 | KJ_ALWAYS_INLINE(PointerBuilder getPointerElement(ElementCount index)); |
| 719 | |
| 720 | StructBuilder getStructElement(ElementCount index); |
| 721 | |
| 722 | ListReader asReader() const; |
| 723 | // Get a ListReader pointing at the same memory. |
| 724 | |
| 725 | BuilderArena* getArena(); |
| 726 | // Gets the arena in which this object is allocated. |
| 727 | |
| 728 | CapTableBuilder* getCapTable(); |
| 729 | // Gets the capability context in which this object is operating. |
| 730 | |
| 731 | ListBuilder imbue(CapTableBuilder* capTable); |
| 732 | // Return a copy of this builder except using the given capability context. |
| 733 | |
| 734 | private: |
| 735 | SegmentBuilder* segment; // Memory segment in which the list resides. |
| 736 | CapTableBuilder* capTable; // Table of capability indexes. |
| 737 | |
| 738 | byte* ptr; // Pointer to list content. |
| 739 | |
| 740 | ListElementCount elementCount; // Number of elements in the list. |
| 741 | |
| 742 | BitsPerElementN<23> step; |
| 743 | // The distance between elements. The maximum value occurs when a struct contains 2^16-1 data |
| 744 | // words and 2^16-1 pointers, i.e. 2^17 - 2 words, or 2^23 - 128 bits. |
| 745 | |
| 746 | StructDataBitCount structDataSize; |
| 747 | StructPointerCount structPointerCount; |
| 748 | // The struct properties to use when interpreting the elements as structs. All lists can be |
| 749 | // interpreted as struct lists, so these are always filled in. |
| 750 | |
| 751 | ElementSize elementSize; |
| 752 | // The element size as a ElementSize. This is only really needed to disambiguate INLINE_COMPOSITE |
| 753 | // from other types when the overall size is exactly zero or one words. |
| 754 | |
| 755 | inline ListBuilder(SegmentBuilder* segment, CapTableBuilder* capTable, void* ptr, |
| 756 | BitsPerElementN<23> step, ListElementCount size, |
| 757 | StructDataBitCount structDataSize, StructPointerCount structPointerCount, |
| 758 | ElementSize elementSize) |
| 759 | : segment(segment), capTable(capTable), ptr(reinterpret_cast<byte*>(ptr)), |
| 760 | elementCount(size), step(step), structDataSize(structDataSize), |
| 761 | structPointerCount(structPointerCount), elementSize(elementSize) {} |
| 762 | |
| 763 | friend class StructBuilder; |
| 764 | friend struct WireHelpers; |
| 765 | friend class OrphanBuilder; |
| 766 | }; |
| 767 | |
| 768 | class ListReader { |
| 769 | public: |
| 770 | inline explicit ListReader(ElementSize elementSize) |
| 771 | : segment(nullptr), capTable(nullptr), ptr(nullptr), elementCount(ZERO * ELEMENTS), |
| 772 | step(ZERO * BITS / ELEMENTS), structDataSize(ZERO * BITS), |
| 773 | structPointerCount(ZERO * POINTERS), elementSize(elementSize), nestingLimit(0x7fffffff) {} |
| 774 | |
| 775 | inline ListElementCount size() const; |
| 776 | // The number of elements in the list. |
| 777 | |
| 778 | inline ElementSize getElementSize() const { return elementSize; } |
| 779 | |
| 780 | Text::Reader asText(); |
| 781 | Data::Reader asData(); |
| 782 | // Reinterpret the list as a blob. Throws an exception if the elements are not byte-sized. |
| 783 | |
| 784 | kj::ArrayPtr<const byte> asRawBytes() const; |
| 785 | |
| 786 | template <typename T> |
| 787 | KJ_ALWAYS_INLINE(T getDataElement(ElementCount index) const); |
| 788 | // Get the element of the given type at the given index. |
| 789 | |
| 790 | KJ_ALWAYS_INLINE(PointerReader getPointerElement(ElementCount index) const); |
| 791 | |
| 792 | StructReader getStructElement(ElementCount index) const; |
| 793 | |
| 794 | MessageSizeCounts totalSize() const; |
| 795 | // Like StructReader::totalSize(). Note that for struct lists, the size includes the list tag. |
| 796 | |
| 797 | CapTableReader* getCapTable(); |
| 798 | // Gets the capability context in which this object is operating. |
| 799 | |
| 800 | ListReader imbue(CapTableReader* capTable) const; |
| 801 | // Return a copy of this reader except using the given capability context. |
| 802 | |
| 803 | bool isCanonical(const word **readHead, const WirePointer* ref); |
| 804 | // Validate this pointer's canonicity, subject to the conditions: |
| 805 | // * All data to the left of readHead has been read thus far (for pointer |
| 806 | // ordering) |
| 807 | // * All pointers in preorder have already been checked |
| 808 | // * This pointer is in the first and only segment of the message |
| 809 | |
| 810 | private: |
| 811 | SegmentReader* segment; // Memory segment in which the list resides. |
| 812 | CapTableReader* capTable; // Table of capability indexes. |
| 813 | |
| 814 | const byte* ptr; // Pointer to list content. |
| 815 | |
| 816 | ListElementCount elementCount; // Number of elements in the list. |
| 817 | |
| 818 | BitsPerElementN<23> step; |
| 819 | // The distance between elements. The maximum value occurs when a struct contains 2^16-1 data |
| 820 | // words and 2^16-1 pointers, i.e. 2^17 - 2 words, or 2^23 - 2 bits. |
| 821 | |
| 822 | StructDataBitCount structDataSize; |
| 823 | StructPointerCount structPointerCount; |
| 824 | // The struct properties to use when interpreting the elements as structs. All lists can be |
| 825 | // interpreted as struct lists, so these are always filled in. |
| 826 | |
| 827 | ElementSize elementSize; |
| 828 | // The element size as a ElementSize. This is only really needed to disambiguate INLINE_COMPOSITE |
| 829 | // from other types when the overall size is exactly zero or one words. |
| 830 | |
| 831 | int nestingLimit; |
| 832 | // Limits the depth of message structures to guard against stack-overflow-based DoS attacks. |
| 833 | // Once this reaches zero, further pointers will be pruned. |
| 834 | |
| 835 | inline ListReader(SegmentReader* segment, CapTableReader* capTable, const void* ptr, |
| 836 | ListElementCount elementCount, BitsPerElementN<23> step, |
| 837 | StructDataBitCount structDataSize, StructPointerCount structPointerCount, |
| 838 | ElementSize elementSize, int nestingLimit) |
| 839 | : segment(segment), capTable(capTable), ptr(reinterpret_cast<const byte*>(ptr)), |
| 840 | elementCount(elementCount), step(step), structDataSize(structDataSize), |
| 841 | structPointerCount(structPointerCount), elementSize(elementSize), |
| 842 | nestingLimit(nestingLimit) {} |
| 843 | |
| 844 | friend class StructReader; |
| 845 | friend class ListBuilder; |
| 846 | friend struct WireHelpers; |
| 847 | friend class OrphanBuilder; |
| 848 | }; |
| 849 | |
| 850 | // ------------------------------------------------------------------- |
| 851 | |
| 852 | class OrphanBuilder { |
| 853 | public: |
| 854 | inline OrphanBuilder(): segment(nullptr), capTable(nullptr), location(nullptr) { |
| 855 | memset(&tag, 0, sizeof(tag)); |
| 856 | } |
| 857 | OrphanBuilder(const OrphanBuilder& other) = delete; |
| 858 | inline OrphanBuilder(OrphanBuilder&& other) noexcept; |
| 859 | inline ~OrphanBuilder() noexcept(false); |
| 860 | |
| 861 | static OrphanBuilder initStruct(BuilderArena* arena, CapTableBuilder* capTable, StructSize size); |
| 862 | static OrphanBuilder initList(BuilderArena* arena, CapTableBuilder* capTable, |
| 863 | ElementCount elementCount, ElementSize elementSize); |
| 864 | static OrphanBuilder initStructList(BuilderArena* arena, CapTableBuilder* capTable, |
| 865 | ElementCount elementCount, StructSize elementSize); |
| 866 | static OrphanBuilder initText(BuilderArena* arena, CapTableBuilder* capTable, ByteCount size); |
| 867 | static OrphanBuilder initData(BuilderArena* arena, CapTableBuilder* capTable, ByteCount size); |
| 868 | |
| 869 | static OrphanBuilder copy(BuilderArena* arena, CapTableBuilder* capTable, StructReader copyFrom); |
| 870 | static OrphanBuilder copy(BuilderArena* arena, CapTableBuilder* capTable, ListReader copyFrom); |
| 871 | static OrphanBuilder copy(BuilderArena* arena, CapTableBuilder* capTable, PointerReader copyFrom); |
| 872 | static OrphanBuilder copy(BuilderArena* arena, CapTableBuilder* capTable, Text::Reader copyFrom); |
| 873 | static OrphanBuilder copy(BuilderArena* arena, CapTableBuilder* capTable, Data::Reader copyFrom); |
| 874 | #if !CAPNP_LITE |
| 875 | static OrphanBuilder copy(BuilderArena* arena, CapTableBuilder* capTable, |
| 876 | kj::Own<ClientHook> copyFrom); |
| 877 | #endif // !CAPNP_LITE |
| 878 | |
| 879 | static OrphanBuilder concat(BuilderArena* arena, CapTableBuilder* capTable, |
| 880 | ElementSize expectedElementSize, StructSize expectedStructSize, |
| 881 | kj::ArrayPtr<const ListReader> lists); |
| 882 | |
| 883 | static OrphanBuilder referenceExternalData(BuilderArena* arena, Data::Reader data); |
| 884 | |
| 885 | OrphanBuilder& operator=(const OrphanBuilder& other) = delete; |
| 886 | inline OrphanBuilder& operator=(OrphanBuilder&& other); |
| 887 | |
| 888 | inline bool operator==(decltype(nullptr)) const { return location == nullptr; } |
| 889 | inline bool operator!=(decltype(nullptr)) const { return location != nullptr; } |
| 890 | |
| 891 | StructBuilder asStruct(StructSize size); |
| 892 | // Interpret as a struct, or throw an exception if not a struct. |
| 893 | |
| 894 | ListBuilder asList(ElementSize elementSize); |
| 895 | // Interpret as a list, or throw an exception if not a list. elementSize cannot be |
| 896 | // INLINE_COMPOSITE -- use asStructList() instead. |
| 897 | |
| 898 | ListBuilder asStructList(StructSize elementSize); |
| 899 | // Interpret as a struct list, or throw an exception if not a list. |
| 900 | |
| 901 | ListBuilder asListAnySize(); |
| 902 | // For AnyList. |
| 903 | |
| 904 | Text::Builder asText(); |
| 905 | Data::Builder asData(); |
| 906 | // Interpret as a blob, or throw an exception if not a blob. |
| 907 | |
| 908 | StructReader asStructReader(StructSize size) const; |
| 909 | ListReader asListReader(ElementSize elementSize) const; |
| 910 | ListReader asListReaderAnySize() const; |
| 911 | #if !CAPNP_LITE |
| 912 | kj::Own<ClientHook> asCapability() const; |
| 913 | #endif // !CAPNP_LITE |
| 914 | Text::Reader asTextReader() const; |
| 915 | Data::Reader asDataReader() const; |
| 916 | |
| 917 | bool truncate(ElementCount size, bool isText) KJ_WARN_UNUSED_RESULT; |
| 918 | // Resize the orphan list to the given size. Returns false if the list is currently empty but |
| 919 | // the requested size is non-zero, in which case the caller will need to allocate a new list. |
| 920 | |
| 921 | void truncate(ElementCount size, ElementSize elementSize); |
| 922 | void truncate(ElementCount size, StructSize elementSize); |
| 923 | void truncateText(ElementCount size); |
| 924 | // Versions of truncate() that know how to allocate a new list if needed. |
| 925 | |
| 926 | private: |
| 927 | static_assert(ONE * POINTERS * WORDS_PER_POINTER == ONE * WORDS, |
| 928 | "This struct assumes a pointer is one word." ); |
| 929 | word tag; |
| 930 | // Contains an encoded WirePointer representing this object. WirePointer is defined in |
| 931 | // layout.c++, but fits in a word. |
| 932 | // |
| 933 | // This may be a FAR pointer. Even in that case, `location` points to the eventual destination |
| 934 | // of that far pointer. The reason we keep the far pointer around rather than just making `tag` |
| 935 | // represent the final destination is because if the eventual adopter of the pointer is not in |
| 936 | // the target's segment then it may be useful to reuse the far pointer landing pad. |
| 937 | // |
| 938 | // If `tag` is not a far pointer, its offset is garbage; only `location` points to the actual |
| 939 | // target. |
| 940 | |
| 941 | SegmentBuilder* segment; |
| 942 | // Segment in which the object resides. |
| 943 | |
| 944 | CapTableBuilder* capTable; |
| 945 | // Table of capability indexes. |
| 946 | |
| 947 | word* location; |
| 948 | // Pointer to the object, or nullptr if the pointer is null. For capabilities, we make this |
| 949 | // 0x1 just so that it is non-null for operator==, but it is never used. |
| 950 | |
| 951 | inline OrphanBuilder(const void* tagPtr, SegmentBuilder* segment, |
| 952 | CapTableBuilder* capTable, word* location) |
| 953 | : segment(segment), capTable(capTable), location(location) { |
| 954 | memcpy(&tag, tagPtr, sizeof(tag)); |
| 955 | } |
| 956 | |
| 957 | inline WirePointer* tagAsPtr() { return reinterpret_cast<WirePointer*>(&tag); } |
| 958 | inline const WirePointer* tagAsPtr() const { return reinterpret_cast<const WirePointer*>(&tag); } |
| 959 | |
| 960 | void euthanize(); |
| 961 | // Erase the target object, zeroing it out and possibly reclaiming the memory. Called when |
| 962 | // the OrphanBuilder is being destroyed or overwritten and it is non-null. |
| 963 | |
| 964 | friend struct WireHelpers; |
| 965 | }; |
| 966 | |
| 967 | // ======================================================================================= |
| 968 | // Internal implementation details... |
| 969 | |
| 970 | // These are defined in the source file. |
| 971 | template <> typename Text::Builder PointerBuilder::initBlob<Text>(ByteCount size); |
| 972 | template <> void PointerBuilder::setBlob<Text>(typename Text::Reader value); |
| 973 | template <> typename Text::Builder PointerBuilder::getBlob<Text>( |
| 974 | const void* defaultValue, ByteCount defaultSize); |
| 975 | template <> typename Text::Reader PointerReader::getBlob<Text>( |
| 976 | const void* defaultValue, ByteCount defaultSize) const; |
| 977 | |
| 978 | template <> typename Data::Builder PointerBuilder::initBlob<Data>(ByteCount size); |
| 979 | template <> void PointerBuilder::setBlob<Data>(typename Data::Reader value); |
| 980 | template <> typename Data::Builder PointerBuilder::getBlob<Data>( |
| 981 | const void* defaultValue, ByteCount defaultSize); |
| 982 | template <> typename Data::Reader PointerReader::getBlob<Data>( |
| 983 | const void* defaultValue, ByteCount defaultSize) const; |
| 984 | |
| 985 | inline PointerBuilder PointerBuilder::getRoot( |
| 986 | SegmentBuilder* segment, CapTableBuilder* capTable, word* location) { |
| 987 | return PointerBuilder(segment, capTable, reinterpret_cast<WirePointer*>(location)); |
| 988 | } |
| 989 | |
| 990 | inline PointerReader PointerReader::getRootUnchecked(const word* location) { |
| 991 | return PointerReader(nullptr, nullptr, |
| 992 | reinterpret_cast<const WirePointer*>(location), 0x7fffffff); |
| 993 | } |
| 994 | |
| 995 | // ------------------------------------------------------------------- |
| 996 | |
| 997 | inline kj::ArrayPtr<byte> StructBuilder::getDataSectionAsBlob() { |
| 998 | return kj::ArrayPtr<byte>(reinterpret_cast<byte*>(data), |
| 999 | unbound(dataSize / BITS_PER_BYTE / BYTES)); |
| 1000 | } |
| 1001 | |
| 1002 | inline _::ListBuilder StructBuilder::getPointerSectionAsList() { |
| 1003 | return _::ListBuilder(segment, capTable, pointers, ONE * POINTERS * BITS_PER_POINTER / ELEMENTS, |
| 1004 | pointerCount * (ONE * ELEMENTS / POINTERS), |
| 1005 | ZERO * BITS, ONE * POINTERS, ElementSize::POINTER); |
| 1006 | } |
| 1007 | |
| 1008 | template <typename T> |
| 1009 | inline bool StructBuilder::hasDataField(StructDataOffset offset) { |
| 1010 | return getDataField<Mask<T>>(offset) != 0; |
| 1011 | } |
| 1012 | |
| 1013 | template <> |
| 1014 | inline bool StructBuilder::hasDataField<Void>(StructDataOffset offset) { |
| 1015 | return false; |
| 1016 | } |
| 1017 | |
| 1018 | template <typename T> |
| 1019 | inline T StructBuilder::getDataField(StructDataOffset offset) { |
| 1020 | return reinterpret_cast<WireValue<T>*>(data)[unbound(offset / ELEMENTS)].get(); |
| 1021 | } |
| 1022 | |
| 1023 | template <> |
| 1024 | inline bool StructBuilder::getDataField<bool>(StructDataOffset offset) { |
| 1025 | BitCount32 boffset = offset * (ONE * BITS / ELEMENTS); |
| 1026 | byte* b = reinterpret_cast<byte*>(data) + boffset / BITS_PER_BYTE; |
| 1027 | return (*reinterpret_cast<uint8_t*>(b) & |
| 1028 | unbound(ONE << (boffset % BITS_PER_BYTE / BITS))) != 0; |
| 1029 | } |
| 1030 | |
| 1031 | template <> |
| 1032 | inline Void StructBuilder::getDataField<Void>(StructDataOffset offset) { |
| 1033 | return VOID; |
| 1034 | } |
| 1035 | |
| 1036 | template <typename T> |
| 1037 | inline T StructBuilder::getDataField(StructDataOffset offset, Mask<T> mask) { |
| 1038 | return unmask<T>(getDataField<Mask<T> >(offset), mask); |
| 1039 | } |
| 1040 | |
| 1041 | template <typename T> |
| 1042 | inline void StructBuilder::setDataField(StructDataOffset offset, kj::NoInfer<T> value) { |
| 1043 | reinterpret_cast<WireValue<T>*>(data)[unbound(offset / ELEMENTS)].set(value); |
| 1044 | } |
| 1045 | |
| 1046 | #if CAPNP_CANONICALIZE_NAN |
| 1047 | // Use mask() on floats and doubles to make sure we canonicalize NaNs. |
| 1048 | template <> |
| 1049 | inline void StructBuilder::setDataField<float>(StructDataOffset offset, float value) { |
| 1050 | setDataField<uint32_t>(offset, mask<float>(value, 0)); |
| 1051 | } |
| 1052 | template <> |
| 1053 | inline void StructBuilder::setDataField<double>(StructDataOffset offset, double value) { |
| 1054 | setDataField<uint64_t>(offset, mask<double>(value, 0)); |
| 1055 | } |
| 1056 | #endif |
| 1057 | |
| 1058 | template <> |
| 1059 | inline void StructBuilder::setDataField<bool>(StructDataOffset offset, bool value) { |
| 1060 | auto boffset = offset * (ONE * BITS / ELEMENTS); |
| 1061 | byte* b = reinterpret_cast<byte*>(data) + boffset / BITS_PER_BYTE; |
| 1062 | uint bitnum = unboundMaxBits<3>(boffset % BITS_PER_BYTE / BITS); |
| 1063 | *reinterpret_cast<uint8_t*>(b) = (*reinterpret_cast<uint8_t*>(b) & ~(1 << bitnum)) |
| 1064 | | (static_cast<uint8_t>(value) << bitnum); |
| 1065 | } |
| 1066 | |
| 1067 | template <> |
| 1068 | inline void StructBuilder::setDataField<Void>(StructDataOffset offset, Void value) {} |
| 1069 | |
| 1070 | template <typename T> |
| 1071 | inline void StructBuilder::setDataField(StructDataOffset offset, |
| 1072 | kj::NoInfer<T> value, Mask<T> m) { |
| 1073 | setDataField<Mask<T> >(offset, mask<T>(value, m)); |
| 1074 | } |
| 1075 | |
| 1076 | inline PointerBuilder StructBuilder::getPointerField(StructPointerOffset ptrIndex) { |
| 1077 | // Hacky because WirePointer is defined in the .c++ file (so is incomplete here). |
| 1078 | return PointerBuilder(segment, capTable, reinterpret_cast<WirePointer*>( |
| 1079 | reinterpret_cast<word*>(pointers) + ptrIndex * WORDS_PER_POINTER)); |
| 1080 | } |
| 1081 | |
| 1082 | // ------------------------------------------------------------------- |
| 1083 | |
| 1084 | inline kj::ArrayPtr<const byte> StructReader::getDataSectionAsBlob() const { |
| 1085 | return kj::ArrayPtr<const byte>(reinterpret_cast<const byte*>(data), |
| 1086 | unbound(dataSize / BITS_PER_BYTE / BYTES)); |
| 1087 | } |
| 1088 | |
| 1089 | inline _::ListReader StructReader::getPointerSectionAsList() const { |
| 1090 | return _::ListReader(segment, capTable, pointers, pointerCount * (ONE * ELEMENTS / POINTERS), |
| 1091 | ONE * POINTERS * BITS_PER_POINTER / ELEMENTS, ZERO * BITS, ONE * POINTERS, |
| 1092 | ElementSize::POINTER, nestingLimit); |
| 1093 | } |
| 1094 | |
| 1095 | template <typename T> |
| 1096 | inline bool StructReader::hasDataField(StructDataOffset offset) const { |
| 1097 | return getDataField<Mask<T>>(offset) != 0; |
| 1098 | } |
| 1099 | |
| 1100 | template <> |
| 1101 | inline bool StructReader::hasDataField<Void>(StructDataOffset offset) const { |
| 1102 | return false; |
| 1103 | } |
| 1104 | |
| 1105 | template <typename T> |
| 1106 | inline T StructReader::getDataField(StructDataOffset offset) const { |
| 1107 | if ((offset + ONE * ELEMENTS) * capnp::bitsPerElement<T>() <= dataSize) { |
| 1108 | return reinterpret_cast<const WireValue<T>*>(data)[unbound(offset / ELEMENTS)].get(); |
| 1109 | } else { |
| 1110 | return static_cast<T>(0); |
| 1111 | } |
| 1112 | } |
| 1113 | |
| 1114 | template <> |
| 1115 | inline bool StructReader::getDataField<bool>(StructDataOffset offset) const { |
| 1116 | auto boffset = offset * (ONE * BITS / ELEMENTS); |
| 1117 | if (boffset < dataSize) { |
| 1118 | const byte* b = reinterpret_cast<const byte*>(data) + boffset / BITS_PER_BYTE; |
| 1119 | return (*reinterpret_cast<const uint8_t*>(b) & |
| 1120 | unbound(ONE << (boffset % BITS_PER_BYTE / BITS))) != 0; |
| 1121 | } else { |
| 1122 | return false; |
| 1123 | } |
| 1124 | } |
| 1125 | |
| 1126 | template <> |
| 1127 | inline Void StructReader::getDataField<Void>(StructDataOffset offset) const { |
| 1128 | return VOID; |
| 1129 | } |
| 1130 | |
| 1131 | template <typename T> |
| 1132 | T StructReader::getDataField(StructDataOffset offset, Mask<T> mask) const { |
| 1133 | return unmask<T>(getDataField<Mask<T> >(offset), mask); |
| 1134 | } |
| 1135 | |
| 1136 | inline PointerReader StructReader::getPointerField(StructPointerOffset ptrIndex) const { |
| 1137 | if (ptrIndex < pointerCount) { |
| 1138 | // Hacky because WirePointer is defined in the .c++ file (so is incomplete here). |
| 1139 | return PointerReader(segment, capTable, reinterpret_cast<const WirePointer*>( |
| 1140 | reinterpret_cast<const word*>(pointers) + ptrIndex * WORDS_PER_POINTER), nestingLimit); |
| 1141 | } else{ |
| 1142 | return PointerReader(); |
| 1143 | } |
| 1144 | } |
| 1145 | |
| 1146 | // ------------------------------------------------------------------- |
| 1147 | |
| 1148 | inline ListElementCount ListBuilder::size() const { return elementCount; } |
| 1149 | |
| 1150 | template <typename T> |
| 1151 | inline T ListBuilder::getDataElement(ElementCount index) { |
| 1152 | return reinterpret_cast<WireValue<T>*>( |
| 1153 | ptr + upgradeBound<uint64_t>(index) * step / BITS_PER_BYTE)->get(); |
| 1154 | |
| 1155 | // TODO(perf): Benchmark this alternate implementation, which I suspect may make better use of |
| 1156 | // the x86 SIB byte. Also use it for all the other getData/setData implementations below, and |
| 1157 | // the various non-inline methods that look up pointers. |
| 1158 | // Also if using this, consider changing ptr back to void* instead of byte*. |
| 1159 | // return reinterpret_cast<WireValue<T>*>(ptr)[ |
| 1160 | // index / ELEMENTS * (step / capnp::bitsPerElement<T>())].get(); |
| 1161 | } |
| 1162 | |
| 1163 | template <> |
| 1164 | inline bool ListBuilder::getDataElement<bool>(ElementCount index) { |
| 1165 | // Ignore step for bit lists because bit lists cannot be upgraded to struct lists. |
| 1166 | auto bindex = index * (ONE * BITS / ELEMENTS); |
| 1167 | byte* b = ptr + bindex / BITS_PER_BYTE; |
| 1168 | return (*reinterpret_cast<uint8_t*>(b) & |
| 1169 | unbound(ONE << (bindex % BITS_PER_BYTE / BITS))) != 0; |
| 1170 | } |
| 1171 | |
| 1172 | template <> |
| 1173 | inline Void ListBuilder::getDataElement<Void>(ElementCount index) { |
| 1174 | return VOID; |
| 1175 | } |
| 1176 | |
| 1177 | template <typename T> |
| 1178 | inline void ListBuilder::setDataElement(ElementCount index, kj::NoInfer<T> value) { |
| 1179 | reinterpret_cast<WireValue<T>*>( |
| 1180 | ptr + upgradeBound<uint64_t>(index) * step / BITS_PER_BYTE)->set(value); |
| 1181 | } |
| 1182 | |
| 1183 | #if CAPNP_CANONICALIZE_NAN |
| 1184 | // Use mask() on floats and doubles to make sure we canonicalize NaNs. |
| 1185 | template <> |
| 1186 | inline void ListBuilder::setDataElement<float>(ElementCount index, float value) { |
| 1187 | setDataElement<uint32_t>(index, mask<float>(value, 0)); |
| 1188 | } |
| 1189 | template <> |
| 1190 | inline void ListBuilder::setDataElement<double>(ElementCount index, double value) { |
| 1191 | setDataElement<uint64_t>(index, mask<double>(value, 0)); |
| 1192 | } |
| 1193 | #endif |
| 1194 | |
| 1195 | template <> |
| 1196 | inline void ListBuilder::setDataElement<bool>(ElementCount index, bool value) { |
| 1197 | // Ignore stepBytes for bit lists because bit lists cannot be upgraded to struct lists. |
| 1198 | auto bindex = index * (ONE * BITS / ELEMENTS); |
| 1199 | byte* b = ptr + bindex / BITS_PER_BYTE; |
| 1200 | auto bitnum = bindex % BITS_PER_BYTE / BITS; |
| 1201 | *reinterpret_cast<uint8_t*>(b) = (*reinterpret_cast<uint8_t*>(b) & ~(1 << unbound(bitnum))) |
| 1202 | | (static_cast<uint8_t>(value) << unbound(bitnum)); |
| 1203 | } |
| 1204 | |
| 1205 | template <> |
| 1206 | inline void ListBuilder::setDataElement<Void>(ElementCount index, Void value) {} |
| 1207 | |
| 1208 | inline PointerBuilder ListBuilder::getPointerElement(ElementCount index) { |
| 1209 | return PointerBuilder(segment, capTable, reinterpret_cast<WirePointer*>(ptr + |
| 1210 | upgradeBound<uint64_t>(index) * step / BITS_PER_BYTE)); |
| 1211 | } |
| 1212 | |
| 1213 | // ------------------------------------------------------------------- |
| 1214 | |
| 1215 | inline ListElementCount ListReader::size() const { return elementCount; } |
| 1216 | |
| 1217 | template <typename T> |
| 1218 | inline T ListReader::getDataElement(ElementCount index) const { |
| 1219 | return reinterpret_cast<const WireValue<T>*>( |
| 1220 | ptr + upgradeBound<uint64_t>(index) * step / BITS_PER_BYTE)->get(); |
| 1221 | } |
| 1222 | |
| 1223 | template <> |
| 1224 | inline bool ListReader::getDataElement<bool>(ElementCount index) const { |
| 1225 | // Ignore step for bit lists because bit lists cannot be upgraded to struct lists. |
| 1226 | auto bindex = index * (ONE * BITS / ELEMENTS); |
| 1227 | const byte* b = ptr + bindex / BITS_PER_BYTE; |
| 1228 | return (*reinterpret_cast<const uint8_t*>(b) & |
| 1229 | unbound(ONE << (bindex % BITS_PER_BYTE / BITS))) != 0; |
| 1230 | } |
| 1231 | |
| 1232 | template <> |
| 1233 | inline Void ListReader::getDataElement<Void>(ElementCount index) const { |
| 1234 | return VOID; |
| 1235 | } |
| 1236 | |
| 1237 | inline PointerReader ListReader::getPointerElement(ElementCount index) const { |
| 1238 | return PointerReader(segment, capTable, reinterpret_cast<const WirePointer*>( |
| 1239 | ptr + upgradeBound<uint64_t>(index) * step / BITS_PER_BYTE), nestingLimit); |
| 1240 | } |
| 1241 | |
| 1242 | // ------------------------------------------------------------------- |
| 1243 | |
| 1244 | inline OrphanBuilder::OrphanBuilder(OrphanBuilder&& other) noexcept |
| 1245 | : segment(other.segment), capTable(other.capTable), location(other.location) { |
| 1246 | memcpy(&tag, &other.tag, sizeof(tag)); // Needs memcpy to comply with aliasing rules. |
| 1247 | other.segment = nullptr; |
| 1248 | other.location = nullptr; |
| 1249 | } |
| 1250 | |
| 1251 | inline OrphanBuilder::~OrphanBuilder() noexcept(false) { |
| 1252 | if (segment != nullptr) euthanize(); |
| 1253 | } |
| 1254 | |
| 1255 | inline OrphanBuilder& OrphanBuilder::operator=(OrphanBuilder&& other) { |
| 1256 | // With normal smart pointers, it's important to handle the case where the incoming pointer |
| 1257 | // is actually transitively owned by this one. In this case, euthanize() would destroy `other` |
| 1258 | // before we copied it. This isn't possible in the case of `OrphanBuilder` because it only |
| 1259 | // owns message objects, and `other` is not itself a message object, therefore cannot possibly |
| 1260 | // be transitively owned by `this`. |
| 1261 | |
| 1262 | if (segment != nullptr) euthanize(); |
| 1263 | segment = other.segment; |
| 1264 | capTable = other.capTable; |
| 1265 | location = other.location; |
| 1266 | memcpy(&tag, &other.tag, sizeof(tag)); // Needs memcpy to comply with aliasing rules. |
| 1267 | other.segment = nullptr; |
| 1268 | other.location = nullptr; |
| 1269 | return *this; |
| 1270 | } |
| 1271 | |
| 1272 | } // namespace _ (private) |
| 1273 | } // namespace capnp |
| 1274 | |