|
|
|
// Copyright 2017 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.
|
|
|
|
|
|
|
|
#ifndef ABSL_RANDOM_LOG_UNIFORM_INT_DISTRIBUTION_H_
|
|
|
|
#define ABSL_RANDOM_LOG_UNIFORM_INT_DISTRIBUTION_H_
|
|
|
|
|
|
|
|
#include <algorithm>
|
|
|
|
#include <cassert>
|
|
|
|
#include <cmath>
|
|
|
|
#include <istream>
|
|
|
|
#include <limits>
|
|
|
|
#include <ostream>
|
|
|
|
#include <type_traits>
|
|
|
|
|
|
|
|
#include "absl/random/internal/fastmath.h"
|
Export of internal Abseil changes
--
e54b9c7bbb0c58475676c268e2e19c69f4bce48a by Jorg Brown <jorg@google.com>:
Tweak ABSL_PREDICT_TRUE slightly, for better code on some platforms and/or
optimization levels. "false || (x)" is more verbose than "!!(x)", but
ultimately more efficient.
For example, given this code:
void InitIfNecessary() {
if (ABSL_PREDICT_TRUE(NeedsInit())) {
SlowInitIfNecessary();
}
}
Clang with default optimization level will produce:
Before this CL After this CL
InitIfNecessary: InitIfNecessary:
push rbp push rbp
mov rbp, rsp mov rbp, rsp
call NeedsInit call NeedsInit
xor al, -1
xor al, -1
test al, 1 test al, 1
jne .LBB2_1 jne .LBB3_1
jmp .LBB2_2 jmp .LBB3_2
.LBB2_1: .LBB3_1:
call SlowInitIfNecessary call SlowInitIfNecessary
.LBB2_2: .LBB3_2:
pop rbp pop rbp
ret ret
PiperOrigin-RevId: 276401386
--
0a3c4dfd8342bf2b1b11a87f1c662c883f73cab7 by Abseil Team <absl-team@google.com>:
Fix comment nit: sem_open => sem_init.
The code calls sem_init, not sem_open, to initialize an unnamed semaphore.
(sem_open creates or opens a named semaphore.)
PiperOrigin-RevId: 276344072
--
b36a664e9459057509a90e83d3482e1d3a4c44c7 by Abseil Team <absl-team@google.com>:
Fix typo in flat_hash_map.h: exchaged -> exchanged
PiperOrigin-RevId: 276295792
--
7bbd8d18276eb110c8335743e35fceb662ddf3d6 by Samuel Benzaquen <sbenza@google.com>:
Add assertions to verify use of iterators.
PiperOrigin-RevId: 276283300
--
677398a8ffcb1f59182cffe57a4fe7ff147a0404 by Laramie Leavitt <lar@google.com>:
Migrate distribution_impl.h/cc to generate_real.h/cc.
Combine the methods RandU64To<Float,Double> into a single method:
GenerateRealFromBits().
Remove rejection sampling from absl::uniform_real_distribution.
PiperOrigin-RevId: 276158675
--
c60c9d11d24b0c546329d998e78e15a84b3153f5 by Abseil Team <absl-team@google.com>:
Internal change
PiperOrigin-RevId: 276126962
--
4c840cab6a8d86efa29b397cafaf7520eece68cc by Andy Soffer <asoffer@google.com>:
Update CMakeLists.txt to address https://github.com/abseil/abseil-cpp/issues/365.
This does not cover every platform, but it does at least address the
first-order issue of assuming gcc implies x86.
PiperOrigin-RevId: 276116253
--
98da366e6b5d51afe5d7ac6722126aca23d85ee6 by Abseil Team <absl-team@google.com>:
Internal change
PiperOrigin-RevId: 276097452
GitOrigin-RevId: e54b9c7bbb0c58475676c268e2e19c69f4bce48a
Change-Id: I02d84454bb71ab21ad3d39650acf6cc6e36f58d7
5 years ago
|
|
|
#include "absl/random/internal/generate_real.h"
|
|
|
|
#include "absl/random/internal/iostream_state_saver.h"
|
|
|
|
#include "absl/random/internal/traits.h"
|
|
|
|
#include "absl/random/uniform_int_distribution.h"
|
|
|
|
|
|
|
|
namespace absl {
|
|
|
|
|
|
|
|
// log_uniform_int_distribution:
|
|
|
|
//
|
|
|
|
// Returns a random variate R in range [min, max] such that
|
|
|
|
// floor(log(R-min, base)) is uniformly distributed.
|
|
|
|
// We ensure uniformity by discretization using the
|
|
|
|
// boundary sets [0, 1, base, base * base, ... min(base*n, max)]
|
|
|
|
//
|
|
|
|
template <typename IntType = int>
|
|
|
|
class log_uniform_int_distribution {
|
|
|
|
private:
|
|
|
|
using unsigned_type =
|
|
|
|
typename random_internal::make_unsigned_bits<IntType>::type;
|
|
|
|
|
|
|
|
public:
|
|
|
|
using result_type = IntType;
|
|
|
|
|
|
|
|
class param_type {
|
|
|
|
public:
|
|
|
|
using distribution_type = log_uniform_int_distribution;
|
|
|
|
|
|
|
|
explicit param_type(
|
|
|
|
result_type min = 0,
|
|
|
|
result_type max = (std::numeric_limits<result_type>::max)(),
|
|
|
|
result_type base = 2)
|
|
|
|
: min_(min),
|
|
|
|
max_(max),
|
|
|
|
base_(base),
|
|
|
|
range_(static_cast<unsigned_type>(max_) -
|
|
|
|
static_cast<unsigned_type>(min_)),
|
|
|
|
log_range_(0) {
|
|
|
|
assert(max_ >= min_);
|
|
|
|
assert(base_ > 1);
|
|
|
|
|
|
|
|
if (base_ == 2) {
|
|
|
|
// Determine where the first set bit is on range(), giving a log2(range)
|
|
|
|
// value which can be used to construct bounds.
|
|
|
|
log_range_ = (std::min)(random_internal::LeadingSetBit(range()),
|
|
|
|
std::numeric_limits<unsigned_type>::digits);
|
|
|
|
} else {
|
|
|
|
// NOTE: Computing the logN(x) introduces error from 2 sources:
|
|
|
|
// 1. Conversion of int to double loses precision for values >=
|
|
|
|
// 2^53, which may cause some log() computations to operate on
|
|
|
|
// different values.
|
|
|
|
// 2. The error introduced by the division will cause the result
|
|
|
|
// to differ from the expected value.
|
|
|
|
//
|
|
|
|
// Thus a result which should equal K may equal K +/- epsilon,
|
|
|
|
// which can eliminate some values depending on where the bounds fall.
|
|
|
|
const double inv_log_base = 1.0 / std::log(base_);
|
|
|
|
const double log_range = std::log(static_cast<double>(range()) + 0.5);
|
|
|
|
log_range_ = static_cast<int>(std::ceil(inv_log_base * log_range));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
result_type(min)() const { return min_; }
|
|
|
|
result_type(max)() const { return max_; }
|
|
|
|
result_type base() const { return base_; }
|
|
|
|
|
|
|
|
friend bool operator==(const param_type& a, const param_type& b) {
|
|
|
|
return a.min_ == b.min_ && a.max_ == b.max_ && a.base_ == b.base_;
|
|
|
|
}
|
|
|
|
|
|
|
|
friend bool operator!=(const param_type& a, const param_type& b) {
|
|
|
|
return !(a == b);
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
friend class log_uniform_int_distribution;
|
|
|
|
|
|
|
|
int log_range() const { return log_range_; }
|
|
|
|
unsigned_type range() const { return range_; }
|
|
|
|
|
|
|
|
result_type min_;
|
|
|
|
result_type max_;
|
|
|
|
result_type base_;
|
|
|
|
unsigned_type range_; // max - min
|
|
|
|
int log_range_; // ceil(logN(range_))
|
|
|
|
|
|
|
|
static_assert(std::is_integral<IntType>::value,
|
|
|
|
"Class-template absl::log_uniform_int_distribution<> must be "
|
|
|
|
"parameterized using an integral type.");
|
|
|
|
};
|
|
|
|
|
|
|
|
log_uniform_int_distribution() : log_uniform_int_distribution(0) {}
|
|
|
|
|
|
|
|
explicit log_uniform_int_distribution(
|
|
|
|
result_type min,
|
|
|
|
result_type max = (std::numeric_limits<result_type>::max)(),
|
|
|
|
result_type base = 2)
|
|
|
|
: param_(min, max, base) {}
|
|
|
|
|
|
|
|
explicit log_uniform_int_distribution(const param_type& p) : param_(p) {}
|
|
|
|
|
|
|
|
void reset() {}
|
|
|
|
|
|
|
|
// generating functions
|
|
|
|
template <typename URBG>
|
|
|
|
result_type operator()(URBG& g) { // NOLINT(runtime/references)
|
|
|
|
return (*this)(g, param_);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename URBG>
|
|
|
|
result_type operator()(URBG& g, // NOLINT(runtime/references)
|
|
|
|
const param_type& p) {
|
|
|
|
return (p.min)() + Generate(g, p);
|
|
|
|
}
|
|
|
|
|
|
|
|
result_type(min)() const { return (param_.min)(); }
|
|
|
|
result_type(max)() const { return (param_.max)(); }
|
|
|
|
result_type base() const { return param_.base(); }
|
|
|
|
|
|
|
|
param_type param() const { return param_; }
|
|
|
|
void param(const param_type& p) { param_ = p; }
|
|
|
|
|
|
|
|
friend bool operator==(const log_uniform_int_distribution& a,
|
|
|
|
const log_uniform_int_distribution& b) {
|
|
|
|
return a.param_ == b.param_;
|
|
|
|
}
|
|
|
|
friend bool operator!=(const log_uniform_int_distribution& a,
|
|
|
|
const log_uniform_int_distribution& b) {
|
|
|
|
return a.param_ != b.param_;
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
// Returns a log-uniform variate in the range [0, p.range()]. The caller
|
|
|
|
// should add min() to shift the result to the correct range.
|
|
|
|
template <typename URNG>
|
|
|
|
unsigned_type Generate(URNG& g, // NOLINT(runtime/references)
|
|
|
|
const param_type& p);
|
|
|
|
|
|
|
|
param_type param_;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <typename IntType>
|
|
|
|
template <typename URBG>
|
|
|
|
typename log_uniform_int_distribution<IntType>::unsigned_type
|
|
|
|
log_uniform_int_distribution<IntType>::Generate(
|
|
|
|
URBG& g, // NOLINT(runtime/references)
|
|
|
|
const param_type& p) {
|
|
|
|
// sample e over [0, log_range]. Map the results of e to this:
|
|
|
|
// 0 => 0
|
|
|
|
// 1 => [1, b-1]
|
|
|
|
// 2 => [b, (b^2)-1]
|
|
|
|
// n => [b^(n-1)..(b^n)-1]
|
|
|
|
const int e = absl::uniform_int_distribution<int>(0, p.log_range())(g);
|
|
|
|
if (e == 0) {
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
const int d = e - 1;
|
|
|
|
|
|
|
|
unsigned_type base_e, top_e;
|
|
|
|
if (p.base() == 2) {
|
|
|
|
base_e = static_cast<unsigned_type>(1) << d;
|
|
|
|
|
|
|
|
top_e = (e >= std::numeric_limits<unsigned_type>::digits)
|
|
|
|
? (std::numeric_limits<unsigned_type>::max)()
|
|
|
|
: (static_cast<unsigned_type>(1) << e) - 1;
|
|
|
|
} else {
|
|
|
|
const double r = std::pow(p.base(), d);
|
|
|
|
const double s = (r * p.base()) - 1.0;
|
|
|
|
|
Export of internal Abseil changes
--
2f49cb9009386bc67bf54a2908c8720b749c8b7f by Greg Falcon <gfalcon@google.com>:
docs: fix typo
Import of https://github.com/abseil/abseil-cpp/pull/397
PiperOrigin-RevId: 277504420
--
f2bed362c1c12d3fa9c22d11f2b918668e8c37b7 by Abseil Team <absl-team@google.com>:
Avoid our is_[copy/move]_assignable workarounds in MSVC 19.20 and on, since that release introduces a regression that breaks our workaround. We should ideally use the std forms in more cases, but branching when our workarounds fail is simpler to maintain.
PiperOrigin-RevId: 277502334
--
e33de894ffd49848b9e088f59acc9743d1661948 by Derek Mauro <dmauro@google.com>:
Update rules_cc version. The mirror.bazel.build URL does not exist
(cache expiration?)
PiperOrigin-RevId: 277498394
--
b23757b0747c64634d2d701433782c969effef19 by Abseil Team <absl-team@google.com>:
Fix https://github.com/abseil/abseil-cpp/issues/394.
PiperOrigin-RevId: 277491405
--
54c75b8b29813531c52d67cf0ba7063baae4a4f3 by Abseil Team <absl-team@google.com>:
Fix comment typos: waker => waiter.
PiperOrigin-RevId: 277376952
--
874eeaa3b3af808fc88b6355245f643674f5e36e by Abseil Team <absl-team@google.com>:
Don't use atomic ops on waiter and wakeup counts in CONDVAR waiter mode.
Just guard the waiter and wakeup counts with the mutex. This eliminates the
race.
Also fix a typo in the error message for pthread_cond_timedwait.
PiperOrigin-RevId: 277366017
--
ce8c9a63109214519b5a7eaecef2c663c4d566df by Greg Falcon <gfalcon@google.com>:
Implement the config options for our four main C++ forward compatibility types.
These options control whether the names `any`, `optional`, `string_view`, and `variant` in namespace `absl` are aliases to the corresponding C++17 types in namespace `std`. By default, we continue to auto-detect the configuration of the compiler being run.
These options are not intended to be modified on the command line (as -D flags, say). Instead, the options.h file can be modified by distributors of Abseil (e.g., binary packagers, maintainers of local copies of Abseil, etc.)
Changing options will change Abseil in an ODR sense. Any program must only link in a single version of Abseil. Linking libraries that use Abseil configured with different options is an error: there is no ABI compatibility guarantee when linking different configurations, even if the Abseil versions used are otherwise exactly identical.
PiperOrigin-RevId: 277364298
--
5ed3ad42ae43a05862070f92f9ffd07f5c1f2b81 by Chris Kennelly <ckennelly@google.com>:
Suppress -Wimplicit-int-float-conversion.
On recent builds of Clang, this is an error/warning.
PiperOrigin-RevId: 277346168
--
9b9b0055243c705189bb27d912e6d45a7789cdee by Eric Fiselier <ericwf@google.com>:
Allow building Abseil as a shared library with CMake.
By default CMake's `add_library` creates the target as a static
library. However, users can override the default using the builtin
CMake option -DBUILD_SHARED_LIBS=ON.
This changes Abseil's CMake to respect this configuration option
by removing the explicit `STATIC` in our usages of `add_library`.
PiperOrigin-RevId: 277337753
--
63a8b7b8ede3a9d851916929d6b8537f4f2508ca by Abseil Team <absl-team@google.com>:
Improve AlphaNum Hex performance by using absl::numbers_internal::FastHexToBufferZeroPad16.
PiperOrigin-RevId: 277318108
--
dd047f7e92032682d94b27732df0e4d0670e24a4 by CJ Johnson <johnsoncj@google.com>:
Internal change
PiperOrigin-RevId: 277316913
--
d19ee7074929fed08973cc5b40a844573ce1e0a6 by Abseil Team <absl-team@google.com>:
Handle invoking [[nodiscard]] functions correctly in our tests.
PiperOrigin-RevId: 277301500
--
5373f3737894ba9b8481e95e5f58c7957c00d26a by Chris Kennelly <ckennelly@google.com>:
For internal reasons, loosen visibility restrictions of `//absl/base:malloc_internal`.
As an internal-namespace interface, this module remains unsupported. We
reserve the right to change, delete, or re-restrict visibility to this target
at any time.
PiperOrigin-RevId: 277118689
--
44e4f6655e05393a375d09b3625c192b1fde5909 by Abseil Team <absl-team@google.com>:
Fix error in example civil day comment.
PiperOrigin-RevId: 277103315
--
7657392b4ce48469106f11cdb952a0bc76a28df3 by Abseil Team <absl-team@google.com>:
Internal change
PiperOrigin-RevId: 277056076
--
c75bda76f40b01fa249b75b5a70c1f5907e56c76 by Abseil Team <absl-team@google.com>:
Suppress lifetime constant-initialization tests when building with MSVC versions > 19.0.
These are broken due to non-compliant initialization order in these versions:
https://developercommunity.visualstudio.com/content/problem/336946/class-with-constexpr-constructor-not-using-static.html
We don't know when Microsoft will fix this bug.
PiperOrigin-RevId: 277049770
--
16c3b9bf2a1796efa57f97b00bcd6227fbccca1f by Matt Calabrese <calabrese@google.com>:
Avoid our is_[copy/move]_assignable workarounds in MSVC 19.20 and on, since that release introduces a regression that breaks our workaround. We should ideally use the std forms in more cases, but branching when our workarounds fail is simpler to maintain.
PiperOrigin-RevId: 277048670
--
e91003fa3ee6026d9b80624a23fc144fa5d74810 by Chris Kennelly <ckennelly@google.com>:
Fix -Wimplicit-int-float-conversion warning in latest clang
PiperOrigin-RevId: 276771618
--
53087ca6603e86ad815f3dd9ab795cc0f79792c1 by Andy Soffer <asoffer@google.com>:
Add documentation on absl::SNPrintF.
PiperOrigin-RevId: 276694032
--
a9426af8cbd4c3a8f9053e7446c821852e41ff61 by Jorg Brown <jorg@google.com>:
Stop including kern/OSByteOrder.h in order to support __APPLE__
Apple compiles with clang now anyway, and clang has support for the
built-in compiler swap functions that are much faster than any function call to
the OS.
PiperOrigin-RevId: 276625231
--
df974be5aa5b4dc1b09c356cb8816edfc7867e63 by Jorg Brown <jorg@google.com>:
Fix the build for Android x86-64 builds, where __SSE4_2__ is defined but
_bswap64 is not.
PiperOrigin-RevId: 276542642
--
d99dc092b3a5ad17643005e55f3b3cb6b9187ccc by Jorg Brown <jorg@google.com>:
Remove a byteswap from the non-SSE path of FastHexToBufferZeroPad16
Remove the need for including absl/base/internal/endian.h from the SSE case
(since if we have the Intel SSE intrinsics, then clearly we also have the
Intel Byte-Swap intrinsics.)
PiperOrigin-RevId: 276532608
--
d67b106dc930d8558810ae3983613bb2ab1e0d36 by Abseil Team <absl-team@google.com>:
Use explicit static_cast<double> for int64_t to double conversion
This uses an explicit static_cast<double>() in the int64_t to double comparisons in duration.cc's SafeAddRepHi. This satisfies clang's -Wimplicit-int-to-float-conversion warning (with https://reviews.llvm.org/D64666). This may also make it easier for humans to realize that the comparison is happening between two floating point double precision values. It should have no impact on the behavior or generated code.
Tested:
No behavior change
PiperOrigin-RevId: 276529211
GitOrigin-RevId: 2f49cb9009386bc67bf54a2908c8720b749c8b7f
Change-Id: I71e0781893ce219960b8290d54b20532779cb0ff
5 years ago
|
|
|
base_e =
|
|
|
|
(r > static_cast<double>((std::numeric_limits<unsigned_type>::max)()))
|
|
|
|
? (std::numeric_limits<unsigned_type>::max)()
|
|
|
|
: static_cast<unsigned_type>(r);
|
|
|
|
|
|
|
|
top_e =
|
|
|
|
(s > static_cast<double>((std::numeric_limits<unsigned_type>::max)()))
|
|
|
|
? (std::numeric_limits<unsigned_type>::max)()
|
|
|
|
: static_cast<unsigned_type>(s);
|
|
|
|
}
|
|
|
|
|
|
|
|
const unsigned_type lo = (base_e >= p.range()) ? p.range() : base_e;
|
|
|
|
const unsigned_type hi = (top_e >= p.range()) ? p.range() : top_e;
|
|
|
|
|
|
|
|
// choose uniformly over [lo, hi]
|
|
|
|
return absl::uniform_int_distribution<result_type>(lo, hi)(g);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename CharT, typename Traits, typename IntType>
|
|
|
|
std::basic_ostream<CharT, Traits>& operator<<(
|
|
|
|
std::basic_ostream<CharT, Traits>& os, // NOLINT(runtime/references)
|
|
|
|
const log_uniform_int_distribution<IntType>& x) {
|
|
|
|
using stream_type =
|
|
|
|
typename random_internal::stream_format_type<IntType>::type;
|
|
|
|
auto saver = random_internal::make_ostream_state_saver(os);
|
|
|
|
os << static_cast<stream_type>((x.min)()) << os.fill()
|
|
|
|
<< static_cast<stream_type>((x.max)()) << os.fill()
|
|
|
|
<< static_cast<stream_type>(x.base());
|
|
|
|
return os;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename CharT, typename Traits, typename IntType>
|
|
|
|
std::basic_istream<CharT, Traits>& operator>>(
|
|
|
|
std::basic_istream<CharT, Traits>& is, // NOLINT(runtime/references)
|
|
|
|
log_uniform_int_distribution<IntType>& x) { // NOLINT(runtime/references)
|
|
|
|
using param_type = typename log_uniform_int_distribution<IntType>::param_type;
|
|
|
|
using result_type =
|
|
|
|
typename log_uniform_int_distribution<IntType>::result_type;
|
|
|
|
using stream_type =
|
|
|
|
typename random_internal::stream_format_type<IntType>::type;
|
|
|
|
|
|
|
|
stream_type min;
|
|
|
|
stream_type max;
|
|
|
|
stream_type base;
|
|
|
|
|
|
|
|
auto saver = random_internal::make_istream_state_saver(is);
|
|
|
|
is >> min >> max >> base;
|
|
|
|
if (!is.fail()) {
|
|
|
|
x.param(param_type(static_cast<result_type>(min),
|
|
|
|
static_cast<result_type>(max),
|
|
|
|
static_cast<result_type>(base)));
|
|
|
|
}
|
|
|
|
return is;
|
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace absl
|
|
|
|
|
|
|
|
#endif // ABSL_RANDOM_LOG_UNIFORM_INT_DISTRIBUTION_H_
|