blob: d06300141436afd05e535665dc094389a3bd2bcd [file] [log] [blame]
Steven Moreland5553ac42020-11-11 02:14:45 +00001/*
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
17#define LOG_TAG "RpcState"
18
19#include "RpcState.h"
20
Steven Moreland62129012021-07-29 12:14:44 -070021#include <android-base/hex.h>
Andrei Homescua39e4ed2021-12-10 08:41:54 +000022#include <android-base/macros.h>
Steven Morelandd7302072021-05-15 01:32:04 +000023#include <android-base/scopeguard.h>
Frederick Mayle69a0c992022-05-26 20:38:39 +000024#include <android-base/stringprintf.h>
Steven Moreland5553ac42020-11-11 02:14:45 +000025#include <binder/BpBinder.h>
Steven Morelandd7302072021-05-15 01:32:04 +000026#include <binder/IPCThreadState.h>
Steven Moreland5553ac42020-11-11 02:14:45 +000027#include <binder/RpcServer.h>
28
29#include "Debug.h"
30#include "RpcWireFormat.h"
Frederick Mayledc07cf82022-05-26 20:30:12 +000031#include "Utils.h"
Steven Moreland5553ac42020-11-11 02:14:45 +000032
Steven Morelandb8176792021-06-22 20:29:21 +000033#include <random>
34
Steven Moreland5553ac42020-11-11 02:14:45 +000035#include <inttypes.h>
36
37namespace android {
38
Frederick Mayle69a0c992022-05-26 20:38:39 +000039using base::StringPrintf;
Steven Morelandd7302072021-05-15 01:32:04 +000040
Devin Moore08256432021-07-02 13:03:49 -070041#if RPC_FLAKE_PRONE
Steven Morelandb8176792021-06-22 20:29:21 +000042void rpcMaybeWaitToFlake() {
Devin Moore08256432021-07-02 13:03:49 -070043 [[clang::no_destroy]] static std::random_device r;
44 [[clang::no_destroy]] static std::mutex m;
Steven Morelandb8176792021-06-22 20:29:21 +000045 unsigned num;
46 {
Andrei Homescuffa3aaa2022-04-07 05:06:33 +000047 RpcMutexLockGuard lock(m);
Steven Morelandb8176792021-06-22 20:29:21 +000048 num = r();
49 }
50 if (num % 10 == 0) usleep(num % 1000);
51}
52#endif
53
Frederick Mayle69a0c992022-05-26 20:38:39 +000054static bool enableAncillaryFds(RpcSession::FileDescriptorTransportMode mode) {
55 switch (mode) {
56 case RpcSession::FileDescriptorTransportMode::NONE:
57 return false;
58 case RpcSession::FileDescriptorTransportMode::UNIX:
59 return true;
60 }
61}
62
Steven Moreland5553ac42020-11-11 02:14:45 +000063RpcState::RpcState() {}
64RpcState::~RpcState() {}
65
Steven Morelandbdb53ab2021-05-05 17:57:41 +000066status_t RpcState::onBinderLeaving(const sp<RpcSession>& session, const sp<IBinder>& binder,
Steven Moreland5623d1a2021-09-10 15:45:34 -070067 uint64_t* outAddress) {
Steven Moreland5553ac42020-11-11 02:14:45 +000068 bool isRemote = binder->remoteBinder();
69 bool isRpc = isRemote && binder->remoteBinder()->isRpcBinder();
70
Steven Moreland99157622021-09-13 16:27:34 -070071 if (isRpc && binder->remoteBinder()->getPrivateAccessor().rpcSession() != session) {
Steven Moreland5553ac42020-11-11 02:14:45 +000072 // We need to be able to send instructions over the socket for how to
73 // connect to a different server, and we also need to let the host
74 // process know that this is happening.
Steven Morelandbdb53ab2021-05-05 17:57:41 +000075 ALOGE("Cannot send binder from unrelated binder RPC session.");
Steven Moreland5553ac42020-11-11 02:14:45 +000076 return INVALID_OPERATION;
77 }
78
79 if (isRemote && !isRpc) {
80 // Without additional work, this would have the effect of using this
81 // process to proxy calls from the socket over to the other process, and
82 // it would make those calls look like they come from us (not over the
83 // sockets). In order to make this work transparently like binder, we
84 // would instead need to send instructions over the socket for how to
85 // connect to the host process, and we also need to let the host process
86 // know this was happening.
87 ALOGE("Cannot send binder proxy %p over sockets", binder.get());
88 return INVALID_OPERATION;
89 }
90
Andrei Homescuffa3aaa2022-04-07 05:06:33 +000091 RpcMutexLockGuard _l(mNodeMutex);
Steven Moreland7227c8a2021-06-02 00:24:32 +000092 if (mTerminated) return DEAD_OBJECT;
Steven Moreland5553ac42020-11-11 02:14:45 +000093
94 // TODO(b/182939933): maybe move address out of BpBinder, and keep binder->address map
95 // in RpcState
96 for (auto& [addr, node] : mNodeForAddress) {
97 if (binder == node.binder) {
98 if (isRpc) {
Steven Moreland5623d1a2021-09-10 15:45:34 -070099 // check integrity of data structure
Steven Moreland99157622021-09-13 16:27:34 -0700100 uint64_t actualAddr = binder->remoteBinder()->getPrivateAccessor().rpcAddress();
Steven Moreland5623d1a2021-09-10 15:45:34 -0700101 LOG_ALWAYS_FATAL_IF(addr != actualAddr, "Address mismatch %" PRIu64 " vs %" PRIu64,
102 addr, actualAddr);
Steven Moreland5553ac42020-11-11 02:14:45 +0000103 }
104 node.timesSent++;
105 node.sentRef = binder; // might already be set
106 *outAddress = addr;
107 return OK;
108 }
109 }
110 LOG_ALWAYS_FATAL_IF(isRpc, "RPC binder must have known address at this point");
111
Steven Moreland91538242021-06-10 23:35:35 +0000112 bool forServer = session->server() != nullptr;
Steven Moreland5553ac42020-11-11 02:14:45 +0000113
Steven Moreland5623d1a2021-09-10 15:45:34 -0700114 // arbitrary limit for maximum number of nodes in a process (otherwise we
115 // might run out of addresses)
116 if (mNodeForAddress.size() > 100000) {
117 return NO_MEMORY;
118 }
119
120 while (true) {
121 RpcWireAddress address{
122 .options = RPC_WIRE_ADDRESS_OPTION_CREATED,
123 .address = mNextId,
124 };
125 if (forServer) {
126 address.options |= RPC_WIRE_ADDRESS_OPTION_FOR_SERVER;
127 }
128
129 // avoid ubsan abort
130 if (mNextId >= std::numeric_limits<uint32_t>::max()) {
131 mNextId = 0;
132 } else {
133 mNextId++;
134 }
135
136 auto&& [it, inserted] = mNodeForAddress.insert({RpcWireAddress::toRaw(address),
Steven Moreland91538242021-06-10 23:35:35 +0000137 BinderNode{
138 .binder = binder,
Steven Moreland91538242021-06-10 23:35:35 +0000139 .sentRef = binder,
Andrei Homescu5a036f32022-03-08 22:54:40 +0000140 .timesSent = 1,
Steven Moreland91538242021-06-10 23:35:35 +0000141 }});
142 if (inserted) {
143 *outAddress = it->first;
144 return OK;
145 }
Steven Moreland91538242021-06-10 23:35:35 +0000146 }
Steven Moreland5553ac42020-11-11 02:14:45 +0000147}
148
Steven Moreland5623d1a2021-09-10 15:45:34 -0700149status_t RpcState::onBinderEntering(const sp<RpcSession>& session, uint64_t address,
Steven Moreland7227c8a2021-06-02 00:24:32 +0000150 sp<IBinder>* out) {
Steven Moreland91538242021-06-10 23:35:35 +0000151 // ensure that: if we want to use addresses for something else in the future (for
152 // instance, allowing transitive binder sends), that we don't accidentally
153 // send those addresses to old server. Accidentally ignoring this in that
154 // case and considering the binder to be recognized could cause this
155 // process to accidentally proxy transactions for that binder. Of course,
156 // if we communicate with a binder, it could always be proxying
157 // information. However, we want to make sure that isn't done on accident
158 // by a client.
Steven Moreland5623d1a2021-09-10 15:45:34 -0700159 RpcWireAddress addr = RpcWireAddress::fromRaw(address);
160 constexpr uint32_t kKnownOptions =
161 RPC_WIRE_ADDRESS_OPTION_CREATED | RPC_WIRE_ADDRESS_OPTION_FOR_SERVER;
162 if (addr.options & ~kKnownOptions) {
163 ALOGE("Address is of an unknown type, rejecting: %" PRIu64, address);
Steven Moreland91538242021-06-10 23:35:35 +0000164 return BAD_VALUE;
165 }
166
Andrei Homescuffa3aaa2022-04-07 05:06:33 +0000167 RpcMutexLockGuard _l(mNodeMutex);
Steven Moreland7227c8a2021-06-02 00:24:32 +0000168 if (mTerminated) return DEAD_OBJECT;
Steven Moreland5553ac42020-11-11 02:14:45 +0000169
170 if (auto it = mNodeForAddress.find(address); it != mNodeForAddress.end()) {
Steven Moreland7227c8a2021-06-02 00:24:32 +0000171 *out = it->second.binder.promote();
Steven Moreland5553ac42020-11-11 02:14:45 +0000172
173 // implicitly have strong RPC refcount, since we received this binder
174 it->second.timesRecd++;
Steven Morelandd8083312021-09-22 13:37:10 -0700175 return OK;
Steven Moreland5553ac42020-11-11 02:14:45 +0000176 }
177
Steven Moreland91538242021-06-10 23:35:35 +0000178 // we don't know about this binder, so the other side of the connection
179 // should have created it.
Steven Moreland5623d1a2021-09-10 15:45:34 -0700180 if ((addr.options & RPC_WIRE_ADDRESS_OPTION_FOR_SERVER) == !!session->server()) {
181 ALOGE("Server received unrecognized address which we should own the creation of %" PRIu64,
182 address);
Steven Moreland91538242021-06-10 23:35:35 +0000183 return BAD_VALUE;
184 }
185
Steven Moreland5553ac42020-11-11 02:14:45 +0000186 auto&& [it, inserted] = mNodeForAddress.insert({address, BinderNode{}});
187 LOG_ALWAYS_FATAL_IF(!inserted, "Failed to insert binder when creating proxy");
188
Steven Morelandbdb53ab2021-05-05 17:57:41 +0000189 // Currently, all binders are assumed to be part of the same session (no
Steven Moreland5553ac42020-11-11 02:14:45 +0000190 // device global binders in the RPC world).
Steven Moreland99157622021-09-13 16:27:34 -0700191 it->second.binder = *out = BpBinder::PrivateAccessor::create(session, it->first);
Steven Moreland5553ac42020-11-11 02:14:45 +0000192 it->second.timesRecd = 1;
Steven Moreland7227c8a2021-06-02 00:24:32 +0000193 return OK;
Steven Moreland5553ac42020-11-11 02:14:45 +0000194}
195
Steven Morelandd8083312021-09-22 13:37:10 -0700196status_t RpcState::flushExcessBinderRefs(const sp<RpcSession>& session, uint64_t address,
197 const sp<IBinder>& binder) {
Steven Morelande96ed0e2021-09-27 17:43:53 -0700198 // We can flush all references when the binder is destroyed. No need to send
199 // extra reference counting packets now.
200 if (binder->remoteBinder()) return OK;
201
Andrei Homescuffa3aaa2022-04-07 05:06:33 +0000202 RpcMutexUniqueLock _l(mNodeMutex);
Steven Morelandd8083312021-09-22 13:37:10 -0700203 if (mTerminated) return DEAD_OBJECT;
204
205 auto it = mNodeForAddress.find(address);
206
207 LOG_ALWAYS_FATAL_IF(it == mNodeForAddress.end(), "Can't be deleted while we hold sp<>");
208 LOG_ALWAYS_FATAL_IF(it->second.binder != binder,
209 "Caller of flushExcessBinderRefs using inconsistent arguments");
210
Steven Morelande96ed0e2021-09-27 17:43:53 -0700211 LOG_ALWAYS_FATAL_IF(it->second.timesSent <= 0, "Local binder must have been sent %p",
212 binder.get());
Steven Morelandd8083312021-09-22 13:37:10 -0700213
Steven Morelande96ed0e2021-09-27 17:43:53 -0700214 // For a local binder, we only need to know that we sent it. Now that we
215 // have an sp<> for this call, we don't need anything more. If the other
216 // process is done with this binder, it needs to know we received the
217 // refcount associated with this call, so we can acknowledge that we
218 // received it. Once (or if) it has no other refcounts, it would reply with
219 // its own decStrong so that it could be removed from this session.
220 if (it->second.timesRecd != 0) {
Steven Morelandd8083312021-09-22 13:37:10 -0700221 _l.unlock();
222
Steven Morelande96ed0e2021-09-27 17:43:53 -0700223 return session->sendDecStrongToTarget(address, 0);
Steven Morelandd8083312021-09-22 13:37:10 -0700224 }
225
226 return OK;
227}
228
Steven Moreland5553ac42020-11-11 02:14:45 +0000229size_t RpcState::countBinders() {
Andrei Homescuffa3aaa2022-04-07 05:06:33 +0000230 RpcMutexLockGuard _l(mNodeMutex);
Steven Moreland5553ac42020-11-11 02:14:45 +0000231 return mNodeForAddress.size();
232}
233
234void RpcState::dump() {
Andrei Homescuffa3aaa2022-04-07 05:06:33 +0000235 RpcMutexLockGuard _l(mNodeMutex);
Steven Moreland583a14a2021-06-04 02:04:58 +0000236 dumpLocked();
237}
238
Steven Morelandc9d7b532021-06-04 20:57:41 +0000239void RpcState::clear() {
Andrei Homescuffa3aaa2022-04-07 05:06:33 +0000240 RpcMutexUniqueLock _l(mNodeMutex);
Steven Morelandc9d7b532021-06-04 20:57:41 +0000241
242 if (mTerminated) {
243 LOG_ALWAYS_FATAL_IF(!mNodeForAddress.empty(),
244 "New state should be impossible after terminating!");
245 return;
246 }
Steven Moreland0092fe32022-07-15 00:15:34 +0000247 mTerminated = true;
Steven Morelandc9d7b532021-06-04 20:57:41 +0000248
249 if (SHOULD_LOG_RPC_DETAIL) {
250 ALOGE("RpcState::clear()");
251 dumpLocked();
252 }
253
Steven Moreland0092fe32022-07-15 00:15:34 +0000254 // invariants
Steven Morelandc9d7b532021-06-04 20:57:41 +0000255 for (auto& [address, node] : mNodeForAddress) {
Steven Moreland0092fe32022-07-15 00:15:34 +0000256 bool guaranteedHaveBinder = node.timesSent > 0;
257 if (guaranteedHaveBinder) {
258 LOG_ALWAYS_FATAL_IF(node.sentRef == nullptr,
259 "Binder expected to be owned with address: %" PRIu64 " %s", address,
260 node.toString().c_str());
Steven Morelandc9d7b532021-06-04 20:57:41 +0000261 }
262 }
263
Steven Moreland0092fe32022-07-15 00:15:34 +0000264 // if the destructor of a binder object makes another RPC call, then calling
265 // decStrong could deadlock. So, we must hold onto these binders until
266 // mNodeMutex is no longer taken.
267 auto temp = std::move(mNodeForAddress);
268 mNodeForAddress.clear(); // RpcState isn't reusable, but for future/explicit
Steven Morelandc9d7b532021-06-04 20:57:41 +0000269
270 _l.unlock();
Steven Moreland0092fe32022-07-15 00:15:34 +0000271 temp.clear(); // explicit
Steven Moreland583a14a2021-06-04 02:04:58 +0000272}
273
274void RpcState::dumpLocked() {
Steven Moreland5553ac42020-11-11 02:14:45 +0000275 ALOGE("DUMP OF RpcState %p", this);
276 ALOGE("DUMP OF RpcState (%zu nodes)", mNodeForAddress.size());
277 for (const auto& [address, node] : mNodeForAddress) {
Steven Moreland3fa32922022-07-14 18:45:51 +0000278 ALOGE("- address: %" PRIu64 " %s", address, node.toString().c_str());
Steven Moreland5553ac42020-11-11 02:14:45 +0000279 }
280 ALOGE("END DUMP OF RpcState");
281}
282
Steven Moreland3fa32922022-07-14 18:45:51 +0000283std::string RpcState::BinderNode::toString() const {
284 sp<IBinder> strongBinder = this->binder.promote();
285
286 const char* desc;
287 if (strongBinder) {
288 if (strongBinder->remoteBinder()) {
289 if (strongBinder->remoteBinder()->isRpcBinder()) {
290 desc = "(rpc binder proxy)";
291 } else {
292 desc = "(binder proxy)";
293 }
294 } else {
295 desc = "(local binder)";
296 }
297 } else {
298 desc = "(not promotable)";
299 }
300
301 return StringPrintf("node{%p times sent: %zu times recd: %zu type: %s}",
302 this->binder.unsafe_get(), this->timesSent, this->timesRecd, desc);
303}
Steven Moreland5553ac42020-11-11 02:14:45 +0000304
Steven Morelanddbe71832021-05-12 23:31:00 +0000305RpcState::CommandData::CommandData(size_t size) : mSize(size) {
306 // The maximum size for regular binder is 1MB for all concurrent
307 // transactions. A very small proportion of transactions are even
308 // larger than a page, but we need to avoid allocating too much
309 // data on behalf of an arbitrary client, or we could risk being in
310 // a position where a single additional allocation could run out of
311 // memory.
312 //
313 // Note, this limit may not reflect the total amount of data allocated for a
314 // transaction (in some cases, additional fixed size amounts are added),
315 // though for rough consistency, we should avoid cases where this data type
316 // is used for multiple dynamic allocations for a single transaction.
317 constexpr size_t kMaxTransactionAllocation = 100 * 1000;
318 if (size == 0) return;
319 if (size > kMaxTransactionAllocation) {
320 ALOGW("Transaction requested too much data allocation %zu", size);
321 return;
322 }
323 mData.reset(new (std::nothrow) uint8_t[size]);
324}
325
Frederick Mayle69a0c992022-05-26 20:38:39 +0000326status_t RpcState::rpcSend(
327 const sp<RpcSession::RpcConnection>& connection, const sp<RpcSession>& session,
328 const char* what, iovec* iovs, int niovs,
329 const std::optional<android::base::function_ref<status_t()>>& altPoll,
330 const std::vector<std::variant<base::unique_fd, base::borrowed_fd>>* ancillaryFds) {
Colin Cross9adfeaf2022-01-21 17:22:09 -0800331 for (int i = 0; i < niovs; i++) {
Andrei Homescu0a692352022-03-29 06:04:26 +0000332 LOG_RPC_DETAIL("Sending %s (part %d of %d) on RpcTransport %p: %s",
333 what, i + 1, niovs, connection->rpcTransport.get(),
Andrei Homescua39e4ed2021-12-10 08:41:54 +0000334 android::base::HexString(iovs[i].iov_base, iovs[i].iov_len).c_str());
Steven Moreland5553ac42020-11-11 02:14:45 +0000335 }
336
Yifan Hong702115c2021-06-24 15:39:18 -0700337 if (status_t status =
Yifan Hong8c950422021-08-05 17:13:55 -0700338 connection->rpcTransport->interruptableWriteFully(session->mShutdownTrigger.get(),
Frederick Mayle69a0c992022-05-26 20:38:39 +0000339 iovs, niovs, altPoll,
340 ancillaryFds);
Steven Moreland798e0d12021-07-14 23:19:25 +0000341 status != OK) {
Colin Cross9adfeaf2022-01-21 17:22:09 -0800342 LOG_RPC_DETAIL("Failed to write %s (%d iovs) on RpcTransport %p, error: %s", what, niovs,
Yifan Hong702115c2021-06-24 15:39:18 -0700343 connection->rpcTransport.get(), statusToString(status).c_str());
Steven Morelandc9d7b532021-06-04 20:57:41 +0000344 (void)session->shutdownAndWait(false);
Steven Moreland798e0d12021-07-14 23:19:25 +0000345 return status;
Steven Moreland5553ac42020-11-11 02:14:45 +0000346 }
347
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000348 return OK;
Steven Moreland5553ac42020-11-11 02:14:45 +0000349}
350
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000351status_t RpcState::rpcRec(
352 const sp<RpcSession::RpcConnection>& connection, const sp<RpcSession>& session,
353 const char* what, iovec* iovs, int niovs,
354 std::vector<std::variant<base::unique_fd, base::borrowed_fd>>* ancillaryFds) {
355 if (status_t status =
356 connection->rpcTransport->interruptableReadFully(session->mShutdownTrigger.get(),
357 iovs, niovs, std::nullopt,
358 ancillaryFds);
Steven Morelandee3f4662021-05-22 01:07:33 +0000359 status != OK) {
Colin Cross9adfeaf2022-01-21 17:22:09 -0800360 LOG_RPC_DETAIL("Failed to read %s (%d iovs) on RpcTransport %p, error: %s", what, niovs,
Yifan Hong702115c2021-06-24 15:39:18 -0700361 connection->rpcTransport.get(), statusToString(status).c_str());
Steven Morelandae58f432021-08-05 17:53:16 -0700362 (void)session->shutdownAndWait(false);
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000363 return status;
Steven Moreland5553ac42020-11-11 02:14:45 +0000364 }
365
Colin Cross9adfeaf2022-01-21 17:22:09 -0800366 for (int i = 0; i < niovs; i++) {
Andrei Homescu0a692352022-03-29 06:04:26 +0000367 LOG_RPC_DETAIL("Received %s (part %d of %d) on RpcTransport %p: %s",
368 what, i + 1, niovs, connection->rpcTransport.get(),
Andrei Homescua39e4ed2021-12-10 08:41:54 +0000369 android::base::HexString(iovs[i].iov_base, iovs[i].iov_len).c_str());
370 }
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000371 return OK;
Steven Moreland5553ac42020-11-11 02:14:45 +0000372}
373
Steven Morelandbf57bce2021-07-26 15:26:12 -0700374status_t RpcState::readNewSessionResponse(const sp<RpcSession::RpcConnection>& connection,
375 const sp<RpcSession>& session, uint32_t* version) {
376 RpcNewSessionResponse response;
Andrei Homescua39e4ed2021-12-10 08:41:54 +0000377 iovec iov{&response, sizeof(response)};
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000378 if (status_t status = rpcRec(connection, session, "new session response", &iov, 1, nullptr);
Steven Morelandbf57bce2021-07-26 15:26:12 -0700379 status != OK) {
380 return status;
381 }
382 *version = response.version;
383 return OK;
384}
385
Steven Moreland5ae62562021-06-10 03:21:42 +0000386status_t RpcState::sendConnectionInit(const sp<RpcSession::RpcConnection>& connection,
387 const sp<RpcSession>& session) {
Steven Moreland19fc9f72021-06-10 03:57:30 +0000388 RpcOutgoingConnectionInit init{
Steven Morelandc88b7fc2021-06-10 00:40:39 +0000389 .msg = RPC_CONNECTION_INIT_OKAY,
390 };
Andrei Homescua39e4ed2021-12-10 08:41:54 +0000391 iovec iov{&init, sizeof(init)};
Devin Moore695368f2022-06-03 22:29:14 +0000392 return rpcSend(connection, session, "connection init", &iov, 1, std::nullopt);
Steven Morelandc88b7fc2021-06-10 00:40:39 +0000393}
394
Steven Moreland5ae62562021-06-10 03:21:42 +0000395status_t RpcState::readConnectionInit(const sp<RpcSession::RpcConnection>& connection,
396 const sp<RpcSession>& session) {
Steven Moreland19fc9f72021-06-10 03:57:30 +0000397 RpcOutgoingConnectionInit init;
Andrei Homescua39e4ed2021-12-10 08:41:54 +0000398 iovec iov{&init, sizeof(init)};
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000399 if (status_t status = rpcRec(connection, session, "connection init", &iov, 1, nullptr);
400 status != OK)
Steven Morelandc88b7fc2021-06-10 00:40:39 +0000401 return status;
402
403 static_assert(sizeof(init.msg) == sizeof(RPC_CONNECTION_INIT_OKAY));
404 if (0 != strncmp(init.msg, RPC_CONNECTION_INIT_OKAY, sizeof(init.msg))) {
405 ALOGE("Connection init message unrecognized %.*s", static_cast<int>(sizeof(init.msg)),
406 init.msg);
407 return BAD_VALUE;
408 }
409 return OK;
410}
411
Steven Moreland5ae62562021-06-10 03:21:42 +0000412sp<IBinder> RpcState::getRootObject(const sp<RpcSession::RpcConnection>& connection,
413 const sp<RpcSession>& session) {
Steven Moreland5553ac42020-11-11 02:14:45 +0000414 Parcel data;
Steven Morelandbdb53ab2021-05-05 17:57:41 +0000415 data.markForRpc(session);
Steven Moreland5553ac42020-11-11 02:14:45 +0000416 Parcel reply;
417
Steven Moreland5623d1a2021-09-10 15:45:34 -0700418 status_t status =
419 transactAddress(connection, 0, RPC_SPECIAL_TRANSACT_GET_ROOT, data, session, &reply, 0);
Steven Moreland5553ac42020-11-11 02:14:45 +0000420 if (status != OK) {
421 ALOGE("Error getting root object: %s", statusToString(status).c_str());
422 return nullptr;
423 }
424
425 return reply.readStrongBinder();
426}
427
Steven Moreland5ae62562021-06-10 03:21:42 +0000428status_t RpcState::getMaxThreads(const sp<RpcSession::RpcConnection>& connection,
429 const sp<RpcSession>& session, size_t* maxThreadsOut) {
Steven Morelandf137de92021-04-24 01:54:26 +0000430 Parcel data;
Steven Morelandbdb53ab2021-05-05 17:57:41 +0000431 data.markForRpc(session);
Steven Morelandf137de92021-04-24 01:54:26 +0000432 Parcel reply;
433
Steven Moreland5623d1a2021-09-10 15:45:34 -0700434 status_t status = transactAddress(connection, 0, RPC_SPECIAL_TRANSACT_GET_MAX_THREADS, data,
435 session, &reply, 0);
Steven Morelandf137de92021-04-24 01:54:26 +0000436 if (status != OK) {
437 ALOGE("Error getting max threads: %s", statusToString(status).c_str());
438 return status;
439 }
440
Steven Moreland7c5e6c22021-05-01 02:55:20 +0000441 int32_t maxThreads;
442 status = reply.readInt32(&maxThreads);
Steven Morelandf137de92021-04-24 01:54:26 +0000443 if (status != OK) return status;
Steven Moreland7c5e6c22021-05-01 02:55:20 +0000444 if (maxThreads <= 0) {
445 ALOGE("Error invalid max maxThreads: %d", maxThreads);
Steven Morelandf137de92021-04-24 01:54:26 +0000446 return BAD_VALUE;
447 }
448
Steven Moreland7c5e6c22021-05-01 02:55:20 +0000449 *maxThreadsOut = maxThreads;
450 return OK;
451}
452
Steven Moreland5ae62562021-06-10 03:21:42 +0000453status_t RpcState::getSessionId(const sp<RpcSession::RpcConnection>& connection,
Steven Moreland826367f2021-09-10 14:05:31 -0700454 const sp<RpcSession>& session, std::vector<uint8_t>* sessionIdOut) {
Steven Moreland7c5e6c22021-05-01 02:55:20 +0000455 Parcel data;
Steven Morelandbdb53ab2021-05-05 17:57:41 +0000456 data.markForRpc(session);
Steven Moreland7c5e6c22021-05-01 02:55:20 +0000457 Parcel reply;
458
Steven Moreland5623d1a2021-09-10 15:45:34 -0700459 status_t status = transactAddress(connection, 0, RPC_SPECIAL_TRANSACT_GET_SESSION_ID, data,
460 session, &reply, 0);
Steven Moreland7c5e6c22021-05-01 02:55:20 +0000461 if (status != OK) {
Steven Morelandbdb53ab2021-05-05 17:57:41 +0000462 ALOGE("Error getting session ID: %s", statusToString(status).c_str());
Steven Moreland7c5e6c22021-05-01 02:55:20 +0000463 return status;
464 }
465
Steven Moreland826367f2021-09-10 14:05:31 -0700466 return reply.readByteVector(sessionIdOut);
Steven Morelandf137de92021-04-24 01:54:26 +0000467}
468
Steven Moreland5ae62562021-06-10 03:21:42 +0000469status_t RpcState::transact(const sp<RpcSession::RpcConnection>& connection,
470 const sp<IBinder>& binder, uint32_t code, const Parcel& data,
471 const sp<RpcSession>& session, Parcel* reply, uint32_t flags) {
Frederick Mayle69a0c992022-05-26 20:38:39 +0000472 std::string errorMsg;
473 if (status_t status = validateParcel(session, data, &errorMsg); status != OK) {
474 ALOGE("Refusing to send RPC on binder %p code %" PRIu32 ": Parcel %p failed validation: %s",
475 binder.get(), code, &data, errorMsg.c_str());
476 return status;
Steven Morelandf5174272021-05-25 00:39:28 +0000477 }
Steven Moreland5623d1a2021-09-10 15:45:34 -0700478 uint64_t address;
Steven Morelandf5174272021-05-25 00:39:28 +0000479 if (status_t status = onBinderLeaving(session, binder, &address); status != OK) return status;
480
Steven Moreland5ae62562021-06-10 03:21:42 +0000481 return transactAddress(connection, address, code, data, session, reply, flags);
Steven Morelandf5174272021-05-25 00:39:28 +0000482}
483
Steven Moreland5ae62562021-06-10 03:21:42 +0000484status_t RpcState::transactAddress(const sp<RpcSession::RpcConnection>& connection,
Steven Moreland5623d1a2021-09-10 15:45:34 -0700485 uint64_t address, uint32_t code, const Parcel& data,
Steven Moreland5ae62562021-06-10 03:21:42 +0000486 const sp<RpcSession>& session, Parcel* reply, uint32_t flags) {
Steven Morelandf5174272021-05-25 00:39:28 +0000487 LOG_ALWAYS_FATAL_IF(!data.isForRpc());
488 LOG_ALWAYS_FATAL_IF(data.objectsCount() != 0);
489
Steven Moreland5553ac42020-11-11 02:14:45 +0000490 uint64_t asyncNumber = 0;
491
Steven Moreland5623d1a2021-09-10 15:45:34 -0700492 if (address != 0) {
Andrei Homescuffa3aaa2022-04-07 05:06:33 +0000493 RpcMutexUniqueLock _l(mNodeMutex);
Steven Moreland5553ac42020-11-11 02:14:45 +0000494 if (mTerminated) return DEAD_OBJECT; // avoid fatal only, otherwise races
495 auto it = mNodeForAddress.find(address);
Steven Moreland5623d1a2021-09-10 15:45:34 -0700496 LOG_ALWAYS_FATAL_IF(it == mNodeForAddress.end(),
497 "Sending transact on unknown address %" PRIu64, address);
Steven Moreland5553ac42020-11-11 02:14:45 +0000498
499 if (flags & IBinder::FLAG_ONEWAY) {
Steven Moreland583a14a2021-06-04 02:04:58 +0000500 asyncNumber = it->second.asyncNumber;
Steven Morelandc9d7b532021-06-04 20:57:41 +0000501 if (!nodeProgressAsyncNumber(&it->second)) {
502 _l.unlock();
503 (void)session->shutdownAndWait(false);
504 return DEAD_OBJECT;
505 }
Steven Moreland5553ac42020-11-11 02:14:45 +0000506 }
507 }
508
Frederick Mayle69a0c992022-05-26 20:38:39 +0000509 auto* rpcFields = data.maybeRpcFields();
510 LOG_ALWAYS_FATAL_IF(rpcFields == nullptr);
511
512 Span<const uint32_t> objectTableSpan = Span<const uint32_t>{rpcFields->mObjectPositions.data(),
513 rpcFields->mObjectPositions.size()};
Frederick Mayledc07cf82022-05-26 20:30:12 +0000514
Frederick Mayle778c0902022-05-27 01:14:57 +0000515 uint32_t bodySize;
516 LOG_ALWAYS_FATAL_IF(__builtin_add_overflow(sizeof(RpcWireTransaction), data.dataSize(),
Frederick Mayledc07cf82022-05-26 20:30:12 +0000517 &bodySize) ||
518 __builtin_add_overflow(objectTableSpan.byteSize(), bodySize,
519 &bodySize),
Steven Moreland77c30112021-06-02 20:45:46 +0000520 "Too much data %zu", data.dataSize());
Steven Moreland77c30112021-06-02 20:45:46 +0000521 RpcWireHeader command{
522 .command = RPC_COMMAND_TRANSACT,
Frederick Mayle778c0902022-05-27 01:14:57 +0000523 .bodySize = bodySize,
Steven Moreland77c30112021-06-02 20:45:46 +0000524 };
Steven Moreland5623d1a2021-09-10 15:45:34 -0700525
Steven Moreland5553ac42020-11-11 02:14:45 +0000526 RpcWireTransaction transaction{
Steven Moreland5623d1a2021-09-10 15:45:34 -0700527 .address = RpcWireAddress::fromRaw(address),
Steven Moreland5553ac42020-11-11 02:14:45 +0000528 .code = code,
529 .flags = flags,
530 .asyncNumber = asyncNumber,
Frederick Mayledc07cf82022-05-26 20:30:12 +0000531 // bodySize didn't overflow => this cast is safe
532 .parcelDataSize = static_cast<uint32_t>(data.dataSize()),
Steven Moreland5553ac42020-11-11 02:14:45 +0000533 };
Steven Moreland5553ac42020-11-11 02:14:45 +0000534
Steven Moreland43921d52021-09-27 17:15:56 -0700535 constexpr size_t kWaitMaxUs = 1000000;
536 constexpr size_t kWaitLogUs = 10000;
537 size_t waitUs = 0;
538
539 // Oneway calls have no sync point, so if many are sent before, whether this
540 // is a twoway or oneway transaction, they may have filled up the socket.
Devin Moore695368f2022-06-03 22:29:14 +0000541 // So, make sure we drain them before polling
Steven Moreland43921d52021-09-27 17:15:56 -0700542
Andrei Homescua39e4ed2021-12-10 08:41:54 +0000543 iovec iovs[]{
544 {&command, sizeof(RpcWireHeader)},
545 {&transaction, sizeof(RpcWireTransaction)},
546 {const_cast<uint8_t*>(data.data()), data.dataSize()},
Frederick Mayledc07cf82022-05-26 20:30:12 +0000547 objectTableSpan.toIovec(),
Andrei Homescua39e4ed2021-12-10 08:41:54 +0000548 };
Frederick Mayle69a0c992022-05-26 20:38:39 +0000549 if (status_t status = rpcSend(
550 connection, session, "transaction", iovs, arraysize(iovs),
551 [&] {
552 if (waitUs > kWaitLogUs) {
553 ALOGE("Cannot send command, trying to process pending refcounts. Waiting "
554 "%zuus. Too many oneway calls?",
555 waitUs);
556 }
Devin Moore695368f2022-06-03 22:29:14 +0000557
Frederick Mayle69a0c992022-05-26 20:38:39 +0000558 if (waitUs > 0) {
559 usleep(waitUs);
560 waitUs = std::min(kWaitMaxUs, waitUs * 2);
561 } else {
562 waitUs = 1;
563 }
Devin Moore695368f2022-06-03 22:29:14 +0000564
Frederick Mayle69a0c992022-05-26 20:38:39 +0000565 return drainCommands(connection, session, CommandType::CONTROL_ONLY);
566 },
567 rpcFields->mFds.get());
Steven Moreland43921d52021-09-27 17:15:56 -0700568 status != OK) {
Steven Morelanda5036f02021-06-08 02:26:57 +0000569 // TODO(b/167966510): need to undo onBinderLeaving - we know the
570 // refcount isn't successfully transferred.
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000571 return status;
Steven Moreland43921d52021-09-27 17:15:56 -0700572 }
Steven Moreland5553ac42020-11-11 02:14:45 +0000573
574 if (flags & IBinder::FLAG_ONEWAY) {
Yifan Hong702115c2021-06-24 15:39:18 -0700575 LOG_RPC_DETAIL("Oneway command, so no longer waiting on RpcTransport %p",
576 connection->rpcTransport.get());
Steven Moreland52eee942021-06-03 00:59:28 +0000577
578 // Do not wait on result.
Steven Moreland43921d52021-09-27 17:15:56 -0700579 return OK;
Steven Moreland5553ac42020-11-11 02:14:45 +0000580 }
581
582 LOG_ALWAYS_FATAL_IF(reply == nullptr, "Reply parcel must be used for synchronous transaction.");
583
Steven Moreland5ae62562021-06-10 03:21:42 +0000584 return waitForReply(connection, session, reply);
Steven Moreland5553ac42020-11-11 02:14:45 +0000585}
586
Frederick Mayle53b6ffe2022-07-15 20:14:01 +0000587static void cleanup_reply_data(const uint8_t* data, size_t dataSize, const binder_size_t* objects,
588 size_t objectsCount) {
Frederick Mayle68aa3bc2022-06-07 15:51:31 +0000589 delete[] const_cast<uint8_t*>(data);
Steven Moreland5553ac42020-11-11 02:14:45 +0000590 (void)dataSize;
591 LOG_ALWAYS_FATAL_IF(objects != nullptr);
Frederick Mayle53b6ffe2022-07-15 20:14:01 +0000592 (void)objectsCount;
Steven Moreland5553ac42020-11-11 02:14:45 +0000593}
594
Steven Moreland5ae62562021-06-10 03:21:42 +0000595status_t RpcState::waitForReply(const sp<RpcSession::RpcConnection>& connection,
596 const sp<RpcSession>& session, Parcel* reply) {
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000597 std::vector<std::variant<base::unique_fd, base::borrowed_fd>> ancillaryFds;
Steven Moreland5553ac42020-11-11 02:14:45 +0000598 RpcWireHeader command;
599 while (true) {
Andrei Homescua39e4ed2021-12-10 08:41:54 +0000600 iovec iov{&command, sizeof(command)};
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000601 if (status_t status = rpcRec(connection, session, "command header (for reply)", &iov, 1,
602 enableAncillaryFds(session->getFileDescriptorTransportMode())
603 ? &ancillaryFds
604 : nullptr);
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000605 status != OK)
606 return status;
Steven Moreland5553ac42020-11-11 02:14:45 +0000607
608 if (command.command == RPC_COMMAND_REPLY) break;
609
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000610 if (status_t status = processCommand(connection, session, command, CommandType::ANY,
611 std::move(ancillaryFds));
Steven Moreland52eee942021-06-03 00:59:28 +0000612 status != OK)
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000613 return status;
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000614
615 // Reset to avoid spurious use-after-move warning from clang-tidy.
616 ancillaryFds = decltype(ancillaryFds)();
Steven Moreland5553ac42020-11-11 02:14:45 +0000617 }
618
Frederick Mayledc07cf82022-05-26 20:30:12 +0000619 const size_t rpcReplyWireSize = RpcWireReply::wireSize(session->getProtocolVersion().value());
620
621 if (command.bodySize < rpcReplyWireSize) {
Steven Moreland5553ac42020-11-11 02:14:45 +0000622 ALOGE("Expecting %zu but got %" PRId32 " bytes for RpcWireReply. Terminating!",
623 sizeof(RpcWireReply), command.bodySize);
Steven Morelandc9d7b532021-06-04 20:57:41 +0000624 (void)session->shutdownAndWait(false);
Steven Moreland5553ac42020-11-11 02:14:45 +0000625 return BAD_VALUE;
626 }
Steven Moreland5553ac42020-11-11 02:14:45 +0000627
Frederick Mayle68aa3bc2022-06-07 15:51:31 +0000628 RpcWireReply rpcReply;
Frederick Mayledc07cf82022-05-26 20:30:12 +0000629 memset(&rpcReply, 0, sizeof(RpcWireReply)); // zero because of potential short read
630
631 CommandData data(command.bodySize - rpcReplyWireSize);
Frederick Mayle68aa3bc2022-06-07 15:51:31 +0000632 if (!data.valid()) return NO_MEMORY;
633
634 iovec iovs[]{
Frederick Mayledc07cf82022-05-26 20:30:12 +0000635 {&rpcReply, rpcReplyWireSize},
Frederick Mayle68aa3bc2022-06-07 15:51:31 +0000636 {data.data(), data.size()},
637 };
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000638 if (status_t status = rpcRec(connection, session, "reply body", iovs, arraysize(iovs), nullptr);
Frederick Mayle68aa3bc2022-06-07 15:51:31 +0000639 status != OK)
640 return status;
Frederick Mayle69a0c992022-05-26 20:38:39 +0000641
Frederick Mayle68aa3bc2022-06-07 15:51:31 +0000642 if (rpcReply.status != OK) return rpcReply.status;
643
Frederick Mayledc07cf82022-05-26 20:30:12 +0000644 Span<const uint8_t> parcelSpan = {data.data(), data.size()};
Frederick Mayle69a0c992022-05-26 20:38:39 +0000645 Span<const uint32_t> objectTableSpan;
Frederick Mayledc07cf82022-05-26 20:30:12 +0000646 if (session->getProtocolVersion().value() >=
647 RPC_WIRE_PROTOCOL_VERSION_RPC_HEADER_FEATURE_EXPLICIT_PARCEL_SIZE) {
Frederick Mayle16a12ae2022-07-15 00:04:33 +0000648 std::optional<Span<const uint8_t>> objectTableBytes =
649 parcelSpan.splitOff(rpcReply.parcelDataSize);
650 if (!objectTableBytes.has_value()) {
651 ALOGE("Parcel size larger than available bytes: %" PRId32 " vs %zu. Terminating!",
652 rpcReply.parcelDataSize, parcelSpan.byteSize());
653 (void)session->shutdownAndWait(false);
654 return BAD_VALUE;
655 }
Frederick Mayle69a0c992022-05-26 20:38:39 +0000656 std::optional<Span<const uint32_t>> maybeSpan =
Frederick Mayle16a12ae2022-07-15 00:04:33 +0000657 objectTableBytes->reinterpret<const uint32_t>();
Frederick Mayle69a0c992022-05-26 20:38:39 +0000658 if (!maybeSpan.has_value()) {
659 ALOGE("Bad object table size inferred from RpcWireReply. Saw bodySize=%" PRId32
660 " sizeofHeader=%zu parcelSize=%" PRId32 " objectTableBytesSize=%zu. Terminating!",
661 command.bodySize, rpcReplyWireSize, rpcReply.parcelDataSize,
Frederick Mayle16a12ae2022-07-15 00:04:33 +0000662 objectTableBytes->size);
Frederick Mayle69a0c992022-05-26 20:38:39 +0000663 return BAD_VALUE;
664 }
665 objectTableSpan = *maybeSpan;
Frederick Mayledc07cf82022-05-26 20:30:12 +0000666 }
Steven Moreland5553ac42020-11-11 02:14:45 +0000667
Frederick Mayledc07cf82022-05-26 20:30:12 +0000668 data.release();
Frederick Mayle69a0c992022-05-26 20:38:39 +0000669 return reply->rpcSetDataReference(session, parcelSpan.data, parcelSpan.size,
670 objectTableSpan.data, objectTableSpan.size,
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000671 std::move(ancillaryFds), cleanup_reply_data);
Steven Moreland5553ac42020-11-11 02:14:45 +0000672}
673
Steven Morelandfd1e8a02021-07-21 23:30:29 +0000674status_t RpcState::sendDecStrongToTarget(const sp<RpcSession::RpcConnection>& connection,
675 const sp<RpcSession>& session, uint64_t addr,
676 size_t target) {
677 RpcDecStrong body = {
678 .address = RpcWireAddress::fromRaw(addr),
679 };
680
Steven Moreland5553ac42020-11-11 02:14:45 +0000681 {
Andrei Homescuffa3aaa2022-04-07 05:06:33 +0000682 RpcMutexLockGuard _l(mNodeMutex);
Steven Moreland5553ac42020-11-11 02:14:45 +0000683 if (mTerminated) return DEAD_OBJECT; // avoid fatal only, otherwise races
684 auto it = mNodeForAddress.find(addr);
Steven Moreland5623d1a2021-09-10 15:45:34 -0700685 LOG_ALWAYS_FATAL_IF(it == mNodeForAddress.end(),
686 "Sending dec strong on unknown address %" PRIu64, addr);
Steven Moreland5553ac42020-11-11 02:14:45 +0000687
Steven Morelandfd1e8a02021-07-21 23:30:29 +0000688 LOG_ALWAYS_FATAL_IF(it->second.timesRecd < target, "Can't dec count of %zu to %zu.",
689 it->second.timesRecd, target);
690
691 // typically this happens when multiple threads send dec refs at the
692 // same time - the transactions will get combined automatically
693 if (it->second.timesRecd == target) return OK;
694
695 body.amount = it->second.timesRecd - target;
696 it->second.timesRecd = target;
697
Steven Moreland31bde7a2021-06-04 00:57:36 +0000698 LOG_ALWAYS_FATAL_IF(nullptr != tryEraseNode(it),
699 "Bad state. RpcState shouldn't own received binder");
Steven Moreland5553ac42020-11-11 02:14:45 +0000700 }
701
702 RpcWireHeader cmd = {
703 .command = RPC_COMMAND_DEC_STRONG,
Steven Morelandfd1e8a02021-07-21 23:30:29 +0000704 .bodySize = sizeof(RpcDecStrong),
Steven Moreland5553ac42020-11-11 02:14:45 +0000705 };
Andrei Homescua39e4ed2021-12-10 08:41:54 +0000706 iovec iovs[]{{&cmd, sizeof(cmd)}, {&body, sizeof(body)}};
Devin Moore695368f2022-06-03 22:29:14 +0000707 return rpcSend(connection, session, "dec ref", iovs, arraysize(iovs), std::nullopt);
Steven Moreland5553ac42020-11-11 02:14:45 +0000708}
709
Steven Moreland5ae62562021-06-10 03:21:42 +0000710status_t RpcState::getAndExecuteCommand(const sp<RpcSession::RpcConnection>& connection,
711 const sp<RpcSession>& session, CommandType type) {
Yifan Hong702115c2021-06-24 15:39:18 -0700712 LOG_RPC_DETAIL("getAndExecuteCommand on RpcTransport %p", connection->rpcTransport.get());
Steven Moreland5553ac42020-11-11 02:14:45 +0000713
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000714 std::vector<std::variant<base::unique_fd, base::borrowed_fd>> ancillaryFds;
Steven Moreland5553ac42020-11-11 02:14:45 +0000715 RpcWireHeader command;
Andrei Homescua39e4ed2021-12-10 08:41:54 +0000716 iovec iov{&command, sizeof(command)};
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000717 if (status_t status =
718 rpcRec(connection, session, "command header (for server)", &iov, 1,
719 enableAncillaryFds(session->getFileDescriptorTransportMode()) ? &ancillaryFds
720 : nullptr);
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000721 status != OK)
722 return status;
Steven Moreland5553ac42020-11-11 02:14:45 +0000723
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000724 return processCommand(connection, session, command, type, std::move(ancillaryFds));
Steven Moreland52eee942021-06-03 00:59:28 +0000725}
726
Steven Moreland5ae62562021-06-10 03:21:42 +0000727status_t RpcState::drainCommands(const sp<RpcSession::RpcConnection>& connection,
728 const sp<RpcSession>& session, CommandType type) {
Andrei Homescu5ad71b52022-03-11 03:49:12 +0000729 while (true) {
Andrei Homescu1975aaa2022-03-19 02:34:57 +0000730 status_t status = connection->rpcTransport->pollRead();
Andrei Homescu5ad71b52022-03-11 03:49:12 +0000731 if (status == WOULD_BLOCK) break;
732 if (status != OK) return status;
Andrei Homescu5ad71b52022-03-11 03:49:12 +0000733
734 status = getAndExecuteCommand(connection, session, type);
Steven Moreland52eee942021-06-03 00:59:28 +0000735 if (status != OK) return status;
736 }
737 return OK;
Steven Moreland5553ac42020-11-11 02:14:45 +0000738}
739
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000740status_t RpcState::processCommand(
741 const sp<RpcSession::RpcConnection>& connection, const sp<RpcSession>& session,
742 const RpcWireHeader& command, CommandType type,
743 std::vector<std::variant<base::unique_fd, base::borrowed_fd>>&& ancillaryFds) {
Steven Moreland32150282021-11-12 22:54:53 +0000744#ifdef BINDER_WITH_KERNEL_IPC
Steven Morelandd7302072021-05-15 01:32:04 +0000745 IPCThreadState* kernelBinderState = IPCThreadState::selfOrNull();
746 IPCThreadState::SpGuard spGuard{
747 .address = __builtin_frame_address(0),
Steven Morelande42ffd02022-07-06 21:46:23 +0000748 .context = "processing binder RPC command (where RpcServer::setPerSessionRootObject is "
749 "used to distinguish callers)",
Steven Morelandd7302072021-05-15 01:32:04 +0000750 };
751 const IPCThreadState::SpGuard* origGuard;
752 if (kernelBinderState != nullptr) {
753 origGuard = kernelBinderState->pushGetCallingSpGuard(&spGuard);
754 }
Steven Moreland32150282021-11-12 22:54:53 +0000755
756 base::ScopeGuard guardUnguard = [&]() {
Steven Morelandd7302072021-05-15 01:32:04 +0000757 if (kernelBinderState != nullptr) {
758 kernelBinderState->restoreGetCallingSpGuard(origGuard);
759 }
760 };
Steven Moreland32150282021-11-12 22:54:53 +0000761#endif // BINDER_WITH_KERNEL_IPC
Steven Morelandd7302072021-05-15 01:32:04 +0000762
Steven Moreland5553ac42020-11-11 02:14:45 +0000763 switch (command.command) {
764 case RPC_COMMAND_TRANSACT:
Steven Moreland52eee942021-06-03 00:59:28 +0000765 if (type != CommandType::ANY) return BAD_TYPE;
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000766 return processTransact(connection, session, command, std::move(ancillaryFds));
Steven Moreland5553ac42020-11-11 02:14:45 +0000767 case RPC_COMMAND_DEC_STRONG:
Steven Moreland5ae62562021-06-10 03:21:42 +0000768 return processDecStrong(connection, session, command);
Steven Moreland5553ac42020-11-11 02:14:45 +0000769 }
770
771 // We should always know the version of the opposing side, and since the
772 // RPC-binder-level wire protocol is not self synchronizing, we have no way
773 // to understand where the current command ends and the next one begins. We
774 // also can't consider it a fatal error because this would allow any client
Steven Morelandbdb53ab2021-05-05 17:57:41 +0000775 // to kill us, so ending the session for misbehaving client.
776 ALOGE("Unknown RPC command %d - terminating session", command.command);
Steven Morelandc9d7b532021-06-04 20:57:41 +0000777 (void)session->shutdownAndWait(false);
Steven Moreland5553ac42020-11-11 02:14:45 +0000778 return DEAD_OBJECT;
779}
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000780status_t RpcState::processTransact(
781 const sp<RpcSession::RpcConnection>& connection, const sp<RpcSession>& session,
782 const RpcWireHeader& command,
783 std::vector<std::variant<base::unique_fd, base::borrowed_fd>>&& ancillaryFds) {
Steven Moreland5553ac42020-11-11 02:14:45 +0000784 LOG_ALWAYS_FATAL_IF(command.command != RPC_COMMAND_TRANSACT, "command: %d", command.command);
785
Steven Morelanddbe71832021-05-12 23:31:00 +0000786 CommandData transactionData(command.bodySize);
Steven Morelande8393342021-05-05 23:27:53 +0000787 if (!transactionData.valid()) {
788 return NO_MEMORY;
789 }
Andrei Homescua39e4ed2021-12-10 08:41:54 +0000790 iovec iov{transactionData.data(), transactionData.size()};
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000791 if (status_t status = rpcRec(connection, session, "transaction body", &iov, 1, nullptr);
792 status != OK)
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000793 return status;
Steven Moreland5553ac42020-11-11 02:14:45 +0000794
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000795 return processTransactInternal(connection, session, std::move(transactionData),
796 std::move(ancillaryFds));
Steven Moreland5553ac42020-11-11 02:14:45 +0000797}
798
Frederick Mayle53b6ffe2022-07-15 20:14:01 +0000799static void do_nothing_to_transact_data(const uint8_t* data, size_t dataSize,
Steven Moreland438cce82021-04-02 18:04:08 +0000800 const binder_size_t* objects, size_t objectsCount) {
Steven Moreland438cce82021-04-02 18:04:08 +0000801 (void)data;
802 (void)dataSize;
803 (void)objects;
804 (void)objectsCount;
805}
806
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000807status_t RpcState::processTransactInternal(
808 const sp<RpcSession::RpcConnection>& connection, const sp<RpcSession>& session,
809 CommandData transactionData,
810 std::vector<std::variant<base::unique_fd, base::borrowed_fd>>&& ancillaryFds) {
Steven Morelandada72bd2021-06-09 23:29:13 +0000811 // for 'recursive' calls to this, we have already read and processed the
812 // binder from the transaction data and taken reference counts into account,
813 // so it is cached here.
Steven Moreland3903bf02021-09-27 16:05:24 -0700814 sp<IBinder> target;
Steven Morelandada72bd2021-06-09 23:29:13 +0000815processTransactInternalTailCall:
816
Steven Moreland5553ac42020-11-11 02:14:45 +0000817 if (transactionData.size() < sizeof(RpcWireTransaction)) {
818 ALOGE("Expecting %zu but got %zu bytes for RpcWireTransaction. Terminating!",
819 sizeof(RpcWireTransaction), transactionData.size());
Steven Morelandc9d7b532021-06-04 20:57:41 +0000820 (void)session->shutdownAndWait(false);
Steven Moreland5553ac42020-11-11 02:14:45 +0000821 return BAD_VALUE;
822 }
823 RpcWireTransaction* transaction = reinterpret_cast<RpcWireTransaction*>(transactionData.data());
824
Steven Moreland5623d1a2021-09-10 15:45:34 -0700825 uint64_t addr = RpcWireAddress::toRaw(transaction->address);
Steven Morelandc7d40132021-06-10 03:42:11 +0000826 bool oneway = transaction->flags & IBinder::FLAG_ONEWAY;
Steven Moreland5553ac42020-11-11 02:14:45 +0000827
828 status_t replyStatus = OK;
Steven Moreland5623d1a2021-09-10 15:45:34 -0700829 if (addr != 0) {
Steven Moreland3903bf02021-09-27 16:05:24 -0700830 if (!target) {
Steven Moreland7227c8a2021-06-02 00:24:32 +0000831 replyStatus = onBinderEntering(session, addr, &target);
Steven Morelandf5174272021-05-25 00:39:28 +0000832 }
833
Steven Moreland7227c8a2021-06-02 00:24:32 +0000834 if (replyStatus != OK) {
835 // do nothing
836 } else if (target == nullptr) {
Steven Morelandf5174272021-05-25 00:39:28 +0000837 // This can happen if the binder is remote in this process, and
838 // another thread has called the last decStrong on this binder.
839 // However, for local binders, it indicates a misbehaving client
840 // (any binder which is being transacted on should be holding a
841 // strong ref count), so in either case, terminating the
842 // session.
Steven Moreland5623d1a2021-09-10 15:45:34 -0700843 ALOGE("While transacting, binder has been deleted at address %" PRIu64 ". Terminating!",
844 addr);
Steven Morelandc9d7b532021-06-04 20:57:41 +0000845 (void)session->shutdownAndWait(false);
Steven Morelandf5174272021-05-25 00:39:28 +0000846 replyStatus = BAD_VALUE;
847 } else if (target->localBinder() == nullptr) {
Steven Moreland5623d1a2021-09-10 15:45:34 -0700848 ALOGE("Unknown binder address or non-local binder, not address %" PRIu64
849 ". Terminating!",
850 addr);
Steven Morelandc9d7b532021-06-04 20:57:41 +0000851 (void)session->shutdownAndWait(false);
Steven Morelandf5174272021-05-25 00:39:28 +0000852 replyStatus = BAD_VALUE;
Steven Morelandc7d40132021-06-10 03:42:11 +0000853 } else if (oneway) {
Andrei Homescuffa3aaa2022-04-07 05:06:33 +0000854 RpcMutexUniqueLock _l(mNodeMutex);
Steven Morelandf5174272021-05-25 00:39:28 +0000855 auto it = mNodeForAddress.find(addr);
856 if (it->second.binder.promote() != target) {
Steven Moreland5623d1a2021-09-10 15:45:34 -0700857 ALOGE("Binder became invalid during transaction. Bad client? %" PRIu64, addr);
Steven Moreland5553ac42020-11-11 02:14:45 +0000858 replyStatus = BAD_VALUE;
Steven Morelandf5174272021-05-25 00:39:28 +0000859 } else if (transaction->asyncNumber != it->second.asyncNumber) {
860 // we need to process some other asynchronous transaction
861 // first
Steven Morelandf5174272021-05-25 00:39:28 +0000862 it->second.asyncTodo.push(BinderNode::AsyncTodo{
863 .ref = target,
864 .data = std::move(transactionData),
865 .asyncNumber = transaction->asyncNumber,
866 });
Steven Morelandd45be622021-06-04 02:19:37 +0000867
868 size_t numPending = it->second.asyncTodo.size();
Steven Moreland5623d1a2021-09-10 15:45:34 -0700869 LOG_RPC_DETAIL("Enqueuing %" PRIu64 " on %" PRIu64 " (%zu pending)",
870 transaction->asyncNumber, addr, numPending);
Steven Morelandd45be622021-06-04 02:19:37 +0000871
872 constexpr size_t kArbitraryOnewayCallTerminateLevel = 10000;
873 constexpr size_t kArbitraryOnewayCallWarnLevel = 1000;
874 constexpr size_t kArbitraryOnewayCallWarnPer = 1000;
875
876 if (numPending >= kArbitraryOnewayCallWarnLevel) {
877 if (numPending >= kArbitraryOnewayCallTerminateLevel) {
878 ALOGE("WARNING: %zu pending oneway transactions. Terminating!", numPending);
879 _l.unlock();
880 (void)session->shutdownAndWait(false);
881 return FAILED_TRANSACTION;
882 }
883
884 if (numPending % kArbitraryOnewayCallWarnPer == 0) {
885 ALOGW("Warning: many oneway transactions built up on %p (%zu)",
886 target.get(), numPending);
887 }
888 }
Steven Morelandf5174272021-05-25 00:39:28 +0000889 return OK;
Steven Moreland5553ac42020-11-11 02:14:45 +0000890 }
891 }
892 }
893
Steven Moreland5553ac42020-11-11 02:14:45 +0000894 Parcel reply;
Steven Morelandbdb53ab2021-05-05 17:57:41 +0000895 reply.markForRpc(session);
Steven Moreland5553ac42020-11-11 02:14:45 +0000896
897 if (replyStatus == OK) {
Frederick Mayledc07cf82022-05-26 20:30:12 +0000898 Span<const uint8_t> parcelSpan = {transaction->data,
899 transactionData.size() -
900 offsetof(RpcWireTransaction, data)};
Frederick Mayle69a0c992022-05-26 20:38:39 +0000901 Span<const uint32_t> objectTableSpan;
902 if (session->getProtocolVersion().value() >
Frederick Mayledc07cf82022-05-26 20:30:12 +0000903 RPC_WIRE_PROTOCOL_VERSION_RPC_HEADER_FEATURE_EXPLICIT_PARCEL_SIZE) {
Frederick Mayle16a12ae2022-07-15 00:04:33 +0000904 std::optional<Span<const uint8_t>> objectTableBytes =
905 parcelSpan.splitOff(transaction->parcelDataSize);
906 if (!objectTableBytes.has_value()) {
907 ALOGE("Parcel size (%" PRId32 ") greater than available bytes (%zu). Terminating!",
908 transaction->parcelDataSize, parcelSpan.byteSize());
909 (void)session->shutdownAndWait(false);
910 return BAD_VALUE;
911 }
Frederick Mayle69a0c992022-05-26 20:38:39 +0000912 std::optional<Span<const uint32_t>> maybeSpan =
Frederick Mayle16a12ae2022-07-15 00:04:33 +0000913 objectTableBytes->reinterpret<const uint32_t>();
Frederick Mayle69a0c992022-05-26 20:38:39 +0000914 if (!maybeSpan.has_value()) {
915 ALOGE("Bad object table size inferred from RpcWireTransaction. Saw bodySize=%zu "
916 "sizeofHeader=%zu parcelSize=%" PRId32
917 " objectTableBytesSize=%zu. Terminating!",
918 transactionData.size(), sizeof(RpcWireTransaction),
Frederick Mayle16a12ae2022-07-15 00:04:33 +0000919 transaction->parcelDataSize, objectTableBytes->size);
Frederick Mayle69a0c992022-05-26 20:38:39 +0000920 return BAD_VALUE;
921 }
922 objectTableSpan = *maybeSpan;
Frederick Mayledc07cf82022-05-26 20:30:12 +0000923 }
924
Steven Morelandeff77c12021-04-15 00:37:19 +0000925 Parcel data;
926 // transaction->data is owned by this function. Parcel borrows this data and
927 // only holds onto it for the duration of this function call. Parcel will be
928 // deleted before the 'transactionData' object.
Frederick Mayledc07cf82022-05-26 20:30:12 +0000929
Frederick Mayleffe9ac22022-06-30 02:07:36 +0000930 replyStatus =
931 data.rpcSetDataReference(session, parcelSpan.data, parcelSpan.size,
932 objectTableSpan.data, objectTableSpan.size,
933 std::move(ancillaryFds), do_nothing_to_transact_data);
934 // Reset to avoid spurious use-after-move warning from clang-tidy.
935 ancillaryFds = std::remove_reference<decltype(ancillaryFds)>::type();
Steven Morelandeff77c12021-04-15 00:37:19 +0000936
Frederick Mayle69a0c992022-05-26 20:38:39 +0000937 if (replyStatus == OK) {
938 if (target) {
939 bool origAllowNested = connection->allowNested;
940 connection->allowNested = !oneway;
Steven Morelandc7d40132021-06-10 03:42:11 +0000941
Frederick Mayle69a0c992022-05-26 20:38:39 +0000942 replyStatus = target->transact(transaction->code, data, &reply, transaction->flags);
Steven Morelandc7d40132021-06-10 03:42:11 +0000943
Frederick Mayle69a0c992022-05-26 20:38:39 +0000944 connection->allowNested = origAllowNested;
945 } else {
946 LOG_RPC_DETAIL("Got special transaction %u", transaction->code);
Steven Moreland5553ac42020-11-11 02:14:45 +0000947
Frederick Mayle69a0c992022-05-26 20:38:39 +0000948 switch (transaction->code) {
949 case RPC_SPECIAL_TRANSACT_GET_MAX_THREADS: {
950 replyStatus = reply.writeInt32(session->getMaxIncomingThreads());
951 break;
952 }
953 case RPC_SPECIAL_TRANSACT_GET_SESSION_ID: {
954 // for client connections, this should always report the value
955 // originally returned from the server, so this is asserting
956 // that it exists
957 replyStatus = reply.writeByteVector(session->mId);
958 break;
959 }
960 default: {
961 sp<RpcServer> server = session->server();
962 if (server) {
963 switch (transaction->code) {
964 case RPC_SPECIAL_TRANSACT_GET_ROOT: {
965 sp<IBinder> root = session->mSessionSpecificRootObject
966 ?: server->getRootObject();
967 replyStatus = reply.writeStrongBinder(root);
968 break;
969 }
970 default: {
971 replyStatus = UNKNOWN_TRANSACTION;
972 }
Steven Moreland103424e2021-06-02 18:16:19 +0000973 }
Frederick Mayle69a0c992022-05-26 20:38:39 +0000974 } else {
975 ALOGE("Special command sent, but no server object attached.");
Steven Moreland103424e2021-06-02 18:16:19 +0000976 }
Steven Morelandf137de92021-04-24 01:54:26 +0000977 }
Steven Moreland5553ac42020-11-11 02:14:45 +0000978 }
Steven Moreland5553ac42020-11-11 02:14:45 +0000979 }
980 }
981 }
982
Steven Morelandc7d40132021-06-10 03:42:11 +0000983 if (oneway) {
Steven Moreland5553ac42020-11-11 02:14:45 +0000984 if (replyStatus != OK) {
985 ALOGW("Oneway call failed with error: %d", replyStatus);
986 }
987
Steven Moreland5623d1a2021-09-10 15:45:34 -0700988 LOG_RPC_DETAIL("Processed async transaction %" PRIu64 " on %" PRIu64,
989 transaction->asyncNumber, addr);
Steven Moreland5553ac42020-11-11 02:14:45 +0000990
991 // Check to see if there is another asynchronous transaction to process.
992 // This behavior differs from binder behavior, since in the binder
993 // driver, asynchronous transactions will be processed after existing
994 // pending binder transactions on the queue. The downside of this is
995 // that asynchronous transactions can be drowned out by synchronous
996 // transactions. However, we have no easy way to queue these
997 // transactions after the synchronous transactions we may want to read
998 // from the wire. So, in socket binder here, we have the opposite
999 // downside: asynchronous transactions may drown out synchronous
1000 // transactions.
1001 {
Andrei Homescuffa3aaa2022-04-07 05:06:33 +00001002 RpcMutexUniqueLock _l(mNodeMutex);
Steven Moreland5553ac42020-11-11 02:14:45 +00001003 auto it = mNodeForAddress.find(addr);
1004 // last refcount dropped after this transaction happened
1005 if (it == mNodeForAddress.end()) return OK;
1006
Steven Morelandc9d7b532021-06-04 20:57:41 +00001007 if (!nodeProgressAsyncNumber(&it->second)) {
1008 _l.unlock();
1009 (void)session->shutdownAndWait(false);
1010 return DEAD_OBJECT;
1011 }
Steven Moreland5553ac42020-11-11 02:14:45 +00001012
1013 if (it->second.asyncTodo.size() == 0) return OK;
1014 if (it->second.asyncTodo.top().asyncNumber == it->second.asyncNumber) {
Steven Moreland5623d1a2021-09-10 15:45:34 -07001015 LOG_RPC_DETAIL("Found next async transaction %" PRIu64 " on %" PRIu64,
1016 it->second.asyncNumber, addr);
Steven Moreland5553ac42020-11-11 02:14:45 +00001017
1018 // justification for const_cast (consider avoiding priority_queue):
Steven Morelandf5174272021-05-25 00:39:28 +00001019 // - AsyncTodo operator< doesn't depend on 'data' or 'ref' objects
Steven Moreland5553ac42020-11-11 02:14:45 +00001020 // - gotta go fast
Steven Morelandf5174272021-05-25 00:39:28 +00001021 auto& todo = const_cast<BinderNode::AsyncTodo&>(it->second.asyncTodo.top());
1022
Steven Morelandada72bd2021-06-09 23:29:13 +00001023 // reset up arguments
1024 transactionData = std::move(todo.data);
Steven Moreland3903bf02021-09-27 16:05:24 -07001025 LOG_ALWAYS_FATAL_IF(target != todo.ref,
1026 "async list should be associated with a binder");
Steven Morelandf5174272021-05-25 00:39:28 +00001027
Steven Moreland5553ac42020-11-11 02:14:45 +00001028 it->second.asyncTodo.pop();
Steven Morelandada72bd2021-06-09 23:29:13 +00001029 goto processTransactInternalTailCall;
Steven Moreland5553ac42020-11-11 02:14:45 +00001030 }
1031 }
Steven Morelandd8083312021-09-22 13:37:10 -07001032
1033 // done processing all the async commands on this binder that we can, so
1034 // write decstrongs on the binder
1035 if (addr != 0 && replyStatus == OK) {
1036 return flushExcessBinderRefs(session, addr, target);
1037 }
1038
Steven Moreland5553ac42020-11-11 02:14:45 +00001039 return OK;
1040 }
1041
Steven Moreland6709cf42021-09-30 15:21:54 -07001042 // Binder refs are flushed for oneway calls only after all calls which are
1043 // built up are executed. Otherwise, they fill up the binder buffer.
1044 if (addr != 0 && replyStatus == OK) {
1045 replyStatus = flushExcessBinderRefs(session, addr, target);
1046 }
1047
Frederick Mayle69a0c992022-05-26 20:38:39 +00001048 std::string errorMsg;
1049 if (status_t status = validateParcel(session, reply, &errorMsg); status != OK) {
1050 ALOGE("Reply Parcel failed validation: %s", errorMsg.c_str());
1051 // Forward the error to the client of the transaction.
1052 reply.freeData();
1053 reply.markForRpc(session);
1054 replyStatus = status;
1055 }
1056
1057 auto* rpcFields = reply.maybeRpcFields();
1058 LOG_ALWAYS_FATAL_IF(rpcFields == nullptr);
1059
Frederick Mayledc07cf82022-05-26 20:30:12 +00001060 const size_t rpcReplyWireSize = RpcWireReply::wireSize(session->getProtocolVersion().value());
1061
Frederick Mayle69a0c992022-05-26 20:38:39 +00001062 Span<const uint32_t> objectTableSpan = Span<const uint32_t>{rpcFields->mObjectPositions.data(),
1063 rpcFields->mObjectPositions.size()};
Frederick Mayledc07cf82022-05-26 20:30:12 +00001064
Frederick Mayle778c0902022-05-27 01:14:57 +00001065 uint32_t bodySize;
Frederick Mayledc07cf82022-05-26 20:30:12 +00001066 LOG_ALWAYS_FATAL_IF(__builtin_add_overflow(rpcReplyWireSize, reply.dataSize(), &bodySize) ||
1067 __builtin_add_overflow(objectTableSpan.byteSize(), bodySize,
1068 &bodySize),
Steven Moreland77c30112021-06-02 20:45:46 +00001069 "Too much data for reply %zu", reply.dataSize());
Steven Moreland77c30112021-06-02 20:45:46 +00001070 RpcWireHeader cmdReply{
1071 .command = RPC_COMMAND_REPLY,
Frederick Mayle778c0902022-05-27 01:14:57 +00001072 .bodySize = bodySize,
Steven Moreland77c30112021-06-02 20:45:46 +00001073 };
Steven Moreland5553ac42020-11-11 02:14:45 +00001074 RpcWireReply rpcReply{
1075 .status = replyStatus,
Frederick Mayledc07cf82022-05-26 20:30:12 +00001076 // NOTE: Not necessarily written to socket depending on session
1077 // version.
1078 // NOTE: bodySize didn't overflow => this cast is safe
1079 .parcelDataSize = static_cast<uint32_t>(reply.dataSize()),
1080 .reserved = {0, 0, 0},
Steven Moreland5553ac42020-11-11 02:14:45 +00001081 };
Andrei Homescua39e4ed2021-12-10 08:41:54 +00001082 iovec iovs[]{
1083 {&cmdReply, sizeof(RpcWireHeader)},
Frederick Mayledc07cf82022-05-26 20:30:12 +00001084 {&rpcReply, rpcReplyWireSize},
Andrei Homescua39e4ed2021-12-10 08:41:54 +00001085 {const_cast<uint8_t*>(reply.data()), reply.dataSize()},
Frederick Mayledc07cf82022-05-26 20:30:12 +00001086 objectTableSpan.toIovec(),
Andrei Homescua39e4ed2021-12-10 08:41:54 +00001087 };
Frederick Mayle69a0c992022-05-26 20:38:39 +00001088 return rpcSend(connection, session, "reply", iovs, arraysize(iovs), std::nullopt,
1089 rpcFields->mFds.get());
Steven Moreland5553ac42020-11-11 02:14:45 +00001090}
1091
Steven Moreland5ae62562021-06-10 03:21:42 +00001092status_t RpcState::processDecStrong(const sp<RpcSession::RpcConnection>& connection,
1093 const sp<RpcSession>& session, const RpcWireHeader& command) {
Steven Moreland5553ac42020-11-11 02:14:45 +00001094 LOG_ALWAYS_FATAL_IF(command.command != RPC_COMMAND_DEC_STRONG, "command: %d", command.command);
1095
Steven Morelandfd1e8a02021-07-21 23:30:29 +00001096 if (command.bodySize != sizeof(RpcDecStrong)) {
1097 ALOGE("Expecting %zu but got %" PRId32 " bytes for RpcDecStrong. Terminating!",
1098 sizeof(RpcDecStrong), command.bodySize);
Steven Morelandc9d7b532021-06-04 20:57:41 +00001099 (void)session->shutdownAndWait(false);
Steven Moreland5553ac42020-11-11 02:14:45 +00001100 return BAD_VALUE;
1101 }
Steven Moreland5553ac42020-11-11 02:14:45 +00001102
Frederick Mayleb86cda42022-06-09 23:17:45 +00001103 RpcDecStrong body;
1104 iovec iov{&body, sizeof(RpcDecStrong)};
Frederick Mayleffe9ac22022-06-30 02:07:36 +00001105 if (status_t status = rpcRec(connection, session, "dec ref body", &iov, 1, nullptr);
1106 status != OK)
Frederick Mayleb86cda42022-06-09 23:17:45 +00001107 return status;
1108
1109 uint64_t addr = RpcWireAddress::toRaw(body.address);
Andrei Homescuffa3aaa2022-04-07 05:06:33 +00001110 RpcMutexUniqueLock _l(mNodeMutex);
Steven Moreland5553ac42020-11-11 02:14:45 +00001111 auto it = mNodeForAddress.find(addr);
1112 if (it == mNodeForAddress.end()) {
Steven Moreland5623d1a2021-09-10 15:45:34 -07001113 ALOGE("Unknown binder address %" PRIu64 " for dec strong.", addr);
Steven Moreland5553ac42020-11-11 02:14:45 +00001114 return OK;
1115 }
1116
1117 sp<IBinder> target = it->second.binder.promote();
1118 if (target == nullptr) {
Steven Moreland5623d1a2021-09-10 15:45:34 -07001119 ALOGE("While requesting dec strong, binder has been deleted at address %" PRIu64
1120 ". Terminating!",
1121 addr);
Steven Morelandc9d7b532021-06-04 20:57:41 +00001122 _l.unlock();
1123 (void)session->shutdownAndWait(false);
Steven Moreland5553ac42020-11-11 02:14:45 +00001124 return BAD_VALUE;
1125 }
1126
Frederick Mayleb86cda42022-06-09 23:17:45 +00001127 if (it->second.timesSent < body.amount) {
Steven Morelandfd1e8a02021-07-21 23:30:29 +00001128 ALOGE("Record of sending binder %zu times, but requested decStrong for %" PRIu64 " of %u",
Frederick Mayleb86cda42022-06-09 23:17:45 +00001129 it->second.timesSent, addr, body.amount);
Steven Moreland5553ac42020-11-11 02:14:45 +00001130 return OK;
1131 }
1132
Steven Moreland5623d1a2021-09-10 15:45:34 -07001133 LOG_ALWAYS_FATAL_IF(it->second.sentRef == nullptr, "Inconsistent state, lost ref for %" PRIu64,
1134 addr);
Steven Moreland5553ac42020-11-11 02:14:45 +00001135
Frederick Mayleb86cda42022-06-09 23:17:45 +00001136 LOG_RPC_DETAIL("Processing dec strong of %" PRIu64 " by %u from %zu", addr, body.amount,
Steven Morelandfd1e8a02021-07-21 23:30:29 +00001137 it->second.timesSent);
1138
Frederick Mayleb86cda42022-06-09 23:17:45 +00001139 it->second.timesSent -= body.amount;
Steven Moreland31bde7a2021-06-04 00:57:36 +00001140 sp<IBinder> tempHold = tryEraseNode(it);
1141 _l.unlock();
1142 tempHold = nullptr; // destructor may make binder calls on this session
1143
1144 return OK;
1145}
1146
Frederick Mayle69a0c992022-05-26 20:38:39 +00001147status_t RpcState::validateParcel(const sp<RpcSession>& session, const Parcel& parcel,
1148 std::string* errorMsg) {
1149 auto* rpcFields = parcel.maybeRpcFields();
1150 if (rpcFields == nullptr) {
1151 *errorMsg = "Parcel not crafted for RPC call";
1152 return BAD_TYPE;
1153 }
1154
1155 if (rpcFields->mSession != session) {
1156 *errorMsg = "Parcel's session doesn't match";
1157 return BAD_TYPE;
1158 }
1159
1160 uint32_t protocolVersion = session->getProtocolVersion().value();
1161 if (protocolVersion < RPC_WIRE_PROTOCOL_VERSION_RPC_HEADER_FEATURE_EXPLICIT_PARCEL_SIZE &&
1162 !rpcFields->mObjectPositions.empty()) {
1163 *errorMsg = StringPrintf("Parcel has attached objects but the session's protocol version "
1164 "(%" PRIu32 ") is too old, must be at least %" PRIu32,
1165 protocolVersion,
1166 RPC_WIRE_PROTOCOL_VERSION_RPC_HEADER_FEATURE_EXPLICIT_PARCEL_SIZE);
1167 return BAD_VALUE;
1168 }
1169
1170 if (rpcFields->mFds && !rpcFields->mFds->empty()) {
1171 switch (session->getFileDescriptorTransportMode()) {
1172 case RpcSession::FileDescriptorTransportMode::NONE:
1173 *errorMsg =
1174 "Parcel has file descriptors, but no file descriptor transport is enabled";
1175 return FDS_NOT_ALLOWED;
1176 case RpcSession::FileDescriptorTransportMode::UNIX: {
1177 constexpr size_t kMaxFdsPerMsg = 253;
1178 if (rpcFields->mFds->size() > kMaxFdsPerMsg) {
1179 *errorMsg = StringPrintf("Too many file descriptors in Parcel for unix "
1180 "domain socket: %zu (max is %zu)",
1181 rpcFields->mFds->size(), kMaxFdsPerMsg);
1182 return BAD_VALUE;
1183 }
1184 }
1185 }
1186 }
1187
1188 return OK;
1189}
1190
Steven Moreland5623d1a2021-09-10 15:45:34 -07001191sp<IBinder> RpcState::tryEraseNode(std::map<uint64_t, BinderNode>::iterator& it) {
Steven Moreland31bde7a2021-06-04 00:57:36 +00001192 sp<IBinder> ref;
1193
Steven Moreland5553ac42020-11-11 02:14:45 +00001194 if (it->second.timesSent == 0) {
Steven Moreland31bde7a2021-06-04 00:57:36 +00001195 ref = std::move(it->second.sentRef);
Steven Moreland5553ac42020-11-11 02:14:45 +00001196
1197 if (it->second.timesRecd == 0) {
Steven Morelanda6e11cf2021-06-04 00:58:31 +00001198 LOG_ALWAYS_FATAL_IF(!it->second.asyncTodo.empty(),
1199 "Can't delete binder w/ pending async transactions");
Steven Moreland5553ac42020-11-11 02:14:45 +00001200 mNodeForAddress.erase(it);
1201 }
1202 }
1203
Steven Moreland31bde7a2021-06-04 00:57:36 +00001204 return ref;
Steven Moreland5553ac42020-11-11 02:14:45 +00001205}
1206
Steven Morelandc9d7b532021-06-04 20:57:41 +00001207bool RpcState::nodeProgressAsyncNumber(BinderNode* node) {
Steven Moreland583a14a2021-06-04 02:04:58 +00001208 // 2**64 =~ 10**19 =~ 1000 transactions per second for 585 million years to
1209 // a single binder
1210 if (node->asyncNumber >= std::numeric_limits<decltype(node->asyncNumber)>::max()) {
1211 ALOGE("Out of async transaction IDs. Terminating");
Steven Moreland583a14a2021-06-04 02:04:58 +00001212 return false;
1213 }
1214 node->asyncNumber++;
1215 return true;
1216}
1217
Steven Moreland5553ac42020-11-11 02:14:45 +00001218} // namespace android