blob: a3079fe6f2e02b2bfe116095f655221a8c0b7d28 [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>
Steven Morelandd7302072021-05-15 01:32:04 +000022#include <android-base/scopeguard.h>
Steven Moreland5553ac42020-11-11 02:14:45 +000023#include <binder/BpBinder.h>
Steven Morelandd7302072021-05-15 01:32:04 +000024#include <binder/IPCThreadState.h>
Steven Moreland5553ac42020-11-11 02:14:45 +000025#include <binder/RpcServer.h>
26
27#include "Debug.h"
28#include "RpcWireFormat.h"
29
Steven Morelandb8176792021-06-22 20:29:21 +000030#include <random>
31
Steven Moreland5553ac42020-11-11 02:14:45 +000032#include <inttypes.h>
33
34namespace android {
35
Steven Morelandd7302072021-05-15 01:32:04 +000036using base::ScopeGuard;
37
Devin Moore08256432021-07-02 13:03:49 -070038#if RPC_FLAKE_PRONE
Steven Morelandb8176792021-06-22 20:29:21 +000039void rpcMaybeWaitToFlake() {
Devin Moore08256432021-07-02 13:03:49 -070040 [[clang::no_destroy]] static std::random_device r;
41 [[clang::no_destroy]] static std::mutex m;
Steven Morelandb8176792021-06-22 20:29:21 +000042 unsigned num;
43 {
44 std::lock_guard<std::mutex> lock(m);
45 num = r();
46 }
47 if (num % 10 == 0) usleep(num % 1000);
48}
49#endif
50
Steven Moreland5553ac42020-11-11 02:14:45 +000051RpcState::RpcState() {}
52RpcState::~RpcState() {}
53
Steven Morelandbdb53ab2021-05-05 17:57:41 +000054status_t RpcState::onBinderLeaving(const sp<RpcSession>& session, const sp<IBinder>& binder,
Steven Moreland5623d1a2021-09-10 15:45:34 -070055 uint64_t* outAddress) {
Steven Moreland5553ac42020-11-11 02:14:45 +000056 bool isRemote = binder->remoteBinder();
57 bool isRpc = isRemote && binder->remoteBinder()->isRpcBinder();
58
Steven Moreland99157622021-09-13 16:27:34 -070059 if (isRpc && binder->remoteBinder()->getPrivateAccessor().rpcSession() != session) {
Steven Moreland5553ac42020-11-11 02:14:45 +000060 // We need to be able to send instructions over the socket for how to
61 // connect to a different server, and we also need to let the host
62 // process know that this is happening.
Steven Morelandbdb53ab2021-05-05 17:57:41 +000063 ALOGE("Cannot send binder from unrelated binder RPC session.");
Steven Moreland5553ac42020-11-11 02:14:45 +000064 return INVALID_OPERATION;
65 }
66
67 if (isRemote && !isRpc) {
68 // Without additional work, this would have the effect of using this
69 // process to proxy calls from the socket over to the other process, and
70 // it would make those calls look like they come from us (not over the
71 // sockets). In order to make this work transparently like binder, we
72 // would instead need to send instructions over the socket for how to
73 // connect to the host process, and we also need to let the host process
74 // know this was happening.
75 ALOGE("Cannot send binder proxy %p over sockets", binder.get());
76 return INVALID_OPERATION;
77 }
78
79 std::lock_guard<std::mutex> _l(mNodeMutex);
Steven Moreland7227c8a2021-06-02 00:24:32 +000080 if (mTerminated) return DEAD_OBJECT;
Steven Moreland5553ac42020-11-11 02:14:45 +000081
82 // TODO(b/182939933): maybe move address out of BpBinder, and keep binder->address map
83 // in RpcState
84 for (auto& [addr, node] : mNodeForAddress) {
85 if (binder == node.binder) {
86 if (isRpc) {
Steven Moreland5623d1a2021-09-10 15:45:34 -070087 // check integrity of data structure
Steven Moreland99157622021-09-13 16:27:34 -070088 uint64_t actualAddr = binder->remoteBinder()->getPrivateAccessor().rpcAddress();
Steven Moreland5623d1a2021-09-10 15:45:34 -070089 LOG_ALWAYS_FATAL_IF(addr != actualAddr, "Address mismatch %" PRIu64 " vs %" PRIu64,
90 addr, actualAddr);
Steven Moreland5553ac42020-11-11 02:14:45 +000091 }
92 node.timesSent++;
93 node.sentRef = binder; // might already be set
94 *outAddress = addr;
95 return OK;
96 }
97 }
98 LOG_ALWAYS_FATAL_IF(isRpc, "RPC binder must have known address at this point");
99
Steven Moreland91538242021-06-10 23:35:35 +0000100 bool forServer = session->server() != nullptr;
Steven Moreland5553ac42020-11-11 02:14:45 +0000101
Steven Moreland5623d1a2021-09-10 15:45:34 -0700102 // arbitrary limit for maximum number of nodes in a process (otherwise we
103 // might run out of addresses)
104 if (mNodeForAddress.size() > 100000) {
105 return NO_MEMORY;
106 }
107
108 while (true) {
109 RpcWireAddress address{
110 .options = RPC_WIRE_ADDRESS_OPTION_CREATED,
111 .address = mNextId,
112 };
113 if (forServer) {
114 address.options |= RPC_WIRE_ADDRESS_OPTION_FOR_SERVER;
115 }
116
117 // avoid ubsan abort
118 if (mNextId >= std::numeric_limits<uint32_t>::max()) {
119 mNextId = 0;
120 } else {
121 mNextId++;
122 }
123
124 auto&& [it, inserted] = mNodeForAddress.insert({RpcWireAddress::toRaw(address),
Steven Moreland91538242021-06-10 23:35:35 +0000125 BinderNode{
126 .binder = binder,
127 .timesSent = 1,
128 .sentRef = binder,
129 }});
130 if (inserted) {
131 *outAddress = it->first;
132 return OK;
133 }
Steven Moreland91538242021-06-10 23:35:35 +0000134 }
Steven Moreland5553ac42020-11-11 02:14:45 +0000135}
136
Steven Moreland5623d1a2021-09-10 15:45:34 -0700137status_t RpcState::onBinderEntering(const sp<RpcSession>& session, uint64_t address,
Steven Moreland7227c8a2021-06-02 00:24:32 +0000138 sp<IBinder>* out) {
Steven Moreland91538242021-06-10 23:35:35 +0000139 // ensure that: if we want to use addresses for something else in the future (for
140 // instance, allowing transitive binder sends), that we don't accidentally
141 // send those addresses to old server. Accidentally ignoring this in that
142 // case and considering the binder to be recognized could cause this
143 // process to accidentally proxy transactions for that binder. Of course,
144 // if we communicate with a binder, it could always be proxying
145 // information. However, we want to make sure that isn't done on accident
146 // by a client.
Steven Moreland5623d1a2021-09-10 15:45:34 -0700147 RpcWireAddress addr = RpcWireAddress::fromRaw(address);
148 constexpr uint32_t kKnownOptions =
149 RPC_WIRE_ADDRESS_OPTION_CREATED | RPC_WIRE_ADDRESS_OPTION_FOR_SERVER;
150 if (addr.options & ~kKnownOptions) {
151 ALOGE("Address is of an unknown type, rejecting: %" PRIu64, address);
Steven Moreland91538242021-06-10 23:35:35 +0000152 return BAD_VALUE;
153 }
154
Steven Morelandd8083312021-09-22 13:37:10 -0700155 std::lock_guard<std::mutex> _l(mNodeMutex);
Steven Moreland7227c8a2021-06-02 00:24:32 +0000156 if (mTerminated) return DEAD_OBJECT;
Steven Moreland5553ac42020-11-11 02:14:45 +0000157
158 if (auto it = mNodeForAddress.find(address); it != mNodeForAddress.end()) {
Steven Moreland7227c8a2021-06-02 00:24:32 +0000159 *out = it->second.binder.promote();
Steven Moreland5553ac42020-11-11 02:14:45 +0000160
161 // implicitly have strong RPC refcount, since we received this binder
162 it->second.timesRecd++;
Steven Morelandd8083312021-09-22 13:37:10 -0700163 return OK;
Steven Moreland5553ac42020-11-11 02:14:45 +0000164 }
165
Steven Moreland91538242021-06-10 23:35:35 +0000166 // we don't know about this binder, so the other side of the connection
167 // should have created it.
Steven Moreland5623d1a2021-09-10 15:45:34 -0700168 if ((addr.options & RPC_WIRE_ADDRESS_OPTION_FOR_SERVER) == !!session->server()) {
169 ALOGE("Server received unrecognized address which we should own the creation of %" PRIu64,
170 address);
Steven Moreland91538242021-06-10 23:35:35 +0000171 return BAD_VALUE;
172 }
173
Steven Moreland5553ac42020-11-11 02:14:45 +0000174 auto&& [it, inserted] = mNodeForAddress.insert({address, BinderNode{}});
175 LOG_ALWAYS_FATAL_IF(!inserted, "Failed to insert binder when creating proxy");
176
Steven Morelandbdb53ab2021-05-05 17:57:41 +0000177 // Currently, all binders are assumed to be part of the same session (no
Steven Moreland5553ac42020-11-11 02:14:45 +0000178 // device global binders in the RPC world).
Steven Moreland99157622021-09-13 16:27:34 -0700179 it->second.binder = *out = BpBinder::PrivateAccessor::create(session, it->first);
Steven Moreland5553ac42020-11-11 02:14:45 +0000180 it->second.timesRecd = 1;
Steven Moreland7227c8a2021-06-02 00:24:32 +0000181 return OK;
Steven Moreland5553ac42020-11-11 02:14:45 +0000182}
183
Steven Morelandd8083312021-09-22 13:37:10 -0700184status_t RpcState::flushExcessBinderRefs(const sp<RpcSession>& session, uint64_t address,
185 const sp<IBinder>& binder) {
186 std::unique_lock<std::mutex> _l(mNodeMutex);
187 if (mTerminated) return DEAD_OBJECT;
188
189 auto it = mNodeForAddress.find(address);
190
191 LOG_ALWAYS_FATAL_IF(it == mNodeForAddress.end(), "Can't be deleted while we hold sp<>");
192 LOG_ALWAYS_FATAL_IF(it->second.binder != binder,
193 "Caller of flushExcessBinderRefs using inconsistent arguments");
194
195 // if this is a local binder, then we want to get rid of all refcounts
196 // (tell the other process it can drop the binder when it wants to - we
197 // have a local sp<>, so we will drop it when we want to as well). if
198 // this is a remote binder, then we need to hold onto one refcount until
199 // it is dropped in BpBinder::onLastStrongRef
200 size_t targetRecd = binder->localBinder() ? 0 : 1;
201
202 // We have timesRecd RPC refcounts, but we only need to hold on to one
203 // when we keep the object. All additional dec strongs are sent
204 // immediately, we wait to send the last one in BpBinder::onLastDecStrong.
205 if (it->second.timesRecd != targetRecd) {
206 _l.unlock();
207
208 return session->sendDecStrongToTarget(address, targetRecd);
209 }
210
211 return OK;
212}
213
Steven Moreland5553ac42020-11-11 02:14:45 +0000214size_t RpcState::countBinders() {
215 std::lock_guard<std::mutex> _l(mNodeMutex);
216 return mNodeForAddress.size();
217}
218
219void RpcState::dump() {
220 std::lock_guard<std::mutex> _l(mNodeMutex);
Steven Moreland583a14a2021-06-04 02:04:58 +0000221 dumpLocked();
222}
223
Steven Morelandc9d7b532021-06-04 20:57:41 +0000224void RpcState::clear() {
Steven Moreland583a14a2021-06-04 02:04:58 +0000225 std::unique_lock<std::mutex> _l(mNodeMutex);
Steven Morelandc9d7b532021-06-04 20:57:41 +0000226
227 if (mTerminated) {
228 LOG_ALWAYS_FATAL_IF(!mNodeForAddress.empty(),
229 "New state should be impossible after terminating!");
230 return;
231 }
232
233 if (SHOULD_LOG_RPC_DETAIL) {
234 ALOGE("RpcState::clear()");
235 dumpLocked();
236 }
237
238 // if the destructor of a binder object makes another RPC call, then calling
239 // decStrong could deadlock. So, we must hold onto these binders until
240 // mNodeMutex is no longer taken.
241 std::vector<sp<IBinder>> tempHoldBinder;
242
243 mTerminated = true;
244 for (auto& [address, node] : mNodeForAddress) {
245 sp<IBinder> binder = node.binder.promote();
246 LOG_ALWAYS_FATAL_IF(binder == nullptr, "Binder %p expected to be owned.", binder.get());
247
248 if (node.sentRef != nullptr) {
249 tempHoldBinder.push_back(node.sentRef);
250 }
251 }
252
253 mNodeForAddress.clear();
254
255 _l.unlock();
256 tempHoldBinder.clear(); // explicit
Steven Moreland583a14a2021-06-04 02:04:58 +0000257}
258
259void RpcState::dumpLocked() {
Steven Moreland5553ac42020-11-11 02:14:45 +0000260 ALOGE("DUMP OF RpcState %p", this);
261 ALOGE("DUMP OF RpcState (%zu nodes)", mNodeForAddress.size());
262 for (const auto& [address, node] : mNodeForAddress) {
263 sp<IBinder> binder = node.binder.promote();
264
265 const char* desc;
266 if (binder) {
267 if (binder->remoteBinder()) {
268 if (binder->remoteBinder()->isRpcBinder()) {
269 desc = "(rpc binder proxy)";
270 } else {
271 desc = "(binder proxy)";
272 }
273 } else {
274 desc = "(local binder)";
275 }
276 } else {
277 desc = "(null)";
278 }
279
Steven Moreland5623d1a2021-09-10 15:45:34 -0700280 ALOGE("- BINDER NODE: %p times sent:%zu times recd: %zu a: %" PRIu64 " type: %s",
281 node.binder.unsafe_get(), node.timesSent, node.timesRecd, address, desc);
Steven Moreland5553ac42020-11-11 02:14:45 +0000282 }
283 ALOGE("END DUMP OF RpcState");
284}
285
Steven Moreland5553ac42020-11-11 02:14:45 +0000286
Steven Morelanddbe71832021-05-12 23:31:00 +0000287RpcState::CommandData::CommandData(size_t size) : mSize(size) {
288 // The maximum size for regular binder is 1MB for all concurrent
289 // transactions. A very small proportion of transactions are even
290 // larger than a page, but we need to avoid allocating too much
291 // data on behalf of an arbitrary client, or we could risk being in
292 // a position where a single additional allocation could run out of
293 // memory.
294 //
295 // Note, this limit may not reflect the total amount of data allocated for a
296 // transaction (in some cases, additional fixed size amounts are added),
297 // though for rough consistency, we should avoid cases where this data type
298 // is used for multiple dynamic allocations for a single transaction.
299 constexpr size_t kMaxTransactionAllocation = 100 * 1000;
300 if (size == 0) return;
301 if (size > kMaxTransactionAllocation) {
302 ALOGW("Transaction requested too much data allocation %zu", size);
303 return;
304 }
305 mData.reset(new (std::nothrow) uint8_t[size]);
306}
307
Steven Moreland5ae62562021-06-10 03:21:42 +0000308status_t RpcState::rpcSend(const sp<RpcSession::RpcConnection>& connection,
309 const sp<RpcSession>& session, const char* what, const void* data,
Steven Moreland43921d52021-09-27 17:15:56 -0700310 size_t size, const std::function<status_t()>& altPoll) {
Yifan Hong702115c2021-06-24 15:39:18 -0700311 LOG_RPC_DETAIL("Sending %s on RpcTransport %p: %s", what, connection->rpcTransport.get(),
Steven Moreland62129012021-07-29 12:14:44 -0700312 android::base::HexString(data, size).c_str());
Steven Moreland5553ac42020-11-11 02:14:45 +0000313
314 if (size > std::numeric_limits<ssize_t>::max()) {
315 ALOGE("Cannot send %s at size %zu (too big)", what, size);
Steven Morelandc9d7b532021-06-04 20:57:41 +0000316 (void)session->shutdownAndWait(false);
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000317 return BAD_VALUE;
Steven Moreland5553ac42020-11-11 02:14:45 +0000318 }
319
Yifan Hong702115c2021-06-24 15:39:18 -0700320 if (status_t status =
Yifan Hong8c950422021-08-05 17:13:55 -0700321 connection->rpcTransport->interruptableWriteFully(session->mShutdownTrigger.get(),
Steven Moreland43921d52021-09-27 17:15:56 -0700322 data, size, altPoll);
Steven Moreland798e0d12021-07-14 23:19:25 +0000323 status != OK) {
Yifan Hong702115c2021-06-24 15:39:18 -0700324 LOG_RPC_DETAIL("Failed to write %s (%zu bytes) on RpcTransport %p, error: %s", what, size,
325 connection->rpcTransport.get(), statusToString(status).c_str());
Steven Morelandc9d7b532021-06-04 20:57:41 +0000326 (void)session->shutdownAndWait(false);
Steven Moreland798e0d12021-07-14 23:19:25 +0000327 return status;
Steven Moreland5553ac42020-11-11 02:14:45 +0000328 }
329
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000330 return OK;
Steven Moreland5553ac42020-11-11 02:14:45 +0000331}
332
Steven Moreland5ae62562021-06-10 03:21:42 +0000333status_t RpcState::rpcRec(const sp<RpcSession::RpcConnection>& connection,
334 const sp<RpcSession>& session, const char* what, void* data,
335 size_t size) {
Steven Moreland5553ac42020-11-11 02:14:45 +0000336 if (size > std::numeric_limits<ssize_t>::max()) {
337 ALOGE("Cannot rec %s at size %zu (too big)", what, size);
Steven Morelandc9d7b532021-06-04 20:57:41 +0000338 (void)session->shutdownAndWait(false);
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000339 return BAD_VALUE;
Steven Moreland5553ac42020-11-11 02:14:45 +0000340 }
341
Steven Moreland5ae62562021-06-10 03:21:42 +0000342 if (status_t status =
Yifan Hong8c950422021-08-05 17:13:55 -0700343 connection->rpcTransport->interruptableReadFully(session->mShutdownTrigger.get(),
Steven Moreland43921d52021-09-27 17:15:56 -0700344 data, size, {});
Steven Morelandee3f4662021-05-22 01:07:33 +0000345 status != OK) {
Yifan Hong702115c2021-06-24 15:39:18 -0700346 LOG_RPC_DETAIL("Failed to read %s (%zu bytes) on RpcTransport %p, error: %s", what, size,
347 connection->rpcTransport.get(), statusToString(status).c_str());
Steven Morelandae58f432021-08-05 17:53:16 -0700348 (void)session->shutdownAndWait(false);
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000349 return status;
Steven Moreland5553ac42020-11-11 02:14:45 +0000350 }
351
Yifan Hong702115c2021-06-24 15:39:18 -0700352 LOG_RPC_DETAIL("Received %s on RpcTransport %p: %s", what, connection->rpcTransport.get(),
Steven Moreland62129012021-07-29 12:14:44 -0700353 android::base::HexString(data, size).c_str());
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000354 return OK;
Steven Moreland5553ac42020-11-11 02:14:45 +0000355}
356
Steven Morelandbf57bce2021-07-26 15:26:12 -0700357status_t RpcState::readNewSessionResponse(const sp<RpcSession::RpcConnection>& connection,
358 const sp<RpcSession>& session, uint32_t* version) {
359 RpcNewSessionResponse response;
360 if (status_t status =
361 rpcRec(connection, session, "new session response", &response, sizeof(response));
362 status != OK) {
363 return status;
364 }
365 *version = response.version;
366 return OK;
367}
368
Steven Moreland5ae62562021-06-10 03:21:42 +0000369status_t RpcState::sendConnectionInit(const sp<RpcSession::RpcConnection>& connection,
370 const sp<RpcSession>& session) {
Steven Moreland19fc9f72021-06-10 03:57:30 +0000371 RpcOutgoingConnectionInit init{
Steven Morelandc88b7fc2021-06-10 00:40:39 +0000372 .msg = RPC_CONNECTION_INIT_OKAY,
373 };
Steven Moreland5ae62562021-06-10 03:21:42 +0000374 return rpcSend(connection, session, "connection init", &init, sizeof(init));
Steven Morelandc88b7fc2021-06-10 00:40:39 +0000375}
376
Steven Moreland5ae62562021-06-10 03:21:42 +0000377status_t RpcState::readConnectionInit(const sp<RpcSession::RpcConnection>& connection,
378 const sp<RpcSession>& session) {
Steven Moreland19fc9f72021-06-10 03:57:30 +0000379 RpcOutgoingConnectionInit init;
Steven Moreland5ae62562021-06-10 03:21:42 +0000380 if (status_t status = rpcRec(connection, session, "connection init", &init, sizeof(init));
381 status != OK)
Steven Morelandc88b7fc2021-06-10 00:40:39 +0000382 return status;
383
384 static_assert(sizeof(init.msg) == sizeof(RPC_CONNECTION_INIT_OKAY));
385 if (0 != strncmp(init.msg, RPC_CONNECTION_INIT_OKAY, sizeof(init.msg))) {
386 ALOGE("Connection init message unrecognized %.*s", static_cast<int>(sizeof(init.msg)),
387 init.msg);
388 return BAD_VALUE;
389 }
390 return OK;
391}
392
Steven Moreland5ae62562021-06-10 03:21:42 +0000393sp<IBinder> RpcState::getRootObject(const sp<RpcSession::RpcConnection>& connection,
394 const sp<RpcSession>& session) {
Steven Moreland5553ac42020-11-11 02:14:45 +0000395 Parcel data;
Steven Morelandbdb53ab2021-05-05 17:57:41 +0000396 data.markForRpc(session);
Steven Moreland5553ac42020-11-11 02:14:45 +0000397 Parcel reply;
398
Steven Moreland5623d1a2021-09-10 15:45:34 -0700399 status_t status =
400 transactAddress(connection, 0, RPC_SPECIAL_TRANSACT_GET_ROOT, data, session, &reply, 0);
Steven Moreland5553ac42020-11-11 02:14:45 +0000401 if (status != OK) {
402 ALOGE("Error getting root object: %s", statusToString(status).c_str());
403 return nullptr;
404 }
405
406 return reply.readStrongBinder();
407}
408
Steven Moreland5ae62562021-06-10 03:21:42 +0000409status_t RpcState::getMaxThreads(const sp<RpcSession::RpcConnection>& connection,
410 const sp<RpcSession>& session, size_t* maxThreadsOut) {
Steven Morelandf137de92021-04-24 01:54:26 +0000411 Parcel data;
Steven Morelandbdb53ab2021-05-05 17:57:41 +0000412 data.markForRpc(session);
Steven Morelandf137de92021-04-24 01:54:26 +0000413 Parcel reply;
414
Steven Moreland5623d1a2021-09-10 15:45:34 -0700415 status_t status = transactAddress(connection, 0, RPC_SPECIAL_TRANSACT_GET_MAX_THREADS, data,
416 session, &reply, 0);
Steven Morelandf137de92021-04-24 01:54:26 +0000417 if (status != OK) {
418 ALOGE("Error getting max threads: %s", statusToString(status).c_str());
419 return status;
420 }
421
Steven Moreland7c5e6c22021-05-01 02:55:20 +0000422 int32_t maxThreads;
423 status = reply.readInt32(&maxThreads);
Steven Morelandf137de92021-04-24 01:54:26 +0000424 if (status != OK) return status;
Steven Moreland7c5e6c22021-05-01 02:55:20 +0000425 if (maxThreads <= 0) {
426 ALOGE("Error invalid max maxThreads: %d", maxThreads);
Steven Morelandf137de92021-04-24 01:54:26 +0000427 return BAD_VALUE;
428 }
429
Steven Moreland7c5e6c22021-05-01 02:55:20 +0000430 *maxThreadsOut = maxThreads;
431 return OK;
432}
433
Steven Moreland5ae62562021-06-10 03:21:42 +0000434status_t RpcState::getSessionId(const sp<RpcSession::RpcConnection>& connection,
Steven Moreland826367f2021-09-10 14:05:31 -0700435 const sp<RpcSession>& session, std::vector<uint8_t>* sessionIdOut) {
Steven Moreland7c5e6c22021-05-01 02:55:20 +0000436 Parcel data;
Steven Morelandbdb53ab2021-05-05 17:57:41 +0000437 data.markForRpc(session);
Steven Moreland7c5e6c22021-05-01 02:55:20 +0000438 Parcel reply;
439
Steven Moreland5623d1a2021-09-10 15:45:34 -0700440 status_t status = transactAddress(connection, 0, RPC_SPECIAL_TRANSACT_GET_SESSION_ID, data,
441 session, &reply, 0);
Steven Moreland7c5e6c22021-05-01 02:55:20 +0000442 if (status != OK) {
Steven Morelandbdb53ab2021-05-05 17:57:41 +0000443 ALOGE("Error getting session ID: %s", statusToString(status).c_str());
Steven Moreland7c5e6c22021-05-01 02:55:20 +0000444 return status;
445 }
446
Steven Moreland826367f2021-09-10 14:05:31 -0700447 return reply.readByteVector(sessionIdOut);
Steven Morelandf137de92021-04-24 01:54:26 +0000448}
449
Steven Moreland5ae62562021-06-10 03:21:42 +0000450status_t RpcState::transact(const sp<RpcSession::RpcConnection>& connection,
451 const sp<IBinder>& binder, uint32_t code, const Parcel& data,
452 const sp<RpcSession>& session, Parcel* reply, uint32_t flags) {
Steven Morelandf5174272021-05-25 00:39:28 +0000453 if (!data.isForRpc()) {
454 ALOGE("Refusing to send RPC with parcel not crafted for RPC");
455 return BAD_TYPE;
456 }
457
458 if (data.objectsCount() != 0) {
459 ALOGE("Parcel at %p has attached objects but is being used in an RPC call", &data);
460 return BAD_TYPE;
461 }
462
Steven Moreland5623d1a2021-09-10 15:45:34 -0700463 uint64_t address;
Steven Morelandf5174272021-05-25 00:39:28 +0000464 if (status_t status = onBinderLeaving(session, binder, &address); status != OK) return status;
465
Steven Moreland5ae62562021-06-10 03:21:42 +0000466 return transactAddress(connection, address, code, data, session, reply, flags);
Steven Morelandf5174272021-05-25 00:39:28 +0000467}
468
Steven Moreland5ae62562021-06-10 03:21:42 +0000469status_t RpcState::transactAddress(const sp<RpcSession::RpcConnection>& connection,
Steven Moreland5623d1a2021-09-10 15:45:34 -0700470 uint64_t address, uint32_t code, const Parcel& data,
Steven Moreland5ae62562021-06-10 03:21:42 +0000471 const sp<RpcSession>& session, Parcel* reply, uint32_t flags) {
Steven Morelandf5174272021-05-25 00:39:28 +0000472 LOG_ALWAYS_FATAL_IF(!data.isForRpc());
473 LOG_ALWAYS_FATAL_IF(data.objectsCount() != 0);
474
Steven Moreland5553ac42020-11-11 02:14:45 +0000475 uint64_t asyncNumber = 0;
476
Steven Moreland5623d1a2021-09-10 15:45:34 -0700477 if (address != 0) {
Steven Moreland583a14a2021-06-04 02:04:58 +0000478 std::unique_lock<std::mutex> _l(mNodeMutex);
Steven Moreland5553ac42020-11-11 02:14:45 +0000479 if (mTerminated) return DEAD_OBJECT; // avoid fatal only, otherwise races
480 auto it = mNodeForAddress.find(address);
Steven Moreland5623d1a2021-09-10 15:45:34 -0700481 LOG_ALWAYS_FATAL_IF(it == mNodeForAddress.end(),
482 "Sending transact on unknown address %" PRIu64, address);
Steven Moreland5553ac42020-11-11 02:14:45 +0000483
484 if (flags & IBinder::FLAG_ONEWAY) {
Steven Moreland583a14a2021-06-04 02:04:58 +0000485 asyncNumber = it->second.asyncNumber;
Steven Morelandc9d7b532021-06-04 20:57:41 +0000486 if (!nodeProgressAsyncNumber(&it->second)) {
487 _l.unlock();
488 (void)session->shutdownAndWait(false);
489 return DEAD_OBJECT;
490 }
Steven Moreland5553ac42020-11-11 02:14:45 +0000491 }
492 }
493
Steven Moreland77c30112021-06-02 20:45:46 +0000494 LOG_ALWAYS_FATAL_IF(std::numeric_limits<int32_t>::max() - sizeof(RpcWireHeader) -
495 sizeof(RpcWireTransaction) <
496 data.dataSize(),
497 "Too much data %zu", data.dataSize());
498
499 RpcWireHeader command{
500 .command = RPC_COMMAND_TRANSACT,
501 .bodySize = static_cast<uint32_t>(sizeof(RpcWireTransaction) + data.dataSize()),
502 };
Steven Moreland5623d1a2021-09-10 15:45:34 -0700503
Steven Moreland5553ac42020-11-11 02:14:45 +0000504 RpcWireTransaction transaction{
Steven Moreland5623d1a2021-09-10 15:45:34 -0700505 .address = RpcWireAddress::fromRaw(address),
Steven Moreland5553ac42020-11-11 02:14:45 +0000506 .code = code,
507 .flags = flags,
508 .asyncNumber = asyncNumber,
509 };
Steven Moreland77c30112021-06-02 20:45:46 +0000510 CommandData transactionData(sizeof(RpcWireHeader) + sizeof(RpcWireTransaction) +
511 data.dataSize());
Steven Morelande8393342021-05-05 23:27:53 +0000512 if (!transactionData.valid()) {
513 return NO_MEMORY;
514 }
515
Steven Moreland77c30112021-06-02 20:45:46 +0000516 memcpy(transactionData.data() + 0, &command, sizeof(RpcWireHeader));
517 memcpy(transactionData.data() + sizeof(RpcWireHeader), &transaction,
518 sizeof(RpcWireTransaction));
519 memcpy(transactionData.data() + sizeof(RpcWireHeader) + sizeof(RpcWireTransaction), data.data(),
520 data.dataSize());
Steven Moreland5553ac42020-11-11 02:14:45 +0000521
Steven Moreland43921d52021-09-27 17:15:56 -0700522 constexpr size_t kWaitMaxUs = 1000000;
523 constexpr size_t kWaitLogUs = 10000;
524 size_t waitUs = 0;
525
526 // Oneway calls have no sync point, so if many are sent before, whether this
527 // is a twoway or oneway transaction, they may have filled up the socket.
528 // So, make sure we drain them before polling.
529 std::function<status_t()> drainRefs = [&] {
530 if (waitUs > kWaitLogUs) {
531 ALOGE("Cannot send command, trying to process pending refcounts. Waiting %zuus. Too "
532 "many oneway calls?",
533 waitUs);
534 }
535
536 if (waitUs > 0) {
537 usleep(waitUs);
538 waitUs = std::min(kWaitMaxUs, waitUs * 2);
539 } else {
540 waitUs = 1;
541 }
542
543 return drainCommands(connection, session, CommandType::CONTROL_ONLY);
544 };
545
Steven Moreland5ae62562021-06-10 03:21:42 +0000546 if (status_t status = rpcSend(connection, session, "transaction", transactionData.data(),
Steven Moreland43921d52021-09-27 17:15:56 -0700547 transactionData.size(), drainRefs);
548 status != OK) {
Steven Morelanda5036f02021-06-08 02:26:57 +0000549 // TODO(b/167966510): need to undo onBinderLeaving - we know the
550 // refcount isn't successfully transferred.
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000551 return status;
Steven Moreland43921d52021-09-27 17:15:56 -0700552 }
Steven Moreland5553ac42020-11-11 02:14:45 +0000553
554 if (flags & IBinder::FLAG_ONEWAY) {
Yifan Hong702115c2021-06-24 15:39:18 -0700555 LOG_RPC_DETAIL("Oneway command, so no longer waiting on RpcTransport %p",
556 connection->rpcTransport.get());
Steven Moreland52eee942021-06-03 00:59:28 +0000557
558 // Do not wait on result.
Steven Moreland43921d52021-09-27 17:15:56 -0700559 return OK;
Steven Moreland5553ac42020-11-11 02:14:45 +0000560 }
561
562 LOG_ALWAYS_FATAL_IF(reply == nullptr, "Reply parcel must be used for synchronous transaction.");
563
Steven Moreland5ae62562021-06-10 03:21:42 +0000564 return waitForReply(connection, session, reply);
Steven Moreland5553ac42020-11-11 02:14:45 +0000565}
566
Steven Moreland438cce82021-04-02 18:04:08 +0000567static void cleanup_reply_data(Parcel* p, const uint8_t* data, size_t dataSize,
568 const binder_size_t* objects, size_t objectsCount) {
Steven Moreland5553ac42020-11-11 02:14:45 +0000569 (void)p;
570 delete[] const_cast<uint8_t*>(data - offsetof(RpcWireReply, data));
571 (void)dataSize;
572 LOG_ALWAYS_FATAL_IF(objects != nullptr);
Yifan Hong239a2ca2021-06-24 16:05:16 -0700573 LOG_ALWAYS_FATAL_IF(objectsCount != 0, "%zu objects remaining", objectsCount);
Steven Moreland5553ac42020-11-11 02:14:45 +0000574}
575
Steven Moreland5ae62562021-06-10 03:21:42 +0000576status_t RpcState::waitForReply(const sp<RpcSession::RpcConnection>& connection,
577 const sp<RpcSession>& session, Parcel* reply) {
Steven Moreland5553ac42020-11-11 02:14:45 +0000578 RpcWireHeader command;
579 while (true) {
Steven Morelandae58f432021-08-05 17:53:16 -0700580 if (status_t status = rpcRec(connection, session, "command header (for reply)", &command,
581 sizeof(command));
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000582 status != OK)
583 return status;
Steven Moreland5553ac42020-11-11 02:14:45 +0000584
585 if (command.command == RPC_COMMAND_REPLY) break;
586
Steven Moreland19fc9f72021-06-10 03:57:30 +0000587 if (status_t status = processCommand(connection, session, command, CommandType::ANY);
Steven Moreland52eee942021-06-03 00:59:28 +0000588 status != OK)
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000589 return status;
Steven Moreland5553ac42020-11-11 02:14:45 +0000590 }
591
Steven Morelanddbe71832021-05-12 23:31:00 +0000592 CommandData data(command.bodySize);
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000593 if (!data.valid()) return NO_MEMORY;
Steven Moreland5553ac42020-11-11 02:14:45 +0000594
Steven Moreland5ae62562021-06-10 03:21:42 +0000595 if (status_t status = rpcRec(connection, session, "reply body", data.data(), command.bodySize);
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000596 status != OK)
597 return status;
Steven Moreland5553ac42020-11-11 02:14:45 +0000598
599 if (command.bodySize < sizeof(RpcWireReply)) {
600 ALOGE("Expecting %zu but got %" PRId32 " bytes for RpcWireReply. Terminating!",
601 sizeof(RpcWireReply), command.bodySize);
Steven Morelandc9d7b532021-06-04 20:57:41 +0000602 (void)session->shutdownAndWait(false);
Steven Moreland5553ac42020-11-11 02:14:45 +0000603 return BAD_VALUE;
604 }
Steven Morelande8393342021-05-05 23:27:53 +0000605 RpcWireReply* rpcReply = reinterpret_cast<RpcWireReply*>(data.data());
Steven Moreland5553ac42020-11-11 02:14:45 +0000606 if (rpcReply->status != OK) return rpcReply->status;
607
Steven Morelande8393342021-05-05 23:27:53 +0000608 data.release();
Steven Moreland5553ac42020-11-11 02:14:45 +0000609 reply->ipcSetDataReference(rpcReply->data, command.bodySize - offsetof(RpcWireReply, data),
Steven Moreland438cce82021-04-02 18:04:08 +0000610 nullptr, 0, cleanup_reply_data);
Steven Moreland5553ac42020-11-11 02:14:45 +0000611
Steven Morelandbdb53ab2021-05-05 17:57:41 +0000612 reply->markForRpc(session);
Steven Moreland5553ac42020-11-11 02:14:45 +0000613
614 return OK;
615}
616
Steven Morelandfd1e8a02021-07-21 23:30:29 +0000617status_t RpcState::sendDecStrongToTarget(const sp<RpcSession::RpcConnection>& connection,
618 const sp<RpcSession>& session, uint64_t addr,
619 size_t target) {
620 RpcDecStrong body = {
621 .address = RpcWireAddress::fromRaw(addr),
622 };
623
Steven Moreland5553ac42020-11-11 02:14:45 +0000624 {
625 std::lock_guard<std::mutex> _l(mNodeMutex);
626 if (mTerminated) return DEAD_OBJECT; // avoid fatal only, otherwise races
627 auto it = mNodeForAddress.find(addr);
Steven Moreland5623d1a2021-09-10 15:45:34 -0700628 LOG_ALWAYS_FATAL_IF(it == mNodeForAddress.end(),
629 "Sending dec strong on unknown address %" PRIu64, addr);
Steven Moreland5553ac42020-11-11 02:14:45 +0000630
Steven Morelandfd1e8a02021-07-21 23:30:29 +0000631 LOG_ALWAYS_FATAL_IF(it->second.timesRecd < target, "Can't dec count of %zu to %zu.",
632 it->second.timesRecd, target);
633
634 // typically this happens when multiple threads send dec refs at the
635 // same time - the transactions will get combined automatically
636 if (it->second.timesRecd == target) return OK;
637
638 body.amount = it->second.timesRecd - target;
639 it->second.timesRecd = target;
640
Steven Moreland31bde7a2021-06-04 00:57:36 +0000641 LOG_ALWAYS_FATAL_IF(nullptr != tryEraseNode(it),
642 "Bad state. RpcState shouldn't own received binder");
Steven Moreland5553ac42020-11-11 02:14:45 +0000643 }
644
645 RpcWireHeader cmd = {
646 .command = RPC_COMMAND_DEC_STRONG,
Steven Morelandfd1e8a02021-07-21 23:30:29 +0000647 .bodySize = sizeof(RpcDecStrong),
Steven Moreland5553ac42020-11-11 02:14:45 +0000648 };
Steven Moreland5ae62562021-06-10 03:21:42 +0000649 if (status_t status = rpcSend(connection, session, "dec ref header", &cmd, sizeof(cmd));
650 status != OK)
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000651 return status;
Steven Morelandfd1e8a02021-07-21 23:30:29 +0000652
653 return rpcSend(connection, session, "dec ref body", &body, sizeof(body));
Steven Moreland5553ac42020-11-11 02:14:45 +0000654}
655
Steven Moreland5ae62562021-06-10 03:21:42 +0000656status_t RpcState::getAndExecuteCommand(const sp<RpcSession::RpcConnection>& connection,
657 const sp<RpcSession>& session, CommandType type) {
Yifan Hong702115c2021-06-24 15:39:18 -0700658 LOG_RPC_DETAIL("getAndExecuteCommand on RpcTransport %p", connection->rpcTransport.get());
Steven Moreland5553ac42020-11-11 02:14:45 +0000659
660 RpcWireHeader command;
Steven Morelandae58f432021-08-05 17:53:16 -0700661 if (status_t status = rpcRec(connection, session, "command header (for server)", &command,
662 sizeof(command));
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000663 status != OK)
664 return status;
Steven Moreland5553ac42020-11-11 02:14:45 +0000665
Steven Moreland19fc9f72021-06-10 03:57:30 +0000666 return processCommand(connection, session, command, type);
Steven Moreland52eee942021-06-03 00:59:28 +0000667}
668
Steven Moreland5ae62562021-06-10 03:21:42 +0000669status_t RpcState::drainCommands(const sp<RpcSession::RpcConnection>& connection,
670 const sp<RpcSession>& session, CommandType type) {
Steven Moreland52eee942021-06-03 00:59:28 +0000671 uint8_t buf;
Yifan Hong218c4072021-08-04 14:59:10 -0700672 while (connection->rpcTransport->peek(&buf, sizeof(buf)).value_or(0) > 0) {
Steven Moreland5ae62562021-06-10 03:21:42 +0000673 status_t status = getAndExecuteCommand(connection, session, type);
Steven Moreland52eee942021-06-03 00:59:28 +0000674 if (status != OK) return status;
675 }
676 return OK;
Steven Moreland5553ac42020-11-11 02:14:45 +0000677}
678
Steven Moreland19fc9f72021-06-10 03:57:30 +0000679status_t RpcState::processCommand(const sp<RpcSession::RpcConnection>& connection,
680 const sp<RpcSession>& session, const RpcWireHeader& command,
681 CommandType type) {
Steven Morelandd7302072021-05-15 01:32:04 +0000682 IPCThreadState* kernelBinderState = IPCThreadState::selfOrNull();
683 IPCThreadState::SpGuard spGuard{
684 .address = __builtin_frame_address(0),
685 .context = "processing binder RPC command",
686 };
687 const IPCThreadState::SpGuard* origGuard;
688 if (kernelBinderState != nullptr) {
689 origGuard = kernelBinderState->pushGetCallingSpGuard(&spGuard);
690 }
691 ScopeGuard guardUnguard = [&]() {
692 if (kernelBinderState != nullptr) {
693 kernelBinderState->restoreGetCallingSpGuard(origGuard);
694 }
695 };
696
Steven Moreland5553ac42020-11-11 02:14:45 +0000697 switch (command.command) {
698 case RPC_COMMAND_TRANSACT:
Steven Moreland52eee942021-06-03 00:59:28 +0000699 if (type != CommandType::ANY) return BAD_TYPE;
Steven Moreland5ae62562021-06-10 03:21:42 +0000700 return processTransact(connection, session, command);
Steven Moreland5553ac42020-11-11 02:14:45 +0000701 case RPC_COMMAND_DEC_STRONG:
Steven Moreland5ae62562021-06-10 03:21:42 +0000702 return processDecStrong(connection, session, command);
Steven Moreland5553ac42020-11-11 02:14:45 +0000703 }
704
705 // We should always know the version of the opposing side, and since the
706 // RPC-binder-level wire protocol is not self synchronizing, we have no way
707 // to understand where the current command ends and the next one begins. We
708 // also can't consider it a fatal error because this would allow any client
Steven Morelandbdb53ab2021-05-05 17:57:41 +0000709 // to kill us, so ending the session for misbehaving client.
710 ALOGE("Unknown RPC command %d - terminating session", command.command);
Steven Morelandc9d7b532021-06-04 20:57:41 +0000711 (void)session->shutdownAndWait(false);
Steven Moreland5553ac42020-11-11 02:14:45 +0000712 return DEAD_OBJECT;
713}
Steven Moreland5ae62562021-06-10 03:21:42 +0000714status_t RpcState::processTransact(const sp<RpcSession::RpcConnection>& connection,
715 const sp<RpcSession>& session, const RpcWireHeader& command) {
Steven Moreland5553ac42020-11-11 02:14:45 +0000716 LOG_ALWAYS_FATAL_IF(command.command != RPC_COMMAND_TRANSACT, "command: %d", command.command);
717
Steven Morelanddbe71832021-05-12 23:31:00 +0000718 CommandData transactionData(command.bodySize);
Steven Morelande8393342021-05-05 23:27:53 +0000719 if (!transactionData.valid()) {
720 return NO_MEMORY;
721 }
Steven Moreland5ae62562021-06-10 03:21:42 +0000722 if (status_t status = rpcRec(connection, session, "transaction body", transactionData.data(),
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000723 transactionData.size());
724 status != OK)
725 return status;
Steven Moreland5553ac42020-11-11 02:14:45 +0000726
Steven Moreland5ae62562021-06-10 03:21:42 +0000727 return processTransactInternal(connection, session, std::move(transactionData));
Steven Moreland5553ac42020-11-11 02:14:45 +0000728}
729
Steven Moreland438cce82021-04-02 18:04:08 +0000730static void do_nothing_to_transact_data(Parcel* p, const uint8_t* data, size_t dataSize,
731 const binder_size_t* objects, size_t objectsCount) {
732 (void)p;
733 (void)data;
734 (void)dataSize;
735 (void)objects;
736 (void)objectsCount;
737}
738
Steven Moreland5ae62562021-06-10 03:21:42 +0000739status_t RpcState::processTransactInternal(const sp<RpcSession::RpcConnection>& connection,
740 const sp<RpcSession>& session,
Steven Morelandada72bd2021-06-09 23:29:13 +0000741 CommandData transactionData) {
742 // for 'recursive' calls to this, we have already read and processed the
743 // binder from the transaction data and taken reference counts into account,
744 // so it is cached here.
Steven Moreland3903bf02021-09-27 16:05:24 -0700745 sp<IBinder> target;
Steven Morelandada72bd2021-06-09 23:29:13 +0000746processTransactInternalTailCall:
747
Steven Moreland5553ac42020-11-11 02:14:45 +0000748 if (transactionData.size() < sizeof(RpcWireTransaction)) {
749 ALOGE("Expecting %zu but got %zu bytes for RpcWireTransaction. Terminating!",
750 sizeof(RpcWireTransaction), transactionData.size());
Steven Morelandc9d7b532021-06-04 20:57:41 +0000751 (void)session->shutdownAndWait(false);
Steven Moreland5553ac42020-11-11 02:14:45 +0000752 return BAD_VALUE;
753 }
754 RpcWireTransaction* transaction = reinterpret_cast<RpcWireTransaction*>(transactionData.data());
755
Steven Moreland5623d1a2021-09-10 15:45:34 -0700756 uint64_t addr = RpcWireAddress::toRaw(transaction->address);
Steven Morelandc7d40132021-06-10 03:42:11 +0000757 bool oneway = transaction->flags & IBinder::FLAG_ONEWAY;
Steven Moreland5553ac42020-11-11 02:14:45 +0000758
759 status_t replyStatus = OK;
Steven Moreland5623d1a2021-09-10 15:45:34 -0700760 if (addr != 0) {
Steven Moreland3903bf02021-09-27 16:05:24 -0700761 if (!target) {
Steven Moreland7227c8a2021-06-02 00:24:32 +0000762 replyStatus = onBinderEntering(session, addr, &target);
Steven Morelandf5174272021-05-25 00:39:28 +0000763 }
764
Steven Moreland7227c8a2021-06-02 00:24:32 +0000765 if (replyStatus != OK) {
766 // do nothing
767 } else if (target == nullptr) {
Steven Morelandf5174272021-05-25 00:39:28 +0000768 // This can happen if the binder is remote in this process, and
769 // another thread has called the last decStrong on this binder.
770 // However, for local binders, it indicates a misbehaving client
771 // (any binder which is being transacted on should be holding a
772 // strong ref count), so in either case, terminating the
773 // session.
Steven Moreland5623d1a2021-09-10 15:45:34 -0700774 ALOGE("While transacting, binder has been deleted at address %" PRIu64 ". Terminating!",
775 addr);
Steven Morelandc9d7b532021-06-04 20:57:41 +0000776 (void)session->shutdownAndWait(false);
Steven Morelandf5174272021-05-25 00:39:28 +0000777 replyStatus = BAD_VALUE;
778 } else if (target->localBinder() == nullptr) {
Steven Moreland5623d1a2021-09-10 15:45:34 -0700779 ALOGE("Unknown binder address or non-local binder, not address %" PRIu64
780 ". Terminating!",
781 addr);
Steven Morelandc9d7b532021-06-04 20:57:41 +0000782 (void)session->shutdownAndWait(false);
Steven Morelandf5174272021-05-25 00:39:28 +0000783 replyStatus = BAD_VALUE;
Steven Morelandc7d40132021-06-10 03:42:11 +0000784 } else if (oneway) {
Steven Morelandd45be622021-06-04 02:19:37 +0000785 std::unique_lock<std::mutex> _l(mNodeMutex);
Steven Morelandf5174272021-05-25 00:39:28 +0000786 auto it = mNodeForAddress.find(addr);
787 if (it->second.binder.promote() != target) {
Steven Moreland5623d1a2021-09-10 15:45:34 -0700788 ALOGE("Binder became invalid during transaction. Bad client? %" PRIu64, addr);
Steven Moreland5553ac42020-11-11 02:14:45 +0000789 replyStatus = BAD_VALUE;
Steven Morelandf5174272021-05-25 00:39:28 +0000790 } else if (transaction->asyncNumber != it->second.asyncNumber) {
791 // we need to process some other asynchronous transaction
792 // first
Steven Morelandf5174272021-05-25 00:39:28 +0000793 it->second.asyncTodo.push(BinderNode::AsyncTodo{
794 .ref = target,
795 .data = std::move(transactionData),
796 .asyncNumber = transaction->asyncNumber,
797 });
Steven Morelandd45be622021-06-04 02:19:37 +0000798
799 size_t numPending = it->second.asyncTodo.size();
Steven Moreland5623d1a2021-09-10 15:45:34 -0700800 LOG_RPC_DETAIL("Enqueuing %" PRIu64 " on %" PRIu64 " (%zu pending)",
801 transaction->asyncNumber, addr, numPending);
Steven Morelandd45be622021-06-04 02:19:37 +0000802
803 constexpr size_t kArbitraryOnewayCallTerminateLevel = 10000;
804 constexpr size_t kArbitraryOnewayCallWarnLevel = 1000;
805 constexpr size_t kArbitraryOnewayCallWarnPer = 1000;
806
807 if (numPending >= kArbitraryOnewayCallWarnLevel) {
808 if (numPending >= kArbitraryOnewayCallTerminateLevel) {
809 ALOGE("WARNING: %zu pending oneway transactions. Terminating!", numPending);
810 _l.unlock();
811 (void)session->shutdownAndWait(false);
812 return FAILED_TRANSACTION;
813 }
814
815 if (numPending % kArbitraryOnewayCallWarnPer == 0) {
816 ALOGW("Warning: many oneway transactions built up on %p (%zu)",
817 target.get(), numPending);
818 }
819 }
Steven Morelandf5174272021-05-25 00:39:28 +0000820 return OK;
Steven Moreland5553ac42020-11-11 02:14:45 +0000821 }
822 }
823 }
824
Steven Moreland5553ac42020-11-11 02:14:45 +0000825 Parcel reply;
Steven Morelandbdb53ab2021-05-05 17:57:41 +0000826 reply.markForRpc(session);
Steven Moreland5553ac42020-11-11 02:14:45 +0000827
828 if (replyStatus == OK) {
Steven Morelandeff77c12021-04-15 00:37:19 +0000829 Parcel data;
830 // transaction->data is owned by this function. Parcel borrows this data and
831 // only holds onto it for the duration of this function call. Parcel will be
832 // deleted before the 'transactionData' object.
833 data.ipcSetDataReference(transaction->data,
834 transactionData.size() - offsetof(RpcWireTransaction, data),
835 nullptr /*object*/, 0 /*objectCount*/,
836 do_nothing_to_transact_data);
Steven Morelandbdb53ab2021-05-05 17:57:41 +0000837 data.markForRpc(session);
Steven Morelandeff77c12021-04-15 00:37:19 +0000838
Steven Moreland5553ac42020-11-11 02:14:45 +0000839 if (target) {
Steven Morelandc7d40132021-06-10 03:42:11 +0000840 bool origAllowNested = connection->allowNested;
841 connection->allowNested = !oneway;
842
Steven Moreland5553ac42020-11-11 02:14:45 +0000843 replyStatus = target->transact(transaction->code, data, &reply, transaction->flags);
Steven Morelandc7d40132021-06-10 03:42:11 +0000844
845 connection->allowNested = origAllowNested;
Steven Moreland5553ac42020-11-11 02:14:45 +0000846 } else {
847 LOG_RPC_DETAIL("Got special transaction %u", transaction->code);
Steven Moreland5553ac42020-11-11 02:14:45 +0000848
Steven Moreland103424e2021-06-02 18:16:19 +0000849 switch (transaction->code) {
850 case RPC_SPECIAL_TRANSACT_GET_MAX_THREADS: {
851 replyStatus = reply.writeInt32(session->getMaxThreads());
852 break;
853 }
854 case RPC_SPECIAL_TRANSACT_GET_SESSION_ID: {
855 // for client connections, this should always report the value
Steven Moreland01a6bad2021-06-11 00:59:20 +0000856 // originally returned from the server, so this is asserting
857 // that it exists
Steven Moreland826367f2021-09-10 14:05:31 -0700858 replyStatus = reply.writeByteVector(session->mId);
Steven Moreland103424e2021-06-02 18:16:19 +0000859 break;
860 }
861 default: {
Steven Moreland7b8bc4c2021-06-10 22:50:27 +0000862 sp<RpcServer> server = session->server();
Steven Moreland103424e2021-06-02 18:16:19 +0000863 if (server) {
864 switch (transaction->code) {
865 case RPC_SPECIAL_TRANSACT_GET_ROOT: {
866 replyStatus = reply.writeStrongBinder(server->getRootObject());
867 break;
868 }
869 default: {
870 replyStatus = UNKNOWN_TRANSACTION;
871 }
872 }
873 } else {
874 ALOGE("Special command sent, but no server object attached.");
Steven Morelandf137de92021-04-24 01:54:26 +0000875 }
Steven Moreland5553ac42020-11-11 02:14:45 +0000876 }
Steven Moreland5553ac42020-11-11 02:14:45 +0000877 }
878 }
879 }
880
Steven Morelandd8083312021-09-22 13:37:10 -0700881 // Binder refs are flushed for oneway calls only after all calls which are
882 // built up are executed. Otherwise, they fill up the binder buffer.
883 if (addr != 0 && replyStatus == OK && !oneway) {
884 replyStatus = flushExcessBinderRefs(session, addr, target);
885 }
886
Steven Morelandc7d40132021-06-10 03:42:11 +0000887 if (oneway) {
Steven Moreland5553ac42020-11-11 02:14:45 +0000888 if (replyStatus != OK) {
889 ALOGW("Oneway call failed with error: %d", replyStatus);
890 }
891
Steven Moreland5623d1a2021-09-10 15:45:34 -0700892 LOG_RPC_DETAIL("Processed async transaction %" PRIu64 " on %" PRIu64,
893 transaction->asyncNumber, addr);
Steven Moreland5553ac42020-11-11 02:14:45 +0000894
895 // Check to see if there is another asynchronous transaction to process.
896 // This behavior differs from binder behavior, since in the binder
897 // driver, asynchronous transactions will be processed after existing
898 // pending binder transactions on the queue. The downside of this is
899 // that asynchronous transactions can be drowned out by synchronous
900 // transactions. However, we have no easy way to queue these
901 // transactions after the synchronous transactions we may want to read
902 // from the wire. So, in socket binder here, we have the opposite
903 // downside: asynchronous transactions may drown out synchronous
904 // transactions.
905 {
906 std::unique_lock<std::mutex> _l(mNodeMutex);
907 auto it = mNodeForAddress.find(addr);
908 // last refcount dropped after this transaction happened
909 if (it == mNodeForAddress.end()) return OK;
910
Steven Morelandc9d7b532021-06-04 20:57:41 +0000911 if (!nodeProgressAsyncNumber(&it->second)) {
912 _l.unlock();
913 (void)session->shutdownAndWait(false);
914 return DEAD_OBJECT;
915 }
Steven Moreland5553ac42020-11-11 02:14:45 +0000916
917 if (it->second.asyncTodo.size() == 0) return OK;
918 if (it->second.asyncTodo.top().asyncNumber == it->second.asyncNumber) {
Steven Moreland5623d1a2021-09-10 15:45:34 -0700919 LOG_RPC_DETAIL("Found next async transaction %" PRIu64 " on %" PRIu64,
920 it->second.asyncNumber, addr);
Steven Moreland5553ac42020-11-11 02:14:45 +0000921
922 // justification for const_cast (consider avoiding priority_queue):
Steven Morelandf5174272021-05-25 00:39:28 +0000923 // - AsyncTodo operator< doesn't depend on 'data' or 'ref' objects
Steven Moreland5553ac42020-11-11 02:14:45 +0000924 // - gotta go fast
Steven Morelandf5174272021-05-25 00:39:28 +0000925 auto& todo = const_cast<BinderNode::AsyncTodo&>(it->second.asyncTodo.top());
926
Steven Morelandada72bd2021-06-09 23:29:13 +0000927 // reset up arguments
928 transactionData = std::move(todo.data);
Steven Moreland3903bf02021-09-27 16:05:24 -0700929 LOG_ALWAYS_FATAL_IF(target != todo.ref,
930 "async list should be associated with a binder");
Steven Morelandf5174272021-05-25 00:39:28 +0000931
Steven Moreland5553ac42020-11-11 02:14:45 +0000932 it->second.asyncTodo.pop();
Steven Morelandada72bd2021-06-09 23:29:13 +0000933 goto processTransactInternalTailCall;
Steven Moreland5553ac42020-11-11 02:14:45 +0000934 }
935 }
Steven Morelandd8083312021-09-22 13:37:10 -0700936
937 // done processing all the async commands on this binder that we can, so
938 // write decstrongs on the binder
939 if (addr != 0 && replyStatus == OK) {
940 return flushExcessBinderRefs(session, addr, target);
941 }
942
Steven Moreland5553ac42020-11-11 02:14:45 +0000943 return OK;
944 }
945
Steven Moreland77c30112021-06-02 20:45:46 +0000946 LOG_ALWAYS_FATAL_IF(std::numeric_limits<int32_t>::max() - sizeof(RpcWireHeader) -
947 sizeof(RpcWireReply) <
948 reply.dataSize(),
949 "Too much data for reply %zu", reply.dataSize());
950
951 RpcWireHeader cmdReply{
952 .command = RPC_COMMAND_REPLY,
953 .bodySize = static_cast<uint32_t>(sizeof(RpcWireReply) + reply.dataSize()),
954 };
Steven Moreland5553ac42020-11-11 02:14:45 +0000955 RpcWireReply rpcReply{
956 .status = replyStatus,
957 };
958
Steven Moreland77c30112021-06-02 20:45:46 +0000959 CommandData replyData(sizeof(RpcWireHeader) + sizeof(RpcWireReply) + reply.dataSize());
Steven Morelande8393342021-05-05 23:27:53 +0000960 if (!replyData.valid()) {
961 return NO_MEMORY;
962 }
Steven Moreland77c30112021-06-02 20:45:46 +0000963 memcpy(replyData.data() + 0, &cmdReply, sizeof(RpcWireHeader));
964 memcpy(replyData.data() + sizeof(RpcWireHeader), &rpcReply, sizeof(RpcWireReply));
965 memcpy(replyData.data() + sizeof(RpcWireHeader) + sizeof(RpcWireReply), reply.data(),
966 reply.dataSize());
Steven Moreland5553ac42020-11-11 02:14:45 +0000967
Steven Moreland5ae62562021-06-10 03:21:42 +0000968 return rpcSend(connection, session, "reply", replyData.data(), replyData.size());
Steven Moreland5553ac42020-11-11 02:14:45 +0000969}
970
Steven Moreland5ae62562021-06-10 03:21:42 +0000971status_t RpcState::processDecStrong(const sp<RpcSession::RpcConnection>& connection,
972 const sp<RpcSession>& session, const RpcWireHeader& command) {
Steven Moreland5553ac42020-11-11 02:14:45 +0000973 LOG_ALWAYS_FATAL_IF(command.command != RPC_COMMAND_DEC_STRONG, "command: %d", command.command);
974
Steven Morelanddbe71832021-05-12 23:31:00 +0000975 CommandData commandData(command.bodySize);
Steven Morelande8393342021-05-05 23:27:53 +0000976 if (!commandData.valid()) {
977 return NO_MEMORY;
978 }
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000979 if (status_t status =
Steven Moreland5ae62562021-06-10 03:21:42 +0000980 rpcRec(connection, session, "dec ref body", commandData.data(), commandData.size());
Steven Moreland1e4c2b82021-05-25 01:51:31 +0000981 status != OK)
982 return status;
Steven Moreland5553ac42020-11-11 02:14:45 +0000983
Steven Morelandfd1e8a02021-07-21 23:30:29 +0000984 if (command.bodySize != sizeof(RpcDecStrong)) {
985 ALOGE("Expecting %zu but got %" PRId32 " bytes for RpcDecStrong. Terminating!",
986 sizeof(RpcDecStrong), command.bodySize);
Steven Morelandc9d7b532021-06-04 20:57:41 +0000987 (void)session->shutdownAndWait(false);
Steven Moreland5553ac42020-11-11 02:14:45 +0000988 return BAD_VALUE;
989 }
Steven Morelandfd1e8a02021-07-21 23:30:29 +0000990 RpcDecStrong* body = reinterpret_cast<RpcDecStrong*>(commandData.data());
Steven Moreland5553ac42020-11-11 02:14:45 +0000991
Steven Morelandfd1e8a02021-07-21 23:30:29 +0000992 uint64_t addr = RpcWireAddress::toRaw(body->address);
Steven Moreland5553ac42020-11-11 02:14:45 +0000993 std::unique_lock<std::mutex> _l(mNodeMutex);
994 auto it = mNodeForAddress.find(addr);
995 if (it == mNodeForAddress.end()) {
Steven Moreland5623d1a2021-09-10 15:45:34 -0700996 ALOGE("Unknown binder address %" PRIu64 " for dec strong.", addr);
Steven Moreland5553ac42020-11-11 02:14:45 +0000997 return OK;
998 }
999
1000 sp<IBinder> target = it->second.binder.promote();
1001 if (target == nullptr) {
Steven Moreland5623d1a2021-09-10 15:45:34 -07001002 ALOGE("While requesting dec strong, binder has been deleted at address %" PRIu64
1003 ". Terminating!",
1004 addr);
Steven Morelandc9d7b532021-06-04 20:57:41 +00001005 _l.unlock();
1006 (void)session->shutdownAndWait(false);
Steven Moreland5553ac42020-11-11 02:14:45 +00001007 return BAD_VALUE;
1008 }
1009
Steven Morelandfd1e8a02021-07-21 23:30:29 +00001010 if (it->second.timesSent < body->amount) {
1011 ALOGE("Record of sending binder %zu times, but requested decStrong for %" PRIu64 " of %u",
1012 it->second.timesSent, addr, body->amount);
Steven Moreland5553ac42020-11-11 02:14:45 +00001013 return OK;
1014 }
1015
Steven Moreland5623d1a2021-09-10 15:45:34 -07001016 LOG_ALWAYS_FATAL_IF(it->second.sentRef == nullptr, "Inconsistent state, lost ref for %" PRIu64,
1017 addr);
Steven Moreland5553ac42020-11-11 02:14:45 +00001018
Steven Morelandfd1e8a02021-07-21 23:30:29 +00001019 LOG_RPC_DETAIL("Processing dec strong of %" PRIu64 " by %u from %zu", addr, body->amount,
1020 it->second.timesSent);
1021
1022 it->second.timesSent -= body->amount;
Steven Moreland31bde7a2021-06-04 00:57:36 +00001023 sp<IBinder> tempHold = tryEraseNode(it);
1024 _l.unlock();
1025 tempHold = nullptr; // destructor may make binder calls on this session
1026
1027 return OK;
1028}
1029
Steven Moreland5623d1a2021-09-10 15:45:34 -07001030sp<IBinder> RpcState::tryEraseNode(std::map<uint64_t, BinderNode>::iterator& it) {
Steven Moreland31bde7a2021-06-04 00:57:36 +00001031 sp<IBinder> ref;
1032
Steven Moreland5553ac42020-11-11 02:14:45 +00001033 if (it->second.timesSent == 0) {
Steven Moreland31bde7a2021-06-04 00:57:36 +00001034 ref = std::move(it->second.sentRef);
Steven Moreland5553ac42020-11-11 02:14:45 +00001035
1036 if (it->second.timesRecd == 0) {
Steven Morelanda6e11cf2021-06-04 00:58:31 +00001037 LOG_ALWAYS_FATAL_IF(!it->second.asyncTodo.empty(),
1038 "Can't delete binder w/ pending async transactions");
Steven Moreland5553ac42020-11-11 02:14:45 +00001039 mNodeForAddress.erase(it);
1040 }
1041 }
1042
Steven Moreland31bde7a2021-06-04 00:57:36 +00001043 return ref;
Steven Moreland5553ac42020-11-11 02:14:45 +00001044}
1045
Steven Morelandc9d7b532021-06-04 20:57:41 +00001046bool RpcState::nodeProgressAsyncNumber(BinderNode* node) {
Steven Moreland583a14a2021-06-04 02:04:58 +00001047 // 2**64 =~ 10**19 =~ 1000 transactions per second for 585 million years to
1048 // a single binder
1049 if (node->asyncNumber >= std::numeric_limits<decltype(node->asyncNumber)>::max()) {
1050 ALOGE("Out of async transaction IDs. Terminating");
Steven Moreland583a14a2021-06-04 02:04:58 +00001051 return false;
1052 }
1053 node->asyncNumber++;
1054 return true;
1055}
1056
Steven Moreland5553ac42020-11-11 02:14:45 +00001057} // namespace android