• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright 2019 The Abseil Authors.
2 //
3 // Licensed under the Apache License, Version 2.0 (the "License");
4 // you may not use this file except in compliance with the License.
5 // You may obtain a copy of the License at
6 //
7 //      https://www.apache.org/licenses/LICENSE-2.0
8 //
9 // Unless required by applicable law or agreed to in writing, software
10 // distributed under the License is distributed on an "AS IS" BASIS,
11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 // See the License for the specific language governing permissions and
13 // limitations under the License.
14 #include "absl/status/status.h"
15 
16 #include <cassert>
17 
18 #include "absl/base/internal/raw_logging.h"
19 #include "absl/debugging/stacktrace.h"
20 #include "absl/debugging/symbolize.h"
21 #include "absl/status/status_payload_printer.h"
22 #include "absl/strings/escaping.h"
23 #include "absl/strings/str_cat.h"
24 #include "absl/strings/str_format.h"
25 #include "absl/strings/str_split.h"
26 
27 namespace absl {
28 ABSL_NAMESPACE_BEGIN
29 
30 // The implementation was intentionally kept same as util::error::Code_Name()
31 // to ease the migration.
StatusCodeToString(StatusCode code)32 std::string StatusCodeToString(StatusCode code) {
33   switch (code) {
34     case StatusCode::kOk:
35       return "OK";
36     case StatusCode::kCancelled:
37       return "CANCELLED";
38     case StatusCode::kUnknown:
39       return "UNKNOWN";
40     case StatusCode::kInvalidArgument:
41       return "INVALID_ARGUMENT";
42     case StatusCode::kDeadlineExceeded:
43       return "DEADLINE_EXCEEDED";
44     case StatusCode::kNotFound:
45       return "NOT_FOUND";
46     case StatusCode::kAlreadyExists:
47       return "ALREADY_EXISTS";
48     case StatusCode::kPermissionDenied:
49       return "PERMISSION_DENIED";
50     case StatusCode::kUnauthenticated:
51       return "UNAUTHENTICATED";
52     case StatusCode::kResourceExhausted:
53       return "RESOURCE_EXHAUSTED";
54     case StatusCode::kFailedPrecondition:
55       return "FAILED_PRECONDITION";
56     case StatusCode::kAborted:
57       return "ABORTED";
58     case StatusCode::kOutOfRange:
59       return "OUT_OF_RANGE";
60     case StatusCode::kUnimplemented:
61       return "UNIMPLEMENTED";
62     case StatusCode::kInternal:
63       return "INTERNAL";
64     case StatusCode::kUnavailable:
65       return "UNAVAILABLE";
66     case StatusCode::kDataLoss:
67       return "DATA_LOSS";
68     default:
69       return "";
70   }
71 }
72 
operator <<(std::ostream & os,StatusCode code)73 std::ostream& operator<<(std::ostream& os, StatusCode code) {
74   return os << StatusCodeToString(code);
75 }
76 
77 namespace status_internal {
78 
FindPayloadIndexByUrl(const Payloads * payloads,absl::string_view type_url)79 static int FindPayloadIndexByUrl(const Payloads* payloads,
80                                  absl::string_view type_url) {
81   if (payloads == nullptr) return -1;
82 
83   for (size_t i = 0; i < payloads->size(); ++i) {
84     if ((*payloads)[i].type_url == type_url) return i;
85   }
86 
87   return -1;
88 }
89 
90 // Convert canonical code to a value known to this binary.
MapToLocalCode(int value)91 absl::StatusCode MapToLocalCode(int value) {
92   absl::StatusCode code = static_cast<absl::StatusCode>(value);
93   switch (code) {
94     case absl::StatusCode::kOk:
95     case absl::StatusCode::kCancelled:
96     case absl::StatusCode::kUnknown:
97     case absl::StatusCode::kInvalidArgument:
98     case absl::StatusCode::kDeadlineExceeded:
99     case absl::StatusCode::kNotFound:
100     case absl::StatusCode::kAlreadyExists:
101     case absl::StatusCode::kPermissionDenied:
102     case absl::StatusCode::kResourceExhausted:
103     case absl::StatusCode::kFailedPrecondition:
104     case absl::StatusCode::kAborted:
105     case absl::StatusCode::kOutOfRange:
106     case absl::StatusCode::kUnimplemented:
107     case absl::StatusCode::kInternal:
108     case absl::StatusCode::kUnavailable:
109     case absl::StatusCode::kDataLoss:
110     case absl::StatusCode::kUnauthenticated:
111       return code;
112     default:
113       return absl::StatusCode::kUnknown;
114   }
115 }
116 }  // namespace status_internal
117 
GetPayload(absl::string_view type_url) const118 absl::optional<absl::Cord> Status::GetPayload(
119     absl::string_view type_url) const {
120   const auto* payloads = GetPayloads();
121   int index = status_internal::FindPayloadIndexByUrl(payloads, type_url);
122   if (index != -1) return (*payloads)[index].payload;
123 
124   return absl::nullopt;
125 }
126 
SetPayload(absl::string_view type_url,absl::Cord payload)127 void Status::SetPayload(absl::string_view type_url, absl::Cord payload) {
128   if (ok()) return;
129 
130   PrepareToModify();
131 
132   status_internal::StatusRep* rep = RepToPointer(rep_);
133   if (!rep->payloads) {
134     rep->payloads = absl::make_unique<status_internal::Payloads>();
135   }
136 
137   int index =
138       status_internal::FindPayloadIndexByUrl(rep->payloads.get(), type_url);
139   if (index != -1) {
140     (*rep->payloads)[index].payload = std::move(payload);
141     return;
142   }
143 
144   rep->payloads->push_back({std::string(type_url), std::move(payload)});
145 }
146 
ErasePayload(absl::string_view type_url)147 bool Status::ErasePayload(absl::string_view type_url) {
148   int index = status_internal::FindPayloadIndexByUrl(GetPayloads(), type_url);
149   if (index != -1) {
150     GetPayloads()->erase(GetPayloads()->begin() + index);
151     return true;
152   }
153 
154   return false;
155 }
156 
ForEachPayload(const std::function<void (absl::string_view,const absl::Cord &)> & visitor) const157 void Status::ForEachPayload(
158     const std::function<void(absl::string_view, const absl::Cord&)>& visitor)
159     const {
160   if (auto* payloads = GetPayloads()) {
161     bool in_reverse =
162         payloads->size() > 1 && reinterpret_cast<uintptr_t>(payloads) % 13 > 6;
163 
164     for (size_t index = 0; index < payloads->size(); ++index) {
165       const auto& elem =
166           (*payloads)[in_reverse ? payloads->size() - 1 - index : index];
167 
168 #ifdef NDEBUG
169       visitor(elem.type_url, elem.payload);
170 #else
171       // In debug mode invaldiate the type url to prevent users from relying on
172       // this std::string lifetime.
173 
174       // NOLINTNEXTLINE intentional extra conversion to force temporary.
175       visitor(std::string(elem.type_url), elem.payload);
176 #endif  // NDEBUG
177     }
178   }
179 }
180 
EmptyString()181 const std::string* Status::EmptyString() {
182   static std::string* empty_string = new std::string();
183   return empty_string;
184 }
185 
186 constexpr const char Status::kMovedFromString[];
187 
MovedFromString()188 const std::string* Status::MovedFromString() {
189   static std::string* moved_from_string = new std::string(kMovedFromString);
190   return moved_from_string;
191 }
192 
UnrefNonInlined(uintptr_t rep)193 void Status::UnrefNonInlined(uintptr_t rep) {
194   status_internal::StatusRep* r = RepToPointer(rep);
195   // Fast path: if ref==1, there is no need for a RefCountDec (since
196   // this is the only reference and therefore no other thread is
197   // allowed to be mucking with r).
198   if (r->ref.load(std::memory_order_acquire) == 1 ||
199       r->ref.fetch_sub(1, std::memory_order_acq_rel) - 1 == 0) {
200     delete r;
201   }
202 }
203 
NewRep(absl::StatusCode code,absl::string_view msg,std::unique_ptr<status_internal::Payloads> payloads)204 uintptr_t Status::NewRep(absl::StatusCode code, absl::string_view msg,
205                          std::unique_ptr<status_internal::Payloads> payloads) {
206   status_internal::StatusRep* rep = new status_internal::StatusRep;
207   rep->ref.store(1, std::memory_order_relaxed);
208   rep->code = code;
209   rep->message.assign(msg.data(), msg.size());
210   rep->payloads = std::move(payloads);
211   return PointerToRep(rep);
212 }
213 
Status(absl::StatusCode code,absl::string_view msg)214 Status::Status(absl::StatusCode code, absl::string_view msg)
215     : rep_(CodeToInlinedRep(code)) {
216   if (code != absl::StatusCode::kOk && !msg.empty()) {
217     rep_ = NewRep(code, msg, nullptr);
218   }
219 }
220 
raw_code() const221 int Status::raw_code() const {
222   if (IsInlined(rep_)) {
223     return static_cast<int>(InlinedRepToCode(rep_));
224   }
225   status_internal::StatusRep* rep = RepToPointer(rep_);
226   return static_cast<int>(rep->code);
227 }
228 
code() const229 absl::StatusCode Status::code() const {
230   return status_internal::MapToLocalCode(raw_code());
231 }
232 
PrepareToModify()233 void Status::PrepareToModify() {
234   ABSL_RAW_CHECK(!ok(), "PrepareToModify shouldn't be called on OK status.");
235   if (IsInlined(rep_)) {
236     rep_ = NewRep(static_cast<absl::StatusCode>(raw_code()),
237                   absl::string_view(), nullptr);
238     return;
239   }
240 
241   uintptr_t rep_i = rep_;
242   status_internal::StatusRep* rep = RepToPointer(rep_);
243   if (rep->ref.load(std::memory_order_acquire) != 1) {
244     std::unique_ptr<status_internal::Payloads> payloads;
245     if (rep->payloads) {
246       payloads = absl::make_unique<status_internal::Payloads>(*rep->payloads);
247     }
248     rep_ = NewRep(rep->code, message(), std::move(payloads));
249     UnrefNonInlined(rep_i);
250   }
251 }
252 
EqualsSlow(const absl::Status & a,const absl::Status & b)253 bool Status::EqualsSlow(const absl::Status& a, const absl::Status& b) {
254   if (IsInlined(a.rep_) != IsInlined(b.rep_)) return false;
255   if (a.message() != b.message()) return false;
256   if (a.raw_code() != b.raw_code()) return false;
257   if (a.GetPayloads() == b.GetPayloads()) return true;
258 
259   const status_internal::Payloads no_payloads;
260   const status_internal::Payloads* larger_payloads =
261       a.GetPayloads() ? a.GetPayloads() : &no_payloads;
262   const status_internal::Payloads* smaller_payloads =
263       b.GetPayloads() ? b.GetPayloads() : &no_payloads;
264   if (larger_payloads->size() < smaller_payloads->size()) {
265     std::swap(larger_payloads, smaller_payloads);
266   }
267   if ((larger_payloads->size() - smaller_payloads->size()) > 1) return false;
268   // Payloads can be ordered differently, so we can't just compare payload
269   // vectors.
270   for (const auto& payload : *larger_payloads) {
271 
272     bool found = false;
273     for (const auto& other_payload : *smaller_payloads) {
274       if (payload.type_url == other_payload.type_url) {
275         if (payload.payload != other_payload.payload) {
276           return false;
277         }
278         found = true;
279         break;
280       }
281     }
282     if (!found) return false;
283   }
284   return true;
285 }
286 
ToStringSlow() const287 std::string Status::ToStringSlow() const {
288   std::string text;
289   absl::StrAppend(&text, absl::StatusCodeToString(code()), ": ", message());
290   status_internal::StatusPayloadPrinter printer =
291       status_internal::GetStatusPayloadPrinter();
292   this->ForEachPayload([&](absl::string_view type_url,
293                            const absl::Cord& payload) {
294     absl::optional<std::string> result;
295     if (printer) result = printer(type_url, payload);
296     absl::StrAppend(
297         &text, " [", type_url, "='",
298         result.has_value() ? *result : absl::CHexEscape(std::string(payload)),
299         "']");
300   });
301 
302   return text;
303 }
304 
operator <<(std::ostream & os,const Status & x)305 std::ostream& operator<<(std::ostream& os, const Status& x) {
306   os << x.ToString();
307   return os;
308 }
309 
AbortedError(absl::string_view message)310 Status AbortedError(absl::string_view message) {
311   return Status(absl::StatusCode::kAborted, message);
312 }
313 
AlreadyExistsError(absl::string_view message)314 Status AlreadyExistsError(absl::string_view message) {
315   return Status(absl::StatusCode::kAlreadyExists, message);
316 }
317 
CancelledError(absl::string_view message)318 Status CancelledError(absl::string_view message) {
319   return Status(absl::StatusCode::kCancelled, message);
320 }
321 
DataLossError(absl::string_view message)322 Status DataLossError(absl::string_view message) {
323   return Status(absl::StatusCode::kDataLoss, message);
324 }
325 
DeadlineExceededError(absl::string_view message)326 Status DeadlineExceededError(absl::string_view message) {
327   return Status(absl::StatusCode::kDeadlineExceeded, message);
328 }
329 
FailedPreconditionError(absl::string_view message)330 Status FailedPreconditionError(absl::string_view message) {
331   return Status(absl::StatusCode::kFailedPrecondition, message);
332 }
333 
InternalError(absl::string_view message)334 Status InternalError(absl::string_view message) {
335   return Status(absl::StatusCode::kInternal, message);
336 }
337 
InvalidArgumentError(absl::string_view message)338 Status InvalidArgumentError(absl::string_view message) {
339   return Status(absl::StatusCode::kInvalidArgument, message);
340 }
341 
NotFoundError(absl::string_view message)342 Status NotFoundError(absl::string_view message) {
343   return Status(absl::StatusCode::kNotFound, message);
344 }
345 
OutOfRangeError(absl::string_view message)346 Status OutOfRangeError(absl::string_view message) {
347   return Status(absl::StatusCode::kOutOfRange, message);
348 }
349 
PermissionDeniedError(absl::string_view message)350 Status PermissionDeniedError(absl::string_view message) {
351   return Status(absl::StatusCode::kPermissionDenied, message);
352 }
353 
ResourceExhaustedError(absl::string_view message)354 Status ResourceExhaustedError(absl::string_view message) {
355   return Status(absl::StatusCode::kResourceExhausted, message);
356 }
357 
UnauthenticatedError(absl::string_view message)358 Status UnauthenticatedError(absl::string_view message) {
359   return Status(absl::StatusCode::kUnauthenticated, message);
360 }
361 
UnavailableError(absl::string_view message)362 Status UnavailableError(absl::string_view message) {
363   return Status(absl::StatusCode::kUnavailable, message);
364 }
365 
UnimplementedError(absl::string_view message)366 Status UnimplementedError(absl::string_view message) {
367   return Status(absl::StatusCode::kUnimplemented, message);
368 }
369 
UnknownError(absl::string_view message)370 Status UnknownError(absl::string_view message) {
371   return Status(absl::StatusCode::kUnknown, message);
372 }
373 
IsAborted(const Status & status)374 bool IsAborted(const Status& status) {
375   return status.code() == absl::StatusCode::kAborted;
376 }
377 
IsAlreadyExists(const Status & status)378 bool IsAlreadyExists(const Status& status) {
379   return status.code() == absl::StatusCode::kAlreadyExists;
380 }
381 
IsCancelled(const Status & status)382 bool IsCancelled(const Status& status) {
383   return status.code() == absl::StatusCode::kCancelled;
384 }
385 
IsDataLoss(const Status & status)386 bool IsDataLoss(const Status& status) {
387   return status.code() == absl::StatusCode::kDataLoss;
388 }
389 
IsDeadlineExceeded(const Status & status)390 bool IsDeadlineExceeded(const Status& status) {
391   return status.code() == absl::StatusCode::kDeadlineExceeded;
392 }
393 
IsFailedPrecondition(const Status & status)394 bool IsFailedPrecondition(const Status& status) {
395   return status.code() == absl::StatusCode::kFailedPrecondition;
396 }
397 
IsInternal(const Status & status)398 bool IsInternal(const Status& status) {
399   return status.code() == absl::StatusCode::kInternal;
400 }
401 
IsInvalidArgument(const Status & status)402 bool IsInvalidArgument(const Status& status) {
403   return status.code() == absl::StatusCode::kInvalidArgument;
404 }
405 
IsNotFound(const Status & status)406 bool IsNotFound(const Status& status) {
407   return status.code() == absl::StatusCode::kNotFound;
408 }
409 
IsOutOfRange(const Status & status)410 bool IsOutOfRange(const Status& status) {
411   return status.code() == absl::StatusCode::kOutOfRange;
412 }
413 
IsPermissionDenied(const Status & status)414 bool IsPermissionDenied(const Status& status) {
415   return status.code() == absl::StatusCode::kPermissionDenied;
416 }
417 
IsResourceExhausted(const Status & status)418 bool IsResourceExhausted(const Status& status) {
419   return status.code() == absl::StatusCode::kResourceExhausted;
420 }
421 
IsUnauthenticated(const Status & status)422 bool IsUnauthenticated(const Status& status) {
423   return status.code() == absl::StatusCode::kUnauthenticated;
424 }
425 
IsUnavailable(const Status & status)426 bool IsUnavailable(const Status& status) {
427   return status.code() == absl::StatusCode::kUnavailable;
428 }
429 
IsUnimplemented(const Status & status)430 bool IsUnimplemented(const Status& status) {
431   return status.code() == absl::StatusCode::kUnimplemented;
432 }
433 
IsUnknown(const Status & status)434 bool IsUnknown(const Status& status) {
435   return status.code() == absl::StatusCode::kUnknown;
436 }
437 
438 ABSL_NAMESPACE_END
439 }  // namespace absl
440