bsls_alignmentutil.h

Go to the documentation of this file.

/// @file bsls_alignmentutil.h
///
/// The content of this file has been pre-processed for Doxygen.
///
 
 
// bsls_alignmentutil.h                                               -*-C++-*-
#ifndef INCLUDED_BSLS_ALIGNMENTUTIL
#define INCLUDED_BSLS_ALIGNMENTUTIL
 
#include <bsls_ident.h>
BSLS_IDENT("$Id: $")
 
/// @defgroup bsls_alignmentutil bsls_alignmentutil
/// @brief  Provide constants, types, and operations related to alignment.
/// @addtogroup bsl
/// @{
/// @addtogroup bsls
/// @{
/// @addtogroup bsls_alignmentutil
/// @{
///
/// <h1> Outline </h1>
/// * <a href="#bsls_alignmentutil-purpose"> Purpose</a>
/// * <a href="#bsls_alignmentutil-classes"> Classes </a>
/// * <a href="#bsls_alignmentutil-description"> Description </a>
///   * <a href="#bsls_alignmentutil-assumptions"> Assumptions </a>
///   * <a href="#bsls_alignmentutil-usage"> Usage </a>
///
/// # Purpose {#bsls_alignmentutil-purpose}
/// Provide constants, types, and operations related to alignment.
///
/// # Classes {#bsls_alignmentutil-classes}
///
/// - bsls::AlignmentUtil: namespace for alignment functions, types, and constants
///
/// @see  bslma_bufferimputil
///
/// # Description {#bsls_alignmentutil-description}
/// This component defines a `struct`, `bsls::AlignmentUtil`, which
/// serves as a namespace for compile-time constants, types, and operations
/// associated with alignment on the current platform.
///
/// The `BSLS_MAX_ALIGNMENT` enumerator provides the minimal value that
/// satisfies the alignment requirements for all types on the current platform.
/// Additionally, the `MaxAlignedType` `typedef` specifies a primitive type that
/// requires an alignment of `BSLS_MAX_ALIGNMENT`.
///
/// The `calculateAlignmentFromSize` function calculates a usable (but not
/// necessarily minimal) alignment for any object with a memory footprint of the
/// specified `size` (in bytes).  The `calculateAlignmentOffset` function
/// calculates the offset from a specified `address` where an object having a
/// specified `alignment` requirement can be constructed safely.  The
/// `is2ByteAligned`, `is4ByteAligned`, and `is8ByteAligned` functions each
/// return `true` if a specified `address` is, respectively, 2-, 4-, or 8-byte
/// aligned.  Finally, `roundUpToMaximalAlignment` returns the smallest whole
/// multiple of `BSLS_MAX_ALIGNMENT` greater than or equal to its argument.
///
/// ## Assumptions {#bsls_alignmentutil-assumptions}
///
///
/// The functionality in this component makes several assumptions:
///
/// * The alignment for any given type is an integral power of 2.
/// * The required alignment for a type `T` evenly divides `sizeof(T)`, which
///   implies that the required alignment for `T` is never larger than
///   `sizeof(T)`.
/// * The required alignment for a `struct`, `class`, or `union` is the same as
///   the required alignment of its most restrictive non-static data member
///   (including the implicit virtual table pointer in polymorphic classes and
///   internal pointers in virtually-derived classes).
///
/// ## Usage {#bsls_alignmentutil-usage}
///
///
/// A sequential memory allocator is used to return a sequence of memory blocks
/// of varying requested sizes from a larger chunk of contiguous memory.  Each
/// block returned must also have an alignment that is sufficient for any
/// conceivable object of that size.  To achieve a fully factored
/// implementation, we might choose to provide a low-level helper function
/// `naturallyAlign` that, given the `address` of the next available byte in
/// the larger chunk along with the requested block `size` (in bytes), returns
/// the first appropriately (or *naturally*) aligned address for the requested
/// block at or after `address`:
/// @code
/// void *naturallyAlign(void **currentAddress, int size);
///     // Return the closest memory address at or after the specified
///     // '*currentAddress' that is sufficiently aligned to accommodate any
///     // object of the specified 'size', and update '*currentAddress' to
///     // refer to the first available byte after the allocated object.  The
///     // behavior is undefined unless '1 <= size'.
/// @endcode
/// We can implement the `naturallyAlign` helper function easily using the
/// methods defined in this class:
/// @code
/// void *naturallyAlign(void **currentAddress, std::size_t size)
/// {
///     int   alignment = bsls::AlignmentUtil::calculateAlignmentFromSize(
///                                                             size);
///     int   offset    = bsls::AlignmentUtil::calculateAlignmentOffset(
///                                                            *currentAddress,
///                                                             alignment);
///     char *result    = static_cast<char *>(*currentAddress) + offset;
///     *currentAddress = result + size;
///     return result;
/// }
/// @endcode
/// We will then be able to use this `naturallyAlign` helper function to
/// allocate, from a buffer of contiguous memory, efficiently (but not
/// necessarily optimally) aligned memory for objects of varying sizes based
/// solely on the size of each object (i.e., determined by its natural, not
/// actual, alignment).
///
/// To illustrate the functionality provided in this component, we begin by
/// assuming that we have some user-defined type, `MyType`, comprising several
/// data members:
/// @code
/// struct MyType {         // size 24; actual alignment 8; natural alignment 8
///     int     d_int;
///     double  d_double;   // Assume 8-byte alignment.
///     char   *d_charPtr;  // Assume size <= 8 bytes.
/// };
/// @endcode
/// We then define a function, `f`, which starts off by creating a maximally
/// aligned `buffer` on the program stack:
/// @code
/// void f()
/// {
///     // The remainder of the usage example is in the USAGE test case.
/// }
///
///     union {
///         bsls::AlignmentUtil::MaxAlignedType d_dummy;  // force max. align.
///         char                                d_buffer[BUFFER_SIZE];
///     } buffer;
/// @endcode
/// Next we use the `bsls::AlignmentUtil` functions directly to confirm that
/// `buffer` is sufficiently aligned to accommodate a `MaxAlignedType` object:
/// @code
///     int alignment = bsls::AlignmentFromType<
///                                bsls::AlignmentUtil::MaxAlignedType>::value;
///     int offset =
///               bsls::AlignmentUtil::calculateAlignmentOffset(
///                                                            buffer.d_buffer,
///                                                            alignment);
///     assert(0 == offset);  // sufficient alignment
/// @endcode
/// Below we perform various memory allocations using our `naturallyAlign`
/// helper function:
/// @code
///     void *p         = static_cast<void *>(buffer.d_buffer);
///
///     (void)            naturallyAlign(&p, sizeof(char));
///
///     void *shortPtr5 = naturallyAlign(&p, 5 * sizeof(short));
/// @endcode
/// Note that the address held in `shortPtr` is numerically divisible by the
/// alignment of a `short` on the current platform:
/// @code
///     assert(0 == ((static_cast<char *>(shortPtr5) - buffer.d_buffer) %
///                                    bsls::AlignmentFromType<short>::value));
///
///     assert(bsls::AlignmentUtil::is2ByteAligned(shortPtr5));
/// @endcode
/// Next we use `naturallyAlign` to allocate a block of appropriate size and
/// sufficient alignment to store a `MyType` object:
/// @code
///     void *objPtr = naturallyAlign(&p, sizeof(MyType));
/// @endcode
/// Note that the alignment of the address held in `objPtr` is numerically
/// divisible by the actual alignment requirement:
/// @code
///     assert(0 == bsls::AlignmentUtil::calculateAlignmentOffset(
///                                   objPtr,
///                                   bsls::AlignmentFromType<MyType>::value));
/// @endcode
/// Assuming `buffer` has sufficient capacity, and the alignments for `char`,
/// `short`, and `MyType` are, respectively, 1, 2, and 8, we would expect this
/// layout within `buffer.d_buffer`:
/// @code
/// charPtr shortPtr5                            objPtr
/// |       |                                                       |
/// V       V                                                       V
/// .---.---.---.---.---.---.---.---.---.---.---.---.---.---.---.---.---.---.-
/// |ccc|   |sssssss:sssssss:sssssss:sssssss:sssssss|   :   :   :   |oooooo...
/// ^---^---^---^---^---^---^---^---^---^---^---^---^---^---^---^---^---^---^-
/// 0   1   2   3   4   5   6   7   8   9   10  11  12  13  14  15  16  17  18
/// @endcode
/// Note that on an atypical 32-bit platform where a `double` is 4-byte
/// aligned, the actual alignment of `MyType` would be 4, but its natural
/// alignment would still be 8 because its size would be 16; it is highly
/// unlikely that `MyType` would have an actual (and therefore natural)
/// alignment of 4 on a 64-bit platform when using default compiler settings.
/// @}
/** @} */
/** @} */
 
