Andreas Huber | 0a45128 | 2016-08-30 11:27:24 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2016 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
| 17 | #ifndef _FMSGQ_DESCRIPTOR_H |
| 18 | #define _FMSGQ_DESCRIPTOR_H |
| 19 | |
| 20 | #include <android-base/macros.h> |
| 21 | #include <cutils/native_handle.h> |
| 22 | #include <hidl/HidlSupport.h> |
Hridya Valsaraju | 5d148b3 | 2017-01-10 14:38:42 -0800 | [diff] [blame] | 23 | #include <utils/Log.h> |
Andreas Huber | 0a45128 | 2016-08-30 11:27:24 -0700 | [diff] [blame] | 24 | |
| 25 | namespace android { |
| 26 | namespace hardware { |
| 27 | |
Hridya Valsaraju | 62bb7a0 | 2016-09-23 10:44:04 -0700 | [diff] [blame] | 28 | typedef uint64_t RingBufferPosition; |
| 29 | |
Andreas Huber | 0a45128 | 2016-08-30 11:27:24 -0700 | [diff] [blame] | 30 | struct GrantorDescriptor { |
Hridya Valsaraju | 45eb91d | 2017-01-12 13:20:35 -0800 | [diff] [blame] | 31 | uint32_t flags __attribute__ ((aligned(4))); |
| 32 | uint32_t fdIndex __attribute__ ((aligned(4))); |
| 33 | uint32_t offset __attribute__ ((aligned(4))); |
| 34 | uint64_t extent __attribute__ ((aligned(8))); |
Andreas Huber | 0a45128 | 2016-08-30 11:27:24 -0700 | [diff] [blame] | 35 | }; |
| 36 | |
Hridya Valsaraju | 45eb91d | 2017-01-12 13:20:35 -0800 | [diff] [blame] | 37 | static_assert(offsetof(GrantorDescriptor, flags) == 0, "wrong offset"); |
| 38 | static_assert(offsetof(GrantorDescriptor, fdIndex) == 4, "wrong offset"); |
| 39 | static_assert(offsetof(GrantorDescriptor, offset) == 8, "wrong offset"); |
| 40 | static_assert(offsetof(GrantorDescriptor, extent) == 16, "wrong offset"); |
| 41 | static_assert(sizeof(GrantorDescriptor) == 24, "wrong size"); |
| 42 | static_assert(__alignof(GrantorDescriptor) == 8, "wrong alignment"); |
| 43 | |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 44 | enum MQFlavor : uint32_t { |
| 45 | /* |
| 46 | * kSynchronizedReadWrite represents the wait-free synchronized flavor of the |
| 47 | * FMQ. It is intended to be have a single reader and single writer. |
| 48 | * Attempts to overflow/underflow returns a failure. |
| 49 | */ |
Hridya Valsaraju | 5657578 | 2016-10-13 21:44:55 -0700 | [diff] [blame] | 50 | kSynchronizedReadWrite = 0x01, |
| 51 | /* |
| 52 | * kUnsynchronizedWrite represents the flavor of FMQ where writes always |
| 53 | * succeed. This flavor allows one writer and many readers. A read operation |
| 54 | * can detect an overwrite and reset the read counter. |
| 55 | */ |
| 56 | kUnsynchronizedWrite = 0x02 |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 57 | }; |
| 58 | |
Hridya Valsaraju | 7e6404d | 2016-12-27 09:13:34 -0800 | [diff] [blame] | 59 | template <typename T, MQFlavor flavor> |
Andreas Huber | 0a45128 | 2016-08-30 11:27:24 -0700 | [diff] [blame] | 60 | struct MQDescriptor { |
| 61 | MQDescriptor( |
| 62 | const std::vector<GrantorDescriptor>& grantors, |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 63 | native_handle_t* nHandle, size_t size); |
Hridya Valsaraju | 62bb7a0 | 2016-09-23 10:44:04 -0700 | [diff] [blame] | 64 | |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 65 | MQDescriptor(size_t bufferSize, native_handle_t* nHandle, |
Hridya Valsaraju | 9ec5730 | 2016-12-14 09:00:31 -0800 | [diff] [blame] | 66 | size_t messageSize, bool configureEventFlag = false); |
Andreas Huber | 0a45128 | 2016-08-30 11:27:24 -0700 | [diff] [blame] | 67 | |
Hridya Valsaraju | 0e326a0 | 2016-12-21 10:52:29 -0800 | [diff] [blame] | 68 | MQDescriptor(); |
Andreas Huber | 0a45128 | 2016-08-30 11:27:24 -0700 | [diff] [blame] | 69 | ~MQDescriptor(); |
| 70 | |
| 71 | explicit MQDescriptor(const MQDescriptor &other); |
| 72 | MQDescriptor &operator=(const MQDescriptor &other) = delete; |
| 73 | |
| 74 | size_t getSize() const; |
| 75 | |
| 76 | size_t getQuantum() const; |
| 77 | |
| 78 | int32_t getFlags() const; |
Andreas Huber | 0a45128 | 2016-08-30 11:27:24 -0700 | [diff] [blame] | 79 | |
Andreas Huber | 0a45128 | 2016-08-30 11:27:24 -0700 | [diff] [blame] | 80 | bool isHandleValid() const { return mHandle != nullptr; } |
| 81 | size_t countGrantors() const { return mGrantors.size(); } |
Yifan Hong | 089ae13 | 2016-11-11 11:32:52 -0800 | [diff] [blame] | 82 | |
| 83 | inline const ::android::hardware::hidl_vec<GrantorDescriptor> &grantors() const { |
| 84 | return mGrantors; |
| 85 | } |
| 86 | |
| 87 | inline ::android::hardware::hidl_vec<GrantorDescriptor> &grantors() { |
| 88 | return mGrantors; |
| 89 | } |
| 90 | |
| 91 | inline const ::native_handle_t *handle() const { |
| 92 | return mHandle; |
| 93 | } |
| 94 | |
| 95 | inline ::native_handle_t *handle() { |
| 96 | return mHandle; |
| 97 | } |
| 98 | |
| 99 | static const size_t kOffsetOfGrantors; |
| 100 | static const size_t kOffsetOfHandle; |
Hridya Valsaraju | 9ec5730 | 2016-12-14 09:00:31 -0800 | [diff] [blame] | 101 | enum GrantorType : int { READPTRPOS = 0, WRITEPTRPOS, DATAPTRPOS, EVFLAGWORDPOS }; |
| 102 | |
Hridya Valsaraju | 62bb7a0 | 2016-09-23 10:44:04 -0700 | [diff] [blame] | 103 | /* |
Hridya Valsaraju | 9ec5730 | 2016-12-14 09:00:31 -0800 | [diff] [blame] | 104 | * There should at least be GrantorDescriptors for the read counter, write |
| 105 | * counter and data buffer. A GrantorDescriptor for an EventFlag word is |
| 106 | * not required if there is no need for blocking FMQ operations. |
Hridya Valsaraju | 62bb7a0 | 2016-09-23 10:44:04 -0700 | [diff] [blame] | 107 | */ |
Hridya Valsaraju | 9ec5730 | 2016-12-14 09:00:31 -0800 | [diff] [blame] | 108 | static constexpr int32_t kMinGrantorCount = DATAPTRPOS + 1; |
| 109 | |
| 110 | /* |
| 111 | * Minimum number of GrantorDescriptors required if EventFlag support is |
| 112 | * needed for blocking FMQ operations. |
| 113 | */ |
| 114 | static constexpr int32_t kMinGrantorCountForEvFlagSupport = EVFLAGWORDPOS + 1; |
Hridya Valsaraju | 5d148b3 | 2017-01-10 14:38:42 -0800 | [diff] [blame] | 115 | |
| 116 | //TODO(b/34160777) Identify a better solution that supports remoting. |
| 117 | static inline size_t alignToWordBoundary(size_t length) { |
| 118 | constexpr size_t kAlignmentSize = 64; |
| 119 | LOG_ALWAYS_FATAL_IF(kAlignmentSize % __WORDSIZE != 0, "Incompatible word size"); |
| 120 | return (length + kAlignmentSize/8 - 1) & ~(kAlignmentSize/8 - 1U); |
| 121 | } |
| 122 | |
| 123 | static inline size_t isAlignedToWordBoundary(size_t offset) { |
| 124 | constexpr size_t kAlignmentSize = 64; |
| 125 | return (offset & (kAlignmentSize/8 - 1)) == 0; |
| 126 | } |
Andreas Huber | 0a45128 | 2016-08-30 11:27:24 -0700 | [diff] [blame] | 127 | private: |
| 128 | ::android::hardware::hidl_vec<GrantorDescriptor> mGrantors; |
Hridya Valsaraju | 4484344 | 2016-12-09 13:38:55 -0800 | [diff] [blame] | 129 | ::android::hardware::details::hidl_pointer<native_handle_t> mHandle; |
Andreas Huber | 0a45128 | 2016-08-30 11:27:24 -0700 | [diff] [blame] | 130 | uint32_t mQuantum; |
| 131 | uint32_t mFlags; |
| 132 | }; |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 133 | |
Hridya Valsaraju | 7e6404d | 2016-12-27 09:13:34 -0800 | [diff] [blame] | 134 | template<typename T, MQFlavor flavor> |
| 135 | const size_t MQDescriptor<T, flavor>::kOffsetOfGrantors = offsetof(MQDescriptor, mGrantors); |
Yifan Hong | 089ae13 | 2016-11-11 11:32:52 -0800 | [diff] [blame] | 136 | |
Hridya Valsaraju | 7e6404d | 2016-12-27 09:13:34 -0800 | [diff] [blame] | 137 | template<typename T, MQFlavor flavor> |
| 138 | const size_t MQDescriptor<T, flavor>::kOffsetOfHandle = offsetof(MQDescriptor, mHandle); |
Yifan Hong | 089ae13 | 2016-11-11 11:32:52 -0800 | [diff] [blame] | 139 | |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 140 | /* |
| 141 | * MQDescriptorSync will describe the wait-free synchronized |
| 142 | * flavor of FMQ. |
| 143 | */ |
Hridya Valsaraju | 7e6404d | 2016-12-27 09:13:34 -0800 | [diff] [blame] | 144 | template<typename T> |
| 145 | using MQDescriptorSync = MQDescriptor<T, kSynchronizedReadWrite>; |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 146 | |
Hridya Valsaraju | 5657578 | 2016-10-13 21:44:55 -0700 | [diff] [blame] | 147 | /* |
| 148 | * MQDescriptorUnsync will describe the unsynchronized write |
| 149 | * flavor of FMQ. |
| 150 | */ |
Hridya Valsaraju | 7e6404d | 2016-12-27 09:13:34 -0800 | [diff] [blame] | 151 | template<typename T> |
| 152 | using MQDescriptorUnsync = MQDescriptor<T, kUnsynchronizedWrite>; |
Hridya Valsaraju | 5657578 | 2016-10-13 21:44:55 -0700 | [diff] [blame] | 153 | |
Hridya Valsaraju | 7e6404d | 2016-12-27 09:13:34 -0800 | [diff] [blame] | 154 | template<typename T, MQFlavor flavor> |
| 155 | MQDescriptor<T, flavor>::MQDescriptor( |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 156 | const std::vector<GrantorDescriptor>& grantors, |
| 157 | native_handle_t* nhandle, |
| 158 | size_t size) |
| 159 | : mHandle(nhandle), |
| 160 | mQuantum(size), |
| 161 | mFlags(flavor) { |
| 162 | mGrantors.resize(grantors.size()); |
| 163 | for (size_t i = 0; i < grantors.size(); ++i) { |
Hridya Valsaraju | 5d148b3 | 2017-01-10 14:38:42 -0800 | [diff] [blame] | 164 | LOG_ALWAYS_FATAL_IF(isAlignedToWordBoundary(grantors[i].offset) == false, |
| 165 | "Grantor offsets need to be aligned"); |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 166 | mGrantors[i] = grantors[i]; |
| 167 | } |
| 168 | } |
| 169 | |
Hridya Valsaraju | 7e6404d | 2016-12-27 09:13:34 -0800 | [diff] [blame] | 170 | template<typename T, MQFlavor flavor> |
| 171 | MQDescriptor<T, flavor>::MQDescriptor(size_t bufferSize, native_handle_t *nHandle, |
Hridya Valsaraju | 9ec5730 | 2016-12-14 09:00:31 -0800 | [diff] [blame] | 172 | size_t messageSize, bool configureEventFlag) |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 173 | : mHandle(nHandle), mQuantum(messageSize), mFlags(flavor) { |
Hridya Valsaraju | 9ec5730 | 2016-12-14 09:00:31 -0800 | [diff] [blame] | 174 | /* |
| 175 | * If configureEventFlag is true, allocate an additional spot in mGrantor |
| 176 | * for containing the fd and offset for mmapping the EventFlag word. |
| 177 | */ |
| 178 | mGrantors.resize(configureEventFlag? kMinGrantorCountForEvFlagSupport : kMinGrantorCount); |
| 179 | |
| 180 | size_t memSize[] = { |
| 181 | sizeof(RingBufferPosition), /* memory to be allocated for read pointer counter */ |
| 182 | sizeof(RingBufferPosition), /* memory to be allocated for write pointer counter */ |
| 183 | bufferSize, /* memory to be allocated for data buffer */ |
| 184 | sizeof(std::atomic<uint32_t>)/* memory to be allocated for EventFlag word */ |
| 185 | }; |
| 186 | |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 187 | /* |
| 188 | * Create a default grantor descriptor for read, write pointers and |
| 189 | * the data buffer. fdIndex parameter is set to 0 by default and |
| 190 | * the offset for each grantor is contiguous. |
| 191 | */ |
Hridya Valsaraju | 9ec5730 | 2016-12-14 09:00:31 -0800 | [diff] [blame] | 192 | for (size_t grantorPos = 0, offset = 0; |
| 193 | grantorPos < mGrantors.size(); |
| 194 | offset += memSize[grantorPos++]) { |
| 195 | mGrantors[grantorPos] = { |
| 196 | 0 /* grantor flags */, |
| 197 | 0 /* fdIndex */, |
Hridya Valsaraju | 5d148b3 | 2017-01-10 14:38:42 -0800 | [diff] [blame] | 198 | static_cast<uint32_t>(alignToWordBoundary(offset)), |
Hridya Valsaraju | 9ec5730 | 2016-12-14 09:00:31 -0800 | [diff] [blame] | 199 | memSize[grantorPos] |
| 200 | }; |
| 201 | } |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 202 | } |
| 203 | |
Hridya Valsaraju | 7e6404d | 2016-12-27 09:13:34 -0800 | [diff] [blame] | 204 | template<typename T, MQFlavor flavor> |
| 205 | MQDescriptor<T, flavor>::MQDescriptor(const MQDescriptor<T, flavor> &other) |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 206 | : mGrantors(other.mGrantors), |
| 207 | mHandle(nullptr), |
| 208 | mQuantum(other.mQuantum), |
| 209 | mFlags(other.mFlags) { |
| 210 | if (other.mHandle != nullptr) { |
| 211 | mHandle = native_handle_create( |
| 212 | other.mHandle->numFds, other.mHandle->numInts); |
| 213 | |
| 214 | for (int i = 0; i < other.mHandle->numFds; ++i) { |
Hridya Valsaraju | 4484344 | 2016-12-09 13:38:55 -0800 | [diff] [blame] | 215 | mHandle->data[i] = dup(other.mHandle->data[i]); |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 216 | } |
| 217 | |
Hridya Valsaraju | 4484344 | 2016-12-09 13:38:55 -0800 | [diff] [blame] | 218 | memcpy(&mHandle->data[other.mHandle->numFds], |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 219 | &other.mHandle->data[other.mHandle->numFds], |
| 220 | other.mHandle->numInts * sizeof(int)); |
| 221 | } |
| 222 | } |
| 223 | |
Hridya Valsaraju | 7e6404d | 2016-12-27 09:13:34 -0800 | [diff] [blame] | 224 | template<typename T, MQFlavor flavor> |
| 225 | MQDescriptor<T, flavor>::MQDescriptor() : MQDescriptor( |
Hridya Valsaraju | 0e326a0 | 2016-12-21 10:52:29 -0800 | [diff] [blame] | 226 | std::vector<android::hardware::GrantorDescriptor>(), |
| 227 | nullptr /* nHandle */, |
| 228 | 0 /* size */) {} |
| 229 | |
Hridya Valsaraju | 7e6404d | 2016-12-27 09:13:34 -0800 | [diff] [blame] | 230 | template<typename T, MQFlavor flavor> |
| 231 | MQDescriptor<T, flavor>::~MQDescriptor() { |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 232 | if (mHandle != nullptr) { |
Hridya Valsaraju | 4484344 | 2016-12-09 13:38:55 -0800 | [diff] [blame] | 233 | native_handle_close(mHandle); |
| 234 | native_handle_delete(mHandle); |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 235 | } |
| 236 | } |
| 237 | |
Hridya Valsaraju | 7e6404d | 2016-12-27 09:13:34 -0800 | [diff] [blame] | 238 | template<typename T, MQFlavor flavor> |
| 239 | size_t MQDescriptor<T, flavor>::getSize() const { |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 240 | return mGrantors[DATAPTRPOS].extent; |
| 241 | } |
| 242 | |
Hridya Valsaraju | 7e6404d | 2016-12-27 09:13:34 -0800 | [diff] [blame] | 243 | template<typename T, MQFlavor flavor> |
| 244 | size_t MQDescriptor<T, flavor>::getQuantum() const { return mQuantum; } |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 245 | |
Hridya Valsaraju | 7e6404d | 2016-12-27 09:13:34 -0800 | [diff] [blame] | 246 | template<typename T, MQFlavor flavor> |
| 247 | int32_t MQDescriptor<T, flavor>::getFlags() const { return mFlags; } |
Hridya Valsaraju | 24fb4e2 | 2016-09-26 10:37:01 -0700 | [diff] [blame] | 248 | |
Yifan Hong | be7a688 | 2017-01-05 17:30:17 -0800 | [diff] [blame] | 249 | namespace details { |
| 250 | template<typename T, MQFlavor flavor> |
| 251 | std::string toString(const MQDescriptor<T, flavor> &q) { |
| 252 | std::string os; |
| 253 | if (flavor & kSynchronizedReadWrite) { |
| 254 | os += "fmq_sync"; |
| 255 | } |
| 256 | if (flavor & kUnsynchronizedWrite) { |
| 257 | os += "fmq_unsync"; |
| 258 | } |
| 259 | os += " {" |
Hridya Valsaraju | ed4e714 | 2017-02-24 11:00:48 -0800 | [diff] [blame^] | 260 | + toString(q.grantors().size()) + " grantor(s), " |
Yifan Hong | be7a688 | 2017-01-05 17:30:17 -0800 | [diff] [blame] | 261 | + "size = " + toString(q.getSize()) |
Hridya Valsaraju | ed4e714 | 2017-02-24 11:00:48 -0800 | [diff] [blame^] | 262 | + ", .handle = " + toString(q.handle()) |
Yifan Hong | be7a688 | 2017-01-05 17:30:17 -0800 | [diff] [blame] | 263 | + ", .quantum = " + toString(q.getQuantum()) + "}"; |
| 264 | return os; |
| 265 | } |
| 266 | } // namespace details |
| 267 | |
Hridya Valsaraju | 4fe70f0 | 2016-09-20 21:02:51 -0700 | [diff] [blame] | 268 | } // namespace hardware |
| 269 | } // namespace android |
Andreas Huber | 0a45128 | 2016-08-30 11:27:24 -0700 | [diff] [blame] | 270 | |
| 271 | #endif // FMSGQ_DESCRIPTOR_H |