Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2020 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 | #pragma once |
| 17 | |
| 18 | #include <android-base/unique_fd.h> |
| 19 | #include <binder/IBinder.h> |
| 20 | #include <binder/Parcel.h> |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 21 | #include <binder/RpcSession.h> |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 22 | |
| 23 | #include <map> |
Steven Moreland | e839334 | 2021-05-05 23:27:53 +0000 | [diff] [blame] | 24 | #include <optional> |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 25 | #include <queue> |
| 26 | |
| 27 | namespace android { |
| 28 | |
| 29 | struct RpcWireHeader; |
| 30 | |
| 31 | /** |
| 32 | * Log a lot more information about RPC calls, when debugging issues. Usually, |
| 33 | * you would want to enable this in only one process. If repeated issues require |
| 34 | * a specific subset of logs to debug, this could be broken up like |
| 35 | * IPCThreadState's. |
| 36 | */ |
| 37 | #define SHOULD_LOG_RPC_DETAIL false |
| 38 | |
| 39 | #if SHOULD_LOG_RPC_DETAIL |
| 40 | #define LOG_RPC_DETAIL(...) ALOGI(__VA_ARGS__) |
| 41 | #else |
| 42 | #define LOG_RPC_DETAIL(...) ALOGV(__VA_ARGS__) // for type checking |
| 43 | #endif |
| 44 | |
| 45 | /** |
| 46 | * Abstracts away management of ref counts and the wire format from |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 47 | * RpcSession |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 48 | */ |
| 49 | class RpcState { |
| 50 | public: |
| 51 | RpcState(); |
| 52 | ~RpcState(); |
| 53 | |
Steven Moreland | 7c5e6c2 | 2021-05-01 02:55:20 +0000 | [diff] [blame] | 54 | // TODO(b/182940634): combine some special transactions into one "getServerInfo" call? |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 55 | sp<IBinder> getRootObject(const base::unique_fd& fd, const sp<RpcSession>& session); |
| 56 | status_t getMaxThreads(const base::unique_fd& fd, const sp<RpcSession>& session, |
Steven Moreland | f137de9 | 2021-04-24 01:54:26 +0000 | [diff] [blame] | 57 | size_t* maxThreadsOut); |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 58 | status_t getSessionId(const base::unique_fd& fd, const sp<RpcSession>& session, |
| 59 | int32_t* sessionIdOut); |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 60 | |
Steven Moreland | f517427 | 2021-05-25 00:39:28 +0000 | [diff] [blame] | 61 | [[nodiscard]] status_t transact(const base::unique_fd& fd, const sp<IBinder>& address, |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 62 | uint32_t code, const Parcel& data, |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 63 | const sp<RpcSession>& session, Parcel* reply, uint32_t flags); |
Steven Moreland | f517427 | 2021-05-25 00:39:28 +0000 | [diff] [blame] | 64 | [[nodiscard]] status_t transactAddress(const base::unique_fd& fd, const RpcAddress& address, |
| 65 | uint32_t code, const Parcel& data, |
| 66 | const sp<RpcSession>& session, Parcel* reply, |
| 67 | uint32_t flags); |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 68 | [[nodiscard]] status_t sendDecStrong(const base::unique_fd& fd, const RpcAddress& address); |
| 69 | [[nodiscard]] status_t getAndExecuteCommand(const base::unique_fd& fd, |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 70 | const sp<RpcSession>& session); |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 71 | |
| 72 | /** |
| 73 | * Called by Parcel for outgoing binders. This implies one refcount of |
| 74 | * ownership to the outgoing binder. |
| 75 | */ |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 76 | [[nodiscard]] status_t onBinderLeaving(const sp<RpcSession>& session, const sp<IBinder>& binder, |
| 77 | RpcAddress* outAddress); |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 78 | |
| 79 | /** |
| 80 | * Called by Parcel for incoming binders. This either returns the refcount |
| 81 | * to the process, if this process already has one, or it takes ownership of |
| 82 | * that refcount |
| 83 | */ |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 84 | sp<IBinder> onBinderEntering(const sp<RpcSession>& session, const RpcAddress& address); |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 85 | |
| 86 | size_t countBinders(); |
| 87 | void dump(); |
| 88 | |
| 89 | private: |
| 90 | /** |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 91 | * Called when reading or writing data to a session fails to clean up |
| 92 | * data associated with the session in order to cleanup binders. |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 93 | * Specifically, we have a strong dependency cycle, since BpBinder is |
| 94 | * OBJECT_LIFETIME_WEAK (so that onAttemptIncStrong may return true). |
| 95 | * |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 96 | * BpBinder -> RpcSession -> RpcState |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 97 | * ^-----------------------------/ |
| 98 | * |
| 99 | * In the success case, eventually all refcounts should be propagated over |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 100 | * the session, though this could also be called to eagerly cleanup |
| 101 | * the session. |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 102 | * |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 103 | * WARNING: RpcState is responsible for calling this when the session is |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 104 | * no longer recoverable. |
| 105 | */ |
| 106 | void terminate(); |
| 107 | |
Steven Moreland | dbe7183 | 2021-05-12 23:31:00 +0000 | [diff] [blame] | 108 | // Alternative to std::vector<uint8_t> that doesn't abort on allocation failure and caps |
| 109 | // large allocations to avoid being requested from allocating too much data. |
| 110 | struct CommandData { |
| 111 | explicit CommandData(size_t size); |
Steven Moreland | e839334 | 2021-05-05 23:27:53 +0000 | [diff] [blame] | 112 | bool valid() { return mSize == 0 || mData != nullptr; } |
| 113 | size_t size() { return mSize; } |
| 114 | uint8_t* data() { return mData.get(); } |
| 115 | uint8_t* release() { return mData.release(); } |
| 116 | |
| 117 | private: |
| 118 | std::unique_ptr<uint8_t[]> mData; |
| 119 | size_t mSize; |
| 120 | }; |
| 121 | |
Steven Moreland | 1e4c2b8 | 2021-05-25 01:51:31 +0000 | [diff] [blame^] | 122 | [[nodiscard]] status_t rpcSend(const base::unique_fd& fd, const char* what, const void* data, |
| 123 | size_t size); |
| 124 | [[nodiscard]] status_t rpcRec(const base::unique_fd& fd, const sp<RpcSession>& session, |
| 125 | const char* what, void* data, size_t size); |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 126 | |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 127 | [[nodiscard]] status_t waitForReply(const base::unique_fd& fd, const sp<RpcSession>& session, |
| 128 | Parcel* reply); |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 129 | [[nodiscard]] status_t processServerCommand(const base::unique_fd& fd, |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 130 | const sp<RpcSession>& session, |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 131 | const RpcWireHeader& command); |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 132 | [[nodiscard]] status_t processTransact(const base::unique_fd& fd, const sp<RpcSession>& session, |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 133 | const RpcWireHeader& command); |
| 134 | [[nodiscard]] status_t processTransactInternal(const base::unique_fd& fd, |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 135 | const sp<RpcSession>& session, |
Steven Moreland | f517427 | 2021-05-25 00:39:28 +0000 | [diff] [blame] | 136 | CommandData transactionData, |
| 137 | sp<IBinder>&& targetRef); |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 138 | [[nodiscard]] status_t processDecStrong(const base::unique_fd& fd, |
Steven Moreland | ee3f466 | 2021-05-22 01:07:33 +0000 | [diff] [blame] | 139 | const sp<RpcSession>& session, |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 140 | const RpcWireHeader& command); |
| 141 | |
| 142 | struct BinderNode { |
| 143 | // Two cases: |
| 144 | // A - local binder we are serving |
| 145 | // B - remote binder, we are sending transactions to |
| 146 | wp<IBinder> binder; |
| 147 | |
| 148 | // if timesSent > 0, this will be equal to binder.promote() |
| 149 | sp<IBinder> sentRef; |
| 150 | |
| 151 | // Number of times we've sent this binder out of process, which |
| 152 | // translates to an implicit strong count. A client must send RPC binder |
| 153 | // socket's dec ref for each time it is sent out of process in order to |
| 154 | // deallocate it. Note, a proxy binder we are holding onto might be |
| 155 | // sent (this is important when the only remaining refcount of this |
| 156 | // binder is the one associated with a transaction sending it back to |
| 157 | // its server) |
| 158 | size_t timesSent = 0; |
| 159 | |
| 160 | // Number of times we've received this binder, each time corresponds to |
| 161 | // a reference we hold over the wire (not a local incStrong/decStrong) |
| 162 | size_t timesRecd = 0; |
| 163 | |
| 164 | // transaction ID, for async transactions |
| 165 | uint64_t asyncNumber = 0; |
| 166 | |
| 167 | // |
| 168 | // CASE A - local binder we are serving |
| 169 | // |
| 170 | |
| 171 | // async transaction queue, _only_ for local binder |
| 172 | struct AsyncTodo { |
Steven Moreland | f517427 | 2021-05-25 00:39:28 +0000 | [diff] [blame] | 173 | sp<IBinder> ref; |
Steven Moreland | dbe7183 | 2021-05-12 23:31:00 +0000 | [diff] [blame] | 174 | CommandData data; |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 175 | uint64_t asyncNumber = 0; |
| 176 | |
| 177 | bool operator<(const AsyncTodo& o) const { |
| 178 | return asyncNumber > /* !!! */ o.asyncNumber; |
| 179 | } |
| 180 | }; |
| 181 | std::priority_queue<AsyncTodo> asyncTodo; |
| 182 | |
| 183 | // |
| 184 | // CASE B - remote binder, we are sending transactions to |
| 185 | // |
| 186 | |
| 187 | // (no additional data specific to remote binders) |
| 188 | }; |
| 189 | |
| 190 | std::mutex mNodeMutex; |
| 191 | bool mTerminated = false; |
Steven Moreland | bdb53ab | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 192 | // binders known by both sides of a session |
Steven Moreland | 5553ac4 | 2020-11-11 02:14:45 +0000 | [diff] [blame] | 193 | std::map<RpcAddress, BinderNode> mNodeForAddress; |
| 194 | }; |
| 195 | |
| 196 | } // namespace android |