2019-08-23 20:38:04 +02:00
|
|
|
//
|
|
|
|
// Copyright 2019 The Abseil Authors.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
// you may not use this file except in compliance with the License.
|
|
|
|
// You may obtain a copy of the License at
|
|
|
|
//
|
|
|
|
// https://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
//
|
|
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
// See the License for the specific language governing permissions and
|
|
|
|
// limitations under the License.
|
|
|
|
|
|
|
|
#include "absl/flags/internal/flag.h"
|
|
|
|
|
2020-06-17 15:53:10 +02:00
|
|
|
#include <assert.h>
|
2020-01-10 17:42:35 +01:00
|
|
|
#include <stddef.h>
|
|
|
|
#include <stdint.h>
|
|
|
|
#include <string.h>
|
|
|
|
|
2020-06-17 15:53:10 +02:00
|
|
|
#include <array>
|
2020-01-10 17:42:35 +01:00
|
|
|
#include <atomic>
|
|
|
|
#include <memory>
|
2020-06-17 15:53:10 +02:00
|
|
|
#include <new>
|
2020-01-10 17:42:35 +01:00
|
|
|
#include <string>
|
2020-06-17 15:53:10 +02:00
|
|
|
#include <typeinfo>
|
2020-01-10 17:42:35 +01:00
|
|
|
|
2020-06-17 15:53:10 +02:00
|
|
|
#include "absl/base/call_once.h"
|
2020-03-26 16:48:01 +01:00
|
|
|
#include "absl/base/casts.h"
|
2020-01-10 17:42:35 +01:00
|
|
|
#include "absl/base/config.h"
|
2019-10-21 19:21:03 +02:00
|
|
|
#include "absl/base/optimization.h"
|
2020-06-17 15:53:10 +02:00
|
|
|
#include "absl/flags/config.h"
|
2020-01-10 17:42:35 +01:00
|
|
|
#include "absl/flags/internal/commandlineflag.h"
|
2020-01-03 17:41:10 +01:00
|
|
|
#include "absl/flags/usage_config.h"
|
2020-06-17 15:53:10 +02:00
|
|
|
#include "absl/memory/memory.h"
|
2020-01-10 17:42:35 +01:00
|
|
|
#include "absl/strings/str_cat.h"
|
|
|
|
#include "absl/strings/string_view.h"
|
2019-08-23 20:38:04 +02:00
|
|
|
#include "absl/synchronization/mutex.h"
|
|
|
|
|
|
|
|
namespace absl {
|
2019-12-12 19:36:03 +01:00
|
|
|
ABSL_NAMESPACE_BEGIN
|
2019-08-23 20:38:04 +02:00
|
|
|
namespace flags_internal {
|
2020-01-03 17:41:10 +01:00
|
|
|
|
|
|
|
// The help message indicating that the commandline flag has been
|
|
|
|
// 'stripped'. It will not show up when doing "-help" and its
|
|
|
|
// variants. The flag is stripped if ABSL_FLAGS_STRIP_HELP is set to 1
|
|
|
|
// before including absl/flags/flag.h
|
|
|
|
const char kStrippedFlagHelp[] = "\001\002\003\004 (unknown) \004\003\002\001";
|
|
|
|
|
2019-10-21 19:21:03 +02:00
|
|
|
namespace {
|
2019-08-23 20:38:04 +02:00
|
|
|
|
2019-10-21 19:21:03 +02:00
|
|
|
// Currently we only validate flag values for user-defined flag types.
|
2020-03-31 21:32:35 +02:00
|
|
|
bool ShouldValidateFlagValue(FlagFastTypeId flag_type_id) {
|
2020-05-19 02:53:14 +02:00
|
|
|
#define DONT_VALIDATE(T, _) \
|
2020-03-31 21:32:35 +02:00
|
|
|
if (flag_type_id == base_internal::FastTypeId<T>()) return false;
|
2020-05-19 02:53:14 +02:00
|
|
|
ABSL_FLAGS_INTERNAL_SUPPORTED_TYPES(DONT_VALIDATE)
|
2019-10-21 19:21:03 +02:00
|
|
|
#undef DONT_VALIDATE
|
2019-08-23 20:38:04 +02:00
|
|
|
|
2019-10-21 19:21:03 +02:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2019-12-12 19:36:03 +01:00
|
|
|
// RAII helper used to temporarily unlock and relock `absl::Mutex`.
|
|
|
|
// This is used when we need to ensure that locks are released while
|
|
|
|
// invoking user supplied callbacks and then reacquired, since callbacks may
|
|
|
|
// need to acquire these locks themselves.
|
|
|
|
class MutexRelock {
|
|
|
|
public:
|
2020-06-17 15:53:10 +02:00
|
|
|
explicit MutexRelock(absl::Mutex& mu) : mu_(mu) { mu_.Unlock(); }
|
|
|
|
~MutexRelock() { mu_.Lock(); }
|
2019-12-12 19:36:03 +01:00
|
|
|
|
|
|
|
MutexRelock(const MutexRelock&) = delete;
|
|
|
|
MutexRelock& operator=(const MutexRelock&) = delete;
|
|
|
|
|
|
|
|
private:
|
2020-06-17 15:53:10 +02:00
|
|
|
absl::Mutex& mu_;
|
2019-12-12 19:36:03 +01:00
|
|
|
};
|
|
|
|
|
2019-10-21 19:21:03 +02:00
|
|
|
} // namespace
|
|
|
|
|
2020-03-23 21:16:18 +01:00
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
// Persistent state of the flag data.
|
|
|
|
|
|
|
|
class FlagImpl;
|
|
|
|
|
|
|
|
class FlagState : public flags_internal::FlagStateInterface {
|
|
|
|
public:
|
|
|
|
template <typename V>
|
2020-06-17 15:53:10 +02:00
|
|
|
FlagState(FlagImpl& flag_impl, const V& v, bool modified,
|
2020-03-23 21:16:18 +01:00
|
|
|
bool on_command_line, int64_t counter)
|
|
|
|
: flag_impl_(flag_impl),
|
|
|
|
value_(v),
|
|
|
|
modified_(modified),
|
|
|
|
on_command_line_(on_command_line),
|
|
|
|
counter_(counter) {}
|
|
|
|
|
|
|
|
~FlagState() override {
|
2020-06-17 15:53:10 +02:00
|
|
|
if (flag_impl_.ValueStorageKind() != FlagValueStorageKind::kAlignedBuffer)
|
2020-03-23 21:16:18 +01:00
|
|
|
return;
|
2020-06-17 15:53:10 +02:00
|
|
|
flags_internal::Delete(flag_impl_.op_, value_.heap_allocated);
|
2020-03-23 21:16:18 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
friend class FlagImpl;
|
|
|
|
|
|
|
|
// Restores the flag to the saved state.
|
|
|
|
void Restore() const override {
|
2020-06-17 15:53:10 +02:00
|
|
|
if (!flag_impl_.RestoreState(*this)) return;
|
2020-03-23 21:16:18 +01:00
|
|
|
|
2020-06-17 15:53:10 +02:00
|
|
|
ABSL_INTERNAL_LOG(INFO,
|
|
|
|
absl::StrCat("Restore saved value of ", flag_impl_.Name(),
|
|
|
|
" to: ", flag_impl_.CurrentValue()));
|
2020-03-23 21:16:18 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
// Flag and saved flag data.
|
2020-06-17 15:53:10 +02:00
|
|
|
FlagImpl& flag_impl_;
|
2020-03-23 21:16:18 +01:00
|
|
|
union SavedValue {
|
2020-04-03 22:24:29 +02:00
|
|
|
explicit SavedValue(void* v) : heap_allocated(v) {}
|
2020-03-23 21:16:18 +01:00
|
|
|
explicit SavedValue(int64_t v) : one_word(v) {}
|
|
|
|
explicit SavedValue(flags_internal::AlignedTwoWords v) : two_words(v) {}
|
|
|
|
|
2020-04-03 22:24:29 +02:00
|
|
|
void* heap_allocated;
|
2020-03-23 21:16:18 +01:00
|
|
|
int64_t one_word;
|
|
|
|
flags_internal::AlignedTwoWords two_words;
|
|
|
|
} value_;
|
|
|
|
bool modified_;
|
|
|
|
bool on_command_line_;
|
|
|
|
int64_t counter_;
|
|
|
|
};
|
|
|
|
|
|
|
|
///////////////////////////////////////////////////////////////////////////////
|
|
|
|
// Flag implementation, which does not depend on flag value type.
|
|
|
|
|
2020-04-03 22:24:29 +02:00
|
|
|
DynValueDeleter::DynValueDeleter(FlagOpFn op_arg) : op(op_arg) {}
|
|
|
|
|
|
|
|
void DynValueDeleter::operator()(void* ptr) const {
|
|
|
|
if (op == nullptr) return;
|
|
|
|
|
|
|
|
Delete(op, ptr);
|
|
|
|
}
|
|
|
|
|
2019-10-21 19:21:03 +02:00
|
|
|
void FlagImpl::Init() {
|
2020-02-13 15:52:24 +01:00
|
|
|
new (&data_guard_) absl::Mutex;
|
2019-10-21 19:21:03 +02:00
|
|
|
|
2020-05-01 02:44:10 +02:00
|
|
|
auto def_kind = static_cast<FlagDefaultKind>(def_kind_);
|
|
|
|
|
2020-03-03 20:22:10 +01:00
|
|
|
switch (ValueStorageKind()) {
|
2020-04-03 22:24:29 +02:00
|
|
|
case FlagValueStorageKind::kAlignedBuffer:
|
2020-05-01 02:44:10 +02:00
|
|
|
// For this storage kind the default_value_ always points to gen_func
|
|
|
|
// during initialization.
|
|
|
|
assert(def_kind == FlagDefaultKind::kGenFunc);
|
2020-04-03 22:24:29 +02:00
|
|
|
(*default_value_.gen_func)(AlignedBufferValue());
|
2020-03-03 20:22:10 +01:00
|
|
|
break;
|
|
|
|
case FlagValueStorageKind::kOneWordAtomic: {
|
2020-04-03 22:24:29 +02:00
|
|
|
alignas(int64_t) std::array<char, sizeof(int64_t)> buf{};
|
2020-05-19 02:53:14 +02:00
|
|
|
if (def_kind == FlagDefaultKind::kGenFunc) {
|
|
|
|
(*default_value_.gen_func)(buf.data());
|
|
|
|
} else {
|
|
|
|
assert(def_kind != FlagDefaultKind::kDynamicValue);
|
|
|
|
std::memcpy(buf.data(), &default_value_, Sizeof(op_));
|
2020-05-01 02:44:10 +02:00
|
|
|
}
|
|
|
|
OneWordValue().store(absl::bit_cast<int64_t>(buf),
|
|
|
|
std::memory_order_release);
|
2020-03-03 20:22:10 +01:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case FlagValueStorageKind::kTwoWordsAtomic: {
|
2020-05-01 02:44:10 +02:00
|
|
|
// For this storage kind the default_value_ always points to gen_func
|
|
|
|
// during initialization.
|
|
|
|
assert(def_kind == FlagDefaultKind::kGenFunc);
|
2020-04-03 22:24:29 +02:00
|
|
|
alignas(AlignedTwoWords) std::array<char, sizeof(AlignedTwoWords)> buf{};
|
|
|
|
(*default_value_.gen_func)(buf.data());
|
|
|
|
auto atomic_value = absl::bit_cast<AlignedTwoWords>(buf);
|
2020-03-26 16:48:01 +01:00
|
|
|
TwoWordsValue().store(atomic_value, std::memory_order_release);
|
2020-03-03 20:22:10 +01:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
2019-10-21 19:21:03 +02:00
|
|
|
}
|
|
|
|
|
2019-12-02 19:41:53 +01:00
|
|
|
absl::Mutex* FlagImpl::DataGuard() const {
|
2020-02-13 15:52:24 +01:00
|
|
|
absl::call_once(const_cast<FlagImpl*>(this)->init_control_, &FlagImpl::Init,
|
|
|
|
const_cast<FlagImpl*>(this));
|
2019-10-21 19:21:03 +02:00
|
|
|
|
2020-03-03 20:22:10 +01:00
|
|
|
// data_guard_ is initialized inside Init.
|
2019-12-12 19:36:03 +01:00
|
|
|
return reinterpret_cast<absl::Mutex*>(&data_guard_);
|
2019-10-21 19:21:03 +02:00
|
|
|
}
|
|
|
|
|
2020-03-31 21:32:35 +02:00
|
|
|
void FlagImpl::AssertValidType(FlagFastTypeId rhs_type_id,
|
|
|
|
const std::type_info* (*gen_rtti)()) const {
|
|
|
|
FlagFastTypeId lhs_type_id = flags_internal::FastTypeId(op_);
|
2020-02-14 18:41:25 +01:00
|
|
|
|
2020-03-31 21:32:35 +02:00
|
|
|
// `rhs_type_id` is the fast type id corresponding to the declaration
|
|
|
|
// visibile at the call site. `lhs_type_id` is the fast type id
|
|
|
|
// corresponding to the type specified in flag definition. They must match
|
|
|
|
// for this operation to be well-defined.
|
|
|
|
if (ABSL_PREDICT_TRUE(lhs_type_id == rhs_type_id)) return;
|
2020-02-14 18:41:25 +01:00
|
|
|
|
2020-03-31 21:32:35 +02:00
|
|
|
const std::type_info* lhs_runtime_type_id =
|
|
|
|
flags_internal::RuntimeTypeId(op_);
|
|
|
|
const std::type_info* rhs_runtime_type_id = (*gen_rtti)();
|
2020-02-14 18:41:25 +01:00
|
|
|
|
|
|
|
if (lhs_runtime_type_id == rhs_runtime_type_id) return;
|
|
|
|
|
|
|
|
#if defined(ABSL_FLAGS_INTERNAL_HAS_RTTI)
|
2020-03-31 21:32:35 +02:00
|
|
|
if (*lhs_runtime_type_id == *rhs_runtime_type_id) return;
|
2020-02-14 18:41:25 +01:00
|
|
|
#endif
|
|
|
|
|
|
|
|
ABSL_INTERNAL_LOG(
|
|
|
|
FATAL, absl::StrCat("Flag '", Name(),
|
|
|
|
"' is defined as one type and declared as another"));
|
2020-02-10 19:18:03 +01:00
|
|
|
}
|
|
|
|
|
2019-12-02 19:41:53 +01:00
|
|
|
std::unique_ptr<void, DynValueDeleter> FlagImpl::MakeInitValue() const {
|
|
|
|
void* res = nullptr;
|
2020-05-01 02:44:10 +02:00
|
|
|
switch (DefaultKind()) {
|
|
|
|
case FlagDefaultKind::kDynamicValue:
|
|
|
|
res = flags_internal::Clone(op_, default_value_.dynamic_value);
|
|
|
|
break;
|
|
|
|
case FlagDefaultKind::kGenFunc:
|
|
|
|
res = flags_internal::Alloc(op_);
|
|
|
|
(*default_value_.gen_func)(res);
|
|
|
|
break;
|
2020-05-19 02:53:14 +02:00
|
|
|
default:
|
|
|
|
res = flags_internal::Clone(op_, &default_value_);
|
2020-05-01 02:44:10 +02:00
|
|
|
break;
|
2019-12-02 19:41:53 +01:00
|
|
|
}
|
|
|
|
return {res, DynValueDeleter{op_}};
|
|
|
|
}
|
|
|
|
|
2020-02-21 21:51:36 +01:00
|
|
|
void FlagImpl::StoreValue(const void* src) {
|
2020-03-03 20:22:10 +01:00
|
|
|
switch (ValueStorageKind()) {
|
2020-04-03 22:24:29 +02:00
|
|
|
case FlagValueStorageKind::kAlignedBuffer:
|
|
|
|
Copy(op_, src, AlignedBufferValue());
|
2020-03-03 20:22:10 +01:00
|
|
|
break;
|
|
|
|
case FlagValueStorageKind::kOneWordAtomic: {
|
2020-03-26 16:48:01 +01:00
|
|
|
int64_t one_word_val = 0;
|
|
|
|
std::memcpy(&one_word_val, src, Sizeof(op_));
|
|
|
|
OneWordValue().store(one_word_val, std::memory_order_release);
|
2020-03-03 20:22:10 +01:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case FlagValueStorageKind::kTwoWordsAtomic: {
|
|
|
|
AlignedTwoWords two_words_val{0, 0};
|
2020-03-26 16:48:01 +01:00
|
|
|
std::memcpy(&two_words_val, src, Sizeof(op_));
|
|
|
|
TwoWordsValue().store(two_words_val, std::memory_order_release);
|
2020-03-03 20:22:10 +01:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-02-21 21:51:36 +01:00
|
|
|
modified_ = true;
|
|
|
|
++counter_;
|
|
|
|
InvokeCallback();
|
|
|
|
}
|
|
|
|
|
2020-01-03 17:41:10 +01:00
|
|
|
absl::string_view FlagImpl::Name() const { return name_; }
|
|
|
|
|
|
|
|
std::string FlagImpl::Filename() const {
|
|
|
|
return flags_internal::GetUsageConfig().normalize_filename(filename_);
|
|
|
|
}
|
|
|
|
|
2019-11-18 20:02:26 +01:00
|
|
|
std::string FlagImpl::Help() const {
|
2020-02-07 22:06:07 +01:00
|
|
|
return HelpSourceKind() == FlagHelpKind::kLiteral ? help_.literal
|
|
|
|
: help_.gen_func();
|
2019-11-18 20:02:26 +01:00
|
|
|
}
|
|
|
|
|
2020-03-31 21:32:35 +02:00
|
|
|
FlagFastTypeId FlagImpl::TypeId() const {
|
|
|
|
return flags_internal::FastTypeId(op_);
|
2020-03-23 21:16:18 +01:00
|
|
|
}
|
|
|
|
|
2019-10-21 19:21:03 +02:00
|
|
|
bool FlagImpl::IsSpecifiedOnCommandLine() const {
|
|
|
|
absl::MutexLock l(DataGuard());
|
|
|
|
return on_command_line_;
|
|
|
|
}
|
|
|
|
|
|
|
|
std::string FlagImpl::DefaultValue() const {
|
|
|
|
absl::MutexLock l(DataGuard());
|
|
|
|
|
2019-12-02 19:41:53 +01:00
|
|
|
auto obj = MakeInitValue();
|
2020-02-14 18:41:25 +01:00
|
|
|
return flags_internal::Unparse(op_, obj.get());
|
2019-10-21 19:21:03 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
std::string FlagImpl::CurrentValue() const {
|
2020-03-23 21:16:18 +01:00
|
|
|
auto* guard = DataGuard(); // Make sure flag initialized
|
2020-03-03 20:22:10 +01:00
|
|
|
switch (ValueStorageKind()) {
|
2020-04-03 22:24:29 +02:00
|
|
|
case FlagValueStorageKind::kAlignedBuffer: {
|
2020-03-23 21:16:18 +01:00
|
|
|
absl::MutexLock l(guard);
|
2020-04-03 22:24:29 +02:00
|
|
|
return flags_internal::Unparse(op_, AlignedBufferValue());
|
2020-03-03 20:22:10 +01:00
|
|
|
}
|
|
|
|
case FlagValueStorageKind::kOneWordAtomic: {
|
|
|
|
const auto one_word_val =
|
2020-03-26 16:48:01 +01:00
|
|
|
absl::bit_cast<std::array<char, sizeof(int64_t)>>(
|
|
|
|
OneWordValue().load(std::memory_order_acquire));
|
|
|
|
return flags_internal::Unparse(op_, one_word_val.data());
|
2020-03-03 20:22:10 +01:00
|
|
|
}
|
|
|
|
case FlagValueStorageKind::kTwoWordsAtomic: {
|
|
|
|
const auto two_words_val =
|
2020-03-26 16:48:01 +01:00
|
|
|
absl::bit_cast<std::array<char, sizeof(AlignedTwoWords)>>(
|
|
|
|
TwoWordsValue().load(std::memory_order_acquire));
|
|
|
|
return flags_internal::Unparse(op_, two_words_val.data());
|
2020-03-03 20:22:10 +01:00
|
|
|
}
|
|
|
|
}
|
2019-10-21 19:21:03 +02:00
|
|
|
|
2020-03-03 20:22:10 +01:00
|
|
|
return "";
|
2019-10-21 19:21:03 +02:00
|
|
|
}
|
|
|
|
|
2020-02-05 23:38:00 +01:00
|
|
|
void FlagImpl::SetCallback(const FlagCallbackFunc mutation_callback) {
|
2019-10-21 19:21:03 +02:00
|
|
|
absl::MutexLock l(DataGuard());
|
|
|
|
|
2020-02-05 23:38:00 +01:00
|
|
|
if (callback_ == nullptr) {
|
|
|
|
callback_ = new FlagCallback;
|
2019-12-12 19:36:03 +01:00
|
|
|
}
|
2020-02-05 23:38:00 +01:00
|
|
|
callback_->func = mutation_callback;
|
2019-10-21 19:21:03 +02:00
|
|
|
|
|
|
|
InvokeCallback();
|
|
|
|
}
|
|
|
|
|
2019-12-02 19:41:53 +01:00
|
|
|
void FlagImpl::InvokeCallback() const {
|
2020-02-05 23:38:00 +01:00
|
|
|
if (!callback_) return;
|
2019-12-12 19:36:03 +01:00
|
|
|
|
|
|
|
// Make a copy of the C-style function pointer that we are about to invoke
|
|
|
|
// before we release the lock guarding it.
|
2020-02-05 23:38:00 +01:00
|
|
|
FlagCallbackFunc cb = callback_->func;
|
2019-10-21 19:21:03 +02:00
|
|
|
|
|
|
|
// If the flag has a mutation callback this function invokes it. While the
|
|
|
|
// callback is being invoked the primary flag's mutex is unlocked and it is
|
|
|
|
// re-locked back after call to callback is completed. Callback invocation is
|
|
|
|
// guarded by flag's secondary mutex instead which prevents concurrent
|
|
|
|
// callback invocation. Note that it is possible for other thread to grab the
|
|
|
|
// primary lock and update flag's value at any time during the callback
|
|
|
|
// invocation. This is by design. Callback can get a value of the flag if
|
|
|
|
// necessary, but it might be different from the value initiated the callback
|
|
|
|
// and it also can be different by the time the callback invocation is
|
|
|
|
// completed. Requires that *primary_lock be held in exclusive mode; it may be
|
|
|
|
// released and reacquired by the implementation.
|
2020-06-17 15:53:10 +02:00
|
|
|
MutexRelock relock(*DataGuard());
|
2020-02-05 23:38:00 +01:00
|
|
|
absl::MutexLock lock(&callback_->guard);
|
2019-12-12 19:36:03 +01:00
|
|
|
cb();
|
2019-10-21 19:21:03 +02:00
|
|
|
}
|
|
|
|
|
2020-03-23 21:16:18 +01:00
|
|
|
std::unique_ptr<FlagStateInterface> FlagImpl::SaveState() {
|
|
|
|
absl::MutexLock l(DataGuard());
|
2019-10-21 19:21:03 +02:00
|
|
|
|
2020-03-23 21:16:18 +01:00
|
|
|
bool modified = modified_;
|
|
|
|
bool on_command_line = on_command_line_;
|
|
|
|
switch (ValueStorageKind()) {
|
2020-04-03 22:24:29 +02:00
|
|
|
case FlagValueStorageKind::kAlignedBuffer: {
|
2020-03-23 21:16:18 +01:00
|
|
|
return absl::make_unique<FlagState>(
|
2020-06-17 15:53:10 +02:00
|
|
|
*this, flags_internal::Clone(op_, AlignedBufferValue()), modified,
|
2020-03-23 21:16:18 +01:00
|
|
|
on_command_line, counter_);
|
|
|
|
}
|
|
|
|
case FlagValueStorageKind::kOneWordAtomic: {
|
|
|
|
return absl::make_unique<FlagState>(
|
2020-06-17 15:53:10 +02:00
|
|
|
*this, OneWordValue().load(std::memory_order_acquire), modified,
|
2020-03-26 16:48:01 +01:00
|
|
|
on_command_line, counter_);
|
2020-03-23 21:16:18 +01:00
|
|
|
}
|
|
|
|
case FlagValueStorageKind::kTwoWordsAtomic: {
|
|
|
|
return absl::make_unique<FlagState>(
|
2020-06-17 15:53:10 +02:00
|
|
|
*this, TwoWordsValue().load(std::memory_order_acquire), modified,
|
2020-03-26 16:48:01 +01:00
|
|
|
on_command_line, counter_);
|
2020-03-23 21:16:18 +01:00
|
|
|
}
|
2019-10-21 19:21:03 +02:00
|
|
|
}
|
2020-03-23 21:16:18 +01:00
|
|
|
return nullptr;
|
|
|
|
}
|
2019-10-21 19:21:03 +02:00
|
|
|
|
2020-03-23 21:16:18 +01:00
|
|
|
bool FlagImpl::RestoreState(const FlagState& flag_state) {
|
|
|
|
absl::MutexLock l(DataGuard());
|
2019-10-21 19:21:03 +02:00
|
|
|
|
2020-03-23 21:16:18 +01:00
|
|
|
if (flag_state.counter_ == counter_) {
|
|
|
|
return false;
|
|
|
|
}
|
2019-10-21 19:21:03 +02:00
|
|
|
|
2020-03-23 21:16:18 +01:00
|
|
|
switch (ValueStorageKind()) {
|
2020-04-03 22:24:29 +02:00
|
|
|
case FlagValueStorageKind::kAlignedBuffer:
|
|
|
|
StoreValue(flag_state.value_.heap_allocated);
|
2020-03-23 21:16:18 +01:00
|
|
|
break;
|
|
|
|
case FlagValueStorageKind::kOneWordAtomic:
|
|
|
|
StoreValue(&flag_state.value_.one_word);
|
|
|
|
break;
|
|
|
|
case FlagValueStorageKind::kTwoWordsAtomic:
|
|
|
|
StoreValue(&flag_state.value_.two_words);
|
|
|
|
break;
|
2019-10-21 19:21:03 +02:00
|
|
|
}
|
|
|
|
|
2020-03-23 21:16:18 +01:00
|
|
|
modified_ = flag_state.modified_;
|
|
|
|
on_command_line_ = flag_state.on_command_line_;
|
|
|
|
|
2019-10-21 19:21:03 +02:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2020-03-26 16:48:01 +01:00
|
|
|
template <typename StorageT>
|
2020-04-03 22:24:29 +02:00
|
|
|
StorageT* FlagImpl::OffsetValue() const {
|
2020-03-26 16:48:01 +01:00
|
|
|
char* p = reinterpret_cast<char*>(const_cast<FlagImpl*>(this));
|
|
|
|
// The offset is deduced via Flag value type specific op_.
|
|
|
|
size_t offset = flags_internal::ValueOffset(op_);
|
|
|
|
|
2020-04-03 22:24:29 +02:00
|
|
|
return reinterpret_cast<StorageT*>(p + offset);
|
2020-03-26 16:48:01 +01:00
|
|
|
}
|
|
|
|
|
2020-04-03 22:24:29 +02:00
|
|
|
void* FlagImpl::AlignedBufferValue() const {
|
|
|
|
assert(ValueStorageKind() == FlagValueStorageKind::kAlignedBuffer);
|
|
|
|
return OffsetValue<void>();
|
2020-03-26 16:48:01 +01:00
|
|
|
}
|
2020-04-03 22:24:29 +02:00
|
|
|
|
2020-03-26 16:48:01 +01:00
|
|
|
std::atomic<int64_t>& FlagImpl::OneWordValue() const {
|
|
|
|
assert(ValueStorageKind() == FlagValueStorageKind::kOneWordAtomic);
|
2020-04-03 22:24:29 +02:00
|
|
|
return OffsetValue<FlagOneWordValue>()->value;
|
2020-03-26 16:48:01 +01:00
|
|
|
}
|
2020-04-03 22:24:29 +02:00
|
|
|
|
2020-03-26 16:48:01 +01:00
|
|
|
std::atomic<AlignedTwoWords>& FlagImpl::TwoWordsValue() const {
|
|
|
|
assert(ValueStorageKind() == FlagValueStorageKind::kTwoWordsAtomic);
|
2020-04-03 22:24:29 +02:00
|
|
|
return OffsetValue<FlagTwoWordsValue>()->value;
|
2020-03-26 16:48:01 +01:00
|
|
|
}
|
|
|
|
|
2019-10-21 19:21:03 +02:00
|
|
|
// Attempts to parse supplied `value` string using parsing routine in the `flag`
|
2019-12-12 19:36:03 +01:00
|
|
|
// argument. If parsing successful, this function replaces the dst with newly
|
|
|
|
// parsed value. In case if any error is encountered in either step, the error
|
|
|
|
// message is stored in 'err'
|
2020-02-21 21:51:36 +01:00
|
|
|
std::unique_ptr<void, DynValueDeleter> FlagImpl::TryParse(
|
2020-06-17 15:53:10 +02:00
|
|
|
absl::string_view value, std::string& err) const {
|
2020-02-21 21:51:36 +01:00
|
|
|
std::unique_ptr<void, DynValueDeleter> tentative_value = MakeInitValue();
|
2019-12-12 19:36:03 +01:00
|
|
|
|
2019-10-21 19:21:03 +02:00
|
|
|
std::string parse_err;
|
2020-02-14 18:41:25 +01:00
|
|
|
if (!flags_internal::Parse(op_, value, tentative_value.get(), &parse_err)) {
|
2019-10-21 19:21:03 +02:00
|
|
|
absl::string_view err_sep = parse_err.empty() ? "" : "; ";
|
2020-06-17 15:53:10 +02:00
|
|
|
err = absl::StrCat("Illegal value '", value, "' specified for flag '",
|
|
|
|
Name(), "'", err_sep, parse_err);
|
2020-02-21 21:51:36 +01:00
|
|
|
return nullptr;
|
2019-10-21 19:21:03 +02:00
|
|
|
}
|
|
|
|
|
2020-02-21 21:51:36 +01:00
|
|
|
return tentative_value;
|
2019-10-21 19:21:03 +02:00
|
|
|
}
|
|
|
|
|
2020-02-10 19:18:03 +01:00
|
|
|
void FlagImpl::Read(void* dst) const {
|
2020-03-23 21:16:18 +01:00
|
|
|
auto* guard = DataGuard(); // Make sure flag initialized
|
2020-03-03 20:22:10 +01:00
|
|
|
switch (ValueStorageKind()) {
|
2020-04-03 22:24:29 +02:00
|
|
|
case FlagValueStorageKind::kAlignedBuffer: {
|
2020-03-23 21:16:18 +01:00
|
|
|
absl::MutexLock l(guard);
|
2020-04-03 22:24:29 +02:00
|
|
|
flags_internal::CopyConstruct(op_, AlignedBufferValue(), dst);
|
2020-03-03 20:22:10 +01:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case FlagValueStorageKind::kOneWordAtomic: {
|
2020-03-26 16:48:01 +01:00
|
|
|
const int64_t one_word_val =
|
|
|
|
OneWordValue().load(std::memory_order_acquire);
|
|
|
|
std::memcpy(dst, &one_word_val, Sizeof(op_));
|
2020-03-03 20:22:10 +01:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case FlagValueStorageKind::kTwoWordsAtomic: {
|
2020-03-26 16:48:01 +01:00
|
|
|
const AlignedTwoWords two_words_val =
|
|
|
|
TwoWordsValue().load(std::memory_order_acquire);
|
|
|
|
std::memcpy(dst, &two_words_val, Sizeof(op_));
|
2020-03-03 20:22:10 +01:00
|
|
|
break;
|
|
|
|
}
|
2020-01-09 18:58:48 +01:00
|
|
|
}
|
2019-10-21 19:21:03 +02:00
|
|
|
}
|
|
|
|
|
2020-02-10 19:18:03 +01:00
|
|
|
void FlagImpl::Write(const void* src) {
|
2019-10-21 19:21:03 +02:00
|
|
|
absl::MutexLock l(DataGuard());
|
|
|
|
|
2020-03-31 21:32:35 +02:00
|
|
|
if (ShouldValidateFlagValue(flags_internal::FastTypeId(op_))) {
|
2020-02-21 21:51:36 +01:00
|
|
|
std::unique_ptr<void, DynValueDeleter> obj{flags_internal::Clone(op_, src),
|
|
|
|
DynValueDeleter{op_}};
|
2019-10-21 19:21:03 +02:00
|
|
|
std::string ignored_error;
|
2020-02-14 18:41:25 +01:00
|
|
|
std::string src_as_str = flags_internal::Unparse(op_, src);
|
2020-02-21 21:51:36 +01:00
|
|
|
if (!flags_internal::Parse(op_, src_as_str, obj.get(), &ignored_error)) {
|
2020-01-03 17:41:10 +01:00
|
|
|
ABSL_INTERNAL_LOG(ERROR, absl::StrCat("Attempt to set flag '", Name(),
|
|
|
|
"' to invalid value ", src_as_str));
|
2019-10-21 19:21:03 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-02-21 21:51:36 +01:00
|
|
|
StoreValue(src);
|
2019-10-21 19:21:03 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// Sets the value of the flag based on specified string `value`. If the flag
|
|
|
|
// was successfully set to new value, it returns true. Otherwise, sets `err`
|
|
|
|
// to indicate the error, leaves the flag unchanged, and returns false. There
|
|
|
|
// are three ways to set the flag's value:
|
|
|
|
// * Update the current flag value
|
|
|
|
// * Update the flag's default value
|
|
|
|
// * Update the current flag value if it was never set before
|
|
|
|
// The mode is selected based on 'set_mode' parameter.
|
2020-03-18 09:31:55 +01:00
|
|
|
bool FlagImpl::ParseFrom(absl::string_view value, FlagSettingMode set_mode,
|
2020-06-17 15:53:10 +02:00
|
|
|
ValueSource source, std::string& err) {
|
2019-10-21 19:21:03 +02:00
|
|
|
absl::MutexLock l(DataGuard());
|
|
|
|
|
|
|
|
switch (set_mode) {
|
|
|
|
case SET_FLAGS_VALUE: {
|
|
|
|
// set or modify the flag's value
|
2020-02-21 21:51:36 +01:00
|
|
|
auto tentative_value = TryParse(value, err);
|
|
|
|
if (!tentative_value) return false;
|
|
|
|
|
|
|
|
StoreValue(tentative_value.get());
|
2019-10-21 19:21:03 +02:00
|
|
|
|
|
|
|
if (source == kCommandLine) {
|
|
|
|
on_command_line_ = true;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case SET_FLAG_IF_DEFAULT: {
|
|
|
|
// set the flag's value, but only if it hasn't been set by someone else
|
2020-02-21 21:51:36 +01:00
|
|
|
if (modified_) {
|
2019-10-21 19:21:03 +02:00
|
|
|
// TODO(rogeeff): review and fix this semantic. Currently we do not fail
|
|
|
|
// in this case if flag is modified. This is misleading since the flag's
|
|
|
|
// value is not updated even though we return true.
|
|
|
|
// *err = absl::StrCat(Name(), " is already set to ",
|
|
|
|
// CurrentValue(), "\n");
|
|
|
|
// return false;
|
|
|
|
return true;
|
|
|
|
}
|
2020-02-21 21:51:36 +01:00
|
|
|
auto tentative_value = TryParse(value, err);
|
|
|
|
if (!tentative_value) return false;
|
|
|
|
|
|
|
|
StoreValue(tentative_value.get());
|
2019-10-21 19:21:03 +02:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case SET_FLAGS_DEFAULT: {
|
2020-02-21 21:51:36 +01:00
|
|
|
auto tentative_value = TryParse(value, err);
|
|
|
|
if (!tentative_value) return false;
|
|
|
|
|
2020-02-07 22:06:07 +01:00
|
|
|
if (DefaultKind() == FlagDefaultKind::kDynamicValue) {
|
2020-02-21 21:51:36 +01:00
|
|
|
void* old_value = default_value_.dynamic_value;
|
|
|
|
default_value_.dynamic_value = tentative_value.release();
|
|
|
|
tentative_value.reset(old_value);
|
2019-12-12 19:36:03 +01:00
|
|
|
} else {
|
2020-02-21 21:51:36 +01:00
|
|
|
default_value_.dynamic_value = tentative_value.release();
|
2020-02-07 22:06:07 +01:00
|
|
|
def_kind_ = static_cast<uint8_t>(FlagDefaultKind::kDynamicValue);
|
2019-12-12 19:36:03 +01:00
|
|
|
}
|
2019-10-21 19:21:03 +02:00
|
|
|
|
|
|
|
if (!modified_) {
|
2020-03-03 20:22:10 +01:00
|
|
|
// Need to set both default value *and* current, in this case.
|
2020-02-21 21:51:36 +01:00
|
|
|
StoreValue(default_value_.dynamic_value);
|
|
|
|
modified_ = false;
|
2019-10-21 19:21:03 +02:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2020-01-03 17:41:10 +01:00
|
|
|
void FlagImpl::CheckDefaultValueParsingRoundtrip() const {
|
2019-10-21 19:21:03 +02:00
|
|
|
std::string v = DefaultValue();
|
|
|
|
|
|
|
|
absl::MutexLock lock(DataGuard());
|
|
|
|
|
2019-12-02 19:41:53 +01:00
|
|
|
auto dst = MakeInitValue();
|
2019-10-21 19:21:03 +02:00
|
|
|
std::string error;
|
2020-02-14 18:41:25 +01:00
|
|
|
if (!flags_internal::Parse(op_, v, dst.get(), &error)) {
|
2019-10-21 19:21:03 +02:00
|
|
|
ABSL_INTERNAL_LOG(
|
|
|
|
FATAL,
|
2020-01-03 17:41:10 +01:00
|
|
|
absl::StrCat("Flag ", Name(), " (from ", Filename(),
|
2020-03-10 17:28:06 +01:00
|
|
|
"): string form of default value '", v,
|
2019-10-21 19:21:03 +02:00
|
|
|
"' could not be parsed; error=", error));
|
|
|
|
}
|
|
|
|
|
|
|
|
// We do not compare dst to def since parsing/unparsing may make
|
|
|
|
// small changes, e.g., precision loss for floating point types.
|
|
|
|
}
|
|
|
|
|
|
|
|
bool FlagImpl::ValidateInputValue(absl::string_view value) const {
|
|
|
|
absl::MutexLock l(DataGuard());
|
|
|
|
|
2019-12-02 19:41:53 +01:00
|
|
|
auto obj = MakeInitValue();
|
2019-10-21 19:21:03 +02:00
|
|
|
std::string ignored_error;
|
2020-02-14 18:41:25 +01:00
|
|
|
return flags_internal::Parse(op_, value, obj.get(), &ignored_error);
|
2019-08-23 20:38:04 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace flags_internal
|
2019-12-12 19:36:03 +01:00
|
|
|
ABSL_NAMESPACE_END
|
2019-08-23 20:38:04 +02:00
|
|
|
} // namespace absl
|