]> git.sesse.net Git - stockfish/log
stockfish
14 years agoRetire per-thread stopRequest flag
Marco Costalba [Sat, 20 Feb 2010 16:52:09 +0000 (17:52 +0100)]
Retire per-thread stopRequest flag

This is a per split-point request, not per-thread. When we find
a beta cut-off in current thread's split point or in or in some
ancestor of the current split point then threads should stop
immediately the search and return to idle_loop().

The check is done by thread_should_stop() that now looks only
at split point's chain.

No functional change and a good semplification.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoUse state instead of flags to track threads
Marco Costalba [Sat, 20 Feb 2010 13:57:26 +0000 (14:57 +0100)]
Use state instead of flags to track threads

This is easier to follow and also reduces the points
where state changes to mainly idle_loop() and split().

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRename THREAD_MAX in MAX_THREADS
Marco Costalba [Sat, 20 Feb 2010 12:38:04 +0000 (13:38 +0100)]
Rename THREAD_MAX in MAX_THREADS

Also rename idle_thread_exists() in available_thread_exists()

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoSearch negative SEE moves in qsearch in PV
Joona Kiiski [Fri, 12 Feb 2010 08:53:03 +0000 (10:53 +0200)]
Search negative SEE moves in qsearch in PV

After 2704 games on slow single core
mod - orig: 1381 - 1323

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoUse zero null move margin when depth < 4 * OnePly
Joona Kiiski [Fri, 12 Feb 2010 14:40:00 +0000 (16:40 +0200)]
Use zero null move margin when depth < 4 * OnePly

This is because when we are below 4 * OnePly, the null move
will directly jump to qsearch and if we are below beta,
our opponent is above beta and will get immediate
stand pat cut off.

So basically this patch is just optimizing away useless
evaluation calls. dbg_hit_on() runs show that this heuristic
is correct >99% of cases. Transposition table probably causes
some inaccurary?

After 1148 games on QUAD
mod-orig: 583 - 565 +5 elo

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoFix another setting of a flag out of lock protection
Marco Costalba [Sun, 14 Feb 2010 15:29:28 +0000 (16:29 +0100)]
Fix another setting of a flag out of lock protection

In this case is dangerous because in split() we reset the flag to
false, but if it was set due to a cut-off higher in the tree we
completely miss that and go on with the full search.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRename flag 'stop' in 'stopRequest'
Marco Costalba [Sun, 14 Feb 2010 15:04:53 +0000 (16:04 +0100)]
Rename flag 'stop' in 'stopRequest'

Instead of other flags this is not a state flag, i.e. does
not defines a state for the thread, but a request because
after we raise 'stopRequest' flag the corresponding thread is
not stopped, but continues to run for a while until it returns
from sp_search() in idle_loop.

It is important the name reflects this.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoReset thread flags to a known state before to exit think()
Marco Costalba [Sun, 14 Feb 2010 14:58:46 +0000 (15:58 +0100)]
Reset thread flags to a known state before to exit think()

Among them 'stop' and 'printCurrentLineRequest' could have
random value, so reset to a known state before to leave the
search.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoFix 'stop' flag changed out of lock protection
Marco Costalba [Sun, 14 Feb 2010 12:31:05 +0000 (13:31 +0100)]
Fix 'stop' flag changed out of lock protection

This is the first nice effect of previous patch !

Because thread_should_stop() should be declared 'const' we
need to remove the setting of 'stop' flag to true that
turns out to be a bug because thread_should_stop() is called
outside from lock protection while 'stop' flag is a volatile
shared variable so cannot be changed when not in lock.

Note that this bugs fires ONLY when we use more then 2 threads,
so commonly only in a QUAD or OCTAL machine.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoIntroduce ThreadsManager class
Marco Costalba [Sat, 13 Feb 2010 12:38:32 +0000 (13:38 +0100)]
Introduce ThreadsManager class

Main aim of this patch is to consolidate all the thread related stuff
behind a single class interface so to avoid messing with global flags
and having thread code scattered among non-thread related stuff.

Another advantage is that now access to thread's variables is
more controlled, in particular we can differentiate between
read and write accesses by the mean of different interfaces, it
is so simpler to understand how a function is related to threads.

