annotate osx/include/capnp/message.h @ 54:5f67a29f0fc7

Rebuild MAD with 64-bit FPM
author Chris Cannam <cannam@all-day-breakfast.com>
date Wed, 30 Nov 2016 20:59:17 +0000
parents 3ab5a40c4e3b
children 0994c39f1e94
rev   line source
cannam@49 1 // Copyright (c) 2013-2016 Sandstorm Development Group, Inc. and contributors
cannam@49 2 // Licensed under the MIT License:
cannam@49 3 //
cannam@49 4 // Permission is hereby granted, free of charge, to any person obtaining a copy
cannam@49 5 // of this software and associated documentation files (the "Software"), to deal
cannam@49 6 // in the Software without restriction, including without limitation the rights
cannam@49 7 // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
cannam@49 8 // copies of the Software, and to permit persons to whom the Software is
cannam@49 9 // furnished to do so, subject to the following conditions:
cannam@49 10 //
cannam@49 11 // The above copyright notice and this permission notice shall be included in
cannam@49 12 // all copies or substantial portions of the Software.
cannam@49 13 //
cannam@49 14 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
cannam@49 15 // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
cannam@49 16 // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
cannam@49 17 // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
cannam@49 18 // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
cannam@49 19 // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
cannam@49 20 // THE SOFTWARE.
cannam@49 21
cannam@49 22 #include <kj/common.h>
cannam@49 23 #include <kj/memory.h>
cannam@49 24 #include <kj/mutex.h>
cannam@49 25 #include <kj/debug.h>
cannam@49 26 #include "common.h"
cannam@49 27 #include "layout.h"
cannam@49 28 #include "any.h"
cannam@49 29
cannam@49 30 #ifndef CAPNP_MESSAGE_H_
cannam@49 31 #define CAPNP_MESSAGE_H_
cannam@49 32
cannam@49 33 #if defined(__GNUC__) && !defined(CAPNP_HEADER_WARNINGS)
cannam@49 34 #pragma GCC system_header
cannam@49 35 #endif
cannam@49 36
cannam@49 37 namespace capnp {
cannam@49 38
cannam@49 39 namespace _ { // private
cannam@49 40 class ReaderArena;
cannam@49 41 class BuilderArena;
cannam@49 42 }
cannam@49 43
cannam@49 44 class StructSchema;
cannam@49 45 class Orphanage;
cannam@49 46 template <typename T>
cannam@49 47 class Orphan;
cannam@49 48
cannam@49 49 // =======================================================================================
cannam@49 50
cannam@49 51 struct ReaderOptions {
cannam@49 52 // Options controlling how data is read.
cannam@49 53
cannam@49 54 uint64_t traversalLimitInWords = 8 * 1024 * 1024;
cannam@49 55 // Limits how many total words of data are allowed to be traversed. Traversal is counted when
cannam@49 56 // a new struct or list builder is obtained, e.g. from a get() accessor. This means that calling
cannam@49 57 // the getter for the same sub-struct multiple times will cause it to be double-counted. Once
cannam@49 58 // the traversal limit is reached, an error will be reported.
cannam@49 59 //
cannam@49 60 // This limit exists for security reasons. It is possible for an attacker to construct a message
cannam@49 61 // in which multiple pointers point at the same location. This is technically invalid, but hard
cannam@49 62 // to detect. Using such a message, an attacker could cause a message which is small on the wire
cannam@49 63 // to appear much larger when actually traversed, possibly exhausting server resources leading to
cannam@49 64 // denial-of-service.
cannam@49 65 //
cannam@49 66 // It makes sense to set a traversal limit that is much larger than the underlying message.
cannam@49 67 // Together with sensible coding practices (e.g. trying to avoid calling sub-object getters
cannam@49 68 // multiple times, which is expensive anyway), this should provide adequate protection without
cannam@49 69 // inconvenience.
cannam@49 70 //
cannam@49 71 // The default limit is 64 MiB. This may or may not be a sensible number for any given use case,
cannam@49 72 // but probably at least prevents easy exploitation while also avoiding causing problems in most
cannam@49 73 // typical cases.
cannam@49 74
cannam@49 75 int nestingLimit = 64;
cannam@49 76 // Limits how deeply-nested a message structure can be, e.g. structs containing other structs or
cannam@49 77 // lists of structs.
cannam@49 78 //
cannam@49 79 // Like the traversal limit, this limit exists for security reasons. Since it is common to use
cannam@49 80 // recursive code to traverse recursive data structures, an attacker could easily cause a stack
cannam@49 81 // overflow by sending a very-deeply-nested (or even cyclic) message, without the message even
cannam@49 82 // being very large. The default limit of 64 is probably low enough to prevent any chance of
cannam@49 83 // stack overflow, yet high enough that it is never a problem in practice.
cannam@49 84 };
cannam@49 85
cannam@49 86 class MessageReader {
cannam@49 87 // Abstract interface for an object used to read a Cap'n Proto message. Subclasses of
cannam@49 88 // MessageReader are responsible for reading the raw, flat message content. Callers should
cannam@49 89 // usually call `messageReader.getRoot<MyStructType>()` to get a `MyStructType::Reader`
cannam@49 90 // representing the root of the message, then use that to traverse the message content.
cannam@49 91 //
cannam@49 92 // Some common subclasses of `MessageReader` include `SegmentArrayMessageReader`, whose
cannam@49 93 // constructor accepts pointers to the raw data, and `StreamFdMessageReader` (from
cannam@49 94 // `serialize.h`), which reads the message from a file descriptor. One might implement other
cannam@49 95 // subclasses to handle things like reading from shared memory segments, mmap()ed files, etc.
cannam@49 96
cannam@49 97 public:
cannam@49 98 MessageReader(ReaderOptions options);
cannam@49 99 // It is suggested that subclasses take ReaderOptions as a constructor parameter, but give it a
cannam@49 100 // default value of "ReaderOptions()". The base class constructor doesn't have a default value
cannam@49 101 // in order to remind subclasses that they really need to give the user a way to provide this.
cannam@49 102
cannam@49 103 virtual ~MessageReader() noexcept(false);
cannam@49 104
cannam@49 105 virtual kj::ArrayPtr<const word> getSegment(uint id) = 0;
cannam@49 106 // Gets the segment with the given ID, or returns null if no such segment exists. This method
cannam@49 107 // will be called at most once for each segment ID.
cannam@49 108
cannam@49 109 inline const ReaderOptions& getOptions();
cannam@49 110 // Get the options passed to the constructor.
cannam@49 111
cannam@49 112 template <typename RootType>
cannam@49 113 typename RootType::Reader getRoot();
cannam@49 114 // Get the root struct of the message, interpreting it as the given struct type.
cannam@49 115
cannam@49 116 template <typename RootType, typename SchemaType>
cannam@49 117 typename RootType::Reader getRoot(SchemaType schema);
cannam@49 118 // Dynamically interpret the root struct of the message using the given schema (a StructSchema).
cannam@49 119 // RootType in this case must be DynamicStruct, and you must #include <capnp/dynamic.h> to
cannam@49 120 // use this.
cannam@49 121
cannam@49 122 bool isCanonical();
cannam@49 123 // Returns whether the message encoded in the reader is in canonical form.
cannam@49 124
cannam@49 125 private:
cannam@49 126 ReaderOptions options;
cannam@49 127
cannam@49 128 // Space in which we can construct a ReaderArena. We don't use ReaderArena directly here
cannam@49 129 // because we don't want clients to have to #include arena.h, which itself includes a bunch of
cannam@49 130 // big STL headers. We don't use a pointer to a ReaderArena because that would require an
cannam@49 131 // extra malloc on every message which could be expensive when processing small messages.
cannam@49 132 void* arenaSpace[15 + sizeof(kj::MutexGuarded<void*>) / sizeof(void*)];
cannam@49 133 bool allocatedArena;
cannam@49 134
cannam@49 135 _::ReaderArena* arena() { return reinterpret_cast<_::ReaderArena*>(arenaSpace); }
cannam@49 136 AnyPointer::Reader getRootInternal();
cannam@49 137 };
cannam@49 138
cannam@49 139 class MessageBuilder {
cannam@49 140 // Abstract interface for an object used to allocate and build a message. Subclasses of
cannam@49 141 // MessageBuilder are responsible for allocating the space in which the message will be written.
cannam@49 142 // The most common subclass is `MallocMessageBuilder`, but other subclasses may be used to do
cannam@49 143 // tricky things like allocate messages in shared memory or mmap()ed files.
cannam@49 144 //
cannam@49 145 // Creating a new message ususually means allocating a new MessageBuilder (ideally on the stack)
cannam@49 146 // and then calling `messageBuilder.initRoot<MyStructType>()` to get a `MyStructType::Builder`.
cannam@49 147 // That, in turn, can be used to fill in the message content. When done, you can call
cannam@49 148 // `messageBuilder.getSegmentsForOutput()` to get a list of flat data arrays containing the
cannam@49 149 // message.
cannam@49 150
cannam@49 151 public:
cannam@49 152 MessageBuilder();
cannam@49 153 virtual ~MessageBuilder() noexcept(false);
cannam@49 154 KJ_DISALLOW_COPY(MessageBuilder);
cannam@49 155
cannam@49 156 struct SegmentInit {
cannam@49 157 kj::ArrayPtr<word> space;
cannam@49 158
cannam@49 159 size_t wordsUsed;
cannam@49 160 // Number of words in `space` which are used; the rest are free space in which additional
cannam@49 161 // objects may be allocated.
cannam@49 162 };
cannam@49 163
cannam@49 164 explicit MessageBuilder(kj::ArrayPtr<SegmentInit> segments);
cannam@49 165 // Create a MessageBuilder backed by existing memory. This is an advanced interface that most
cannam@49 166 // people should not use. THIS METHOD IS INSECURE; see below.
cannam@49 167 //
cannam@49 168 // This allows a MessageBuilder to be constructed to modify an in-memory message without first
cannam@49 169 // making a copy of the content. This is especially useful in conjunction with mmap().
cannam@49 170 //
cannam@49 171 // The contents of each segment must outlive the MessageBuilder, but the SegmentInit array itself
cannam@49 172 // only need outlive the constructor.
cannam@49 173 //
cannam@49 174 // SECURITY: Do not use this in conjunction with untrusted data. This constructor assumes that
cannam@49 175 // the input message is valid. This constructor is designed to be used with data you control,
cannam@49 176 // e.g. an mmap'd file which is owned and accessed by only one program. When reading data you
cannam@49 177 // do not trust, you *must* load it into a Reader and then copy into a Builder as a means of
cannam@49 178 // validating the content.
cannam@49 179 //
cannam@49 180 // WARNING: It is NOT safe to initialize a MessageBuilder in this way from memory that is
cannam@49 181 // currently in use by another MessageBuilder or MessageReader. Other readers/builders will
cannam@49 182 // not observe changes to the segment sizes nor newly-allocated segments caused by allocating
cannam@49 183 // new objects in this message.
cannam@49 184
cannam@49 185 virtual kj::ArrayPtr<word> allocateSegment(uint minimumSize) = 0;
cannam@49 186 // Allocates an array of at least the given number of words, throwing an exception or crashing if
cannam@49 187 // this is not possible. It is expected that this method will usually return more space than
cannam@49 188 // requested, and the caller should use that extra space as much as possible before allocating
cannam@49 189 // more. The returned space remains valid at least until the MessageBuilder is destroyed.
cannam@49 190 //
cannam@49 191 // Cap'n Proto will only call this once at a time, so the subclass need not worry about
cannam@49 192 // thread-safety.
cannam@49 193
cannam@49 194 template <typename RootType>
cannam@49 195 typename RootType::Builder initRoot();
cannam@49 196 // Initialize the root struct of the message as the given struct type.
cannam@49 197
cannam@49 198 template <typename Reader>
cannam@49 199 void setRoot(Reader&& value);
cannam@49 200 // Set the root struct to a deep copy of the given struct.
cannam@49 201
cannam@49 202 template <typename RootType>
cannam@49 203 typename RootType::Builder getRoot();
cannam@49 204 // Get the root struct of the message, interpreting it as the given struct type.
cannam@49 205
cannam@49 206 template <typename RootType, typename SchemaType>
cannam@49 207 typename RootType::Builder getRoot(SchemaType schema);
cannam@49 208 // Dynamically interpret the root struct of the message using the given schema (a StructSchema).
cannam@49 209 // RootType in this case must be DynamicStruct, and you must #include <capnp/dynamic.h> to
cannam@49 210 // use this.
cannam@49 211
cannam@49 212 template <typename RootType, typename SchemaType>
cannam@49 213 typename RootType::Builder initRoot(SchemaType schema);
cannam@49 214 // Dynamically init the root struct of the message using the given schema (a StructSchema).
cannam@49 215 // RootType in this case must be DynamicStruct, and you must #include <capnp/dynamic.h> to
cannam@49 216 // use this.
cannam@49 217
cannam@49 218 template <typename T>
cannam@49 219 void adoptRoot(Orphan<T>&& orphan);
cannam@49 220 // Like setRoot() but adopts the orphan without copying.
cannam@49 221
cannam@49 222 kj::ArrayPtr<const kj::ArrayPtr<const word>> getSegmentsForOutput();
cannam@49 223 // Get the raw data that makes up the message.
cannam@49 224
cannam@49 225 Orphanage getOrphanage();
cannam@49 226
cannam@49 227 bool isCanonical();
cannam@49 228 // Check whether the message builder is in canonical form
cannam@49 229
cannam@49 230 private:
cannam@49 231 void* arenaSpace[22];
cannam@49 232 // Space in which we can construct a BuilderArena. We don't use BuilderArena directly here
cannam@49 233 // because we don't want clients to have to #include arena.h, which itself includes a bunch of
cannam@49 234 // big STL headers. We don't use a pointer to a BuilderArena because that would require an
cannam@49 235 // extra malloc on every message which could be expensive when processing small messages.
cannam@49 236
cannam@49 237 bool allocatedArena = false;
cannam@49 238 // We have to initialize the arena lazily because when we do so we want to allocate the root
cannam@49 239 // pointer immediately, and this will allocate a segment, which requires a virtual function
cannam@49 240 // call on the MessageBuilder. We can't do such a call in the constructor since the subclass
cannam@49 241 // isn't constructed yet. This is kind of annoying because it means that getOrphanage() is
cannam@49 242 // not thread-safe, but that shouldn't be a huge deal...
cannam@49 243
cannam@49 244 _::BuilderArena* arena() { return reinterpret_cast<_::BuilderArena*>(arenaSpace); }
cannam@49 245 _::SegmentBuilder* getRootSegment();
cannam@49 246 AnyPointer::Builder getRootInternal();
cannam@49 247 };
cannam@49 248
cannam@49 249 template <typename RootType>
cannam@49 250 typename RootType::Reader readMessageUnchecked(const word* data);
cannam@49 251 // IF THE INPUT IS INVALID, THIS MAY CRASH, CORRUPT MEMORY, CREATE A SECURITY HOLE IN YOUR APP,
cannam@49 252 // MURDER YOUR FIRST-BORN CHILD, AND/OR BRING ABOUT ETERNAL DAMNATION ON ALL OF HUMANITY. DO NOT
cannam@49 253 // USE UNLESS YOU UNDERSTAND THE CONSEQUENCES.
cannam@49 254 //
cannam@49 255 // Given a pointer to a known-valid message located in a single contiguous memory segment,
cannam@49 256 // returns a reader for that message. No bounds-checking will be done while traversing this
cannam@49 257 // message. Use this only if you have already verified that all pointers are valid and in-bounds,
cannam@49 258 // and there are no far pointers in the message.
cannam@49 259 //
cannam@49 260 // To create a message that can be passed to this function, build a message using a MallocAllocator
cannam@49 261 // whose preferred segment size is larger than the message size. This guarantees that the message
cannam@49 262 // will be allocated as a single segment, meaning getSegmentsForOutput() returns a single word
cannam@49 263 // array. That word array is your message; you may pass a pointer to its first word into
cannam@49 264 // readMessageUnchecked() to read the message.
cannam@49 265 //
cannam@49 266 // This can be particularly handy for embedding messages in generated code: you can
cannam@49 267 // embed the raw bytes (using AlignedData) then make a Reader for it using this. This is the way
cannam@49 268 // default values are embedded in code generated by the Cap'n Proto compiler. E.g., if you have
cannam@49 269 // a message MyMessage, you can read its default value like so:
cannam@49 270 // MyMessage::Reader reader = Message<MyMessage>::readMessageUnchecked(MyMessage::DEFAULT.words);
cannam@49 271 //
cannam@49 272 // To sanitize a message from an untrusted source such that it can be safely passed to
cannam@49 273 // readMessageUnchecked(), use copyToUnchecked().
cannam@49 274
cannam@49 275 template <typename Reader>
cannam@49 276 void copyToUnchecked(Reader&& reader, kj::ArrayPtr<word> uncheckedBuffer);
cannam@49 277 // Copy the content of the given reader into the given buffer, such that it can safely be passed to
cannam@49 278 // readMessageUnchecked(). The buffer's size must be exactly reader.totalSizeInWords() + 1,
cannam@49 279 // otherwise an exception will be thrown. The buffer must be zero'd before calling.
cannam@49 280
cannam@49 281 template <typename RootType>
cannam@49 282 typename RootType::Reader readDataStruct(kj::ArrayPtr<const word> data);
cannam@49 283 // Interprets the given data as a single, data-only struct. Only primitive fields (booleans,
cannam@49 284 // numbers, and enums) will be readable; all pointers will be null. This is useful if you want
cannam@49 285 // to use Cap'n Proto as a language/platform-neutral way to pack some bits.
cannam@49 286 //
cannam@49 287 // The input is a word array rather than a byte array to enforce alignment. If you have a byte
cannam@49 288 // array which you know is word-aligned (or if your platform supports unaligned reads and you don't
cannam@49 289 // mind the performance penalty), then you can use `reinterpret_cast` to convert a byte array into
cannam@49 290 // a word array:
cannam@49 291 //
cannam@49 292 // kj::arrayPtr(reinterpret_cast<const word*>(bytes.begin()),
cannam@49 293 // reinterpret_cast<const word*>(bytes.end()))
cannam@49 294
cannam@49 295 template <typename BuilderType>
cannam@49 296 typename kj::ArrayPtr<const word> writeDataStruct(BuilderType builder);
cannam@49 297 // Given a struct builder, get the underlying data section as a word array, suitable for passing
cannam@49 298 // to `readDataStruct()`.
cannam@49 299 //
cannam@49 300 // Note that you may call `.toBytes()` on the returned value to convert to `ArrayPtr<const byte>`.
cannam@49 301
cannam@49 302 template <typename Type>
cannam@49 303 static typename Type::Reader defaultValue();
cannam@49 304 // Get a default instance of the given struct or list type.
cannam@49 305 //
cannam@49 306 // TODO(cleanup): Find a better home for this function?
cannam@49 307
cannam@49 308 // =======================================================================================
cannam@49 309
cannam@49 310 class SegmentArrayMessageReader: public MessageReader {
cannam@49 311 // A simple MessageReader that reads from an array of word arrays representing all segments.
cannam@49 312 // In particular you can read directly from the output of MessageBuilder::getSegmentsForOutput()
cannam@49 313 // (although it would probably make more sense to call builder.getRoot().asReader() in that case).
cannam@49 314
cannam@49 315 public:
cannam@49 316 SegmentArrayMessageReader(kj::ArrayPtr<const kj::ArrayPtr<const word>> segments,
cannam@49 317 ReaderOptions options = ReaderOptions());
cannam@49 318 // Creates a message pointing at the given segment array, without taking ownership of the
cannam@49 319 // segments. All arrays passed in must remain valid until the MessageReader is destroyed.
cannam@49 320
cannam@49 321 KJ_DISALLOW_COPY(SegmentArrayMessageReader);
cannam@49 322 ~SegmentArrayMessageReader() noexcept(false);
cannam@49 323
cannam@49 324 virtual kj::ArrayPtr<const word> getSegment(uint id) override;
cannam@49 325
cannam@49 326 private:
cannam@49 327 kj::ArrayPtr<const kj::ArrayPtr<const word>> segments;
cannam@49 328 };
cannam@49 329
cannam@49 330 enum class AllocationStrategy: uint8_t {
cannam@49 331 FIXED_SIZE,
cannam@49 332 // The builder will prefer to allocate the same amount of space for each segment with no
cannam@49 333 // heuristic growth. It will still allocate larger segments when the preferred size is too small
cannam@49 334 // for some single object. This mode is generally not recommended, but can be particularly useful
cannam@49 335 // for testing in order to force a message to allocate a predictable number of segments. Note
cannam@49 336 // that you can force every single object in the message to be located in a separate segment by
cannam@49 337 // using this mode with firstSegmentWords = 0.
cannam@49 338
cannam@49 339 GROW_HEURISTICALLY
cannam@49 340 // The builder will heuristically decide how much space to allocate for each segment. Each
cannam@49 341 // allocated segment will be progressively larger than the previous segments on the assumption
cannam@49 342 // that message sizes are exponentially distributed. The total number of segments that will be
cannam@49 343 // allocated for a message of size n is O(log n).
cannam@49 344 };
cannam@49 345
cannam@49 346 constexpr uint SUGGESTED_FIRST_SEGMENT_WORDS = 1024;
cannam@49 347 constexpr AllocationStrategy SUGGESTED_ALLOCATION_STRATEGY = AllocationStrategy::GROW_HEURISTICALLY;
cannam@49 348
cannam@49 349 class MallocMessageBuilder: public MessageBuilder {
cannam@49 350 // A simple MessageBuilder that uses malloc() (actually, calloc()) to allocate segments. This
cannam@49 351 // implementation should be reasonable for any case that doesn't require writing the message to
cannam@49 352 // a specific location in memory.
cannam@49 353
cannam@49 354 public:
cannam@49 355 explicit MallocMessageBuilder(uint firstSegmentWords = SUGGESTED_FIRST_SEGMENT_WORDS,
cannam@49 356 AllocationStrategy allocationStrategy = SUGGESTED_ALLOCATION_STRATEGY);
cannam@49 357 // Creates a BuilderContext which allocates at least the given number of words for the first
cannam@49 358 // segment, and then uses the given strategy to decide how much to allocate for subsequent
cannam@49 359 // segments. When choosing a value for firstSegmentWords, consider that:
cannam@49 360 // 1) Reading and writing messages gets slower when multiple segments are involved, so it's good
cannam@49 361 // if most messages fit in a single segment.
cannam@49 362 // 2) Unused bytes will not be written to the wire, so generally it is not a big deal to allocate
cannam@49 363 // more space than you need. It only becomes problematic if you are allocating many messages
cannam@49 364 // in parallel and thus use lots of memory, or if you allocate so much extra space that just
cannam@49 365 // zeroing it out becomes a bottleneck.
cannam@49 366 // The defaults have been chosen to be reasonable for most people, so don't change them unless you
cannam@49 367 // have reason to believe you need to.
cannam@49 368
cannam@49 369 explicit MallocMessageBuilder(kj::ArrayPtr<word> firstSegment,
cannam@49 370 AllocationStrategy allocationStrategy = SUGGESTED_ALLOCATION_STRATEGY);
cannam@49 371 // This version always returns the given array for the first segment, and then proceeds with the
cannam@49 372 // allocation strategy. This is useful for optimization when building lots of small messages in
cannam@49 373 // a tight loop: you can reuse the space for the first segment.
cannam@49 374 //
cannam@49 375 // firstSegment MUST be zero-initialized. MallocMessageBuilder's destructor will write new zeros
cannam@49 376 // over any space that was used so that it can be reused.
cannam@49 377
cannam@49 378 KJ_DISALLOW_COPY(MallocMessageBuilder);
cannam@49 379 virtual ~MallocMessageBuilder() noexcept(false);
cannam@49 380
cannam@49 381 virtual kj::ArrayPtr<word> allocateSegment(uint minimumSize) override;
cannam@49 382
cannam@49 383 private:
cannam@49 384 uint nextSize;
cannam@49 385 AllocationStrategy allocationStrategy;
cannam@49 386
cannam@49 387 bool ownFirstSegment;
cannam@49 388 bool returnedFirstSegment;
cannam@49 389
cannam@49 390 void* firstSegment;
cannam@49 391
cannam@49 392 struct MoreSegments;
cannam@49 393 kj::Maybe<kj::Own<MoreSegments>> moreSegments;
cannam@49 394 };
cannam@49 395
cannam@49 396 class FlatMessageBuilder: public MessageBuilder {
cannam@49 397 // THIS IS NOT THE CLASS YOU'RE LOOKING FOR.
cannam@49 398 //
cannam@49 399 // If you want to write a message into already-existing scratch space, use `MallocMessageBuilder`
cannam@49 400 // and pass the scratch space to its constructor. It will then only fall back to malloc() if
cannam@49 401 // the scratch space is not large enough.
cannam@49 402 //
cannam@49 403 // Do NOT use this class unless you really know what you're doing. This class is problematic
cannam@49 404 // because it requires advance knowledge of the size of your message, which is usually impossible
cannam@49 405 // to determine without actually building the message. The class was created primarily to
cannam@49 406 // implement `copyToUnchecked()`, which itself exists only to support other internal parts of
cannam@49 407 // the Cap'n Proto implementation.
cannam@49 408
cannam@49 409 public:
cannam@49 410 explicit FlatMessageBuilder(kj::ArrayPtr<word> array);
cannam@49 411 KJ_DISALLOW_COPY(FlatMessageBuilder);
cannam@49 412 virtual ~FlatMessageBuilder() noexcept(false);
cannam@49 413
cannam@49 414 void requireFilled();
cannam@49 415 // Throws an exception if the flat array is not exactly full.
cannam@49 416
cannam@49 417 virtual kj::ArrayPtr<word> allocateSegment(uint minimumSize) override;
cannam@49 418
cannam@49 419 private:
cannam@49 420 kj::ArrayPtr<word> array;
cannam@49 421 bool allocated;
cannam@49 422 };
cannam@49 423
cannam@49 424 // =======================================================================================
cannam@49 425 // implementation details
cannam@49 426
cannam@49 427 inline const ReaderOptions& MessageReader::getOptions() {
cannam@49 428 return options;
cannam@49 429 }
cannam@49 430
cannam@49 431 template <typename RootType>
cannam@49 432 inline typename RootType::Reader MessageReader::getRoot() {
cannam@49 433 return getRootInternal().getAs<RootType>();
cannam@49 434 }
cannam@49 435
cannam@49 436 template <typename RootType>
cannam@49 437 inline typename RootType::Builder MessageBuilder::initRoot() {
cannam@49 438 return getRootInternal().initAs<RootType>();
cannam@49 439 }
cannam@49 440
cannam@49 441 template <typename Reader>
cannam@49 442 inline void MessageBuilder::setRoot(Reader&& value) {
cannam@49 443 getRootInternal().setAs<FromReader<Reader>>(value);
cannam@49 444 }
cannam@49 445
cannam@49 446 template <typename RootType>
cannam@49 447 inline typename RootType::Builder MessageBuilder::getRoot() {
cannam@49 448 return getRootInternal().getAs<RootType>();
cannam@49 449 }
cannam@49 450
cannam@49 451 template <typename T>
cannam@49 452 void MessageBuilder::adoptRoot(Orphan<T>&& orphan) {
cannam@49 453 return getRootInternal().adopt(kj::mv(orphan));
cannam@49 454 }
cannam@49 455
cannam@49 456 template <typename RootType, typename SchemaType>
cannam@49 457 typename RootType::Reader MessageReader::getRoot(SchemaType schema) {
cannam@49 458 return getRootInternal().getAs<RootType>(schema);
cannam@49 459 }
cannam@49 460
cannam@49 461 template <typename RootType, typename SchemaType>
cannam@49 462 typename RootType::Builder MessageBuilder::getRoot(SchemaType schema) {
cannam@49 463 return getRootInternal().getAs<RootType>(schema);
cannam@49 464 }
cannam@49 465
cannam@49 466 template <typename RootType, typename SchemaType>
cannam@49 467 typename RootType::Builder MessageBuilder::initRoot(SchemaType schema) {
cannam@49 468 return getRootInternal().initAs<RootType>(schema);
cannam@49 469 }
cannam@49 470
cannam@49 471 template <typename RootType>
cannam@49 472 typename RootType::Reader readMessageUnchecked(const word* data) {
cannam@49 473 return AnyPointer::Reader(_::PointerReader::getRootUnchecked(data)).getAs<RootType>();
cannam@49 474 }
cannam@49 475
cannam@49 476 template <typename Reader>
cannam@49 477 void copyToUnchecked(Reader&& reader, kj::ArrayPtr<word> uncheckedBuffer) {
cannam@49 478 FlatMessageBuilder builder(uncheckedBuffer);
cannam@49 479 builder.setRoot(kj::fwd<Reader>(reader));
cannam@49 480 builder.requireFilled();
cannam@49 481 }
cannam@49 482
cannam@49 483 template <typename RootType>
cannam@49 484 typename RootType::Reader readDataStruct(kj::ArrayPtr<const word> data) {
cannam@49 485 return typename RootType::Reader(_::StructReader(data));
cannam@49 486 }
cannam@49 487
cannam@49 488 template <typename BuilderType>
cannam@49 489 typename kj::ArrayPtr<const word> writeDataStruct(BuilderType builder) {
cannam@49 490 auto bytes = _::PointerHelpers<FromBuilder<BuilderType>>::getInternalBuilder(kj::mv(builder))
cannam@49 491 .getDataSectionAsBlob();
cannam@49 492 return kj::arrayPtr(reinterpret_cast<word*>(bytes.begin()),
cannam@49 493 reinterpret_cast<word*>(bytes.end()));
cannam@49 494 }
cannam@49 495
cannam@49 496 template <typename Type>
cannam@49 497 static typename Type::Reader defaultValue() {
cannam@49 498 return typename Type::Reader(_::StructReader());
cannam@49 499 }
cannam@49 500
cannam@49 501 template <typename T>
cannam@49 502 kj::Array<word> canonicalize(T&& reader) {
cannam@49 503 return _::PointerHelpers<FromReader<T>>::getInternalReader(reader).canonicalize();
cannam@49 504 }
cannam@49 505
cannam@49 506 } // namespace capnp
cannam@49 507
cannam@49 508 #endif // CAPNP_MESSAGE_H_