concsolver_scip.c File Reference

Detailed Description

implementation of concurrent solver interface for SCIP

Author

Leona Gottwald

Marc Pfetsch

Definition in file concsolver_scip.c.

#include "blockmemshell/memory.h"
#include "scip/boundstore.h"
#include "scip/concsolver.h"
#include "scip/concsolver_scip.h"
#include "scip/concurrent.h"
#include "scip/pub_disp.h"
#include "scip/pub_event.h"
#include "scip/pub_heur.h"
#include "scip/pub_message.h"
#include "scip/pub_misc.h"
#include "scip/pub_paramset.h"
#include "scip/pub_sol.h"
#include "scip/pub_var.h"
#include "scip/scip_concurrent.h"
#include "scip/scip_copy.h"
#include "scip/scip_event.h"
#include "scip/scip_general.h"
#include "scip/scip_heur.h"
#include "scip/scip_mem.h"
#include "scip/scip_message.h"
#include "scip/scip_numerics.h"
#include "scip/scip_param.h"
#include "scip/scip_prob.h"
#include "scip/scip_sol.h"
#include "scip/scip_solve.h"
#include "scip/scip_solvingstats.h"
#include "scip/scip_timing.h"
#include "scip/syncstore.h"
#include "scip/prop_symmetry.h"

Go to the source code of this file.

Macros
#define	EVENTHDLR_NAME   "sync"
#define	EVENTHDLR_DESC   "event handler for synchronization of concurrent scip solvers"

Functions
static	SCIP_DECL_EVENTFREE (eventFreeSync)
static	SCIP_DECL_EVENTINIT (eventInitSync)
static	SCIP_DECL_EVENTEXIT (eventExitSync)
static	SCIP_DECL_EVENTEXEC (eventExecSync)
static SCIP_RETCODE	includeEventHdlrSync (SCIP *scip)
static SCIP_RETCODE	disableConflictingDualReductions (SCIP *scip)
static SCIP_RETCODE	setChildSelRule (SCIP_CONCSOLVER *concsolver)
static SCIP_RETCODE	initConcsolver (SCIP *scip, SCIP_CONCSOLVER *concsolver)
static	SCIP_DECL_CONCSOLVERCREATEINST (concsolverScipCreateInstance)
static	SCIP_DECL_CONCSOLVERDESTROYINST (concsolverScipDestroyInstance)
static	SCIP_DECL_CONCSOLVERTYPEFREEDATA (concsolverTypeScipFreeData)
static	SCIP_DECL_CONCSOLVERINITSEEDS (concsolverScipInitSeeds)
static	SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA (concsolverGetSolvingData)
static	SCIP_DECL_CONCSOLVEREXEC (concsolverScipExec)
static	SCIP_DECL_CONCSOLVERSTOP (concsolverScipStop)
static	SCIP_DECL_CONCSOLVERSYNCWRITE (concsolverScipSyncWrite)
static	SCIP_DECL_CONCSOLVERSYNCREAD (concsolverScipSyncRead)
SCIP_RETCODE	SCIPincludeConcurrentScipSolvers (SCIP *scip)

Macro Definition Documentation

EVENTHDLR_NAME

#define EVENTHDLR_NAME   "sync"

Definition at line 68 of file concsolver_scip.c.

EVENTHDLR_DESC

#define EVENTHDLR_DESC   "event handler for synchronization of concurrent scip solvers"

Definition at line 69 of file concsolver_scip.c.