Lastly this rewrite is the base for future code consolidations and
semplifications that are easier now that we have only one thread's
access point.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoFix compile error under gcc
Marco Costalba [Sat, 13 Feb 2010 12:40:23 +0000 (13:40 +0100)]
Fix compile error under gcc

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoEnsure function boundaries for threads state changes
Marco Costalba [Sat, 13 Feb 2010 11:39:27 +0000 (12:39 +0100)]
Ensure function boundaries for threads state changes

Ensure threads are sleeping when leaving init_threads() and
the newly introduced put_threads_to_sleep().

Also ensure threads are not sleeping when leaving
wake_sleeping_threads().

As a side effect we now leave think() with all the threads
(but the main one) guaranteed to sleep. So when we enter
again in think(), after the opponent next move, we know
threads must be sleeping.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRename stop_threads() to exit_threads()
Marco Costalba [Sat, 13 Feb 2010 11:07:13 +0000 (12:07 +0100)]
Rename stop_threads() to exit_threads()

More stick to what actually happens.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoBe sure threads are woken in wake_sleeping_threads()
Marco Costalba [Sat, 13 Feb 2010 11:02:34 +0000 (12:02 +0100)]
Be sure threads are woken in wake_sleeping_threads()

Wait inside wake_sleeping_threads() for the threads to be
effectively and reliably woken up.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoUse Thread c'tor to properly init the struct
Marco Costalba [Sat, 13 Feb 2010 10:40:55 +0000 (11:40 +0100)]
Use Thread c'tor to properly init the struct

This is what c'tors are for.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoAdd 'sleeping' flag to struct Thread
Marco Costalba [Sat, 13 Feb 2010 10:22:57 +0000 (11:22 +0100)]
Add 'sleeping' flag to struct Thread

Will be used by future patches. Also:

- Renamed Idle in AllThreadsShouldSleep

- Explicitly inited AllThreadsShouldExit and AllThreadsShouldSleep
  in init_thread() instead of use an anonymous global initialization.

- Rewritten idle_loop() while condition to avoid a 'break' statement

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoAllow build on HP-UX 11.X
Marco Costalba [Fri, 12 Feb 2010 05:49:16 +0000 (06:49 +0100)]
Allow build on HP-UX 11.X

Patch from Richard Lloyd (slightly edited from me), following the list
of changes as described by the author:

src/Makefile:
- Added PREFIX and BINDIR for the install: rule.
- Added a "make hpux" line to the help: rule.
- Added "make test"/"make check" rule that runs the $(PGOBENCH) command.
- "make clean" now additionally removes core and bench.txt.
- Added an hpux: rule.
- Added an install: rule to mkdir $(BINDIR), copy $(EXE) to $(BINDIR) and
 then strip it.
- "make strip" now ensures that $(EXE) is built first before trying to
 strip it.
- Hide errors and output from the g++ command used by the .depend: rule and
 then touch .depend in case g++ isn't available.
- Hide errors from the "include .depend" in case .depend doesn't exist
 (e.g. directly after a "make clean").

src/book.cpp and src/book.h:
- HP-UX's aCC really didn't like the const keywords used for the
 Book::file_name() definitions, so they were removed. I checked that this
 didn't affect a Linux build and it was still fine.

src/misc.cpp:
- HP-UX uses <sys/pstat.h> and pstat_getdynamic() to determine the number of
 CPU cores, so added conditional code for that (if pstat_getdynamic() fails,
 set the number of cores to 1).

src/tt.cpp:
- <xmmintrin.h> and _mm_prefetch() seem highly specific to the Intel x86(_64)
 and gcc platforms - neither exist in HP-UX, so conditionally avoid that
 code in HP-UX's case. Perhaps some sort of define is needed here
 such as -DHAS_MM_PREFETCH that could be #ifdef'ed for instead?

Even after these changes, it's more convenient for HP-UX users to edit the
default: rule in the Makefile to run "$(MAKE) hpux" before they build
stockfish, but that's not a big deal if they're warned about that first (the
same applies to all other builds other than the standard "$(MAKE) gcc" one).

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoFix a couple of new MSVC 2010 warnings
Marco Costalba [Wed, 10 Feb 2010 20:27:44 +0000 (21:27 +0100)]
Fix a couple of new MSVC 2010 warnings