/** @addtogroup bsl
 * @{
 */
/** @addtogroup bsls
 * @{
 */
/** @addtogroup bsls_alignmentutil
 * @{
 */
 
#include <bsls_alignmentfromtype.h>
#include <bsls_alignmentimp.h>
#include <bsls_alignmenttotype.h>
#include <bsls_assert.h>
#include <bsls_libraryfeatures.h>
#include <bsls_platform.h>
#include <bsls_types.h>
 
#include <limits>       // 'std::numeric_limits'
#include <cstddef>      // 'std::size_t'
 
#ifdef BSLS_LIBRARYFEATURES_HAS_CPP11_BASELINE_LIBRARY
#include <type_traits>  // `std::aligned_storage`, `std::integral_constant`
#endif
 
 
 
namespace bsls {
 
                            // ====================
                            // struct AlignmentUtil
                            // ====================
 
/// This `struct` provides a namespace for a suite of compile-time
/// constants, types, and pure procedures that provide platform-dependent
/// alignment information.
///
/// See @ref bsls_alignmentutil 
struct AlignmentUtil {
 
  private:
    // PRIVATE TYPES
 
    /// Typedef used as an alias for a function pointer.
    typedef void (*FuncPtr)();
 
    union MaxAlignedUnion;
    friend union MaxAlignedUnion;
        // Afford 'MaxAlignedUnion' access to the (private) 'FuncPtr' type.
 