Referenced by executeLNSHeuristic(), includeEventHdlrSync(), SCIP_DECL_HEUREXEC(), SCIP_DECL_HEUREXEC(), SCIPapplyProximity(), SCIPconflictstoreCreate(), SCIPcreateEventHdlrBestsol(), SCIPcreateProbColoring(), SCIPincludeConshdlrAnd(), SCIPincludeConshdlrBounddisjunction(), SCIPincludeConshdlrCardinality(), SCIPincludeConshdlrCumulative(), SCIPincludeConshdlrExactLinear(), SCIPincludeConshdlrKnapsack(), SCIPincludeConshdlrLinear(), SCIPincludeConshdlrLinking(), SCIPincludeConshdlrLogicor(), SCIPincludeConshdlrOr(), SCIPincludeConshdlrRpa(), SCIPincludeConshdlrSetppc(), SCIPincludeConshdlrSOS1(), SCIPincludeConshdlrSOS2(), SCIPincludeConshdlrVarbound(), SCIPincludeConshdlrXor(), SCIPincludeEventHdlrBestsol(), SCIPincludeEventHdlrBoundwriting(), SCIPincludeEventHdlrEstim(), SCIPincludeEventHdlrGlobalbnd(), SCIPincludeEventHdlrLPsol(), SCIPincludeEventHdlrNewsol(), SCIPincludeEventHdlrShadowTree(), SCIPincludeEventHdlrSofttimelimit(), SCIPincludeEventHdlrSolvingphase(), SCIPincludeHeurNlpdiving(), SCIPincludeHeurShiftandpropagate(), SCIPincludeOrbitopalReduction(), SCIPincludePropGenvbounds(), SCIPincludePropPseudoobj(), SCIPincludePropVbounds(), SCIPincludeSepaIntobj(), SCIPnlpInclude(), SCIPprobdataCreate(), SCIPreoptCreate(), setupAndSolve(), setupAndSolve(), setupAndSolveSubscip(), setupAndSolveSubscipCrossover(), setupAndSolveSubscipLocalbranching(), setupAndSolveSubscipTrustregion(), solveSubscipLpface(), wrapperDins(), and wrapperRins().

Function Documentation

SCIP_DECL_EVENTFREE()

SCIP_DECL_EVENTFREE ( eventFreeSync )

static

destructor of event handler to free user data (called when SCIP is exiting)

Definition at line 87 of file concsolver_scip.c.

References assert(), EVENTHDLR_NAME, NULL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STRINGEQ, SCIPeventhdlrGetData(), SCIPeventhdlrGetName(), SCIPeventhdlrSetData(), and SCIPfreeBlockMemory.

SCIP_DECL_EVENTINIT()

SCIP_DECL_EVENTINIT ( eventInitSync )

static

initialization method of event handler (called after problem was transformed)

Definition at line 108 of file concsolver_scip.c.

References assert(), EVENTHDLR_NAME, NULL, SCIP_CALL, SCIP_EVENTTYPE_SYNC, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STRINGEQ, SCIPcatchEvent(), SCIPeventhdlrGetData(), SCIPeventhdlrGetName(), SCIPgetSyncstore(), and SCIPsyncstoreIsInitialized().

SCIP_DECL_EVENTEXIT()

SCIP_DECL_EVENTEXIT ( eventExitSync )

static

deinitialization method of event handler (called before transformed problem is freed)

Definition at line 135 of file concsolver_scip.c.

References assert(), EVENTHDLR_NAME, NULL, SCIP_CALL, SCIP_EVENTTYPE_SYNC, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STRINGEQ, SCIPdropEvent(), SCIPeventhdlrGetData(), and SCIPeventhdlrGetName().

SCIP_DECL_EVENTEXEC()

SCIP_DECL_EVENTEXEC ( eventExecSync )

static

execution method of event handler

Definition at line 159 of file concsolver_scip.c.

References assert(), EVENTHDLR_NAME, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_STRINGEQ, SCIPeventhdlrGetName(), and SCIPsynchronize().

includeEventHdlrSync()

SCIP_RETCODE includeEventHdlrSync ( SCIP * scip )

static

includes event handler for synchronization found

Parameters

scip	SCIP data structure

Definition at line 175 of file concsolver_scip.c.

References assert(), EVENTHDLR_DESC, EVENTHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemory, SCIPincludeEventhdlrBasic(), SCIPsetEventhdlrExit(), SCIPsetEventhdlrFree(), and SCIPsetEventhdlrInit().

Referenced by SCIP_DECL_CONCSOLVERCREATEINST().

disableConflictingDualReductions()

SCIP_RETCODE disableConflictingDualReductions ( SCIP * scip )

static

Disable dual reductions that might cut off optimal solutions. Although they keep at least one optimal solution intact, communicating these bounds may cut off all optimal solutions, if different optimal solutions were kept in different concurrent solvers.

Parameters

scip	SCIP data structure

Definition at line 215 of file concsolver_scip.c.

References FALSE, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPgetBoolParam(), and SCIPsetBoolParam().

Referenced by SCIP_DECL_CONCSOLVERCREATEINST().

setChildSelRule()

SCIP_RETCODE setChildSelRule ( SCIP_CONCSOLVER * concsolver )

static

sets the child selection rule based on the index of the concurrent solver

Parameters

concsolver

the concurrent solver

Definition at line 233 of file concsolver_scip.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconcsolverGetData(), SCIPconcsolverGetIdx(), and SCIPsetCharParam().

Referenced by SCIP_DECL_CONCSOLVERCREATEINST().

initConcsolver()