Compiler complains because in Book we have a d'tor but not
copy c'tor and assignement operator (warning C4511 and C4512),
note that after adding them (just declared) you now need also
default c'tor !

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRetire EvalInfo* in SearchStack
Marco Costalba [Mon, 8 Feb 2010 09:48:58 +0000 (10:48 +0100)]
Retire EvalInfo* in SearchStack

It is an hidden bug waiting to fire. The main problem is
that ss[ply] is overwritten by search() and qsearch() called
from IID and razoring, so that we cannot hold a pointer to a
local EvalInfo variable.

For instance if we go razoring then we overwrite the pointer
with the address of a variable local to qsearch(), when we return
from qsearch() variable goes out of scope and now ss[ply].evalInfo
holds a stale pointer !

Because we are not looking for troubles we go through the
safe route and we remove it entirely.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoSmall code style triviality
Marco Costalba [Sun, 7 Feb 2010 12:19:10 +0000 (13:19 +0100)]
Small code style triviality

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoImplement init_search()
Joona Kiiski [Sun, 7 Feb 2010 11:15:39 +0000 (13:15 +0200)]
Implement init_search()

No functional change

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoDocument lookup tables
Joona Kiiski [Sun, 7 Feb 2010 08:53:15 +0000 (10:53 +0200)]
Document lookup tables

No functional change

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoImplement futility move count array
Joona Kiiski [Sun, 7 Feb 2010 08:42:40 +0000 (10:42 +0200)]
Implement futility move count array

No functional change

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoImplement futility margins matrix
Joona Kiiski [Sun, 7 Feb 2010 07:40:14 +0000 (09:40 +0200)]
Implement futility margins matrix

No functinal change

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoUse gain table to order non-captures
Marco Costalba [Thu, 4 Feb 2010 18:24:41 +0000 (19:24 +0100)]
Use gain table to order non-captures

Gain value is multiplied by 16 to be of comparable magnitudo
of negative history, on average.

This patch shows very good results in tactical tests, but
started very bad in real games, so I have run two test matches.

After 896 games at 1+0
Mod vs Orig +187 =525 -184 +1 ELO

After 999 games at 1+0
Mod vs Orig +223 =590 -186 +13 ELO

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoUse posKey instead of pos.get_key() after NonPVIID
Joona Kiiski [Sat, 6 Feb 2010 16:18:12 +0000 (18:18 +0200)]
Use posKey instead of pos.get_key() after NonPVIID

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoUse opening book when pondering
Joona Kiiski [Sat, 6 Feb 2010 13:55:44 +0000 (15:55 +0200)]
Use opening book when pondering

Otherwise we will not use move given by opening book
when we receive 'ponderhit'-command.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoDelay sorting of negative scored non-captures
Marco Costalba [Fri, 5 Feb 2010 17:17:52 +0000 (18:17 +0100)]
Delay sorting of negative scored non-captures

We can do this only when needed, if we get a cut-off
before we skip sorting entirely. This reduces sorting
time of about 20%.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoCopy 4 SearchStack items in split()
Joona Kiiski [Fri, 5 Feb 2010 16:05:48 +0000 (18:05 +0200)]
Copy 4 SearchStack items in split()

In search routines we use information from previous ply
and init killers two plies ahead.

So for me it seems correct to copy 4 searchstack items
in split:

ply - 1, ply, ply + 1, ply + 2

Because
a) we do not split at root (ply == 0)
b) ply < PLY_MAX and SearchStack size is PLY_MAX_PLUS_2
there should be no risk of underflows or overflows

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRemove sorting optimization for many zeroes
Marco Costalba [Fri, 5 Feb 2010 16:37:33 +0000 (17:37 +0100)]
Remove sorting optimization for many zeroes

With negative history we don't have anymore a
lot of zeroes to score, so just split moves in
positives and non-positives sets.

Speed up is almost zero, we cannot test speed directly
because node count changed due to reorder, but I have
verified sorting is correct. With a profiler I have
seen we gain a little in sort_moves() and lose a little
in insertion_sort(), so the net effect is almost zero,
but code is simpler.

No real change, just move reordering.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoGive FailLow flag more descriptive name
Joona Kiiski [Fri, 5 Feb 2010 13:20:38 +0000 (15:20 +0200)]
Give FailLow flag more descriptive name

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRemove Problem variable
Joona Kiiski [Fri, 5 Feb 2010 13:12:48 +0000 (15:12 +0200)]
Remove Problem variable