    /// This `union` is guaranteed to be maximally aligned.  However, this
    /// union is *not* a good candidate for `MaxAlignedType` because it
    /// might be larger than necessary.
    union MaxAlignedUnion {
 
        char         d_char;
        short        d_short;
        int          d_int;
        long         d_long;
        long long    d_longLong;
        bool         d_bool;
        wchar_t      d_wchar_t;
        void        *d_pointer;
        FuncPtr      d_funcPointer;
        float        d_float;
        double       d_double;
#if ! (defined(BSLS_PLATFORM_CPU_POWERPC) && defined(BSLS_PLATFORM_OS_LINUX))
        long double  d_longDouble;
#endif
#if defined(BSLS_PLATFORM_CPU_X86)                                            \
 && (defined(BSLS_PLATFORM_CMP_GNU) || defined(BSLS_PLATFORM_CMP_CLANG))      \
 && !defined(BSLS_PLATFORM_OS_SOLARIS)
        AlignmentImp8ByteAlignedType
                     d_8bytesAlignedType;
#endif
    };
 
    // PRIVATE CLASS METHODS
#ifdef BSLS_LIBRARYFEATURES_HAS_CPP11_BASELINE_LIBRARY
#if BSLS_COMPILERFEATURES_CPLUSPLUS > 202002L
#  if defined(BSLS_PLATFORM_HAS_PRAGMA_GCC_DIAGNOSTIC)
#    pragma GCC diagnostic push
#    pragma GCC diagnostic ignored "-Wdeprecated-declarations"
#  endif
#endif
    /// This helper function is not defined.
    template <std::size_t t_SIZE, std::size_t t_ALIGNMENT>
    static std::integral_constant<std::size_t, t_ALIGNMENT>
    alignmentOfAlignedStorage(std::aligned_storage<t_SIZE, t_ALIGNMENT>);
#if BSLS_COMPILERFEATURES_CPLUSPLUS > 202002L
#  if defined(BSLS_PLATFORM_HAS_PRAGMA_GCC_DIAGNOSTIC)
#    pragma GCC diagnostic pop
#  endif
#endif
#endif
 
