Gitiles
Code Review Sign In
gerrit.omnirom.org / android_frameworks_native / dc07cf88e61e0f3026f1a8d80ebfa2788f235200 / . / libs / binder / tests / binderRpcWireProtocolTest.cpp
blob: 3dab2c748b876de158e23a09f69923e24f5d6892 [file] [log] [blame]
Steven Moreland59640db2021-07-22 17:19:31 -0700[diff] [blame]1/*
2 * Copyright (C) 2021 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#include <android-base/hex.h>
18#include <android-base/logging.h>
19#include <android-base/macros.h>
20#include <android-base/properties.h>
21#include <android-base/strings.h>
22#include <binder/Parcel.h>
23#include <binder/RpcSession.h>
Steven Moreland8ea9b5d2021-09-02 16:10:15 -0700[diff] [blame]24#include <binder/Status.h>
Steven Moreland59640db2021-07-22 17:19:31 -0700[diff] [blame]25#include <gtest/gtest.h>
26
27#include "../Debug.h"
28
29namespace android {
30
31static const int32_t kInt32Array[] = {-1, 0, 17};
32static const uint8_t kByteArray[] = {0, 17, 255};
33enum EnumInt8 : int8_t { Int8A, Int8B };
34enum EnumInt32 : int32_t { Int32A, Int32B };
35enum EnumInt64 : int64_t { Int64A, Int64B };
36struct AParcelable : Parcelable {
37 status_t writeToParcel(Parcel* parcel) const { return parcel->writeInt32(37); }
38 status_t readFromParcel(const Parcel*) { return OK; }
39};
40
41// clang-format off
42constexpr size_t kFillFunIndexLineBase = __LINE__ + 2;
43static const std::vector<std::function<void(Parcel* p)>> kFillFuns {
44 [](Parcel* p) { ASSERT_EQ(OK, p->writeInterfaceToken(String16(u"tok"))); },
45 [](Parcel* p) { ASSERT_EQ(OK, p->writeInt32(-1)); },
46 [](Parcel* p) { ASSERT_EQ(OK, p->writeInt32(0)); },
47 [](Parcel* p) { ASSERT_EQ(OK, p->writeInt32(17)); },
48 [](Parcel* p) { ASSERT_EQ(OK, p->writeUint32(0)); },
49 [](Parcel* p) { ASSERT_EQ(OK, p->writeUint32(1)); },
50 [](Parcel* p) { ASSERT_EQ(OK, p->writeUint32(10003)); },
51 [](Parcel* p) { ASSERT_EQ(OK, p->writeInt64(-1)); },
52 [](Parcel* p) { ASSERT_EQ(OK, p->writeInt64(0)); },
53 [](Parcel* p) { ASSERT_EQ(OK, p->writeInt64(17)); },
54 [](Parcel* p) { ASSERT_EQ(OK, p->writeUint64(0)); },
55 [](Parcel* p) { ASSERT_EQ(OK, p->writeUint64(1)); },
56 [](Parcel* p) { ASSERT_EQ(OK, p->writeUint64(10003)); },
57 [](Parcel* p) { ASSERT_EQ(OK, p->writeFloat(0.0f)); },
58 [](Parcel* p) { ASSERT_EQ(OK, p->writeFloat(0.1f)); },
59 [](Parcel* p) { ASSERT_EQ(OK, p->writeFloat(9.1f)); },
60 [](Parcel* p) { ASSERT_EQ(OK, p->writeDouble(0.0)); },
61 [](Parcel* p) { ASSERT_EQ(OK, p->writeDouble(0.1)); },
62 [](Parcel* p) { ASSERT_EQ(OK, p->writeDouble(9.1)); },
63 [](Parcel* p) { ASSERT_EQ(OK, p->writeCString("")); },
64 [](Parcel* p) { ASSERT_EQ(OK, p->writeCString("a")); },
65 [](Parcel* p) { ASSERT_EQ(OK, p->writeCString("baba")); },
66 [](Parcel* p) { ASSERT_EQ(OK, p->writeString8(String8(""))); },
67 [](Parcel* p) { ASSERT_EQ(OK, p->writeString8(String8("a"))); },
68 [](Parcel* p) { ASSERT_EQ(OK, p->writeString8(String8("baba"))); },
69 [](Parcel* p) { ASSERT_EQ(OK, p->writeString16(String16(u""))); },
70 [](Parcel* p) { ASSERT_EQ(OK, p->writeString16(String16(u"a"))); },
71 [](Parcel* p) { ASSERT_EQ(OK, p->writeString16(String16(u"baba"))); },
72 [](Parcel* p) { ASSERT_EQ(OK, p->writeStrongBinder(nullptr)); },
73 [](Parcel* p) { ASSERT_EQ(OK, p->writeInt32Array(arraysize(kInt32Array), kInt32Array)); },
74 [](Parcel* p) { ASSERT_EQ(OK, p->writeByteArray(arraysize(kByteArray), kByteArray)); },
75 [](Parcel* p) { ASSERT_EQ(OK, p->writeBool(true)); },
76 [](Parcel* p) { ASSERT_EQ(OK, p->writeBool(false)); },
77 [](Parcel* p) { ASSERT_EQ(OK, p->writeChar('a')); },
78 [](Parcel* p) { ASSERT_EQ(OK, p->writeChar('?')); },
79 [](Parcel* p) { ASSERT_EQ(OK, p->writeChar('\0')); },
80 [](Parcel* p) { ASSERT_EQ(OK, p->writeByte(-128)); },
81 [](Parcel* p) { ASSERT_EQ(OK, p->writeByte(0)); },
82 [](Parcel* p) { ASSERT_EQ(OK, p->writeByte(127)); },
83 [](Parcel* p) { ASSERT_EQ(OK, p->writeUtf8AsUtf16(std::string(""))); },
84 [](Parcel* p) { ASSERT_EQ(OK, p->writeUtf8AsUtf16(std::string("a"))); },
85 [](Parcel* p) { ASSERT_EQ(OK, p->writeUtf8AsUtf16(std::string("abab"))); },
86 [](Parcel* p) { ASSERT_EQ(OK, p->writeUtf8AsUtf16(std::nullopt)); },
87 [](Parcel* p) { ASSERT_EQ(OK, p->writeUtf8AsUtf16(std::optional<std::string>(""))); },
88 [](Parcel* p) { ASSERT_EQ(OK, p->writeUtf8AsUtf16(std::optional<std::string>("a"))); },
89 [](Parcel* p) { ASSERT_EQ(OK, p->writeUtf8AsUtf16(std::optional<std::string>("abab"))); },
90 [](Parcel* p) { ASSERT_EQ(OK, p->writeByteVector(std::optional<std::vector<int8_t>>(std::nullopt))); },
91 [](Parcel* p) { ASSERT_EQ(OK, p->writeByteVector(std::optional<std::vector<int8_t>>({-1, 0, 17}))); },
92 [](Parcel* p) { ASSERT_EQ(OK, p->writeByteVector(std::vector<int8_t>({}))); },
93 [](Parcel* p) { ASSERT_EQ(OK, p->writeByteVector(std::vector<int8_t>({-1, 0, 17}))); },
94 [](Parcel* p) { ASSERT_EQ(OK, p->writeByteVector(std::optional<std::vector<uint8_t>>(std::nullopt))); },
95 [](Parcel* p) { ASSERT_EQ(OK, p->writeByteVector(std::optional<std::vector<uint8_t>>({0, 1, 17}))); },
96 [](Parcel* p) { ASSERT_EQ(OK, p->writeByteVector(std::vector<uint8_t>({}))); },
97 [](Parcel* p) { ASSERT_EQ(OK, p->writeByteVector(std::vector<uint8_t>({0, 1, 17}))); },
98 [](Parcel* p) { ASSERT_EQ(OK, p->writeInt32Vector(std::optional<std::vector<int32_t>>(std::nullopt))); },
99 [](Parcel* p) { ASSERT_EQ(OK, p->writeInt32Vector(std::optional<std::vector<int32_t>>({-1, 0, 17}))); },
100 [](Parcel* p) { ASSERT_EQ(OK, p->writeInt32Vector(std::vector<int32_t>({}))); },
101 [](Parcel* p) { ASSERT_EQ(OK, p->writeInt32Vector(std::vector<int32_t>({-1, 0, 17}))); },
102 [](Parcel* p) { ASSERT_EQ(OK, p->writeInt64Vector(std::optional<std::vector<int64_t>>(std::nullopt))); },
103 [](Parcel* p) { ASSERT_EQ(OK, p->writeInt64Vector(std::optional<std::vector<int64_t>>({-1, 0, 17}))); },
104 [](Parcel* p) { ASSERT_EQ(OK, p->writeInt64Vector(std::vector<int64_t>({}))); },
105 [](Parcel* p) { ASSERT_EQ(OK, p->writeInt64Vector(std::vector<int64_t>({-1, 0, 17}))); },
106 [](Parcel* p) { ASSERT_EQ(OK, p->writeUint64Vector(std::optional<std::vector<uint64_t>>(std::nullopt))); },
107 [](Parcel* p) { ASSERT_EQ(OK, p->writeUint64Vector(std::optional<std::vector<uint64_t>>({0, 1, 17}))); },
108 [](Parcel* p) { ASSERT_EQ(OK, p->writeUint64Vector(std::vector<uint64_t>({}))); },
109 [](Parcel* p) { ASSERT_EQ(OK, p->writeUint64Vector(std::vector<uint64_t>({0, 1, 17}))); },
110 [](Parcel* p) { ASSERT_EQ(OK, p->writeFloatVector(std::optional<std::vector<float>>(std::nullopt))); },
111 [](Parcel* p) { ASSERT_EQ(OK, p->writeFloatVector(std::optional<std::vector<float>>({0.0f, 0.1f, 9.1f}))); },
112 [](Parcel* p) { ASSERT_EQ(OK, p->writeFloatVector(std::vector<float>({}))); },
113 [](Parcel* p) { ASSERT_EQ(OK, p->writeFloatVector(std::vector<float>({0.0f, 0.1f, 9.1f}))); },
114 [](Parcel* p) { ASSERT_EQ(OK, p->writeDoubleVector(std::optional<std::vector<double>>(std::nullopt))); },
115 [](Parcel* p) { ASSERT_EQ(OK, p->writeDoubleVector(std::optional<std::vector<double>>({0.0, 0.1, 9.1}))); },
116 [](Parcel* p) { ASSERT_EQ(OK, p->writeDoubleVector(std::vector<double>({}))); },
117 [](Parcel* p) { ASSERT_EQ(OK, p->writeDoubleVector(std::vector<double>({0.0, 0.1, 9.1}))); },
118 [](Parcel* p) { ASSERT_EQ(OK, p->writeBoolVector(std::optional<std::vector<bool>>(std::nullopt))); },
119 [](Parcel* p) { ASSERT_EQ(OK, p->writeBoolVector(std::optional<std::vector<bool>>({true, false}))); },
120 [](Parcel* p) { ASSERT_EQ(OK, p->writeBoolVector(std::vector<bool>({}))); },
121 [](Parcel* p) { ASSERT_EQ(OK, p->writeBoolVector(std::vector<bool>({true, false}))); },
122 [](Parcel* p) { ASSERT_EQ(OK, p->writeCharVector(std::optional<std::vector<char16_t>>(std::nullopt))); },
123 [](Parcel* p) { ASSERT_EQ(OK, p->writeCharVector(std::optional<std::vector<char16_t>>({'a', '\0', '?'}))); },
124 [](Parcel* p) { ASSERT_EQ(OK, p->writeCharVector(std::vector<char16_t>({}))); },
125 [](Parcel* p) { ASSERT_EQ(OK, p->writeCharVector(std::vector<char16_t>({'a', '\0', '?'}))); },
126 [](Parcel* p) { ASSERT_EQ(OK, p->writeString16Vector(std::optional<std::vector<std::optional<String16>>>(std::nullopt))); },
127 [](Parcel* p) { ASSERT_EQ(OK, p->writeString16Vector(std::optional<std::vector<std::optional<String16>>>({std::nullopt, String16(), String16(u"a")}))); },
128 [](Parcel* p) { ASSERT_EQ(OK, p->writeString16Vector(std::vector<std::optional<String16>>({}))); },
129 [](Parcel* p) { ASSERT_EQ(OK, p->writeString16Vector(std::vector<std::optional<String16>>({std::nullopt, String16(), String16(u"a")}))); },
130 [](Parcel* p) { ASSERT_EQ(OK, p->writeUtf8VectorAsUtf16Vector(std::optional<std::vector<std::optional<std::string>>>(std::nullopt))); },
131 [](Parcel* p) { ASSERT_EQ(OK, p->writeUtf8VectorAsUtf16Vector(std::optional<std::vector<std::optional<std::string>>>({std::nullopt, std::string(), std::string("a")}))); },
132 [](Parcel* p) { ASSERT_EQ(OK, p->writeUtf8VectorAsUtf16Vector(std::vector<std::optional<std::string>>({}))); },
133 [](Parcel* p) { ASSERT_EQ(OK, p->writeUtf8VectorAsUtf16Vector(std::vector<std::optional<std::string>>({std::nullopt, std::string(), std::string("a")}))); },
134 [](Parcel* p) { ASSERT_EQ(OK, p->writeStrongBinderVector(std::optional<std::vector<sp<IBinder>>>(std::nullopt))); },
135 [](Parcel* p) { ASSERT_EQ(OK, p->writeStrongBinderVector(std::optional<std::vector<sp<IBinder>>>({nullptr}))); },
136 [](Parcel* p) { ASSERT_EQ(OK, p->writeStrongBinderVector(std::vector<sp<IBinder>>({}))); },
137 [](Parcel* p) { ASSERT_EQ(OK, p->writeStrongBinderVector(std::vector<sp<IBinder>>({nullptr}))); },
138 [](Parcel* p) { ASSERT_EQ(OK, p->writeEnumVector(std::optional<std::vector<EnumInt8>>(std::nullopt))); },
139 [](Parcel* p) { ASSERT_EQ(OK, p->writeEnumVector(std::optional<std::vector<EnumInt8>>({Int8A, Int8B}))); },
140 [](Parcel* p) { ASSERT_EQ(OK, p->writeEnumVector(std::vector<EnumInt8>({Int8A, Int8B}))); },
141 [](Parcel* p) { ASSERT_EQ(OK, p->writeEnumVector(std::optional<std::vector<EnumInt32>>(std::nullopt))); },
142 [](Parcel* p) { ASSERT_EQ(OK, p->writeEnumVector(std::optional<std::vector<EnumInt32>>({Int32A, Int32B}))); },
143 [](Parcel* p) { ASSERT_EQ(OK, p->writeEnumVector(std::vector<EnumInt32>({Int32A, Int32B}))); },
144 [](Parcel* p) { ASSERT_EQ(OK, p->writeEnumVector(std::optional<std::vector<EnumInt64>>(std::nullopt))); },
145 [](Parcel* p) { ASSERT_EQ(OK, p->writeEnumVector(std::optional<std::vector<EnumInt64>>({Int64A, Int64B}))); },
146 [](Parcel* p) { ASSERT_EQ(OK, p->writeEnumVector(std::vector<EnumInt64>({Int64A, Int64B}))); },
147 [](Parcel* p) { ASSERT_EQ(OK, p->writeParcelableVector(std::optional<std::vector<std::optional<AParcelable>>>(std::nullopt))); },
148 [](Parcel* p) { ASSERT_EQ(OK, p->writeParcelableVector(std::optional<std::vector<std::optional<AParcelable>>>({AParcelable()}))); },
149 [](Parcel* p) { ASSERT_EQ(OK, p->writeParcelableVector(std::vector<AParcelable>({AParcelable()}))); },
150 [](Parcel* p) { ASSERT_EQ(OK, p->writeNullableParcelable(std::optional<AParcelable>(std::nullopt))); },
151 [](Parcel* p) { ASSERT_EQ(OK, p->writeNullableParcelable(std::optional<AParcelable>(AParcelable()))); },
152 [](Parcel* p) { ASSERT_EQ(OK, p->writeParcelable(AParcelable())); },
153 [](Parcel* p) { ASSERT_EQ(OK, p->writeVectorSize(std::vector<int32_t>({0, 1, 17}))); },
154 [](Parcel* p) { ASSERT_EQ(OK, p->writeVectorSize(std::vector<AParcelable>({}))); },
155 [](Parcel* p) { ASSERT_EQ(OK, p->writeVectorSize(std::optional<std::vector<int32_t>>(std::nullopt))); },
156 [](Parcel* p) { ASSERT_EQ(OK, p->writeVectorSize(std::optional<std::vector<int32_t>>({0, 1, 17}))); },
157 [](Parcel* p) { ASSERT_EQ(OK, p->writeNoException()); },
Steven Moreland8ea9b5d2021-09-02 16:10:15 -0700[diff] [blame]158 [](Parcel* p) { ASSERT_EQ(OK, binder::Status::ok().writeToParcel(p)); },
159 [](Parcel* p) { ASSERT_EQ(OK, binder::Status::fromExceptionCode(7, ":D").writeToParcel(p)); },
160 [](Parcel* p) { ASSERT_EQ(OK, binder::Status::fromServiceSpecificError(8, ":/").writeToParcel(p)); },
Steven Moreland59640db2021-07-22 17:19:31 -0700[diff] [blame]161};
162// clang-format on
163
164static void setParcelForRpc(Parcel* p, uint32_t version) {
165 auto session = RpcSession::make();
166 CHECK(session->setProtocolVersion(version));
167 CHECK_EQ(OK, session->addNullDebuggingClient());
168 p->markForRpc(session);
169}
170
171static std::string buildRepr(uint32_t version) {
172 std::string result;
173 for (size_t i = 0; i < kFillFuns.size(); i++) {
174 if (i != 0) result += "|";
175 Parcel p;
176 setParcelForRpc(&p, version);
177 kFillFuns[i](&p);
178
179 result += base::HexString(p.data(), p.dataSize());
180 }
181 return result;
182}
183
184static void checkRepr(const std::string& repr, uint32_t version) {
185 const std::string actualRepr = buildRepr(version);
186
187 auto expected = base::Split(repr, "|");
188 ASSERT_EQ(expected.size(), kFillFuns.size());
189
190 auto actual = base::Split(actualRepr, "|");
191 ASSERT_EQ(actual.size(), kFillFuns.size());
192
193 for (size_t i = 0; i < kFillFuns.size(); i++) {
194 EXPECT_EQ(expected[i], actual[i])
195 << "Format mismatch, see " __FILE__ " line " << (kFillFunIndexLineBase + i);
196 }
197
198 // same check as in the loop, but the above error is more clear to debug,
199 // and this error is more clear to be able to update the source file here.
200 EXPECT_EQ(repr, actualRepr);
201}
202
203const std::string kCurrentRepr =
204 "0300000074006f006b000000|ffffffff|00000000|11000000|00000000|01000000|13270000|"
205 "ffffffffffffffff|0000000000000000|1100000000000000|0000000000000000|0100000000000000|"
206 "1327000000000000|00000000|cdcccc3d|9a991141|0000000000000000|9a9999999999b93f|"
207 "3333333333332240|00000000|61000000|6261626100000000|0000000000000000|0100000061000000|"
208 "040000006261626100000000|0000000000000000|0100000061000000|"
209 "04000000620061006200610000000000|0000000000000000|03000000ffffffff0000000011000000|"
210 "030000000011ff00|01000000|00000000|61000000|3f000000|00000000|80ffffff|00000000|7f000000|"
211 "0000000000000000|0100000061000000|04000000610062006100620000000000|ffffffff|"
212 "0000000000000000|0100000061000000|04000000610062006100620000000000|ffffffff|"
213 "03000000ff001100|00000000|03000000ff001100|ffffffff|0300000000011100|00000000|"
214 "0300000000011100|ffffffff|03000000ffffffff0000000011000000|00000000|"
215 "03000000ffffffff0000000011000000|ffffffff|"
216 "03000000ffffffffffffffff00000000000000001100000000000000|00000000|"
217 "03000000ffffffffffffffff00000000000000001100000000000000|ffffffff|"
218 "03000000000000000000000001000000000000001100000000000000|00000000|"
219 "03000000000000000000000001000000000000001100000000000000|ffffffff|"
220 "0300000000000000cdcccc3d9a991141|00000000|0300000000000000cdcccc3d9a991141|ffffffff|"
221 "0300000000000000000000009a9999999999b93f3333333333332240|00000000|"
222 "0300000000000000000000009a9999999999b93f3333333333332240|ffffffff|"
223 "020000000100000000000000|00000000|020000000100000000000000|ffffffff|"
224 "0300000061000000000000003f000000|00000000|0300000061000000000000003f000000|ffffffff|"
225 "03000000ffffffff00000000000000000100000061000000|00000000|"
226 "03000000ffffffff00000000000000000100000061000000|ffffffff|"
227 "03000000ffffffff00000000000000000100000061000000|00000000|"
228 "03000000ffffffff00000000000000000100000061000000|ffffffff|010000000000000000000000|"
229 "00000000|010000000000000000000000|ffffffff|0200000000010000|0200000000010000|ffffffff|"
230 "020000000000000001000000|020000000000000001000000|ffffffff|"
231 "0200000000000000000000000100000000000000|0200000000000000000000000100000000000000|"
232 "ffffffff|010000000100000025000000|010000000100000025000000|00000000|0100000025000000|"
Steven Moreland8ea9b5d2021-09-02 16:10:15 -0700[diff] [blame]233 "0100000025000000|03000000|00000000|ffffffff|03000000|00000000|00000000|"
234 "07000000020000003a0044000000000000000000|f8ffffff020000003a002f00000000000000000008000000";
Steven Moreland59640db2021-07-22 17:19:31 -0700[diff] [blame]235
Frederick Mayledc07cf82022-05-26 20:30:12 +0000[diff] [blame^]236TEST(RpcWire, V0) {
237 checkRepr(kCurrentRepr, 0);
238}
239
Steven Moreland59640db2021-07-22 17:19:31 -0700[diff] [blame]240TEST(RpcWire, CurrentVersion) {
241 checkRepr(kCurrentRepr, RPC_WIRE_PROTOCOL_VERSION);
242}
243
Frederick Mayledc07cf82022-05-26 20:30:12 +0000[diff] [blame^]244static_assert(RPC_WIRE_PROTOCOL_VERSION == RPC_WIRE_PROTOCOL_VERSION_EXPERIMENTAL,
Steven Moreland853596a2021-07-26 16:45:19 -0700[diff] [blame]245 "If the binder wire protocol is updated, this test should test additional versions. "
246 "The binder wire protocol should only be updated on upstream AOSP.");
Steven Moreland59640db2021-07-22 17:19:31 -0700[diff] [blame]247
248TEST(RpcWire, ReleaseBranchHasFrozenRpcWireProtocol) {
249 if (RPC_WIRE_PROTOCOL_VERSION == RPC_WIRE_PROTOCOL_VERSION_EXPERIMENTAL) {
250 EXPECT_FALSE(base::GetProperty("ro.build.version.codename", "") == "REL")
251 << "Binder RPC wire protocol must be frozen on a release branch!";
252 }
253}
254
255TEST(RpcWire, IfNotExperimentalCodeHasNoExperimentalFeatures) {
256 if (RPC_WIRE_PROTOCOL_VERSION == RPC_WIRE_PROTOCOL_VERSION_EXPERIMENTAL) {
257 GTEST_SKIP() << "Version is experimental, so experimental features are okay.";
258 }
259
260 // if we set the wire protocol version to experimental, none of the code
261 // should introduce a difference (if this fails, it means we have features
262 // which are enabled under experimental mode, but we aren't actually using
263 // or testing them!)
264 checkRepr(kCurrentRepr, RPC_WIRE_PROTOCOL_VERSION_EXPERIMENTAL);
265}
266
267} // namespace android