It was only used to control StopOnPonderHit variable.
Now use FailLow variable instead.

Patch has a minor effect on time management when ponder is on.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRemove unused failHighPly1 flag
Joona Kiiski [Fri, 5 Feb 2010 12:24:28 +0000 (14:24 +0200)]
Remove unused failHighPly1 flag

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRemove unused FailHigh flag
Joona Kiiski [Fri, 5 Feb 2010 12:21:22 +0000 (14:21 +0200)]
Remove unused FailHigh flag

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoSimplify time management
Joona Kiiski [Fri, 5 Feb 2010 12:17:38 +0000 (14:17 +0200)]
Simplify time management

noProblemFound condition is never true.
This was verified by running 800 games 1+0 match in 1 CPU computer.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoBe sure negative see evasions are at the bottom
Marco Costalba [Fri, 5 Feb 2010 07:19:39 +0000 (08:19 +0100)]
Be sure negative see evasions are at the bottom

Because H.move_ordering_score() can return negative values
some negative see moves could be searched before non-negative
see moves with negative history.

This patch restores proper ordering.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoScore non-captures only by history
Marco Costalba [Wed, 3 Feb 2010 18:36:53 +0000 (19:36 +0100)]
Score non-captures only by history

Now that history can go negative and is almost alwyas
non zero we have no more reasons to use also psqt term.

After 994 games at 1+0
Mod vs Orig +204 =597 -193 +4 ELO

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoReduction lookup table
Joona Kiiski [Thu, 4 Feb 2010 16:09:07 +0000 (18:09 +0200)]
Reduction lookup table

No functional change

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoConvert gains to use a piece-to mapping
Marco Costalba [Tue, 2 Feb 2010 08:10:15 +0000 (09:10 +0100)]
Convert gains to use a piece-to mapping

Instead of piece-from-to, in this way it is similar
to what we already do for history.

Almost no change, but seems a bit simpler in this way.

After 995 games at 1+0
Mod vs Orig +207 =596 -192 +5 ELO

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoFix a compile error from previous patch
Marco Costalba [Tue, 2 Feb 2010 18:01:24 +0000 (19:01 +0100)]
Fix a compile error from previous patch

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoFix indentations
Joona Kiiski [Tue, 2 Feb 2010 17:25:20 +0000 (19:25 +0200)]
Fix indentations

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRetire outdated aspiration search code
Joona Kiiski [Tue, 2 Feb 2010 17:21:49 +0000 (19:21 +0200)]
Retire outdated aspiration search code

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRenamed stand pat as 'static null move pruning'
Marco Costalba [Tue, 2 Feb 2010 07:51:54 +0000 (08:51 +0100)]
Renamed stand pat as 'static null move pruning'

It seems more standard conformant. Also added a bit of
description directly from Tord.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoSave futilityMargin for both colors
Marco Costalba [Mon, 1 Feb 2010 19:06:56 +0000 (20:06 +0100)]
Save futilityMargin for both colors

It will be needed by future patches.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoFix duplicated scaling function
Marco Costalba [Mon, 1 Feb 2010 18:32:02 +0000 (19:32 +0100)]
Fix duplicated scaling function

We erroneusly added two times the same scaling function
to endgame's map.

Fix detected by valgrind becasue resulted in a memleak
of the first added scaling function.

Bug introduced by 30e8f0c9ad6a473 of 13/02/2009

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoIncrease TT size limit to 8 GB
Marco Costalba [Mon, 1 Feb 2010 15:53:10 +0000 (16:53 +0100)]
Increase TT size limit to 8 GB

We had an overflow due to use an integer for hash size,
now we use a size_t as we should, so we can increase to
an higher limit.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoCheck bounds in set_option_value()
Marco Costalba [Mon, 1 Feb 2010 13:06:59 +0000 (14:06 +0100)]
Check bounds in set_option_value()

Normally it's up to the GUI to check for option's limits,
but we could receive the new value directly from the user
by teminal window. So let's check the bounds anyway.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoSome code style triviality in root search
Marco Costalba [Sun, 31 Jan 2010 10:08:04 +0000 (11:08 +0100)]
Some code style triviality in root search

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoAdd hardware POPCNT support for gcc
Marco Costalba [Sat, 30 Jan 2010 18:18:27 +0000 (19:18 +0100)]
Add hardware POPCNT support for gcc