  public:
    // CONSTANTS
    enum {
        // Define the minimal value that satisfies the alignment requirements
        // for all types.
 
        BSLS_MAX_ALIGNMENT = AlignmentFromType<MaxAlignedUnion>::VALUE
    };
 
    // TYPES
 
    /// Alias for a primitive type that has the most stringent alignment
    /// requirement.
    typedef AlignmentToType<BSLS_MAX_ALIGNMENT>::Type MaxAlignedType;
 
    // CLASS METHODS
 
    /// Return the *natural* alignment for a memory block of the specified
    /// size -- i.e., the largest power of 2 that evenly divides `size`, up
    /// to a maximum of `BSLS_MAX_ALIGNMENT`.  It is guaranteed that this
    /// alignment will be sufficient for any object having a footprint of
    /// `size` bytes on the current platform.  
    /// 
    /// \pre The behavior is undefined   unless `1 <= size` and `size <= INT_MAX`.  
    /// \note Note that,  depending on
    /// the machine architecture and compiler setting, the returned
    /// alignment value may be more restrictive than required for a
    /// particular object for two reasons:
    /// 1. The object may be composed entirely of elements, such as `char`,
    ///    that have minimal alignment restrictions, and
    /// 2. The architecture and our compiler settings may result in
    ///    unexpectedly lenient alignment requirements.
    /// Also note that aligning on a more restrictive boundary may improve
    /// performance.
    static int calculateAlignmentFromSize(std::size_t size);
 
    /// Return the minimum non-negative integer that, when added to the
    /// numerical value of the specified `address`, yields the specified `alignment`.  
    /// 
    /// \pre The behavior is undefined   unless `alignment` is a
    /// positive, integral power of 2.
    static int calculateAlignmentOffset(const void *address, int alignment);
 
    /// Return `true` if the specified `address` is aligned on a 2-byte
    /// boundary (i.e., the numerical value of `address` is evenly divisible
    /// by 2), and `false` otherwise.
    static bool is2ByteAligned(const void *address);
 
    /// Return `true` if the specified `address` is aligned on a 4-byte
    /// boundary (i.e., the numerical value of `address` is evenly divisible
    /// by 4), and `false` otherwise.
    static bool is4ByteAligned(const void *address);
 
    /// Return `true` if the specified `address` is aligned on an 8-byte
    /// boundary (i.e., the numerical value of `address` is evenly divisible
    /// by 8), and `false` otherwise.
    static bool is8ByteAligned(const void *address);
 
    /// Return `true` if the specified `address` is aligned on the specified
    /// `alignment` boundary (i.e., the numerical value of `address` is evenly
    /// divisible by `alignment`), and `false` otherwise.  
    /// 
    /// \pre The behavior is undefined   unless `alignment` is a power of 2.  
    /// \note Note that  this function
    /// will `true` for a null `address`, regardless of `alignment` and for a
    /// 0 `alignment` regardless of `address`.
    static bool isAligned(const void *address, std::size_t alignment);
 
    /// Return the alignment of the specified `address`.  Returns 0 if `address` is 0.  
    /// 
    /// \note Note that   the returned value might be larger than
    /// `BSLS_MAX_ALIGNMENT`.
    static std::size_t pointerAlignment(const void *address);
 