SCIP_RETCODE initConcsolver ( SCIP * scip, SCIP_CONCSOLVER * concsolver )

static

initialize the concurrent SCIP solver, i.e., setup the copy of the problem and the mapping of the variables

Parameters

scip	the main SCIP instance
concsolver	the concurrent solver to set up

Definition at line 253 of file concsolver_scip.c.

References assert(), FALSE, NULL, nvars, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaddSolFree(), SCIPallocBlockMemoryArray, SCIPallocBufferArray, SCIPallocClearBufferArray, SCIPblkmem(), SCIPconcsolverGetData(), SCIPconcsolverGetName(), SCIPcopyConsCompression(), SCIPcreate(), SCIPcreateConcurrent(), SCIPcreateSol(), SCIPdebugMessage, SCIPfreeBufferArray, SCIPgetBestSol(), SCIPgetBoolParam(), SCIPgetFixedVars(), SCIPgetMessagehdlr(), SCIPgetNFixedVars(), SCIPgetNOrigVars(), SCIPgetNSols(), SCIPgetNVars(), SCIPgetSolVal(), SCIPgetVars(), SCIPhashmapCreate(), SCIPhashmapFree(), SCIPhashmapGetImage(), SCIPincludePropSymmetry(), SCIPmessagehdlrIsQuiet(), SCIPsetBoolParam(), SCIPsetMessagehdlrQuiet(), SCIPsetSolVal(), SCIPvarGetProbindex(), TRUE, valid, and var.

Referenced by SCIP_DECL_CONCSOLVERCREATEINST().

SCIP_DECL_CONCSOLVERCREATEINST()

SCIP_DECL_CONCSOLVERCREATEINST ( concsolverScipCreateInstance )

static

creates an instance of a concurrent SCIP solver

Definition at line 406 of file concsolver_scip.c.

References assert(), BMSallocMemory, disableConflictingDualReductions(), FALSE, i, includeEventHdlrSync(), initConcsolver(), NULL, paramname, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_CLOCKTYPE_WALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_VERBLEVEL_FULL, SCIPallocBufferArray, SCIPconcsolverGetIdx(), SCIPconcsolverGetName(), SCIPconcsolverSetData(), SCIPconcsolverTypeGetData(), SCIPfileExists(), SCIPfixParam(), SCIPfreeBufferArray, SCIPgetBoolParam(), SCIPgetNParams(), SCIPgetParams(), SCIPgetStringParam(), SCIPinfoMessage(), SCIPparamGetName(), SCIPreadParams(), SCIPsetBoolParam(), SCIPsetEmphasis(), SCIPsetIntParam(), SCIPsnprintf(), SCIPunfixParam(), SCIPverbMessage(), setChildSelRule(), and TRUE.

SCIP_DECL_CONCSOLVERDESTROYINST()

SCIP_DECL_CONCSOLVERDESTROYINST ( concsolverScipDestroyInstance )

static

destroys an instance of a concurrent SCIP solver

Definition at line 513 of file concsolver_scip.c.

References assert(), BMSfreeMemory, NULL, SCIP_CALL, SCIP_OKAY, SCIPconcsolverGetData(), SCIPconcsolverSetData(), SCIPfree(), and SCIPfreeBlockMemoryArray.

SCIP_DECL_CONCSOLVERTYPEFREEDATA()

SCIP_DECL_CONCSOLVERTYPEFREEDATA ( concsolverTypeScipFreeData )

static

frees the data of a concurrent solver type

Definition at line 536 of file concsolver_scip.c.

References assert(), BMSfreeMemory, and NULL.

SCIP_DECL_CONCSOLVERINITSEEDS()

SCIP_DECL_CONCSOLVERINITSEEDS ( concsolverScipInitSeeds )

static

initializes the random and permutation seeds and enables permutation of constraints and variables

Definition at line 544 of file concsolver_scip.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconcsolverGetData(), SCIPconcsolverGetName(), SCIPinfoMessage(), SCIPsetBoolParam(), SCIPsetIntParam(), and TRUE.

SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA()

SCIP_DECL_CONCSOLVERCOPYSOLVINGDATA ( concsolverGetSolvingData )

static

extracts solving status of this concurrent solver and the solving statistics into the given SCIP instance

Definition at line 567 of file concsolver_scip.c.