With new target 'make gcc-popcnt' it is now
possible to compile with enabled hardware POPCNT
support also with gcc. Until now was possible only
for Intel and MSVC compilers.

When this instruction is supported by CPU, for instance
on Intel i7 or i5 family, produced binary is a bit faster.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRevert "Remove pointless gcc flag when generating dependencies"
Marco Costalba [Sat, 30 Jan 2010 09:35:04 +0000 (10:35 +0100)]
Revert "Remove pointless gcc flag when generating dependencies"

This reverts commit c43c5fe9e0c9a99947b940133df2cb2bbb57c3f9.

Produces following build error after 'make clean', 'make icc' under Mandriva
with icc version 11.0

Makefile:306: .depend: No such file or directory
In file included from tt.cpp:28:
/usr/lib/gcc/i586-manbo-linux-gnu/4.3.2/include/xmmintrin.h:35:3: error: #error "SSE instruction set not enabled"

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRetire captures pruning
Marco Costalba [Thu, 28 Jan 2010 23:16:00 +0000 (00:16 +0100)]
Retire captures pruning

Futility captures alone does not seem an improvment.

Perhaps is a combination of stand pat + futility that is winning,
so revert for now and continue testing starting from a standard
base until we find the correct receipe.

After 999 games at 1+0
Mod vs Orig +231 0506 -201  +10 ELO

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoAvoid search tree explosion in qsearch
Marco Costalba [Fri, 29 Jan 2010 15:47:04 +0000 (16:47 +0100)]
Avoid search tree explosion in qsearch

Under some rare cases we can have a search tree explosion
due to a perpetual check or to a very long non-capture TT
sequence.

This avoids the tree explosion not following TT moves that
are not captures or promotions when we are below the
'generate checks' depth.

Idea suggested by Richard Vida.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoCorrect qsearch() TT save
Joona Kiiski [Fri, 29 Jan 2010 08:13:21 +0000 (10:13 +0200)]
Correct qsearch() TT save

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoStricter conditions in main search stand pat
Marco Costalba [Wed, 27 Jan 2010 11:05:27 +0000 (12:05 +0100)]
Stricter conditions in main search stand pat

Not a biggie but is a reduced pruned patch that doesn't
seems to hurt, so it is welcomed ;-)

After 999 games at 1+0
Mod vs Orig +207 =601 -191  +6 ELO

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoUse float instead of double in reduction parameters
Marco Costalba [Thu, 28 Jan 2010 11:47:48 +0000 (12:47 +0100)]
Use float instead of double in reduction parameters

This is faster on 32 bit CPU and precision is enough.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoMicro optimize reduction_parameters()
Marco Costalba [Thu, 28 Jan 2010 11:39:15 +0000 (12:39 +0100)]
Micro optimize reduction_parameters()

At ply == OnePly (common case) we avoid some useless
floating point computation.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoAvoid to calculate reduction for each move
Marco Costalba [Thu, 28 Jan 2010 11:14:27 +0000 (12:14 +0100)]
Avoid to calculate reduction for each move

This is slow because some floating point operation is
involved.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRemove useless variable 'PostFutilityValueMargin'
Joona Kiiski [Wed, 27 Jan 2010 22:02:51 +0000 (00:02 +0200)]
Remove useless variable 'PostFutilityValueMargin'

No functional change

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoPrecalculate FutilityMargins
Joona Kiiski [Wed, 27 Jan 2010 21:54:01 +0000 (23:54 +0200)]
Precalculate FutilityMargins

This way we don't need to copy+paste formula everywhere

No functional change

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoUse calculate_reduction() function to simplify code
Joona Kiiski [Wed, 27 Jan 2010 21:24:01 +0000 (23:24 +0200)]
Use calculate_reduction() function to simplify code

No functional change

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoBugfix: reduction was not set to zero in full depth search
Joona Kiiski [Wed, 27 Jan 2010 20:59:18 +0000 (22:59 +0200)]
Bugfix: reduction was not set to zero in full depth search

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoImplement calculate_reduction function
Joona Kiiski [Wed, 27 Jan 2010 20:56:11 +0000 (22:56 +0200)]
Implement calculate_reduction function

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoStandardize set_option function
Joona Kiiski [Wed, 27 Jan 2010 08:37:12 +0000 (10:37 +0200)]
Standardize set_option function