    /// Return the specified `size` (in bytes) rounded up to the smallest
    /// integral multiple of the maximum alignment.  
    /// 
    /// \pre The behavior is undefined   unless `0 <= size` and `size` satisfies:
    /// @code
    /// size <= std::numeric_limits<std::size_t>::max()
    ///         - BSLS_MAX_ALIGNMENT + 1
    /// @endcode
    static std::size_t roundUpToMaximalAlignment(std::size_t size);
 
#ifdef BSLS_LIBRARYFEATURES_HAS_CPP11_BASELINE_LIBRARY
    /// Return the default value of the alignment argument for
    /// `std::aligned_storage` when the size argument is the specified
    /// `t_SIZE`.  This function is an implementation detail of BDE and should
    /// not be used elsewhere.
    template <std::size_t t_SIZE>
    static constexpr std::size_t defaultAlignmentOfAlignedStorage();
#endif
};
 
// ============================================================================
//                      INLINE FUNCTION DEFINITIONS
// ============================================================================
 
                            // --------------------
                            // struct AlignmentUtil
                            // --------------------
 
// CLASS METHODS
inline
int AlignmentUtil::calculateAlignmentFromSize(std::size_t size)
{
    ///IMPLEMENTATION NOTE
    ///-------------------
    // It is assumed that 'BSLS_MAX_ALIGNMENT' is a positive, integral power of
    // 2 (see the checks to that effect in the '.cpp' file).  For example,
    // suppose that 'BSLS_MAX_ALIGNMENT' is 16:
    // ```
    //                                negated
    //                    modified    modified  intersect
    //  size     size       size       size       size     returned
    //  ----   --------   --------   --------   --------   --------
    //    0    00000000   00010000   11110000   00010000      16
    //    1    00000001   00010001   11101111   00000001       1
    //    2    00000010   00010010   11101110   00000010       2
    //    3    00000011   00010011   11101101   00000001       1
    //
    //    4    00000100   00010100   11101100   00000100       4
    //    5    00000101   00010101   11101011   00000001       1
    //    6    00000110   00010110   11101010   00000010       2
    //    7    00000110   00010111   11101001   00000001       1
    //
    //    8    00001000   00011000   11101000   00001000       8
    //    9    00001001   00011001   11100111   00000001       1
    //   10    00001010   00011010   11100110   00000010       2
    //   11    00001011   00011011   11100101   00000001       1
    //
    //   12    00001100   00011100   11100100   00000100       4
    //   13    00001101   00011101   11100011   00000001       1
    //   14    00001110   00011110   11100010   00000010       2
    //   15    00001110   00011111   11100001   00000001       1
    //
    //   16    00010000   00010000   11110000   00010000      16
    //   17    00010001   00010001   11101111   00000001       1
    //   18    00010010   00010010   11101110   00000010       2
    //   19    00010011   00010011   11101101   00000001       1
    //
    //   :         :          :          :         :           :
    //
    //   32    00100000   00110000   11010000   00010000      16
    //   33    00100001   00110001   11001111   00000001       1
    //   34    00100010   00110010   11001110   00000010       2
    //   35    00100011   00110011   11001101   00000001       1
    //
    //   :         :          :          :         :           :
    // ```
 
    BSLS_ASSERT_SAFE(1 <= size);
 
    // It is safe to cast our value from a 'size_t' to an int, because all
    // bits that are higher order that 'BSLS_MAX_ALIGNMENT' are ignored by
    // the arithmetic that is done.
 
    int alignment = static_cast<int>(size | BSLS_MAX_ALIGNMENT);
    alignment &= -alignment;              // clear all but lowest order set bit
 
    // Verify at most one bit is set (should be impossible to fail)
 
    BSLS_ASSERT_SAFE(0 == (alignment & (alignment - 1)));
 
    return alignment;
}
 
inline
int AlignmentUtil::calculateAlignmentOffset(const void *address,
                                            int         alignment)
{
    BSLS_ASSERT_SAFE(1 <= alignment);
    BSLS_ASSERT_SAFE(0 == (alignment & (alignment - 1)));
 
    // Note that if 'address' is null, this function will correctly return zero
    // only if 'alignment' is a positive, integral power of 2.  Also note that
    // two other alternative implementations proved to be less efficient:
    // ```
    //  return static_cast<int>(alignment - 1 -
    //               (reinterpret_cast<std::size_t>(address) - 1) % alignment);
    // ```
    // and:
    // ```
    //  const int mask = alignment - 1;
    //  return int(mask - ((reinterpret_cast<std::size_t>(address)-1) & mask));
    // ```
 
    return static_cast<int>(
                           (alignment - reinterpret_cast<std::size_t>(address))
                         & (alignment - 1));
}
 
inline
bool AlignmentUtil::is2ByteAligned(const void *address)
{
    return 0 == (reinterpret_cast<std::size_t>(address) & 0x1);
}
 
inline
bool AlignmentUtil::is4ByteAligned(const void *address)
{
    return 0 == (reinterpret_cast<std::size_t>(address) & 0x3);
}
 
inline
bool AlignmentUtil::is8ByteAligned(const void *address)
{
    return 0 == (reinterpret_cast<std::size_t>(address) & 0x7);
}
 
inline
bool AlignmentUtil::isAligned(const void *address, std::size_t alignment)
{
    return (0 == alignment ||
            0 == (reinterpret_cast<std::size_t>(address) & (alignment - 1)));
}
 
inline
std::size_t AlignmentUtil::pointerAlignment(const void *address)
{
    // Convert to unsigned integral type.
    std::size_t ptrBits = reinterpret_cast<std::size_t>(address);
 
    // Mask out all but the low-order bit and return.
    return ptrBits & -ptrBits;
}
 
inline
std::size_t AlignmentUtil::roundUpToMaximalAlignment(std::size_t size)
{
    BSLS_ASSERT_SAFE(size <= std::numeric_limits<std::size_t>::max()
                           - BSLS_MAX_ALIGNMENT + 1);
 
    return ((size + BSLS_MAX_ALIGNMENT - 1) &
            ~(static_cast<std::size_t>(BSLS_MAX_ALIGNMENT) - 1));
}
 
#ifdef BSLS_LIBRARYFEATURES_HAS_CPP11_BASELINE_LIBRARY
template <std::size_t t_SIZE>
constexpr std::size_t AlignmentUtil::defaultAlignmentOfAlignedStorage()
{
#if BSLS_COMPILERFEATURES_CPLUSPLUS > 202002L
#  if defined(BSLS_PLATFORM_HAS_PRAGMA_GCC_DIAGNOSTIC)
#    pragma GCC diagnostic push
#    pragma GCC diagnostic ignored "-Wdeprecated-declarations"
#  endif
#endif
    return decltype(alignmentOfAlignedStorage(
                                       std::aligned_storage<t_SIZE>()))::value;
#if BSLS_COMPILERFEATURES_CPLUSPLUS > 202002L
#  if defined(BSLS_PLATFORM_HAS_PRAGMA_GCC_DIAGNOSTIC)
#    pragma GCC diagnostic pop
#  endif
#endif
}
#endif
}  // close package namespace
 
#ifndef BDE_OPENSOURCE_PUBLICATION  // BACKWARD_COMPATIBILITY
// ============================================================================
//                           BACKWARD COMPATIBILITY
// ============================================================================
 
/// This alias is defined for backward compatibility.
typedef bsls::AlignmentUtil bsls_AlignmentUtil;
#endif  // BDE_OPENSOURCE_PUBLICATION -- BACKWARD_COMPATIBILITY
 
 
 
#endif
 
// ----------------------------------------------------------------------------
// Copyright 2013 Bloomberg Finance L.P.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
// ----------------------------- END-OF-FILE ----------------------------------
 
/** @} */
/** @} */
/** @} */