add SCIPtpiIsAvailable(), SCIPtpiGetLibraryName(), SCIPtpiGetLibraryDesc()

- and use to setup info on external libraries in doScipCreate()
  (instead of SCIPincludeDefaultPlugins(), which is wrong)

Author: svigerske

CHANGELOG

@@ -19,6 +19,10 @@ Interface changes
 -----------------
 ### New callbacks
 ### New API functions
+
+- added SCIPtpiIsAvailable() to check whether a working task processing interface is available (TPI != none)
+- added SCIPtpiGetLibraryName() and SCIPtpiGetLibraryDesc()
+
 ### Command line interface
 ### Interfaces to external software
 ### New parameters

src/scip/scip_general.c

@@ -73,6 +73,7 @@
 #include "scip/struct_stat.h"
 #include "scip/syncstore.h"
 #include "scip/lapack_calls.h"
+#include "tpi/tpi.h"
 
 #include <string.h>
 #if defined(_WIN32) || defined(_WIN64)
@@ -288,6 +289,15 @@ SCIP_RETCODE doScipCreate(
    }
 #endif
 
+   if( SCIPtpiIsAvailable() )
+   {
+      char name[20];
+      char desc[80];
+      SCIPtpiGetLibraryName(name, (int)sizeof(name));
+      SCIPtpiGetLibraryDesc(desc, (int)sizeof(desc));
+      SCIP_CALL( SCIPsetIncludeExternalCode((*scip)->set, name, desc) );
+   }
+
    return SCIP_OKAY;
 }
 

src/scip/scipdefplugins.c

@@ -272,10 +272,6 @@ SCIP_RETCODE SCIPincludeDefaultPlugins(
    SCIP_CALL( SCIPincludeNlpSolverWorhp(scip, FALSE) );
    SCIP_CALL( SCIPincludeNlpSolverAll(scip) );
 
-#ifdef TPI_TNY
-   SCIP_CALL( SCIPincludeExternalCodeInformation(scip, "TinyCThread", "Small, portable implementation of the C11 threads API (tinycthread.github.io)") );
-#endif
-
    SCIP_CALL( SCIPdebugIncludeProp(scip) ); /*lint !e506 !e774*/
 
    return SCIP_OKAY;

src/tpi/tpi.h

@@ -153,4 +153,22 @@ SCIP_RETCODE SCIPtpiExit(
    void
    );
 
+/** indicate whether a working TPI is available */
+SCIP_EXPORT
+SCIP_Bool SCIPtpiIsAvailable(void);
+
+/** get name of library that the TPI interfaces to */
+SCIP_EXPORT
+void SCIPtpiGetLibraryName(
+   char*                 name,               /**< buffer to store name */
+   int                   namesize            /**< length of name buffer */
+   );
+
+/** get description of library that the TPI interfaces to */
+SCIP_EXPORT
+void SCIPtpiGetLibraryDesc(
+   char*                 desc,               /**< buffer to store description */
+   int                   descsize            /**< length of description */
+   );
+
 #endif

src/tpi/tpi_none.c

@@ -33,6 +33,7 @@
 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
 
 #include "tpi/tpi.h"
+#include "scip/pub_misc.h"
 
 /* do not define struct SCIP_Lock and struct SCIP_Condition, since they are not used */
 
@@ -219,3 +220,32 @@ SCIP_RETCODE SCIPtpiExit(
 {
    return SCIP_ERROR;
 }
+
+/** indicate whether a working TPI is available */
+SCIP_Bool SCIPtpiIsAvailable(void)
+{
+   return FALSE;
+}
+
+/** get name of library that the TPI interfaces to */
+void SCIPtpiGetLibraryName(
+   char*                 name,               /**< buffer to store name */
+   int                   namesize            /**< length of name buffer */
+   )
+{
+   assert(name != NULL);
+
+   (void) SCIPsnprintf(name, namesize, "none");
+}
+
+/** get description of library that the TPI interfaces to */
+void SCIPtpiGetLibraryDesc(
+   char*                 desc,               /**< buffer to store description */
+   int                   descsize            /**< length of description */
+   )
+{
+   assert(desc != NULL);
+   assert(descsize >= 1);
+
+   *desc = '\0';
+}

src/tpi/tpi_openmp.c

@@ -35,6 +35,7 @@
 #include "tpi/tpi.h"
 #include "blockmemshell/memory.h"
 #include "scip/pub_message.h"
+#include "scip/pub_misc.h"
 #include <omp.h>
 
 /* macros for direct access */
@@ -702,3 +703,31 @@ void SCIPtpiDestroyCondition(
 
    BMSfreeMemory(condition);
 }
+
+/** indicate whether a working TPI is available */
+SCIP_Bool SCIPtpiIsAvailable(void)
+{
+   return TRUE;
+}
+
+/** get name of library that the TPI interfaces to */
+void SCIPtpiGetLibraryName(
+   char*                 name,               /**< buffer to store name */
+   int                   namesize            /**< length of name buffer */
+   )
+{
+   assert(name != NULL);
+
+   (void) SCIPsnprintf(name, namesize, "OpenMP %d", _OPENMP);  /*lint !e40*/
+}
+
+/** get description of library that the TPI interfaces to */
+void SCIPtpiGetLibraryDesc(
+   char*                 desc,               /**< buffer to store description */
+   int                   descsize            /**< length of description */
+   )
+{
+   assert(desc != NULL);
+
+   (void) SCIPsnprintf(desc, descsize, "shared-memory multiprocessing library (openmp.org)");
+}

src/tpi/tpi_tnycthrd.c

@@ -36,6 +36,7 @@
 #include "blockmemshell/memory.h"
 #include "tinycthread/tinycthread.h"
 #include "scip/pub_message.h"
+#include "scip/pub_misc.h"
 
 /* macros for direct access */
 
@@ -840,3 +841,31 @@ int SCIPtpiGetThreadNum(
 {
    return _threadnumber;
 }
+
+/** indicate whether a working TPI is available */
+SCIP_Bool SCIPtpiIsAvailable(void)
+{
+   return TRUE;
+}
+
+/** get name of library that the TPI interfaces to */
+void SCIPtpiGetLibraryName(
+   char*                 name,               /**< buffer to store name */
+   int                   namesize            /**< length of name buffer */
+   )
+{
+   assert(name != NULL);
+
+   (void) SCIPsnprintf(name, namesize, "TinyCThread %d.%d", TINYCTHREAD_VERSION_MAJOR, TINYCTHREAD_VERSION_MINOR);
+}
+
+/** get description of library that the TPI interfaces to */
+void SCIPtpiGetLibraryDesc(
+   char*                 desc,               /**< buffer to store description */
+   int                   descsize            /**< length of description */
+   )
+{
+   assert(desc != NULL);
+
+   (void) SCIPsnprintf(desc, descsize, "small portable implementation of the C11 threads API (tinycthread.github.io)");
+}