Previously input like "setoption name Use Search Log value true "
(note space at the end of the line) didn't work.

Now parse value same way as option name. This way we implicitly
left- and right-trim value.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoDo not initialize RootPosition at startup
Joona Kiiski [Tue, 26 Jan 2010 18:22:51 +0000 (20:22 +0200)]
Do not initialize RootPosition at startup

Initializing high-level object at startup is very dangerous,
because low-level snippets are not yet initialized.

For example Position's constructor calls find_checkers() which
calls attackers_to() which depends on various global bitboard arrays
which are not yet initialized. I think we are lucky not to crash.

RootPosition.from_fen(StartPosition); is called immediately after
all initializations are made at uci_main_loop() which is the
correct behaviour

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoAspiration window rewrite
Marco Costalba [Wed, 27 Jan 2010 18:46:57 +0000 (19:46 +0100)]
Aspiration window rewrite

Joona new aspiration window. Main idea is to always
research aspiration fail highs/low at the same
ply and use much smaller aspiration window than previously.

Testing result is very positive.

1CPU:
953-1149

4CPU:
545 - 656

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoBe sure we exit while loop with lock held
Marco Costalba [Wed, 27 Jan 2010 18:23:16 +0000 (19:23 +0100)]
Be sure we exit while loop with lock held

This fixes an hang introduced by recent locking
rewrite patch.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoFix capture pruning
Joona Kiiski [Wed, 27 Jan 2010 17:49:54 +0000 (19:49 +0200)]
Fix capture pruning

We forgot to update bestValue previously

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoSimplify locking in sp_search and sp_search_pv
Marco Costalba [Wed, 27 Jan 2010 16:29:34 +0000 (17:29 +0100)]
Simplify locking in sp_search and sp_search_pv

Avoid to take the lock two times in a tight sequence, the first
in get_next_move() and the second to update sp->moves.

Do all with one lock and so retire the now useless locked version
of get_next_move().

Also fix some theorical race due to comparison sp->bestValue < sp->beta
is done out of lock protection. Finally fix another (harmless but time
waster) race that coudl occur because thread_should_stop() is also
called outside of lock protection.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoTemporary revert "captures pruning" due to an assert
Marco Costalba [Wed, 27 Jan 2010 16:57:04 +0000 (17:57 +0100)]
Temporary revert "captures pruning" due to an assert

In debug run with 2 threads it happens to be following
assert after some minutes:

assert(value > -VALUE_INFINITE && value < VALUE_INFINITE);

in search(), line 1615.

I am not able to understand why, anyhow reverted for the moment.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoAdded some FIXME to track needed tests
Marco Costalba [Wed, 27 Jan 2010 10:49:03 +0000 (11:49 +0100)]
Added some FIXME to track needed tests

This avoid us to forget some very needed tests now that
futility has changed in a whole big chunk we need to fine
tuning every splitted change.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoIntegrate gains table in History
Marco Costalba [Wed, 27 Jan 2010 10:19:56 +0000 (11:19 +0100)]
Integrate gains table in History

This will be useful to use gains table in move
ordering along with history table.

No functional change and big code remove.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoIntroduce update_gains() and refactor some code
Marco Costalba [Wed, 27 Jan 2010 09:55:19 +0000 (10:55 +0100)]
Introduce update_gains() and refactor some code

No functional change

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoFix some silly bugs
Joona Kiiski [Fri, 22 Jan 2010 20:54:28 +0000 (22:54 +0200)]
Fix some silly bugs

SelectiveDepth was ignored

Test results for the whole futility pruning series:

4CPU:
Orig - Mod: 959 - 1027 (+12 elo)

1CPU:
Orig - Mod: 763 - 830 (+15 elo)

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoMaxGain based futility pruning for captures
Joona Kiiski [Thu, 21 Jan 2010 20:45:38 +0000 (22:45 +0200)]
MaxGain based futility pruning for captures

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoMaxGain based pruning
Joona Kiiski [Thu, 21 Jan 2010 20:13:02 +0000 (22:13 +0200)]
MaxGain based pruning

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoImplement post futility pruning
Joona Kiiski [Thu, 21 Jan 2010 17:03:06 +0000 (19:03 +0200)]
Implement post futility pruning

