X-Git-Url: https://git.sesse.net/?p=stockfish;a=blobdiff_plain;f=src%2Fthread.h;h=42c44aa946f06b6fad5c0bb7b1b8f61076738aeb;hp=8115bc71decd66b917ef78d82ada490685fc4dc2;hb=8d47caa16ec9d2efad44f2638ce7d7637216d281;hpb=e5bc79fb9cf0f47c850ad0cc0b057d9f86e788cd diff --git a/src/thread.h b/src/thread.h index 8115bc71..42c44aa9 100644 --- a/src/thread.h +++ b/src/thread.h @@ -1,7 +1,7 @@ /* Stockfish, a UCI chess playing engine derived from Glaurung 2.1 Copyright (C) 2004-2008 Tord Romstad (Glaurung author) - Copyright (C) 2008-2012 Marco Costalba, Joona Kiiski, Tord Romstad + Copyright (C) 2008-2015 Marco Costalba, Joona Kiiski, Tord Romstad Stockfish is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by @@ -17,9 +17,10 @@ along with this program. If not, see . */ -#if !defined(THREAD_H_INCLUDED) +#ifndef THREAD_H_INCLUDED #define THREAD_H_INCLUDED +#include #include #include "material.h" @@ -28,8 +29,14 @@ #include "position.h" #include "search.h" -const int MAX_THREADS = 64; // Because SplitPoint::slavesMask is a uint64_t +struct Thread; + +const int MAX_THREADS = 128; const int MAX_SPLITPOINTS_PER_THREAD = 8; +const size_t MAX_SLAVES_PER_SPLITPOINT = 4; + +/// Mutex and ConditionVariable struct are wrappers of the low level locking +/// machinery and are modeled after the corresponding C++11 classes. struct Mutex { Mutex() { lock_init(l); } @@ -56,27 +63,30 @@ private: WaitCondition c; }; -struct Thread; + +/// SplitPoint struct stores information shared by the threads searching in +/// parallel below the same split point. It is populated at splitting time. struct SplitPoint { // Const data after split point has been setup const Position* pos; - const Search::Stack* ss; + Search::Stack* ss; Thread* masterThread; Depth depth; Value beta; int nodeType; - Move threatMove; + bool cutNode; // Const pointers to shared data MovePicker* movePicker; SplitPoint* parentSplitPoint; - // Shared data + // Shared variable data Mutex mutex; - volatile uint64_t slavesMask; - volatile int64_t nodes; + std::bitset slavesMask; + volatile bool allSlavesSearching; + volatile uint64_t nodes; volatile Value alpha; volatile Value bestValue; volatile Move bestMove; @@ -85,44 +95,53 @@ struct SplitPoint { }; +/// ThreadBase struct is the base of the hierarchy from where we derive all the +/// specialized thread classes. + +struct ThreadBase { + + ThreadBase() : handle(NativeHandle()), exit(false) {} + virtual ~ThreadBase() {} + virtual void idle_loop() = 0; + void notify_one(); + void wait_for(volatile const bool& b); + + Mutex mutex; + ConditionVariable sleepCondition; + NativeHandle handle; + volatile bool exit; +}; + + /// Thread struct keeps together all the thread related stuff like locks, state /// and especially split points. We also use per-thread pawn and material hash /// tables so that once we get a pointer to an entry its life time is unlimited /// and we don't have to care about someone changing the entry under our feet. -struct Thread { +struct Thread : public ThreadBase { Thread(); - virtual ~Thread(); - virtual void idle_loop(); - void notify_one(); bool cutoff_occurred() const; - bool is_available_to(Thread* master) const; - void wait_for(volatile const bool& b); + bool available_to(const Thread* master) const; - template void split(Position& pos, Search::Stack* ss, Value alpha, Value beta, Value* bestValue, Move* bestMove, - Depth depth, Move threatMove, int moveCount, MovePicker* movePicker, int nodeType); + Depth depth, int moveCount, MovePicker* movePicker, int nodeType, bool cutNode); SplitPoint splitPoints[MAX_SPLITPOINTS_PER_THREAD]; + Pawns::Table pawnsTable; Material::Table materialTable; Endgames endgames; - Pawns::Table pawnsTable; Position* activePosition; size_t idx; int maxPly; - Mutex mutex; - ConditionVariable sleepCondition; - NativeHandle handle; SplitPoint* volatile activeSplitPoint; volatile int splitPointsSize; volatile bool searching; - volatile bool exit; }; -/// MainThread and TimerThread are sublassed from Thread to characterize the two +/// MainThread and TimerThread are derived classes used to characterize the two /// special threads: the main one and the recurring timer. struct MainThread : public Thread { @@ -131,32 +150,33 @@ struct MainThread : public Thread { volatile bool thinking; }; -struct TimerThread : public Thread { - TimerThread() : msec(0) {} +struct TimerThread : public ThreadBase { + + static const int Resolution = 5; // Millisec between two check_time() calls + + TimerThread() : run(false) {} virtual void idle_loop(); - int msec; + + bool run; }; /// ThreadPool struct handles all the threads related stuff like init, starting, -/// parking and, the most important, launching a slave thread at a split point. +/// parking and, most importantly, launching a slave thread at a split point. /// All the access to shared thread data is done through this class. struct ThreadPool : public std::vector { - void init(); // No c'tor and d'tor, threads rely on globals that should - void exit(); // be initialized and valid during the whole thread lifetime. + void init(); // No c'tor and d'tor, threads rely on globals that should be + void exit(); // initialized and are valid during the whole thread lifetime. - MainThread* main_thread() { return static_cast((*this)[0]); } + MainThread* main() { return static_cast(at(0)); } void read_uci_options(); - Thread* available_slave(Thread* master) const; + Thread* available_slave(const Thread* master) const; void wait_for_think_finished(); - void start_thinking(const Position&, const Search::LimitsType&, - const std::vector&, Search::StateStackPtr&); + void start_thinking(const Position&, const Search::LimitsType&, Search::StateStackPtr&); - bool sleepWhileIdle; Depth minimumSplitDepth; - size_t maxThreadsPerSplitPoint; Mutex mutex; ConditionVariable sleepCondition; TimerThread* timer; @@ -164,4 +184,4 @@ struct ThreadPool : public std::vector { extern ThreadPool Threads; -#endif // !defined(THREAD_H_INCLUDED) +#endif // #ifndef THREAD_H_INCLUDED