| /* |
| * Copyright (C) 2016 The Android Open Source Project |
| * |
| * 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. |
| */ |
| |
| #ifndef C2_H_ |
| #define C2_H_ |
| |
| #include <errno.h> |
| |
| #include <string> |
| |
| /** nanoseconds with arbitrary origin. */ |
| typedef int64_t c2_nsecs_t; |
| |
| /** \mainpage Codec2 |
| * |
| * Codec2 is a generic frame-based data processing API. |
| * |
| * The media subsystem accesses components via the \ref API. |
| */ |
| |
| /** \ingroup API |
| * |
| * The Codec2 API defines the operation of data processing components and their interaction with |
| * the rest of the system. |
| * |
| * Coding Conventions |
| * |
| * Mitigating Binary Compatibility. |
| * |
| * While full binary compatibility is not a goal of the API (due to our use of STL), we try to |
| * mitigate binary breaks by adhering to the following conventions: |
| * |
| * - at most one vtable with placeholder virtual methods |
| * - all optional/placeholder virtual methods returning a c2_status_t, with C2_OMITTED not requiring |
| * any update to input/output arguments. |
| * - limiting symbol export of inline methods |
| * - use of pimpl (or shared-pimpl) |
| * |
| * Naming |
| * |
| * - all classes and types prefix with C2 |
| * - classes for internal use prefix with _C2 |
| * - enum values in global namespace prefix with C2_ all caps |
| * - enum values inside classes have no C2_ prefix as class already has it |
| * - supporting two kinds of enum naming: all-caps and kCamelCase |
| * \todo revisit kCamelCase for param-type |
| * |
| * Aspects |
| * |
| * Aspects define certain common behavior across a group of objects. |
| * - classes whose name matches _C2.*Aspect |
| * - only protected constructors |
| * - no desctructor and copiable |
| * - all methods are inline or static (this is opposite of the interface paradigm where all methods |
| * are virtual, which would not work due to the at most one vtable rule.) |
| * - only private variables (this prevents subclasses interfering with the aspects.) |
| */ |
| |
| /// \defgroup types Common Types |
| /// @{ |
| |
| /** |
| * C2String: basic string implementation |
| */ |
| typedef std::string C2String; |
| |
| /** |
| * C2StringLiteral: basic string literal implementation. |
| * \note these are never owned by any object, and can only refer to C string literals. |
| */ |
| typedef const char *C2StringLiteral; |
| |
| /** |
| * c2_status_t: status codes used. |
| */ |
| enum c2_status_t : int32_t { |
| /* |
| * Use POSIX errno constants. |
| */ |
| C2_OK = 0, ///< operation completed successfully |
| |
| // bad input |
| C2_BAD_VALUE = EINVAL, ///< argument has invalid value (user error) |
| C2_BAD_INDEX = ENXIO, ///< argument uses invalid index (user error) |
| C2_CANNOT_DO = ENOTSUP, ///< argument/index is valid but not possible |
| |
| // bad sequencing of events |
| C2_DUPLICATE = EEXIST, ///< object already exists |
| C2_NOT_FOUND = ENOENT, ///< object not found |
| C2_BAD_STATE = EPERM, ///< operation is not permitted in the current state |
| C2_BLOCKING = EWOULDBLOCK, ///< operation would block but blocking is not permitted |
| C2_CANCELED = EINTR, ///< operation interrupted/canceled |
| |
| // bad environment |
| C2_NO_MEMORY = ENOMEM, ///< not enough memory to complete operation |
| C2_REFUSED = EACCES, ///< missing permission to complete operation |
| |
| C2_TIMED_OUT = ETIMEDOUT, ///< operation did not complete within timeout |
| |
| // bad versioning |
| C2_OMITTED = ENOSYS, ///< operation is not implemented/supported (optional only) |
| |
| // unknown fatal |
| C2_CORRUPTED = EFAULT, ///< some unexpected error prevented the operation |
| C2_NO_INIT = ENODEV, ///< status has not been initialized |
| }; |
| |
| /** |
| * Type that describes the desired blocking behavior for variable blocking calls. Blocking in this |
| * API is used in a somewhat modified meaning such that operations that merely update variables |
| * protected by mutexes are still considered "non-blocking" (always used in quotes). |
| */ |
| enum c2_blocking_t : int32_t { |
| /** |
| * The operation SHALL be "non-blocking". This means that it shall not perform any file |
| * operations, or call/wait on other processes. It may use a protected region as long as the |
| * mutex is never used to protect code that is otherwise "may block". |
| */ |
| C2_DONT_BLOCK = false, |
| /** |
| * The operation MAY be temporarily blocking. |
| */ |
| C2_MAY_BLOCK = true, |
| }; |
| |
| /// @} |
| |
| /// \defgroup utils Utilities |
| /// @{ |
| |
| #define C2_DO_NOT_COPY(type) \ |
| type& operator=(const type &) = delete; \ |
| type(const type &) = delete; \ |
| |
| #define C2_DEFAULT_MOVE(type) \ |
| type& operator=(type &&) = default; \ |
| type(type &&) = default; \ |
| |
| #define C2_ALLOW_OVERFLOW __attribute__((no_sanitize("integer"))) |
| #define C2_CONST __attribute__((const)) |
| #define C2_HIDE __attribute__((visibility("hidden"))) |
| #define C2_INLINE inline C2_HIDE |
| #define C2_INTERNAL __attribute__((internal_linkage)) |
| #define C2_PACK __attribute__((aligned(4))) |
| #define C2_PURE __attribute__((pure)) |
| |
| #define DEFINE_OTHER_COMPARISON_OPERATORS(type) \ |
| inline bool operator!=(const type &other) const { return !(*this == other); } \ |
| inline bool operator<=(const type &other) const { return (*this == other) || (*this < other); } \ |
| inline bool operator>=(const type &other) const { return !(*this < other); } \ |
| inline bool operator>(const type &other) const { return !(*this < other) && !(*this == other); } |
| |
| #define DEFINE_FIELD_BASED_COMPARISON_OPERATORS(type, field) \ |
| inline bool operator<(const type &other) const { return field < other.field; } \ |
| inline bool operator==(const type &other) const { return field == other.field; } \ |
| DEFINE_OTHER_COMPARISON_OPERATORS(type) |
| |
| #define DEFINE_FIELD_AND_MASK_BASED_COMPARISON_OPERATORS(type, field, mask) \ |
| inline bool operator<(const type &other) const { \ |
| return (field & mask) < (other.field & (mask)); \ |
| } \ |
| inline bool operator==(const type &other) const { \ |
| return (field & mask) == (other.field & (mask)); \ |
| } \ |
| DEFINE_OTHER_COMPARISON_OPERATORS(type) |
| |
| #define DEFINE_ENUM_OPERATORS(etype) \ |
| inline constexpr etype operator|(etype a, etype b) { return (etype)(std::underlying_type<etype>::type(a) | std::underlying_type<etype>::type(b)); } \ |
| inline constexpr etype &operator|=(etype &a, etype b) { a = (etype)(std::underlying_type<etype>::type(a) | std::underlying_type<etype>::type(b)); return a; } \ |
| inline constexpr etype operator&(etype a, etype b) { return (etype)(std::underlying_type<etype>::type(a) & std::underlying_type<etype>::type(b)); } \ |
| inline constexpr etype &operator&=(etype &a, etype b) { a = (etype)(std::underlying_type<etype>::type(a) & std::underlying_type<etype>::type(b)); return a; } \ |
| inline constexpr etype operator^(etype a, etype b) { return (etype)(std::underlying_type<etype>::type(a) ^ std::underlying_type<etype>::type(b)); } \ |
| inline constexpr etype &operator^=(etype &a, etype b) { a = (etype)(std::underlying_type<etype>::type(a) ^ std::underlying_type<etype>::type(b)); return a; } \ |
| inline constexpr etype operator~(etype a) { return (etype)(~std::underlying_type<etype>::type(a)); } |
| |
| template<typename T, typename B> |
| class C2_HIDE c2_cntr_t; |
| |
| /// \cond INTERNAL |
| |
| /// \defgroup utils_internal |
| /// @{ |
| |
| template<typename T> |
| struct C2_HIDE _c2_cntr_compat_helper { |
| template<typename U, typename E=typename std::enable_if<std::is_integral<U>::value>::type> |
| C2_ALLOW_OVERFLOW |
| inline static constexpr T get(const U &value) { |
| return T(value); |
| } |
| |
| template<typename U, typename E=typename std::enable_if<(sizeof(U) >= sizeof(T))>::type> |
| C2_ALLOW_OVERFLOW |
| inline static constexpr T get(const c2_cntr_t<U, void> &value) { |
| return T(value.mValue); |
| } |
| }; |
| |
| /// @} |
| |
| /// \endcond |
| |
| /** |
| * Integral counter type. |
| * |
| * This is basically an unsigned integral type that is NEVER checked for overflow/underflow - and |
| * comparison operators are redefined. |
| * |
| * \note Comparison of counter types is not fully transitive, e.g. |
| * it could be that a > b > c but a !> c. |
| * std::less<>, greater<>, less_equal<> and greater_equal<> specializations yield total ordering, |
| * but may not match semantic ordering of the values. |
| * |
| * Technically: counter types represent integer values: A * 2^N + value, where A can be arbitrary. |
| * This makes addition, subtraction, multiplication (as well as bitwise operations) well defined. |
| * However, division is in general not well defined, as the result may depend on A. This is also |
| * true for logical operators and boolean conversion. |
| * |
| * Even though well defined, bitwise operators are not implemented for counter types as they are not |
| * meaningful. |
| */ |
| template<typename T, typename B=typename std::enable_if<std::is_integral<T>::value && std::is_unsigned<T>::value>::type> |
| class C2_HIDE c2_cntr_t { |
| using compat = _c2_cntr_compat_helper<T>; |
| |
| T mValue; |
| constexpr static T HALF_RANGE = T(~0) ^ (T(~0) >> 1); |
| |
| template<typename U> |
| friend struct _c2_cntr_compat_helper; |
| public: |
| |
| /** |
| * Default constructor. Initialized counter to 0. |
| */ |
| inline constexpr c2_cntr_t() : mValue(T(0)) {} |
| |
| /** |
| * Construct from a compatible type. |
| */ |
| template<typename U> |
| inline constexpr c2_cntr_t(const U &value) : mValue(compat::get(value)) {} |
| |
| /** |
| * Peek as underlying signed type. |
| */ |
| C2_ALLOW_OVERFLOW |
| inline constexpr typename std::make_signed<T>::type peek() const { |
| return static_cast<typename std::make_signed<T>::type>(mValue); |
| } |
| |
| /** |
| * Peek as underlying unsigned type. |
| */ |
| inline constexpr T peeku() const { |
| return mValue; |
| } |
| |
| /** |
| * Peek as long long - e.g. for printing. |
| */ |
| C2_ALLOW_OVERFLOW |
| inline constexpr long long peekll() const { |
| return (long long)mValue; |
| } |
| |
| /** |
| * Peek as unsigned long long - e.g. for printing. |
| */ |
| C2_ALLOW_OVERFLOW |
| inline constexpr unsigned long long peekull() const { |
| return (unsigned long long)mValue; |
| } |
| |
| /** |
| * Convert to a smaller counter type. This is always safe. |
| */ |
| template<typename U, typename E=typename std::enable_if<(sizeof(U) < sizeof(T))>::type> |
| inline constexpr operator c2_cntr_t<U>() { |
| return c2_cntr_t<U>(mValue); |
| } |
| |
| /** |
| * Arithmetic operators |
| */ |
| |
| #define DEFINE_C2_CNTR_BINARY_OP(attrib, op, op_assign) \ |
| template<typename U> \ |
| attrib inline c2_cntr_t<T>& operator op_assign(const U &value) { \ |
| mValue op_assign compat::get(value); \ |
| return *this; \ |
| } \ |
| \ |
| template<typename U, typename E=decltype(compat::get(U(0)))> \ |
| attrib inline constexpr c2_cntr_t<T> operator op(const U &value) const { \ |
| return c2_cntr_t<T>(mValue op compat::get(value)); \ |
| } \ |
| \ |
| template<typename U, typename E=typename std::enable_if<(sizeof(U) < sizeof(T))>::type> \ |
| attrib inline constexpr c2_cntr_t<U> operator op(const c2_cntr_t<U> &value) const { \ |
| return c2_cntr_t<U>(U(mValue) op value.peeku()); \ |
| } |
| |
| #define DEFINE_C2_CNTR_UNARY_OP(attrib, op) \ |
| attrib inline constexpr c2_cntr_t<T> operator op() const { \ |
| return c2_cntr_t<T>(op mValue); \ |
| } |
| |
| #define DEFINE_C2_CNTR_CREMENT_OP(attrib, op) \ |
| attrib inline c2_cntr_t<T> &operator op() { \ |
| op mValue; \ |
| return *this; \ |
| } \ |
| attrib inline c2_cntr_t<T> operator op(int) { \ |
| return c2_cntr_t<T, void>(mValue op); \ |
| } |
| |
| DEFINE_C2_CNTR_BINARY_OP(C2_ALLOW_OVERFLOW, +, +=) |
| DEFINE_C2_CNTR_BINARY_OP(C2_ALLOW_OVERFLOW, -, -=) |
| DEFINE_C2_CNTR_BINARY_OP(C2_ALLOW_OVERFLOW, *, *=) |
| |
| DEFINE_C2_CNTR_UNARY_OP(C2_ALLOW_OVERFLOW, -) |
| DEFINE_C2_CNTR_UNARY_OP(C2_ALLOW_OVERFLOW, +) |
| |
| DEFINE_C2_CNTR_CREMENT_OP(C2_ALLOW_OVERFLOW, ++) |
| DEFINE_C2_CNTR_CREMENT_OP(C2_ALLOW_OVERFLOW, --) |
| |
| template<typename U, typename E=typename std::enable_if<std::is_unsigned<U>::value>::type> |
| C2_ALLOW_OVERFLOW |
| inline constexpr c2_cntr_t<T> operator<<(const U &value) const { |
| return c2_cntr_t<T>(mValue << value); |
| } |
| |
| template<typename U, typename E=typename std::enable_if<std::is_unsigned<U>::value>::type> |
| C2_ALLOW_OVERFLOW |
| inline c2_cntr_t<T> &operator<<=(const U &value) { |
| mValue <<= value; |
| return *this; |
| } |
| |
| /** |
| * Comparison operators |
| */ |
| C2_ALLOW_OVERFLOW |
| inline constexpr bool operator<=(const c2_cntr_t<T> &other) const { |
| return T(other.mValue - mValue) < HALF_RANGE; |
| } |
| |
| C2_ALLOW_OVERFLOW |
| inline constexpr bool operator>=(const c2_cntr_t<T> &other) const { |
| return T(mValue - other.mValue) < HALF_RANGE; |
| } |
| |
| inline constexpr bool operator==(const c2_cntr_t<T> &other) const { |
| return mValue == other.mValue; |
| } |
| |
| inline constexpr bool operator!=(const c2_cntr_t<T> &other) const { |
| return !(*this == other); |
| } |
| |
| inline constexpr bool operator<(const c2_cntr_t<T> &other) const { |
| return *this <= other && *this != other; |
| } |
| |
| inline constexpr bool operator>(const c2_cntr_t<T> &other) const { |
| return *this >= other && *this != other; |
| } |
| }; |
| |
| template<typename U, typename T, typename E=typename std::enable_if<std::is_integral<U>::value>::type> |
| inline constexpr c2_cntr_t<T> operator+(const U &a, const c2_cntr_t<T> &b) { |
| return b + a; |
| } |
| |
| template<typename U, typename T, typename E=typename std::enable_if<std::is_integral<U>::value>::type> |
| inline constexpr c2_cntr_t<T> operator-(const U &a, const c2_cntr_t<T> &b) { |
| return c2_cntr_t<T>(a) - b; |
| } |
| |
| template<typename U, typename T, typename E=typename std::enable_if<std::is_integral<U>::value>::type> |
| inline constexpr c2_cntr_t<T> operator*(const U &a, const c2_cntr_t<T> &b) { |
| return b * a; |
| } |
| |
| typedef c2_cntr_t<uint32_t> c2_cntr32_t; /** 32-bit counter type */ |
| typedef c2_cntr_t<uint64_t> c2_cntr64_t; /** 64-bit counter type */ |
| |
| /// \cond INTERNAL |
| |
| /// \defgroup utils_internal |
| /// @{ |
| |
| template<typename... T> struct c2_types; |
| |
| /** specialization for a single type */ |
| template<typename T> |
| struct c2_types<T> { |
| typedef typename std::decay<T>::type wide_type; |
| typedef wide_type narrow_type; |
| typedef wide_type min_type; // type for min(T...) |
| }; |
| |
| /** specialization for two types */ |
| template<typename T, typename U> |
| struct c2_types<T, U> { |
| static_assert(std::is_floating_point<T>::value == std::is_floating_point<U>::value, |
| "mixing floating point and non-floating point types is disallowed"); |
| static_assert(std::is_signed<T>::value == std::is_signed<U>::value, |
| "mixing signed and unsigned types is disallowed"); |
| |
| typedef typename std::decay< |
| decltype(true ? std::declval<T>() : std::declval<U>())>::type wide_type; |
| typedef typename std::decay< |
| typename std::conditional<sizeof(T) < sizeof(U), T, U>::type>::type narrow_type; |
| typedef typename std::conditional< |
| std::is_signed<T>::value, wide_type, narrow_type>::type min_type; |
| }; |
| |
| /// @} |
| |
| /// \endcond |
| |
| /** |
| * Type support utility class. Only supports similar classes, such as: |
| * - all floating point |
| * - all unsigned/all signed |
| * - all pointer |
| */ |
| template<typename T, typename U, typename... V> |
| struct c2_types<T, U, V...> { |
| /** Common type that accommodates all template parameter types. */ |
| typedef typename c2_types<typename c2_types<T, U>::wide_type, V...>::wide_type wide_type; |
| /** Narrowest type of the template parameter types. */ |
| typedef typename c2_types<typename c2_types<T, U>::narrow_type, V...>::narrow_type narrow_type; |
| /** Type that accommodates the minimum value for any input for the template parameter types. */ |
| typedef typename c2_types<typename c2_types<T, U>::min_type, V...>::min_type min_type; |
| }; |
| |
| /** |
| * \ingroup utils_internal |
| * specialization for two values */ |
| template<typename T, typename U> |
| inline constexpr typename c2_types<T, U>::wide_type c2_max(const T a, const U b) { |
| typedef typename c2_types<T, U>::wide_type wide_type; |
| return ({ wide_type a_(a), b_(b); a_ > b_ ? a_ : b_; }); |
| } |
| |
| /** |
| * Finds the maximum value of a list of "similarly typed" values. |
| * |
| * This is an extension to std::max where the types do not have to be identical, and the smallest |
| * resulting type is used that accommodates the argument types. |
| * |
| * \note Value types must be similar, e.g. all floating point, all pointers, all signed, or all |
| * unsigned. |
| * |
| * @return the largest of the input arguments. |
| */ |
| template<typename T, typename U, typename... V> |
| constexpr typename c2_types<T, U, V...>::wide_type c2_max(const T a, const U b, const V ... c) { |
| typedef typename c2_types<T, U, V...>::wide_type wide_type; |
| return ({ wide_type a_(a), b_(c2_max(b, c...)); a_ > b_ ? a_ : b_; }); |
| } |
| |
| /** |
| * \ingroup utils_internal |
| * specialization for two values */ |
| template<typename T, typename U> |
| inline constexpr typename c2_types<T, U>::min_type c2_min(const T a, const U b) { |
| typedef typename c2_types<T, U>::wide_type wide_type; |
| return ({ |
| wide_type a_(a), b_(b); |
| static_cast<typename c2_types<T, U>::min_type>(a_ < b_ ? a_ : b_); |
| }); |
| } |
| |
| /** |
| * Finds the minimum value of a list of "similarly typed" values. |
| * |
| * This is an extension to std::min where the types do not have to be identical, and the smallest |
| * resulting type is used that accommodates the argument types. |
| * |
| * \note Value types must be similar, e.g. all floating point, all pointers, all signed, or all |
| * unsigned. |
| * |
| * @return the smallest of the input arguments. |
| */ |
| template<typename T, typename U, typename... V> |
| constexpr typename c2_types<T, U, V...>::min_type c2_min(const T a, const U b, const V ... c) { |
| typedef typename c2_types<U, V...>::min_type rest_type; |
| typedef typename c2_types<T, rest_type>::wide_type wide_type; |
| return ({ |
| wide_type a_(a), b_(c2_min(b, c...)); |
| static_cast<typename c2_types<T, rest_type>::min_type>(a_ < b_ ? a_ : b_); |
| }); |
| } |
| |
| /** |
| * \ingroup utils_internal |
| */ |
| template<typename T, typename U, typename V> |
| inline constexpr typename c2_types<T, V>::wide_type c2_clamp(const T a, const U b, const V c) { |
| typedef typename c2_types<T, U, V>::wide_type wide_type; |
| return ({ |
| wide_type a_(a), b_(b), c_(c); |
| static_cast<typename c2_types<T, V>::wide_type>(b_ < a_ ? a_ : b_ > c_ ? c_ : b_); |
| }); |
| } |
| |
| /// @} |
| |
| #include <functional> |
| template<typename T> |
| struct std::less<::c2_cntr_t<T>> { |
| constexpr bool operator()(const ::c2_cntr_t<T> &lh, const ::c2_cntr_t<T> &rh) const { |
| return lh.peeku() < rh.peeku(); |
| } |
| }; |
| template<typename T> |
| struct std::less_equal<::c2_cntr_t<T>> { |
| constexpr bool operator()(const ::c2_cntr_t<T> &lh, const ::c2_cntr_t<T> &rh) const { |
| return lh.peeku() <= rh.peeku(); |
| } |
| }; |
| template<typename T> |
| struct std::greater<::c2_cntr_t<T>> { |
| constexpr bool operator()(const ::c2_cntr_t<T> &lh, const ::c2_cntr_t<T> &rh) const { |
| return lh.peeku() > rh.peeku(); |
| } |
| }; |
| template<typename T> |
| struct std::greater_equal<::c2_cntr_t<T>> { |
| constexpr bool operator()(const ::c2_cntr_t<T> &lh, const ::c2_cntr_t<T> &rh) const { |
| return lh.peeku() >= rh.peeku(); |
| } |
| }; |
| |
| #endif // C2_H_ |