and prevent futility pruning from pruning
castling moves

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoCollect MaxGain statistics
Joona Kiiski [Thu, 21 Jan 2010 15:58:00 +0000 (17:58 +0200)]
Collect MaxGain statistics

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoImplement MaxGain table
Joona Kiiski [Thu, 21 Jan 2010 14:50:23 +0000 (16:50 +0200)]
Implement MaxGain table

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRemove pointless gcc flag when generating dependencies
Joona Kiiski [Tue, 26 Jan 2010 17:06:38 +0000 (19:06 +0200)]
Remove pointless gcc flag when generating dependencies

When generating dependencies there is absolutely no point
to pass -msse flag to gcc, so remove it.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRemove InfiniteSearch hack
Joona Kiiski [Tue, 26 Jan 2010 17:05:06 +0000 (19:05 +0200)]
Remove InfiniteSearch hack

With current search control system, I can see absolutely no
reason to classify fixed time search as infinite search.

So remove old dated hack

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRemove last use of uip.eof()
Joona Kiiski [Tue, 26 Jan 2010 16:55:27 +0000 (18:55 +0200)]
Remove last use of uip.eof()

Value of uip.eof() should not be trusted.
input like "go infinite searchmoves " (note space in the end of line)
causes problems.

Check the return value of (uip >> token) instead

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoReduce lock contention in sp_search_pv()
Marco Costalba [Tue, 26 Jan 2010 11:05:38 +0000 (12:05 +0100)]
Reduce lock contention in sp_search_pv()

In less then 1% of cases value > sp->bestValue, so avoid
an useless lock in the common case. This is the same change
already applied to sp_search().

Also SplitPoint futilityValue is not volatile because
never changes after has been assigned in split()

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoFix a possible crash in thread_is_available()
Marco Costalba [Mon, 25 Jan 2010 21:18:12 +0000 (22:18 +0100)]
Fix a possible crash in thread_is_available()

When we have more then 2 threads then we do an array
access with index 'Threads[slave].activeSplitPoints - 1'
This should be >= 0 because we tested the variable just
few statements before, but because is a shared variable
it could be that the 'slave' thread set the value to zero
just after we test it, so that when we use the decremented
variable for array access we crash.

Bug spotted by Bruno Causse.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoSmall split() cleanup
Marco Costalba [Mon, 25 Jan 2010 18:48:10 +0000 (19:48 +0100)]
Small split() cleanup

Unify start loop for master and slave threads. Also guarantee
that all the 'stop' flags are set to false before first slave
is started, should be no harm because only master thread can
reset 'stop' flag of slaves to true, so should be no race but
better safe then sorry.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoPrune evasions with negative SEE in qsearch
Marco Costalba [Wed, 20 Jan 2010 10:40:33 +0000 (11:40 +0100)]
Prune evasions with negative SEE in qsearch

Only pure blocking evasions are candidate
for pruning.

After 998 games at 1+0

Mod vs Orig +215 =596 -187  +10 ELO

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoAvoid copy a Position to get a move's san notation
Marco Costalba [Mon, 25 Jan 2010 15:22:50 +0000 (16:22 +0100)]
Avoid copy a Position to get a move's san notation

In move_to_san() we create by copy a new position just
to detect if move gives check. This could be very costly in
line_to_san() that calls move_to_san() for every move, so
create the position only once and pass a reference to move_to_san()

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoFix a race in idle_loop() exiting
Marco Costalba [Mon, 25 Jan 2010 14:01:20 +0000 (15:01 +0100)]
Fix a race in idle_loop() exiting

When pondering threads are put to sleep, but when thinking
the threads are parked in idle_loop in a tight polling loop
checking for workIsWaiting falg.

So before we set the slave's flag workIsWaiting we have to
guarantee that all the slave data is already setup because
slave can start in any moment from there.

Rearrange the last loop to fix this race.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoIn split() release the lock before slow search stack copy
Marco Costalba [Mon, 25 Jan 2010 13:06:35 +0000 (14:06 +0100)]
In split() release the lock before slow search stack copy

