123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472 |
- /*
- * Copyright (c)2013-2020 ZeroTier, Inc.
- *
- * Use of this software is governed by the Business Source License included
- * in the LICENSE.TXT file in the project's root directory.
- *
- * Change Date: 2024-01-01
- *
- * On the date above, in accordance with the Business Source License, use
- * of this software will be governed by version 2.0 of the Apache License.
- */
- /****/
- #ifndef ZT_BUF_HPP
- #define ZT_BUF_HPP
- #include "Constants.hpp"
- #include "AtomicCounter.hpp"
- #include "Utils.hpp"
- #include "SharedPtr.hpp"
- #include "Mutex.hpp"
- #include <cstdint>
- #include <cstring>
- #include <cstdlib>
- // Buffers are 16384 bytes in size because this is the smallest size that can hold any packet
- // and is a power of two. It needs to be a power of two because masking is significantly faster
- // than integer division modulus.
- #define ZT_BUF_MEM_SIZE 0x00004000
- #define ZT_BUF_MEM_MASK 0x00003fffU
- namespace ZeroTier {
- /**
- * Buffer and methods for branch-free bounds-checked data assembly and parsing
- *
- * This implements an extremely fast buffer for packet assembly and parsing that avoids
- * branching whenever possible. To be safe it must be used correctly!
- *
- * The read methods are prefixed by 'r', and write methods with 'w'. All methods take
- * an iterator, which is just an int that should be initialized to 0 (or whatever starting
- * position is desired). All read methods will advance the iterator regardless of outcome.
- *
- * Read and write methods fail silently in the event of overflow. They do not corrupt or
- * access memory outside the bounds of Buf, but will otherwise produce undefined results.
- *
- * IT IS THE RESPONSIBILITY OF THE USER of this class to use the readOverflow() and
- * writeOverflow() static methods to check the iterator for overflow after each series
- * of reads and writes and BEFORE ANY PARSING or other decisions are made on the basis
- * of the data obtained from a buffer. Failure to do so can result in bugs due
- * to parsing and branching on undefined or corrupt data.
- *
- * ^^ THIS IS VERY IMPORTANT ^^
- *
- * A typical packet assembly consists of repeated calls to the write methods followed by
- * a check to writeOverflow() before final packet armoring and transport. A typical packet
- * disassembly and parsing consists of a series of read calls to obtain the packet's
- * fields followed by a call to readOverflow() to check that these fields are valid. The
- * packet is discarded if readOverflow() returns true. Some packet parsers may make
- * additional reads and in this case readOverflow() must be checked after each set of
- * reads to ensure that overflow did not occur.
- *
- * Buf uses a lock-free pool for extremely fast allocation and deallocation.
- */
- class Buf
- {
- friend class SharedPtr<Buf>;
- private:
- // Direct construction isn't allowed; use get().
- ZT_ALWAYS_INLINE Buf()
- {}
- ZT_ALWAYS_INLINE Buf(const Buf &b)
- {}
- public:
- static void operator delete(void *ptr,std::size_t sz);
- /**
- * Get obtains a buffer from the pool or allocates a new buffer if the pool is empty
- *
- * @return Buffer
- */
- static SharedPtr<Buf> get();
- /**
- * Free buffers in the pool
- *
- * New buffers will be created and the pool repopulated if get() is called
- * and outstanding buffers will still be returned to the pool. This just
- * frees buffers currently held in reserve.
- */
- static void freePool();
- /**
- * Check for overflow beyond the size of the buffer
- *
- * This is used to check for overflow when writing. It returns true if the iterator
- * has passed beyond the capacity of the buffer.
- *
- * @param ii Iterator to check
- * @return True if iterator has read past the size of the buffer
- */
- static ZT_ALWAYS_INLINE bool writeOverflow(const int &ii)
- { return ((ii - ZT_BUF_MEM_SIZE) > 0); }
- /**
- * Check for overflow beyond the size of the data that should be in the buffer
- *
- * This is used to check for overflow when reading, with the second argument being the
- * size of the meaningful data actually present in the buffer.
- *
- * @param ii Iterator to check
- * @param size Size of data that should be in buffer
- * @return True if iterator has read past the size of the data
- */
- static ZT_ALWAYS_INLINE bool readOverflow(const int &ii,const unsigned int size)
- { return ((ii - (int)size) > 0); }
- ////////////////////////////////////////////////////////////////////////////
- // Read methods
- ////////////////////////////////////////////////////////////////////////////
- /**
- * Read a byte
- *
- * @param ii Iterator
- * @return Byte (undefined on overflow)
- */
- ZT_ALWAYS_INLINE uint8_t rI8(int &ii) const
- {
- const unsigned int s = (unsigned int)ii++;
- return data[s & ZT_BUF_MEM_MASK];
- }
- /**
- * Read a 16-bit integer
- *
- * @param ii Integer
- * @return Integer (undefined on overflow)
- */
- ZT_ALWAYS_INLINE uint16_t rI16(int &ii) const
- {
- const unsigned int s = (unsigned int)ii & ZT_BUF_MEM_MASK;
- ii += 2;
- #ifdef ZT_NO_UNALIGNED_ACCESS
- return (
- ((uint16_t)data[s] << 8U) |
- (uint16_t)data[s + 1]);
- #else
- return Utils::ntoh(*reinterpret_cast<const uint16_t *>(data + s));
- #endif
- }
- /**
- * Read a 32-bit integer
- *
- * @param ii Integer
- * @return Integer (undefined on overflow)
- */
- ZT_ALWAYS_INLINE uint32_t rI32(int &ii) const
- {
- const unsigned int s = (unsigned int)ii & ZT_BUF_MEM_MASK;
- ii += 4;
- #ifdef ZT_NO_UNALIGNED_ACCESS
- return (
- ((uint32_t)data[s] << 24U) |
- ((uint32_t)data[s + 1] << 16U) |
- ((uint32_t)data[s + 2] << 8U) |
- (uint32_t)data[s + 3]);
- #else
- return Utils::ntoh(*reinterpret_cast<const uint32_t *>(data + s));
- #endif
- }
- /**
- * Read a 64-bit integer
- *
- * @param ii Integer
- * @return Integer (undefined on overflow)
- */
- ZT_ALWAYS_INLINE uint64_t rI64(int &ii) const
- {
- const unsigned int s = (unsigned int)ii & ZT_BUF_MEM_MASK;
- ii += 8;
- #ifdef ZT_NO_UNALIGNED_ACCESS
- return (
- ((uint64_t)data[s] << 56U) |
- ((uint64_t)data[s + 1] << 48U) |
- ((uint64_t)data[s + 2] << 40U) |
- ((uint64_t)data[s + 3] << 32U) |
- ((uint64_t)data[s + 4] << 24U) |
- ((uint64_t)data[s + 5] << 16U) |
- ((uint64_t)data[s + 6] << 8U) |
- (uint64_t)data[s + 7]);
- #else
- return Utils::ntoh(*reinterpret_cast<const uint64_t *>(data + s));
- #endif
- }
- /**
- * Read an object supporting the marshal/unmarshal interface
- *
- * If the return value is negative the object's state is undefined. A return value of
- * zero typically also indicates a problem, though this may depend on the object type.
- *
- * Since objects may be invalid even if there is no overflow, it's important to check
- * the return value of this function in all cases and discard invalid packets as it
- * indicates.
- *
- * @tparam T Object type
- * @param ii Iterator
- * @param obj Object to read
- * @return Bytes read or a negative value on unmarshal error (passed from object) or overflow
- */
- template<typename T>
- ZT_ALWAYS_INLINE int rO(int &ii,T &obj) const
- {
- if (ii < ZT_BUF_MEM_SIZE) {
- int ms = obj.unmarshal(data + ii,ZT_BUF_MEM_SIZE - ii);
- if (ms > 0)
- ii += ms;
- return ms;
- }
- return -1;
- }
- /**
- * Read a C-style string from the buffer, making a copy and advancing the iterator
- *
- * Use this if the buffer's memory may get changed between reading and processing
- * what is read.
- *
- * @param ii Iterator
- * @param buf Buffer to receive string
- * @param bufSize Capacity of buffer in bytes
- * @return Pointer to buf or NULL on overflow or error
- */
- ZT_ALWAYS_INLINE char *rS(int &ii,char *const buf,const unsigned int bufSize) const
- {
- const char *const s = (const char *)(data + ii);
- const int sii = ii;
- while (ii < ZT_BUF_MEM_SIZE) {
- if (data[ii++] == 0) {
- memcpy(buf,s,ii - sii);
- return buf;
- }
- }
- return nullptr;
- }
- /**
- * Obtain a pointer to a C-style string in the buffer without copying and advance the iterator
- *
- * The iterator is advanced even if this fails and returns NULL so that readOverflow()
- * will indicate that an overflow occurred. As with other reads the string's contents are
- * undefined if readOverflow() returns true.
- *
- * This version avoids a copy and so is faster if the buffer won't be modified between
- * reading and processing.
- *
- * @param ii Iterator
- * @return Pointer to null-terminated C-style string or NULL on overflow or error
- */
- ZT_ALWAYS_INLINE const char *rSnc(int &ii) const
- {
- const char *const s = (const char *)(data + ii);
- while (ii < ZT_BUF_MEM_SIZE) {
- if (data[ii++] == 0)
- return s;
- }
- return nullptr;
- }
- /**
- * Read a byte array from the buffer, making a copy and advancing the iterator
- *
- * Use this if the buffer's memory may get changed between reading and processing
- * what is read.
- *
- * @param ii Iterator
- * @param bytes Buffer to contain data to read
- * @param len Length of buffer
- * @return Pointer to data or NULL on overflow or error
- */
- ZT_ALWAYS_INLINE void *rB(int &ii,void *bytes,unsigned int len) const
- {
- const void *const b = (const void *)(data + ii);
- if ((ii += (int)len) <= ZT_BUF_MEM_SIZE) {
- memcpy(bytes,b,len);
- return bytes;
- }
- return nullptr;
- }
- /**
- * Obtain a pointer to a field in the buffer without copying and advance the iterator
- *
- * The iterator is advanced even if this fails and returns NULL so that readOverflow()
- * will indicate that an overflow occurred.
- *
- * This version avoids a copy and so is faster if the buffer won't be modified between
- * reading and processing.
- *
- * @param ii Iterator
- * @param len Length of data field to obtain a pointer to
- * @return Pointer to field or NULL on overflow
- */
- ZT_ALWAYS_INLINE const void *rBnc(int &ii,unsigned int len) const
- {
- const void *const b = (const void *)(data + ii);
- return ((ii += (int)len) <= ZT_BUF_MEM_SIZE) ? b : nullptr;
- }
- ////////////////////////////////////////////////////////////////////////////
- // Write methods
- ////////////////////////////////////////////////////////////////////////////
- /**
- * Write a byte
- *
- * @param ii Iterator
- * @param n Byte
- */
- ZT_ALWAYS_INLINE void wI(int &ii,uint8_t n)
- {
- const unsigned int s = (unsigned int)ii++;
- data[s & ZT_BUF_MEM_MASK] = n;
- }
- /**
- * Write a 16-bit integer in big-endian byte order
- *
- * @param ii Iterator
- * @param n Integer
- */
- ZT_ALWAYS_INLINE void wI(int &ii,uint16_t n)
- {
- const unsigned int s = ((unsigned int)ii) & ZT_BUF_MEM_MASK;
- ii += 2;
- #ifdef ZT_NO_UNALIGNED_ACCESS
- data[s] = (uint8_t)(n >> 8U);
- data[s + 1] = (uint8_t)n;
- #else
- *reinterpret_cast<uint16_t *>(data + s) = Utils::hton(n);
- #endif
- }
- /**
- * Write a 32-bit integer in big-endian byte order
- *
- * @param ii Iterator
- * @param n Integer
- */
- ZT_ALWAYS_INLINE void wI(int &ii,uint32_t n)
- {
- const unsigned int s = ((unsigned int)ii) & ZT_BUF_MEM_MASK;
- ii += 4;
- #ifdef ZT_NO_UNALIGNED_ACCESS
- data[s] = (uint8_t)(n >> 24U);
- data[s + 1] = (uint8_t)(n >> 16U);
- data[s + 2] = (uint8_t)(n >> 8U);
- data[s + 3] = (uint8_t)n;
- #else
- *reinterpret_cast<uint32_t *>(data + s) = Utils::hton(n);
- #endif
- }
- /**
- * Write a 64-bit integer in big-endian byte order
- *
- * @param ii Iterator
- * @param n Integer
- */
- ZT_ALWAYS_INLINE void wI(int &ii,uint64_t n)
- {
- const unsigned int s = ((unsigned int)ii) & ZT_BUF_MEM_MASK;
- ii += 8;
- #ifdef ZT_NO_UNALIGNED_ACCESS
- data[s] = (uint8_t)(n >> 56U);
- data[s + 1] = (uint8_t)(n >> 48U);
- data[s + 2] = (uint8_t)(n >> 40U);
- data[s + 3] = (uint8_t)(n >> 32U);
- data[s + 4] = (uint8_t)(n >> 24U);
- data[s + 5] = (uint8_t)(n >> 16U);
- data[s + 6] = (uint8_t)(n >> 8U);
- data[s + 7] = (uint8_t)n;
- #else
- *reinterpret_cast<uint64_t *>(data + s) = Utils::hton(n);
- #endif
- }
- /**
- * Write an object implementing the marshal interface
- *
- * @tparam T Object type
- * @param ii Iterator
- * @param t Object to write
- */
- template<typename T>
- ZT_ALWAYS_INLINE void wO(int &ii,T &t)
- {
- const unsigned int s = (unsigned int)ii;
- if ((s + T::marshalSizeMax()) <= ZT_BUF_MEM_SIZE) {
- int ms = t.marshal(data + s);
- if (ms > 0)
- ii += ms;
- } else {
- ii += T::marshalSizeMax(); // mark as overflowed even if we didn't do anything
- }
- }
- /**
- * Write a C-style null-terminated string (including the trailing zero)
- *
- * @param ii Iterator
- * @param s String to write (writes an empty string if this is NULL)
- */
- ZT_ALWAYS_INLINE void wS(int &ii,const char *s)
- {
- if (s) {
- char c;
- do {
- c = *(s++);
- wI(ii,(uint8_t)c);
- } while (c);
- } else {
- wI(ii,(uint8_t)0);
- }
- }
- /**
- * Write a byte array
- *
- * @param ii Iterator
- * @param bytes Bytes to write
- * @param len Size of data in bytes
- */
- ZT_ALWAYS_INLINE void wB(int &ii,const void *const bytes,const unsigned int len)
- {
- unsigned int s = (unsigned int)ii;
- if ((ii += (int)len) <= ZT_BUF_MEM_SIZE)
- memcpy(data + s,bytes,len);
- }
- ////////////////////////////////////////////////////////////////////////////
- ZT_ALWAYS_INLINE Buf &operator=(const Buf &b)
- {
- if (&b != this)
- memcpy(data,b.data,ZT_BUF_MEM_SIZE);
- return *this;
- }
- /**
- * Raw buffer
- *
- * The extra eight bytes permit silent overflow of integer types without reading or writing
- * beyond Buf's memory and without branching or extra masks. They can be ignored otherwise.
- */
- uint8_t data[ZT_BUF_MEM_SIZE + 8];
- private:
- volatile uintptr_t __nextInPool;
- AtomicCounter __refCount;
- };
- } // namespace ZeroTier
- #endif
|