operations_research::sat::SharedLsStates Class Reference

Shared set of local search states that we work on. More...

Detailed Description

Shared set of local search states that we work on.

Definition at line 350 of file feasibility_jump.h.

#include <feasibility_jump.h>

Public Member Functions
	SharedLsStates (absl::string_view name, const SatParameters &params, SharedStatTables *stat_tables)
	~SharedLsStates ()
void	CreateNewState ()
LsState *	GetNextState ()
void	Release (LsState *state)
void	ResetLubyCounter ()
void	ConfigureNextLubyRestart (LsState *state)
void	CollectStatistics (const LsState &state)
	Accumulate in the relevant bucket the counters of the given states.

Constructor & Destructor Documentation

SharedLsStates()

operations_research::sat::SharedLsStates::SharedLsStates ( absl::string_view name, const SatParameters & params, SharedStatTables * stat_tables )

inline

Important: max_parallelism should be greater or equal than the actual number of thread sharing this class, otherwise the code will break.

We always start with at least 8 states. We will create more if there are more parallel workers as needed.

Definition at line 354 of file feasibility_jump.h.

~SharedLsStates()

operations_research::sat::SharedLsStates::~SharedLsStates

(

)

Do a final collection.

Display aggregated states

Definition at line 105 of file feasibility_jump.cc.

Member Function Documentation

CollectStatistics()

void operations_research::sat::SharedLsStates::CollectStatistics ( const LsState & state )

inline

Accumulate in the relevant bucket the counters of the given states.

Definition at line 432 of file feasibility_jump.h.

ConfigureNextLubyRestart()

void operations_research::sat::SharedLsStates::ConfigureNextLubyRestart ( LsState * state )

inline

We share a global running Luby sequence for all the "restart" state.

Note

we randomize the parameters on each restart.

Hack: options.use_restart is constant, so we are free to inspect it. Also if options.use_restart, then num_batches_before_change is only modified under lock, so this code should be thread safe.

Definition at line 423 of file feasibility_jump.h.

CreateNewState()

void operations_research::sat::SharedLsStates::CreateNewState ( )

inline

We add one no-restart per 16 states and put it last.

Definition at line 364 of file feasibility_jump.h.

GetNextState()

LsState * operations_research::sat::SharedLsStates::GetNextState ( )

inline

Returns the next available state in round-robin fashion. This is thread safe. If we respect the max_parallelism guarantee, then all states should be independent.

We need more parallelism and create a new state.

Definition at line 377 of file feasibility_jump.h.

Release()

void operations_research::sat::SharedLsStates::Release ( LsState * state )

inline

Definition at line 402 of file feasibility_jump.h.

ResetLubyCounter()

void operations_research::sat::SharedLsStates::ResetLubyCounter ( )

inline

Definition at line 412 of file feasibility_jump.h.

---

The documentation for this class was generated from the following files:

• ortools/sat/feasibility_jump.h
• ortools/sat/feasibility_jump.cc