Once we have allocated our slave threads and we have removed
master from available threads we can safely remove the lock
so that the lenghty search stack copy operation will not
impact lock contention.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoDo not copy master position in split()
Marco Costalba [Mon, 25 Jan 2010 11:44:30 +0000 (12:44 +0100)]
Do not copy master position in split()

A pointer is enough because after a split point has been
setup master and slaves thread end up calling sp_search() or
sp_search_pv() and here a full copy of split point position is
done again, note that even master does another copy (of itself)
and this is done before any do_move() call so that master Position
is never updated between split() and sp_search().

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoUse fast_copy() instead of full copy in sp_search
Marco Costalba [Mon, 25 Jan 2010 11:07:59 +0000 (12:07 +0100)]
Use fast_copy() instead of full copy in sp_search

And detach splitPoint Position from the master one.

So we duplicate StateInfo only once in split() instead
of one for each thread in sp_search

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoBetter document how Position c'tor works
Marco Costalba [Mon, 25 Jan 2010 11:04:00 +0000 (12:04 +0100)]
Better document how Position c'tor works

Renamed a bit the functions to be more clear what
we actually are doing when we craete a Position object
and explained how StateInfo works.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoFix a couple of MSVC casting warnings
Marco Costalba [Mon, 25 Jan 2010 10:18:35 +0000 (11:18 +0100)]
Fix a couple of MSVC casting warnings

Also removed some trailing whitespaces and aligned
indentation to current standard.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoCopy only the search stack tail in split()
Marco Costalba [Mon, 25 Jan 2010 10:07:30 +0000 (11:07 +0100)]
Copy only the search stack tail in split()

Only the previous, the current and the next ply SearchStack
are copied.

This reduces split overhead especially at low depth (high ply)
and with many threads.

Possibly no functional change (it is not easy to prove in SMP)

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoMerge branch 'master' of ssh://free2.projectlocker.com/sf
Tord Romstad [Sun, 24 Jan 2010 15:09:54 +0000 (16:09 +0100)]
Merge branch 'master' of ssh://free2.projectlocker.com/sf

14 years agoFixes a Chess960 bug when playing with more than one search thread.
Tord Romstad [Sun, 24 Jan 2010 15:09:32 +0000 (16:09 +0100)]
Fixes a Chess960 bug when playing with more than one search thread.

The init_eval() function corrupted the static array castleRightsMask[]
in the Position class, resulting in instant crashes in most Chess960
games. Fixed by repairing the damage directly after the function is
called. Also modified the Position::to_fen() function to display
castle rights correctly for Chess960 positions, and added sanity checks
for uncastled rook files in Position::is_ok().

14 years agoCheck for thread creation successful completion
Marco Costalba [Sun, 24 Jan 2010 11:24:01 +0000 (12:24 +0100)]
Check for thread creation successful completion

It is a good programming practice to verify a system
call has indeed succeed.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoFix some races in SMP code
Marco Costalba [Sun, 24 Jan 2010 12:46:27 +0000 (13:46 +0100)]
Fix some races in SMP code

When a search fails high then sp->alpha is increased and
slave threads are requested to stop.

So we have to check for a stop request before to start a search
otherwise we could end up with sp->alpha >= sp->beta
leading to an assert in debug run in search_pv().

This patch fixes the assert and get rid of some of possible races.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoMake sure we make a move at the end of the search when reaching
Tord Romstad [Fri, 22 Jan 2010 12:42:33 +0000 (13:42 +0100)]
Make sure we make a move at the end of the search when reaching
maximum depth during a "go movetime ..." search. This prevents
Stockfish from hanging forever after finding a mate in two or
three while running a test suite at a level of a few seconds
per move.

No functional change when playing games at normal time controls.

14 years agoIf near beta generate checks at -OnePly
Marco Costalba [Tue, 19 Jan 2010 14:24:26 +0000 (15:24 +0100)]
If near beta generate checks at -OnePly

In qsearch() try to get a cutoff with the help of an
extra check if we are already very near.

Small increase in actual games but a good result in tactical
test sets where this patch makes SF more tactical.

Mod vs Orig +197 =620 -181 +6 ELO

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
14 years agoRetire LMRPVMoves and LMRNonPVMoves
Marco Costalba [Wed, 20 Jan 2010 17:43:29 +0000 (18:43 +0100)]
Retire LMRPVMoves and LMRNonPVMoves

Are no used anymore.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>