X-Git-Url: http://plrg.eecs.uci.edu/git/?p=folly.git;a=blobdiff_plain;f=folly%2FPortability.h;h=3831f04d43580d5601cb8919be6c5952af891221;hp=ca8c28a34b0e792e81fe8704a0ea1bd657789774;hb=3579ddb46bf91312e7c1d24389ad60fd96fad776;hpb=37d40eed8324114070253f762dc3545bc938cb1e diff --git a/folly/Portability.h b/folly/Portability.h index ca8c28a3..3831f04d 100644 --- a/folly/Portability.h +++ b/folly/Portability.h @@ -1,5 +1,5 @@ /* - * Copyright 2015 Facebook, Inc. + * Copyright 2017-present Facebook, Inc. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. @@ -14,59 +14,26 @@ * limitations under the License. */ -#ifndef FOLLY_PORTABILITY_H_ -#define FOLLY_PORTABILITY_H_ +#pragma once #include -#ifndef FOLLY_NO_CONFIG -#include -#endif - -#ifdef FOLLY_PLATFORM_CONFIG -#include FOLLY_PLATFORM_CONFIG -#endif - -#if FOLLY_HAVE_FEATURES_H -#include -#endif +#include #include -#ifdef __APPLE__ -# include -#endif - -#if FOLLY_HAVE_SCHED_H - #include - #ifndef FOLLY_HAVE_PTHREAD_YIELD - #define pthread_yield sched_yield - #endif -#endif - -// A change in folly/MemoryMapping.cpp uses MAP_ANONYMOUS, which is named -// MAP_ANON on OSX/BSD. -#if defined(__APPLE__) || defined(__FreeBSD__) - #include - #ifndef MAP_ANONYMOUS - #ifdef MAP_ANON - #define MAP_ANONYMOUS MAP_ANON - #endif - #endif +// Unaligned loads and stores +namespace folly { +#if FOLLY_HAVE_UNALIGNED_ACCESS +constexpr bool kHasUnalignedAccess = true; +#else +constexpr bool kHasUnalignedAccess = false; #endif +} // namespace folly // compiler specific attribute translation // msvc should come first, so if clang is in msvc mode it gets the right defines -#if defined(__clang__) || defined(__GNUC__) -# define FOLLY_ALIGNED(size) __attribute__((__aligned__(size))) -#elif defined(_MSC_VER) -# define FOLLY_ALIGNED(size) __declspec(align(size)) -#else -# error Cannot define FOLLY_ALIGNED on this platform -#endif -#define FOLLY_ALIGNED_MAX FOLLY_ALIGNED(alignof(std::max_align_t)) - // NOTE: this will only do checking in msvc with versions that support /analyze #if _MSC_VER # ifdef _USE_ATTRIBUTES_FOR_SAL @@ -74,7 +41,7 @@ # endif /* nolint */ # define _USE_ATTRIBUTES_FOR_SAL 1 -# include +# include // @manual # define FOLLY_PRINTF_FORMAT _Printf_format_string_ # define FOLLY_PRINTF_FORMAT_ATTR(format_param, dots_param) /**/ #else @@ -92,31 +59,27 @@ # define FOLLY_DEPRECATED(msg) #endif -// noreturn -#if defined(_MSC_VER) -# define FOLLY_NORETURN __declspec(noreturn) -#elif defined(__clang__) || defined(__GNUC__) -# define FOLLY_NORETURN __attribute__((__noreturn__)) -#else -# define FOLLY_NORETURN +// warn unused result +#if defined(__has_cpp_attribute) +#if __has_cpp_attribute(nodiscard) +#define FOLLY_NODISCARD [[nodiscard]] #endif - -// noinline -#ifdef _MSC_VER -# define FOLLY_NOINLINE __declspec(noinline) +#endif +#if !defined FOLLY_NODISCARD +#if defined(_MSC_VER) && (_MSC_VER >= 1700) +#define FOLLY_NODISCARD _Check_return_ #elif defined(__clang__) || defined(__GNUC__) -# define FOLLY_NOINLINE __attribute__((__noinline__)) +#define FOLLY_NODISCARD __attribute__((__warn_unused_result__)) #else -# define FOLLY_NOINLINE +#define FOLLY_NODISCARD +#endif #endif -// always inline +// target #ifdef _MSC_VER -# define FOLLY_ALWAYS_INLINE __forceinline -#elif defined(__clang__) || defined(__GNUC__) -# define FOLLY_ALWAYS_INLINE inline __attribute__((__always_inline__)) +# define FOLLY_TARGET_ATTRIBUTE(target) #else -# define FOLLY_ALWAYS_INLINE inline +# define FOLLY_TARGET_ATTRIBUTE(target) __attribute__((__target__(target))) #endif // detection for 64 bit @@ -126,10 +89,16 @@ # define FOLLY_X64 0 #endif +#if defined(__arm__) +#define FOLLY_ARM 1 +#else +#define FOLLY_ARM 0 +#endif + #if defined(__aarch64__) -# define FOLLY_A64 1 +# define FOLLY_AARCH64 1 #else -# define FOLLY_A64 0 +# define FOLLY_AARCH64 0 #endif #if defined (__powerpc64__) @@ -138,6 +107,34 @@ # define FOLLY_PPC64 0 #endif +namespace folly { +constexpr bool kIsArchArm = FOLLY_ARM == 1; +constexpr bool kIsArchAmd64 = FOLLY_X64 == 1; +constexpr bool kIsArchAArch64 = FOLLY_AARCH64 == 1; +constexpr bool kIsArchPPC64 = FOLLY_PPC64 == 1; +} // namespace folly + +namespace folly { + +#if FOLLY_SANITIZE_ADDRESS +constexpr bool kIsSanitizeAddress = true; +#else +constexpr bool kIsSanitizeAddress = false; +#endif + +#if FOLLY_SANITIZE_THREAD +constexpr bool kIsSanitizeThread = true; +#else +constexpr bool kIsSanitizeThread = false; +#endif + +#if FOLLY_SANITIZE +constexpr bool kIsSanitize = true; +#else +constexpr bool kIsSanitize = false; +#endif +} // namespace folly + // packing is very ugly in msvc #ifdef _MSC_VER # define FOLLY_PACK_ATTR /**/ @@ -153,23 +150,35 @@ # define FOLLY_PACK_POP /**/ #endif -// portable version check -#ifndef __GNUC_PREREQ -# if defined __GNUC__ && defined __GNUC_MINOR__ -/* nolint */ -# define __GNUC_PREREQ(maj, min) ((__GNUC__ << 16) + __GNUC_MINOR__ >= \ - ((maj) << 16) + (min)) -# else -/* nolint */ -# define __GNUC_PREREQ(maj, min) 0 -# endif +// Generalize warning push/pop. +#if defined(_MSC_VER) +# define FOLLY_PUSH_WARNING __pragma(warning(push)) +# define FOLLY_POP_WARNING __pragma(warning(pop)) +// Disable the GCC warnings. +# define FOLLY_GCC_DISABLE_WARNING(warningName) +# define FOLLY_MSVC_DISABLE_WARNING(warningNumber) __pragma(warning(disable: warningNumber)) +#elif defined(__clang__) || defined(__GNUC__) +# define FOLLY_PUSH_WARNING _Pragma("GCC diagnostic push") +# define FOLLY_POP_WARNING _Pragma("GCC diagnostic pop") +# define FOLLY_GCC_DISABLE_WARNING_INTERNAL2(warningName) #warningName +# define FOLLY_GCC_DISABLE_WARNING(warningName) \ + _Pragma( \ + FOLLY_GCC_DISABLE_WARNING_INTERNAL2(GCC diagnostic ignored warningName)) +// Disable the MSVC warnings. +# define FOLLY_MSVC_DISABLE_WARNING(warningNumber) +#else +# define FOLLY_PUSH_WARNING +# define FOLLY_POP_WARNING +# define FOLLY_GCC_DISABLE_WARNING(warningName) +# define FOLLY_MSVC_DISABLE_WARNING(warningNumber) #endif -#if defined(__GNUC__) && !defined(__APPLE__) && !__GNUC_PREREQ(4,9) -// https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56019 -// gcc 4.8.x incorrectly placed max_align_t in the root namespace -// Alias it into std (where it's found in 4.9 and later) -namespace std { typedef ::max_align_t max_align_t; } +#ifdef FOLLY_HAVE_SHADOW_LOCAL_WARNINGS +#define FOLLY_GCC_DISABLE_NEW_SHADOW_WARNINGS \ + FOLLY_GCC_DISABLE_WARNING("-Wshadow-compatible-local") \ + FOLLY_GCC_DISABLE_WARNING("-Wshadow-local") +#else +#define FOLLY_GCC_DISABLE_NEW_SHADOW_WARNINGS /* empty */ #endif /* Platform specific TLS support @@ -186,21 +195,15 @@ namespace std { typedef ::max_align_t max_align_t; } # error cannot define platform specific thread local storage #endif -// Define to 1 if you have the `preadv' and `pwritev' functions, respectively -#if !defined(FOLLY_HAVE_PREADV) && !defined(FOLLY_HAVE_PWRITEV) -# if defined(__GLIBC_PREREQ) -# if __GLIBC_PREREQ(2, 10) -# define FOLLY_HAVE_PREADV 1 -# define FOLLY_HAVE_PWRITEV 1 -# endif -# endif +#if FOLLY_MOBILE +#undef FOLLY_TLS #endif // It turns out that GNU libstdc++ and LLVM libc++ differ on how they implement -// the 'std' namespace; the latter uses inline namepsaces. Wrap this decision +// the 'std' namespace; the latter uses inline namespaces. Wrap this decision // up in a macro to make forward-declarations easier. #if FOLLY_USE_LIBCPP -#include <__config> +#include <__config> // @manual #define FOLLY_NAMESPACE_STD_BEGIN _LIBCPP_BEGIN_NAMESPACE_STD #define FOLLY_NAMESPACE_STD_END _LIBCPP_END_NAMESPACE_STD #else @@ -208,58 +211,21 @@ namespace std { typedef ::max_align_t max_align_t; } #define FOLLY_NAMESPACE_STD_END } #endif -// Some platforms lack clock_gettime(2) and clock_getres(2). Inject our own -// versions of these into the global namespace. -#if FOLLY_HAVE_CLOCK_GETTIME -#include -#else -#include -#endif - -// Provide our own std::__throw_* wrappers for platforms that don't have them -#if FOLLY_HAVE_BITS_FUNCTEXCEPT_H -#include +// If the new c++ ABI is used, __cxx11 inline namespace needs to be added to +// some types, e.g. std::list. +#if _GLIBCXX_USE_CXX11_ABI +#define FOLLY_GLIBCXX_NAMESPACE_CXX11_BEGIN \ + inline _GLIBCXX_BEGIN_NAMESPACE_CXX11 +# define FOLLY_GLIBCXX_NAMESPACE_CXX11_END _GLIBCXX_END_NAMESPACE_CXX11 #else -#include -#endif - -#if defined(__cplusplus) -// Unfortunately, boost::has_trivial_copy is broken in libc++ due to its -// usage of __has_trivial_copy(), so we can't use it as a -// least-common-denominator for C++11 implementations that don't support -// std::is_trivially_copyable. -// -// http://stackoverflow.com/questions/12754886/has-trivial-copy-behaves-differently-in-clang-and-gcc-whos-right -// -// As a result, use std::is_trivially_copyable() where it exists, and fall back -// to Boost otherwise. -#if FOLLY_HAVE_STD__IS_TRIVIALLY_COPYABLE -#include -#define FOLLY_IS_TRIVIALLY_COPYABLE(T) \ - (std::is_trivially_copyable::value) -#else -#include -#define FOLLY_IS_TRIVIALLY_COPYABLE(T) \ - (boost::has_trivial_copy::value && \ - boost::has_trivial_destructor::value) +# define FOLLY_GLIBCXX_NAMESPACE_CXX11_BEGIN +# define FOLLY_GLIBCXX_NAMESPACE_CXX11_END #endif -#endif // __cplusplus // MSVC specific defines // mainly for posix compat #ifdef _MSC_VER - -// this definition is in a really silly place with a silly name -// and ifdefing it every time we want it is painful -#include -typedef SSIZE_T ssize_t; - -// sprintf semantics are not exactly identical -// but current usage is not a problem -# define snprintf _snprintf - -// semantics here are identical -# define strerror_r(errno,buf,len) strerror_s(buf,len,errno) +#include // compiler specific to compiler specific // nolint @@ -268,12 +234,35 @@ typedef SSIZE_T ssize_t; // Hide a GCC specific thing that breaks MSVC if left alone. # define __extension__ -#ifdef _M_IX86_FP -# define FOLLY_SSE _M_IX86_FP -# define FOLLY_SSE_MINOR 0 +// We have compiler support for the newest of the new, but +// MSVC doesn't tell us that. +#define __SSE4_2__ 1 + #endif +// Debug +namespace folly { +#ifdef NDEBUG +constexpr auto kIsDebug = false; +#else +constexpr auto kIsDebug = true; #endif +} // namespace folly + +// Endianness +namespace folly { +#ifdef _MSC_VER +// It's MSVC, so we just have to guess ... and allow an override +#ifdef FOLLY_ENDIAN_BE +constexpr auto kIsLittleEndian = false; +#else +constexpr auto kIsLittleEndian = true; +#endif +#else +constexpr auto kIsLittleEndian = __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__; +#endif +constexpr auto kIsBigEndian = !kIsLittleEndian; +} // namespace folly #ifndef FOLLY_SSE # if defined(__SSE4_2__) @@ -307,19 +296,12 @@ typedef SSIZE_T ssize_t; namespace FOLLY_GFLAGS_NAMESPACE { } namespace gflags { using namespace FOLLY_GFLAGS_NAMESPACE; -} // namespace gflags +} // namespace gflags #endif // for TARGET_OS_IPHONE #ifdef __APPLE__ -#include -#endif - -// MacOS doesn't have malloc_usable_size() -#if defined(__APPLE__) && !defined(FOLLY_HAVE_MALLOC_USABLE_SIZE) -inline size_t malloc_usable_size(void* ptr) { - return malloc_size(ptr); -} +#include // @manual #endif // RTTI may not be enabled for this compilation unit. @@ -328,43 +310,69 @@ inline size_t malloc_usable_size(void* ptr) { # define FOLLY_HAS_RTTI 1 #endif -#ifdef _MSC_VER -# include +#if defined(__APPLE__) || defined(_MSC_VER) +#define FOLLY_STATIC_CTOR_PRIORITY_MAX +#else +// 101 is the highest priority allowed by the init_priority attribute. +// This priority is already used by JEMalloc and other memory allocators so +// we will take the next one. +#define FOLLY_STATIC_CTOR_PRIORITY_MAX __attribute__((__init_priority__(102))) #endif namespace folly { -inline void asm_volatile_memory() { -#if defined(__clang__) || defined(__GNUC__) - asm volatile("" : : : "memory"); -#elif defined(_MSC_VER) - ::_ReadWriteBarrier(); -#endif -} - -inline void asm_volatile_pause() { -#if defined(_MSC_VER) && (defined(_M_IX86) || defined(_M_X64)) - ::_mm_pause(); -#elif defined(__i386__) || FOLLY_X64 - asm volatile ("pause"); -#elif FOLLY_A64 - asm volatile ("wfe"); -#elif FOLLY_PPC64 - asm volatile("or 27,27,27"); -#endif -} -inline void asm_pause() { -#if defined(_MSC_VER) && (defined(_M_IX86) || defined(_M_X64)) - ::_mm_pause(); -#elif defined(__i386__) || FOLLY_X64 - asm ("pause"); -#elif FOLLY_A64 - asm ("wfe"); -#elif FOLLY_PPC64 - asm ("or 31,31,31"); -#endif -} - -} - -#endif // FOLLY_PORTABILITY_H_ +#if __OBJC__ +constexpr auto kIsObjC = true; +#else +constexpr auto kIsObjC = false; +#endif + +#if FOLLY_MOBILE +constexpr auto kIsMobile = true; +#else +constexpr auto kIsMobile = false; +#endif + +#if defined(__linux__) && !FOLLY_MOBILE +constexpr auto kIsLinux = true; +#else +constexpr auto kIsLinux = false; +#endif + +#if defined(_WIN32) +constexpr auto kIsWindows = true; +constexpr auto kMscVer = _MSC_VER; +#else +constexpr auto kIsWindows = false; +constexpr auto kMscVer = 0; +#endif +} // namespace folly + +// Define FOLLY_USE_CPP14_CONSTEXPR to be true if the compiler's C++14 +// constexpr support is "good enough". +#ifndef FOLLY_USE_CPP14_CONSTEXPR +#if defined(__clang__) +#define FOLLY_USE_CPP14_CONSTEXPR __cplusplus >= 201300L +#elif defined(__GNUC__) +#define FOLLY_USE_CPP14_CONSTEXPR __cplusplus >= 201304L +#else +#define FOLLY_USE_CPP14_CONSTEXPR 0 // MSVC? +#endif +#endif + +#if FOLLY_USE_CPP14_CONSTEXPR +#define FOLLY_CPP14_CONSTEXPR constexpr +#else +#define FOLLY_CPP14_CONSTEXPR inline +#endif + +#if __cpp_coroutines >= 201703L && FOLLY_HAS_INCLUDE() +#define FOLLY_HAS_COROUTINES 1 +#elif _MSC_VER && _RESUMABLE_FUNCTIONS_SUPPORTED +#define FOLLY_HAS_COROUTINES 1 +#endif + +// MSVC 2017.5 +#if __cpp_noexcept_function_type >= 201510 || _MSC_FULL_VER >= 191225816 +#define FOLLY_HAVE_NOEXCEPT_FUNCTION_TYPE 1 +#endif