#if !defined(THREAD_H_INCLUDED)
#define THREAD_H_INCLUDED
-#include <cstring>
-#include <set>
+#include <vector>
-#include "lock.h"
#include "material.h"
#include "movepick.h"
#include "pawns.h"
#include "position.h"
#include "search.h"
-const int MAX_THREADS = 32;
-const int MAX_ACTIVE_SPLIT_POINTS = 8;
+const int MAX_THREADS = 64; // Because SplitPoint::slavesMask is a uint64_t
+const int MAX_SPLITPOINTS_PER_THREAD = 8;
+
+struct Mutex {
+ Mutex() { lock_init(l); }
+ ~Mutex() { lock_destroy(l); }
+
+ void lock() { lock_grab(l); }
+ void unlock() { lock_release(l); }
+
+private:
+ friend struct ConditionVariable;
+
+ Lock l;
+};
+
+struct ConditionVariable {
+ ConditionVariable() { cond_init(c); }
+ ~ConditionVariable() { cond_destroy(c); }
+
+ void wait(Mutex& m) { cond_wait(c, m.l); }
+ void wait_for(Mutex& m, int ms) { timed_wait(c, m.l, ms); }
+ void notify_one() { cond_signal(c); }
+
+private:
+ WaitCondition c;
+};
+
+struct Thread;
struct SplitPoint {
- // Const data after splitPoint has been setup
- SplitPoint* parent;
+ // Const data after split point has been setup
const Position* pos;
+ const Search::Stack* ss;
+ Thread* masterThread;
Depth depth;
Value beta;
int nodeType;
- int ply;
- int master;
Move threatMove;
// Const pointers to shared data
- MovePicker* mp;
- Search::Stack* ss;
+ MovePicker* movePicker;
+ SplitPoint* parentSplitPoint;
// Shared data
- Lock lock;
+ Mutex mutex;
+ Position* slavesPositions[MAX_THREADS];
+ volatile uint64_t slavesMask;
volatile int64_t nodes;
volatile Value alpha;
volatile Value bestValue;
+ volatile Move bestMove;
volatile int moveCount;
- volatile bool is_betaCutoff;
- volatile bool is_slave[MAX_THREADS];
+ volatile bool cutoff;
};
struct Thread {
- void wake_up();
+ Thread();
+ virtual ~Thread();
+
+ virtual void idle_loop();
+ void notify_one();
bool cutoff_occurred() const;
- bool is_available_to(int master) const;
- void idle_loop(SplitPoint* sp);
- void main_loop();
- void timer_loop();
-
- SplitPoint splitPoints[MAX_ACTIVE_SPLIT_POINTS];
- MaterialInfoTable materialTable;
- PawnInfoTable pawnTable;
- int threadID;
+ bool is_available_to(Thread* master) const;
+ void wait_for(volatile const bool& b);
+
+ SplitPoint splitPoints[MAX_SPLITPOINTS_PER_THREAD];
+ Material::Table materialTable;
+ Endgames endgames;
+ Pawns::Table pawnsTable;
+ size_t idx;
int maxPly;
- Lock sleepLock;
- WaitCondition sleepCond;
- SplitPoint* volatile splitPoint;
- volatile int activeSplitPoints;
- volatile bool is_searching;
- volatile bool do_sleep;
- volatile bool do_terminate;
-
-#if defined(_MSC_VER)
- HANDLE handle;
-#else
- pthread_t handle;
-#endif
+ 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
+/// special threads: the main one and the recurring timer.
+
+struct MainThread : public Thread {
+ MainThread() : thinking(true) {} // Avoid a race with start_thinking()
+ virtual void idle_loop();
+ volatile bool thinking;
};
+struct TimerThread : public Thread {
+ TimerThread() : msec(0) {}
+ virtual void idle_loop();
+ int msec;
+};
-/// ThreadsManager class handles all the threads related stuff like init, starting,
+
+/// ThreadPool class handles all the threads related stuff like init, starting,
/// parking and, the most important, launching a slave thread at a split point.
/// All the access to shared thread data is done through this class.
-class ThreadsManager {
- /* As long as the single ThreadsManager object is defined as a global we don't
- need to explicitly initialize to zero its data members because variables with
- static storage duration are automatically set to zero before enter main()
- */
+class ThreadPool {
+
public:
- Thread& operator[](int threadID) { return threads[threadID]; }
- void init();
- void exit();
+ 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.
- bool use_sleeping_threads() const { return useSleepingThreads; }
- int min_split_depth() const { return minimumSplitDepth; }
- int size() const { return activeThreads; }
+ Thread& operator[](size_t id) { return *threads[id]; }
+ size_t size() const { return threads.size(); }
+ MainThread* main_thread() { return static_cast<MainThread*>(threads[0]); }
+ TimerThread* timer_thread() { return timer; }
- void set_size(int cnt);
void read_uci_options();
- bool available_slave_exists(int master) const;
- bool split_point_finished(SplitPoint* sp) const;
- void set_timer(int msec);
- void wait_for_stop_or_ponderhit();
- void stop_thinking();
- void start_thinking(const Position& pos, const Search::LimitsType& limits,
- const std::set<Move>& searchMoves, bool asyncMode);
+ bool slave_available(Thread* master) const;
+ void wait_for_think_finished();
+ void start_thinking(const Position&, const Search::LimitsType&,
+ const std::vector<Move>&, Search::StateStackPtr&);
template <bool Fake>
- Value split(Position& pos, Search::Stack* ss, Value alpha, Value beta, Value bestValue,
- Depth depth, Move threatMove, int moveCount, MovePicker* mp, int nodeType);
-private:
- friend struct Thread;
+ Value split(Position& pos, Search::Stack* ss, Value alpha, Value beta, Value bestValue, Move* bestMove,
+ Depth depth, Move threatMove, int moveCount, MovePicker& mp, int nodeType);
- Thread threads[MAX_THREADS + 1]; // Last one is used as a timer
- Lock threadsLock;
+ bool sleepWhileIdle;
Depth minimumSplitDepth;
- int maxThreadsPerSplitPoint;
- int activeThreads;
- bool useSleepingThreads;
- WaitCondition sleepCond;
+ Mutex mutex;
+ ConditionVariable sleepCondition;
+
+private:
+ std::vector<Thread*> threads;
+ TimerThread* timer;
+ size_t maxThreadsPerSplitPoint;
};
-extern ThreadsManager Threads;
+extern ThreadPool Threads;
#endif // !defined(THREAD_H_INCLUDED)
projects / stockfish / blobdiff