blob: 2d05fb2505cab866316928c4940bd2212667d80b [file] [log] [blame]
Steven Morelanddea3cf92019-07-16 18:06:55 -07001/*
2 * Copyright (C) 2019 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 */
Steven Moreland89ddfc52020-11-13 02:39:26 +000016#define LOG_TAG "Stability"
17
Steven Morelanddea3cf92019-07-16 18:06:55 -070018#include <binder/Stability.h>
19
Steven Morelanda7fb0182020-02-26 16:02:08 -080020#include <binder/BpBinder.h>
21#include <binder/Binder.h>
22
Steven Morelanddea3cf92019-07-16 18:06:55 -070023namespace android {
24namespace internal {
25
Kalesh Singh8b802912021-03-31 12:13:56 -040026void Stability::forceDowngradeToStability(const sp<IBinder>& binder, Level level) {
Steven Morelande35fef32021-03-23 01:38:24 +000027 // Downgrading a remote binder would require also copying the version from
28 // the binder sent here. In practice though, we don't need to downgrade the
29 // stability of a remote binder, since this would as an effect only restrict
30 // what we can do to it.
31 LOG_ALWAYS_FATAL_IF(!binder || !binder->localBinder(), "Can only downgrade local binder");
32
Steven Moreland16a41062021-07-23 13:35:25 -070033 status_t result = setRepr(binder.get(), level, REPR_LOG | REPR_ALLOW_DOWNGRADE);
Steven Morelande35fef32021-03-23 01:38:24 +000034 LOG_ALWAYS_FATAL_IF(result != OK, "Should only mark known object.");
35}
36
Kalesh Singh8b802912021-03-31 12:13:56 -040037void Stability::forceDowngradeToLocalStability(const sp<IBinder>& binder) {
38 forceDowngradeToStability(binder, getLocalLevel());
39}
40
41void Stability::forceDowngradeToSystemStability(const sp<IBinder>& binder) {
42 forceDowngradeToStability(binder, Level::SYSTEM);
43}
44
45void Stability::forceDowngradeToVendorStability(const sp<IBinder>& binder) {
46 forceDowngradeToStability(binder, Level::VENDOR);
47}
48
Steven Morelanddea3cf92019-07-16 18:06:55 -070049void Stability::markCompilationUnit(IBinder* binder) {
Steven Moreland16a41062021-07-23 13:35:25 -070050 status_t result = setRepr(binder, getLocalLevel(), REPR_LOG);
Steven Morelanddea3cf92019-07-16 18:06:55 -070051 LOG_ALWAYS_FATAL_IF(result != OK, "Should only mark known object.");
52}
53
54void Stability::markVintf(IBinder* binder) {
Steven Moreland16a41062021-07-23 13:35:25 -070055 status_t result = setRepr(binder, Level::VINTF, REPR_LOG);
Steven Morelanddea3cf92019-07-16 18:06:55 -070056 LOG_ALWAYS_FATAL_IF(result != OK, "Should only mark known object.");
57}
58
Steven Morelande5a6a872021-05-19 22:11:37 +000059std::string Stability::debugToString(const sp<IBinder>& binder) {
Steven Moreland16a41062021-07-23 13:35:25 -070060 return levelString(getRepr(binder.get()));
Steven Moreland64ae9172019-08-02 20:45:15 -070061}
62
Steven Morelandc709dd82019-08-05 20:30:14 -070063void Stability::markVndk(IBinder* binder) {
Steven Moreland16a41062021-07-23 13:35:25 -070064 status_t result = setRepr(binder, Level::VENDOR, REPR_LOG);
Steven Morelandc709dd82019-08-05 20:30:14 -070065 LOG_ALWAYS_FATAL_IF(result != OK, "Should only mark known object.");
66}
67
Steven Moreland86a17f82019-09-10 10:18:00 -070068bool Stability::requiresVintfDeclaration(const sp<IBinder>& binder) {
Steven Moreland16a41062021-07-23 13:35:25 -070069 return check(getRepr(binder.get()), Level::VINTF);
Steven Moreland86a17f82019-09-10 10:18:00 -070070}
71
Steven Moreland2a9f32f2019-07-31 17:51:25 -070072void Stability::tryMarkCompilationUnit(IBinder* binder) {
Steven Moreland16a41062021-07-23 13:35:25 -070073 (void)setRepr(binder, getLocalLevel(), REPR_NONE);
Steven Moreland2f2c4e02020-07-28 18:11:21 +000074}
75
Steven Moreland89ddfc52020-11-13 02:39:26 +000076Stability::Level Stability::getLocalLevel() {
Steven Morelandb6c7e222021-02-18 19:20:14 +000077#ifdef __ANDROID_APEX__
78#error APEX can't use libbinder (must use libbinder_ndk)
79#endif
80
Steven Moreland2f2c4e02020-07-28 18:11:21 +000081#ifdef __ANDROID_VNDK__
Steven Morelandb6c7e222021-02-18 19:20:14 +000082 return Level::VENDOR;
Steven Moreland2f2c4e02020-07-28 18:11:21 +000083#else
84 // TODO(b/139325195): split up stability levels for system/APEX.
85 return Level::SYSTEM;
86#endif
Steven Moreland2a9f32f2019-07-31 17:51:25 -070087}
88
Steven Moreland16a41062021-07-23 13:35:25 -070089status_t Stability::setRepr(IBinder* binder, int32_t setting, uint32_t flags) {
Steven Morelande35fef32021-03-23 01:38:24 +000090 bool log = flags & REPR_LOG;
91 bool allowDowngrade = flags & REPR_ALLOW_DOWNGRADE;
92
Steven Moreland16a41062021-07-23 13:35:25 -070093 int16_t current = getRepr(binder);
Steven Morelanddea3cf92019-07-16 18:06:55 -070094
95 // null binder is always written w/ 'UNDECLARED' stability
96 if (binder == nullptr) {
Steven Moreland16a41062021-07-23 13:35:25 -070097 if (setting == UNDECLARED) {
Steven Morelanddea3cf92019-07-16 18:06:55 -070098 return OK;
99 } else {
Steven Moreland2a9f32f2019-07-31 17:51:25 -0700100 if (log) {
Steven Moreland16a41062021-07-23 13:35:25 -0700101 ALOGE("Null binder written with stability %s.", levelString(setting).c_str());
Steven Moreland2a9f32f2019-07-31 17:51:25 -0700102 }
Steven Morelanddea3cf92019-07-16 18:06:55 -0700103 return BAD_TYPE;
104 }
105 }
106
Steven Moreland16a41062021-07-23 13:35:25 -0700107 if (!isDeclaredLevel(setting)) {
Steven Moreland2a9f32f2019-07-31 17:51:25 -0700108 if (log) {
Steven Moreland16a41062021-07-23 13:35:25 -0700109 ALOGE("Can only set known stability, not %d.", setting);
Steven Morelanddea3cf92019-07-16 18:06:55 -0700110 }
Steven Moreland2a9f32f2019-07-31 17:51:25 -0700111 return BAD_TYPE;
Steven Morelanddea3cf92019-07-16 18:06:55 -0700112 }
Steven Moreland16a41062021-07-23 13:35:25 -0700113 Level levelSetting = static_cast<Level>(setting);
Steven Morelanddea3cf92019-07-16 18:06:55 -0700114
Steven Morelande35fef32021-03-23 01:38:24 +0000115 if (current == setting) return OK;
116
Steven Moreland16a41062021-07-23 13:35:25 -0700117 bool hasAlreadyBeenSet = current != Level::UNDECLARED;
118 bool isAllowedDowngrade = allowDowngrade && check(current, levelSetting);
Steven Morelande35fef32021-03-23 01:38:24 +0000119 if (hasAlreadyBeenSet && !isAllowedDowngrade) {
Steven Moreland2a9f32f2019-07-31 17:51:25 -0700120 if (log) {
Steven Moreland89ddfc52020-11-13 02:39:26 +0000121 ALOGE("Interface being set with %s but it is already marked as %s",
Steven Moreland16a41062021-07-23 13:35:25 -0700122 levelString(setting).c_str(), levelString(current).c_str());
Steven Moreland2a9f32f2019-07-31 17:51:25 -0700123 }
Steven Morelanddea3cf92019-07-16 18:06:55 -0700124 return BAD_TYPE;
125 }
126
Steven Morelande35fef32021-03-23 01:38:24 +0000127 if (isAllowedDowngrade) {
Steven Moreland16a41062021-07-23 13:35:25 -0700128 ALOGI("Interface set with %s downgraded to %s stability", levelString(current).c_str(),
129 levelString(setting).c_str());
Steven Morelande35fef32021-03-23 01:38:24 +0000130 }
Steven Morelanddea3cf92019-07-16 18:06:55 -0700131
Steven Morelanda7fb0182020-02-26 16:02:08 -0800132 BBinder* local = binder->localBinder();
133 if (local != nullptr) {
Steven Moreland16a41062021-07-23 13:35:25 -0700134 local->mStability = setting;
Steven Morelanda7fb0182020-02-26 16:02:08 -0800135 } else {
Steven Moreland16a41062021-07-23 13:35:25 -0700136 binder->remoteBinder()->mStability = setting;
Steven Morelanda7fb0182020-02-26 16:02:08 -0800137 }
Steven Morelanddea3cf92019-07-16 18:06:55 -0700138
139 return OK;
140}
141
Steven Moreland16a41062021-07-23 13:35:25 -0700142int16_t Stability::getRepr(IBinder* binder) {
Steven Moreland89ddfc52020-11-13 02:39:26 +0000143 if (binder == nullptr) {
Steven Moreland16a41062021-07-23 13:35:25 -0700144 return Level::UNDECLARED;
Steven Moreland89ddfc52020-11-13 02:39:26 +0000145 }
Steven Morelanddea3cf92019-07-16 18:06:55 -0700146
Steven Morelanda7fb0182020-02-26 16:02:08 -0800147 BBinder* local = binder->localBinder();
148 if (local != nullptr) {
Steven Moreland16a41062021-07-23 13:35:25 -0700149 return local->mStability;
Steven Morelanda7fb0182020-02-26 16:02:08 -0800150 }
151
Steven Moreland16a41062021-07-23 13:35:25 -0700152 return binder->remoteBinder()->mStability;
Steven Morelanddea3cf92019-07-16 18:06:55 -0700153}
154
Steven Moreland16a41062021-07-23 13:35:25 -0700155bool Stability::check(int16_t provided, Level required) {
156 bool stable = (provided & required) == required;
Steven Morelanddea3cf92019-07-16 18:06:55 -0700157
Steven Moreland16a41062021-07-23 13:35:25 -0700158 if (provided != UNDECLARED && !isDeclaredLevel(provided)) {
159 ALOGE("Unknown stability when checking interface stability %d.", provided);
Steven Morelanddea3cf92019-07-16 18:06:55 -0700160
161 stable = false;
162 }
163
Steven Morelanddea3cf92019-07-16 18:06:55 -0700164 return stable;
165}
166
Steven Moreland16a41062021-07-23 13:35:25 -0700167bool Stability::isDeclaredLevel(int32_t stability) {
Steven Morelanddea3cf92019-07-16 18:06:55 -0700168 return stability == VENDOR || stability == SYSTEM || stability == VINTF;
169}
170
Steven Moreland16a41062021-07-23 13:35:25 -0700171std::string Stability::levelString(int32_t level) {
Steven Moreland89ddfc52020-11-13 02:39:26 +0000172 switch (level) {
Steven Morelanddea3cf92019-07-16 18:06:55 -0700173 case Level::UNDECLARED: return "undeclared stability";
174 case Level::VENDOR: return "vendor stability";
175 case Level::SYSTEM: return "system stability";
176 case Level::VINTF: return "vintf stability";
177 }
Steven Moreland89ddfc52020-11-13 02:39:26 +0000178 return "unknown stability " + std::to_string(level);
Steven Morelanddea3cf92019-07-16 18:06:55 -0700179}
180
181} // namespace internal
Steven Moreland86a17f82019-09-10 10:18:00 -0700182} // namespace stability