References assert(), FALSE, i, NULL, nvars, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaddSolFree(), SCIPallocBufferArray, SCIPcheckSol(), SCIPconcsolverGetData(), SCIPcopyConcurrentSolvingStats(), SCIPcopySolStats(), SCIPcreateSol(), SCIPfindHeur(), SCIPfreeBufferArray, SCIPgetNSols(), SCIPgetNVars(), SCIPgetSols(), SCIPgetSolVals(), SCIPgetVars(), SCIPheurGetName(), SCIPsetSolVals(), SCIPsolGetHeur(), and TRUE.

SCIP_DECL_CONCSOLVEREXEC()

SCIP_DECL_CONCSOLVEREXEC ( concsolverScipExec )

static

execution method of SCIP concsolver solver

Start solving the problem until the solving reaches a limit, gets interrupted, or just finished successfully.

Definition at line 643 of file concsolver_scip.c.

References assert(), nlpiterations, nnodes, NULL, SCIP_CALL, SCIP_OKAY, SCIPconcsolverGetData(), SCIPconcsolverGetName(), SCIPdispTime(), SCIPgetMessagehdlr(), SCIPgetNLPIterations(), SCIPgetNNodes(), SCIPgetSolvingTime(), SCIPinfoMessage(), SCIPprintStatus(), and SCIPsolve().

SCIP_DECL_CONCSOLVERSTOP()

SCIP_DECL_CONCSOLVERSTOP ( concsolverScipStop )

static

stops the concurrent solver as soon as possible

Definition at line 679 of file concsolver_scip.c.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconcsolverGetData(), and SCIPinterruptSolve().

SCIP_DECL_CONCSOLVERSYNCWRITE()

SCIP_DECL_CONCSOLVERSYNCWRITE ( concsolverScipSyncWrite )

static

writes new solutions and global boundchanges to the given synchronization data

Definition at line 695 of file concsolver_scip.c.

References assert(), i, MIN, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_STATUS_UNKNOWN, SCIPconcsolverGetData(), SCIPconcsolverGetIdx(), SCIPconcsolverGetName(), SCIPdebugMessage, SCIPgetConcurrentGlobalBoundChanges(), SCIPgetDualbound(), SCIPgetMemTotal(), SCIPgetNSols(), SCIPgetPrimalbound(), SCIPgetSolOrigObj(), SCIPgetSols(), SCIPgetSolVals(), SCIPgetStatus(), SCIPIsConcurrentSolNew(), SCIPsyncdataAddBoundChanges(), SCIPsyncdataAddMemTotal(), SCIPsyncdataGetSolutionBuffer(), SCIPsyncdataGetStatus(), SCIPsyncdataSetLowerbound(), SCIPsyncdataSetStatus(), and SCIPsyncdataSetUpperbound().

SCIP_DECL_CONCSOLVERSYNCREAD()

SCIP_DECL_CONCSOLVERSYNCREAD ( concsolverScipSyncRead )

static

reads the solutions and bounds from the given synchronization data

Definition at line 776 of file concsolver_scip.c.

References assert(), FALSE, i, NULL, nvars, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_MULTAGGR, SCIPaddConcurrentBndchg(), SCIPaddConcurrentSol(), SCIPboundstoreGetChgType(), SCIPboundstoreGetChgVal(), SCIPboundstoreGetChgVaridx(), SCIPboundstoreGetNChgs(), SCIPcheckSol(), SCIPconcsolverGetData(), SCIPconcsolverGetIdx(), SCIPconcsolverGetName(), SCIPcreateOrigSol(), SCIPdebugMessage, SCIPisGE(), SCIPisLE(), SCIPsetSolVals(), SCIPsyncdataGetBoundChgs(), SCIPsyncdataGetSolutions(), SCIPvarGetLbGlobal(), SCIPvarGetProbvarBound(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarIsNonimpliedIntegral(), TRUE, and var.

SCIPincludeConcurrentScipSolvers()

SCIP_RETCODE SCIPincludeConcurrentScipSolvers

(

SCIP *

scip

)

creates the concurrent SCIP solver plugins and includes them in SCIP

Parameters

scip	SCIP data structure

Definition at line 873 of file concsolver_scip.c.

References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_PARAMEMPHASIS_COUNTER, SCIP_PARAMEMPHASIS_CPSOLVER, SCIP_PARAMEMPHASIS_DEFAULT, SCIP_PARAMEMPHASIS_EASYCIP, SCIP_PARAMEMPHASIS_FEASIBILITY, SCIP_PARAMEMPHASIS_HARDLP, SCIP_PARAMEMPHASIS_OPTIMALITY, SCIPallocMemory, SCIPincludeConcsolverType(), and TRUE.

Referenced by SCIPincludeDefaultPlugins().