text: // Licensed to the Apache Software Foundation (ASF) under one
  // or more contributor license agreements.  See the NOTICE file
  // distributed with this work for additional information
  // regarding copyright ownership.  The ASF licenses this file
  // to you 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
  //
  //   http://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 <dsn/utility/rand.h>
  #include <random>
  
  namespace dsn {
  namespace rand {
  
  thread_local std::ranlux48_base g_thread_local_rng(std::random_device{}());
  
  /*extern*/ uint64_t next_u64(uint64_t min, uint64_t max)
  {
      return std::uniform_int_distribution<uint64_t>(min, max)(g_thread_local_rng);
  }
  
  /*extern*/ void reseed_thread_local_rng(uint64_t seed) { g_thread_local_rng.seed(seed); }
  
  } // namespace rand
  } // namespace dsn
  