blob: 4af724b8d06824c975eff7a80e440e6b8f824bfc [file] [log] [blame]
// Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
#ifndef RUNTIME_VM_RANDOM_H_
#define RUNTIME_VM_RANDOM_H_
#include <atomic>
#include "vm/allocation.h"
#include "vm/flags.h"
#include "vm/globals.h"
namespace dart {
DECLARE_FLAG(uint64_t, random_seed);
class Random {
public:
Random();
// Seed must be non-zero.
explicit Random(uint64_t seed);
~Random();
uint32_t NextUInt32();
uint64_t NextUInt64() {
return (static_cast<uint64_t>(NextUInt32()) << 32) |
static_cast<uint64_t>(NextUInt32());
}
private:
uint64_t NextState();
void Initialize(uint64_t seed);
std::atomic<uint64_t> _state;
DISALLOW_COPY_AND_ASSIGN(Random);
};
} // namespace dart
#endif // RUNTIME_VM_RANDOM_H_