source: stable/2.7/Cbc/src/CbcThread.cpp @ 1972

Last change on this file since 1972 was 1972, checked in by stefan, 6 years ago

merge r1971 from trunk: change for pietro to clone cbcmodel in cbcthreads instead of copy

File size: 67.2 KB
Line 
1/* $Id: CbcThread.cpp 1261 2009-10-30 12:45:20Z forrest $ */
2// Copyright (C) 2002, International Business Machines
3// Corporation and others.  All Rights Reserved.
4// This code is licensed under the terms of the Eclipse Public License (EPL).
5
6#if defined(_MSC_VER)
7// Turn off compiler warning about long names
8#  pragma warning(disable:4786)
9#endif
10
11#include "CbcConfig.h"
12
13//#define THREAD_DEBUG
14#include <string>
15#include <cassert>
16#include <cmath>
17#include <cfloat>
18
19#include "CbcEventHandler.hpp"
20
21#include "OsiSolverInterface.hpp"
22#include "OsiRowCutDebugger.hpp"
23#include "CbcThread.hpp"
24#include "CbcTree.hpp"
25#include "CbcHeuristic.hpp"
26#include "CbcCutGenerator.hpp"
27#include "CbcModel.hpp"
28#include "CbcFathom.hpp"
29#include "CbcSimpleIntegerDynamicPseudoCost.hpp"
30#include "ClpDualRowDantzig.hpp"
31#include "OsiAuxInfo.hpp"
32
33#include "CoinTime.hpp"
34#ifdef CBC_THREAD
35/// Thread functions
36static void * doNodesThread(void * voidInfo);
37static void * doCutsThread(void * voidInfo);
38static void * doHeurThread(void * voidInfo);
39// Default Constructor
40CbcSpecificThread::CbcSpecificThread ()
41        : basePointer_(NULL),
42        masterMutex_(NULL),
43        locked_(false)
44{
45#ifdef CBC_PTHREAD
46    pthread_mutex_init(&mutex2_, NULL);
47    pthread_cond_init(&condition2_, NULL);
48    threadId_.status = 0;
49#else
50#endif
51}
52// Useful Constructor
53CbcSpecificThread::CbcSpecificThread (CbcSpecificThread * master, pthread_mutex_t * masterMutex)
54        : basePointer_(master),
55        masterMutex_(masterMutex),
56        locked_(false)
57
58{
59#ifdef CBC_PTHREAD
60    pthread_mutex_init(&mutex2_, NULL);
61    pthread_cond_init(&condition2_, NULL);
62    threadId_.status = 0;
63#else
64#endif
65
66}
67// Useful stuff
68void
69CbcSpecificThread::setUsefulStuff (CbcSpecificThread * master, void *& masterMutex)
70
71{
72#ifdef CBC_PTHREAD
73    basePointer_ = master;
74    if (masterMutex) {
75        masterMutex_ = reinterpret_cast<pthread_mutex_t *>(masterMutex);
76    } else {
77        // create master mutex
78        masterMutex_ = new pthread_mutex_t;
79        pthread_mutex_init(masterMutex_, NULL);
80        masterMutex = reinterpret_cast<void *>(masterMutex_);
81    }
82#else
83#endif
84}
85
86CbcSpecificThread::~CbcSpecificThread()
87{
88#ifdef CBC_PTHREAD
89    pthread_mutex_destroy (&mutex2_);
90    if (basePointer_ == this) {
91        pthread_mutex_destroy (masterMutex_);
92        delete masterMutex_;
93    }
94#else
95#endif
96}
97/*
98  Locks a thread if parallel so that stuff like cut pool
99  can be updated and/or used.
100*/
101void
102CbcSpecificThread::lockThread()
103{
104#ifdef CBC_PTHREAD
105    // Use master mutex
106    assert (basePointer_->masterMutex_ == masterMutex_);
107    pthread_mutex_lock (masterMutex_);
108#else
109#endif
110}
111/*
112  Unlocks a thread if parallel to say cut pool stuff not needed
113*/
114void
115CbcSpecificThread::unlockThread()
116{
117#ifdef CBC_PTHREAD
118    // Use master mutex
119    pthread_mutex_unlock (masterMutex_);
120#else
121#endif
122}
123//  Locks a thread for testing whether to start etc
124void
125CbcSpecificThread::lockThread2(bool doAnyway)
126{
127    if (!locked_ || doAnyway) {
128#ifdef CBC_PTHREAD
129        pthread_mutex_lock (&mutex2_);
130#else
131#endif
132        locked_ = true;
133    }
134}
135//  Unlocks a thread for testing whether to start etc
136void
137CbcSpecificThread::unlockThread2(bool doAnyway)
138{
139    if (locked_ || doAnyway) {
140#ifdef CBC_PTHREAD
141        pthread_mutex_unlock (&mutex2_);
142#else
143#endif
144        locked_ = false;
145    }
146}
147#ifdef HAVE_CLOCK_GETTIME
148inline int my_gettime(struct timespec* tp)
149{
150    return clock_gettime(CLOCK_REALTIME, tp);
151}
152#else
153#ifndef _MSC_VER
154inline int my_gettime(struct timespec* tp)
155{
156    struct timeval tv;
157    int ret = gettimeofday(&tv, NULL);
158    tp->tv_sec = tv.tv_sec;
159    tp->tv_nsec = tv.tv_usec * 1000;
160    return ret;
161}
162#else
163inline int my_gettime(struct timespec* tp)
164{
165    double t = CoinGetTimeOfDay();
166    tp->tv_sec = (int)floor(t);
167    tp->tv_nsec = (int)((tp->tv_sec - floor(t)) / 1000000.0);
168    return 0;
169}
170#endif
171#endif
172// Get time
173static double getTime()
174{
175    struct timespec absTime2;
176    my_gettime(&absTime2);
177    double time2 = absTime2.tv_sec + 1.0e-9 * absTime2.tv_nsec;
178    return time2;
179}
180// Timed wait in nanoseconds - if negative then seconds
181void
182CbcSpecificThread::timedWait(int time)
183{
184
185#ifdef CBC_PTHREAD
186    struct timespec absTime;
187    my_gettime(&absTime);
188    if (time > 0) {
189        absTime.tv_nsec += time;
190        if (absTime.tv_nsec >= 1000000000) {
191            absTime.tv_nsec -= 1000000000;
192            absTime.tv_sec++;
193        }
194    } else {
195        absTime.tv_sec -= time;
196    }
197    pthread_cond_timedwait(&condition2_, &mutex2_, &absTime);
198#else
199#endif
200}
201// Signal
202void
203CbcSpecificThread::signal()
204{
205#ifdef CBC_PTHREAD
206    pthread_cond_signal(&condition2_);
207#else
208#endif
209}
210// Actually starts a thread
211void
212CbcSpecificThread::startThread(void * (*routine ) (void *), CbcThread * thread)
213{
214#ifdef CBC_PTHREAD
215    pthread_create(&(threadId_.thr), NULL, routine, thread);
216    threadId_.status = 1;
217#else
218#endif
219}
220// Exits thread (from master)
221int
222CbcSpecificThread::exit()
223{
224#ifdef CBC_PTHREAD
225    pthread_cond_signal(&condition2_); // unlock
226    return pthread_join(threadId_.thr, NULL);
227#else
228#endif
229}
230// Exits thread
231void
232CbcSpecificThread::exitThread()
233{
234#ifdef CBC_PTHREAD
235    pthread_mutex_unlock(&mutex2_);
236    pthread_exit(NULL);
237#else
238#endif
239
240}
241// Get status
242int
243CbcSpecificThread::status() const
244{
245#ifdef CBC_PTHREAD
246    return threadId_.status;
247#else
248#endif
249}
250// Set status
251void
252CbcSpecificThread::setStatus(int value)
253{
254#ifdef CBC_PTHREAD
255    threadId_.status = value;
256#else
257#endif
258}
259// Parallel heuristics
260void
261parallelHeuristics (int numberThreads,
262                    int sizeOfData,
263                    void * argBundle)
264{
265    Coin_pthread_t * threadId = new Coin_pthread_t [numberThreads];
266    char * args = reinterpret_cast<char *>(argBundle);
267    for (int i = 0; i < numberThreads; i++) {
268        pthread_create(&(threadId[i].thr), NULL, doHeurThread,
269                       args + i*sizeOfData);
270    }
271    // now wait
272    for (int i = 0; i < numberThreads; i++) {
273        pthread_join(threadId[i].thr, NULL);
274    }
275    delete [] threadId;
276}
277// End of specific thread stuff
278
279/// Default constructor
280CbcThread::CbcThread()
281        :
282        baseModel_(NULL),
283        thisModel_(NULL),
284        node_(NULL), // filled in every time
285        createdNode_(NULL), // filled in every time on return
286        returnCode_(-1), // -1 available, 0 busy, 1 finished , 2??
287        timeLocked_(0.0),
288        timeWaitingToLock_(0.0),
289        timeWaitingToStart_(0.0),
290        timeInThread_(0.0),
291        numberTimesLocked_(0),
292        numberTimesUnlocked_(0),
293        numberTimesWaitingToStart_(0),
294        dantzigState_(0), // 0 unset, -1 waiting to be set, 1 set
295        locked_(false),
296        nDeleteNode_(0),
297        delNode_(NULL),
298        maxDeleteNode_(0),
299        nodesThisTime_(0),
300        iterationsThisTime_(0),
301        deterministic_(0)
302{
303}
304void
305CbcThread::gutsOfDelete()
306{
307    baseModel_ = NULL;
308    thisModel_ = NULL;
309    node_ = NULL;
310    createdNode_ = NULL;
311    delNode_ = NULL;
312}
313// Destructor
314CbcThread::~CbcThread()
315{
316}
317// Fills in useful stuff
318void
319CbcThread::setUsefulStuff (CbcModel * model, int deterministic, CbcModel * baseModel,
320                           CbcThread * master,
321                           void *& masterMutex)
322{
323    baseModel_ = baseModel;
324    thisModel_ = model;
325    deterministic_ = deterministic;
326    threadStuff_.setUsefulStuff(&master->threadStuff_, masterMutex);
327    node_ = NULL;
328    createdNode_ = NULL;
329    master_ = master;
330    returnCode_ = -1;
331    timeLocked_ = 0.0;
332    timeWaitingToLock_ = 0.0;
333    timeWaitingToStart_ = 0.0;
334    timeInThread_ = 0.0;
335    numberTimesLocked_ = 0;
336    numberTimesUnlocked_ = 0;
337    numberTimesWaitingToStart_ = 0;
338    dantzigState_ = 0; // 0 unset, -1 waiting to be set, 1 set
339    locked_ = false;
340    delNode_ = NULL;
341    maxDeleteNode_ = 0;
342    nDeleteNode_ = 0;
343    nodesThisTime_ = 0;
344    iterationsThisTime_ = 0;
345    if (model != baseModel) {
346        // thread
347        thisModel_->setInfoInChild(-3, this);
348        if (deterministic_ >= 0)
349            thisModel_->moveToModel(baseModel, -1);
350        if (deterministic == -1)
351            threadStuff_.startThread( doCutsThread, this);
352        else
353            threadStuff_.startThread( doNodesThread, this);
354    }
355}
356/*
357  Locks a thread if parallel so that stuff like cut pool
358  can be updated and/or used.
359*/
360void
361CbcThread::lockThread()
362{
363    if (!locked_) {
364        double time2 = getTime();
365        threadStuff_.lockThread();
366        locked_ = true;
367        timeWhenLocked_ = getTime();
368        timeWaitingToLock_ += timeWhenLocked_ - time2;;
369        numberTimesLocked_++;
370#ifdef THREAD_DEBUG
371        lockCount_ ++;
372#if THREAD_DEBUG>1
373        if (threadNumber_ == -1)
374            printf("locking master %d\n", lockCount_);
375        else
376            printf("locking thread %d %d\n", threadNumber_, lockCount_);
377#endif
378    } else {
379        if (threadNumber_ == -1)
380            printf("master already locked %d\n", lockCount_);
381        else
382            printf("thread already locked %d %d\n", threadNumber_, lockCount_);
383#endif
384    }
385}
386/*
387  Unlocks a thread if parallel
388*/
389void
390CbcThread::unlockThread()
391{
392    if (locked_) {
393        locked_ = false;
394        threadStuff_.unlockThread();
395        double time2 = getTime();
396        timeLocked_ += time2 - timeWhenLocked_;
397        numberTimesUnlocked_++;
398#ifdef THREAD_DEBUG
399#if THREAD_DEBUG>1
400        if (threadNumber_ == -1)
401            printf("unlocking master %d\n", lockCount_);
402        else
403            printf("unlocking thread %d %d\n", threadNumber_, lockCount_);
404#endif
405    } else {
406        if (threadNumber_ == -1)
407            printf("master already unlocked %d\n", lockCount_);
408        else
409            printf("thread already unlocked %d %d\n", threadNumber_, lockCount_);
410#endif
411    }
412}
413/* Wait for child to have return code NOT == to currentCode
414   type - 0 timed wait
415   1 wait
416   returns true if return code changed */
417bool
418CbcThread::wait(int type, int currentCode)
419{
420    if (!type) {
421        // just timed wait
422        master_->threadStuff_.lockThread2();
423        master_->threadStuff_.timedWait(1000000);
424        master_->threadStuff_.unlockThread2();
425    } else {
426        // wait until return code changes
427        while (returnCode_ == currentCode) {
428            threadStuff_.signal();
429            master_->threadStuff_.lockThread2();
430            master_->threadStuff_.timedWait(1000000);
431            master_->threadStuff_.unlockThread2();
432        }
433    }
434    return (returnCode_ != currentCode);
435}
436#if 0
437pthread_cond_signal(&condition2_);
438-
439if (!locked_)
440{
441    pthread_mutex_lock (&mutex2_);
442    locked_ = true;
443}
444-
445pthread_cond_timedwait(&condition2_, &mutex2_, &absTime);
446-
447if (locked_)
448{
449    pthread_mutex_unlock (&mutex2_);
450    locked_ = false;
451}
452#endif
453// Waits until returnCode_ goes to zero
454void
455CbcThread::waitThread()
456{
457    double time = getTime();
458    threadStuff_.lockThread2();
459    while (returnCode_) {
460        threadStuff_.timedWait(-10); // 10 seconds
461    }
462    timeWaitingToStart_ += getTime() - time;
463    numberTimesWaitingToStart_++;
464}
465// Just wait for so many nanoseconds
466void
467CbcThread::waitNano(int time)
468{
469    threadStuff_.lockThread2();
470    threadStuff_.timedWait(time);
471    threadStuff_.unlockThread2();
472}
473// Signal child to carry on
474void
475CbcThread::signal()
476{
477    threadStuff_.signal();
478}
479// Lock from master with mutex2 and signal before lock
480void
481CbcThread::lockFromMaster()
482{
483    threadStuff_.signal();
484    master_->threadStuff_.lockThread2(true);
485}
486// Unlock from master with mutex2 and signal after unlock
487void
488CbcThread::unlockFromMaster()
489{
490    master_->threadStuff_.unlockThread2(true); // unlock anyway
491    threadStuff_.signal();
492}
493// Lock from thread with mutex2 and signal before lock
494void
495CbcThread::lockFromThread()
496{
497    master_->threadStuff_.signal();
498    threadStuff_.lockThread2();
499}
500// Unlock from thread with mutex2 and signal after unlock
501void
502CbcThread::unlockFromThread()
503{
504    master_->threadStuff_.signal();
505    threadStuff_.unlockThread2();
506}
507// Exits thread (from master)
508int
509CbcThread::exit()
510{
511    return threadStuff_.exit();
512}
513// Exits thread
514void
515CbcThread::exitThread()
516{
517    threadStuff_.exitThread();
518}
519// Default constructor
520CbcBaseModel::CbcBaseModel()
521        :
522        numberThreads_(0),
523        children_(NULL),
524        type_(0),
525        threadCount_(NULL),
526        threadModel_(NULL),
527        numberObjects_(0),
528        saveObjects_(NULL),
529        defaultParallelIterations_(400),
530        defaultParallelNodes_(2)
531{
532}
533// Constructor with model
534CbcBaseModel::CbcBaseModel (CbcModel & model,  int type)
535        :
536        children_(NULL),
537        type_(type),
538        threadCount_(NULL),
539        threadModel_(NULL),
540        numberObjects_(0),
541        saveObjects_(NULL),
542        defaultParallelIterations_(400),
543        defaultParallelNodes_(2)
544{
545    numberThreads_ = model.getNumberThreads();
546    if (numberThreads_) {
547        children_ = new CbcThread [numberThreads_+1];
548        // Do a partial one for base model
549        void * mutex_main = NULL;
550        children_[numberThreads_].setUsefulStuff(&model, type_, &model,
551                children_ + numberThreads_, mutex_main);
552#ifdef THREAD_DEBUG
553        children_[numberThreads_].threadNumber_ = -1;
554        children_[numberThreads_].lockCount_ = 0;
555#endif
556        threadCount_ = new int [numberThreads_];
557        CoinZeroN(threadCount_, numberThreads_);
558        threadModel_ = new CbcModel * [numberThreads_+1];
559        memset(threadStats_, 0, sizeof(threadStats_));
560        if (type_ > 0) {
561            // May need for deterministic
562            numberObjects_ = model.numberObjects();
563            saveObjects_ = new OsiObject * [numberObjects_];
564            for (int i = 0; i < numberObjects_; i++) {
565                saveObjects_[i] = model.object(i)->clone();
566            }
567        }
568        // we don't want a strategy object
569        CbcStrategy * saveStrategy = model.strategy();
570        model.setStrategy(NULL);
571        for (int i = 0; i < numberThreads_; i++) {
572            //threadModel_[i] = new CbcModel(model, true);
573            threadModel_[i] = model. clone (true);
574            threadModel_[i]->synchronizeHandlers(1);
575#ifdef COIN_HAS_CLP
576            // Solver may need to know about model
577            CbcModel * thisModel = threadModel_[i];
578            CbcOsiSolver * solver =
579                dynamic_cast<CbcOsiSolver *>(thisModel->solver()) ;
580            if (solver)
581                solver->setCbcModel(thisModel);
582#endif
583            children_[i].setUsefulStuff(threadModel_[i], type_, &model,
584                                        children_ + numberThreads_, mutex_main);
585#ifdef THREAD_DEBUG
586            children_[i].threadNumber_ = i;
587            children_[i].lockCount_ = 0;
588#endif
589        }
590        model.setStrategy(saveStrategy);
591    }
592}
593// Stop threads
594void
595CbcBaseModel::stopThreads(int type)
596{
597    if (type < 0) {
598        // max nodes ?
599        bool finished = false;
600        while (!finished) {
601          finished = true;
602          for (int i = 0; i < numberThreads_; i++) {
603            if (abs(children_[i].returnCode()) != 1) {
604              children_[i].wait(1, 0); 
605              finished=false;
606            }
607          }
608        }
609        return;
610    }
611    for (int i = 0; i < numberThreads_; i++) {
612        children_[i].wait(1, 0);
613        assert (children_[i].returnCode() == -1);
614        threadModel_[i]->setInfoInChild(-2, NULL);
615        children_[i].setReturnCode( 0);
616        children_[i].exit();
617        children_[i].setStatus( 0);
618    }
619    // delete models and solvers
620    for (int i = 0; i < numberThreads_; i++) {
621        threadModel_[i]->setInfoInChild(type_, NULL);
622        delete threadModel_[i];
623    }
624    delete [] children_;
625    delete [] threadModel_;
626    for (int i = 0; i < numberObjects_; i++)
627        delete saveObjects_[i];
628    delete [] saveObjects_;
629    children_ = NULL;
630    threadModel_ = NULL;
631    saveObjects_ = NULL;
632    numberObjects_ = 0;
633    numberThreads_ = 0;
634}
635// Wait for threads in tree
636int
637CbcBaseModel::waitForThreadsInTree(int type)
638{
639    CbcModel * baseModel = children_[0].baseModel();
640    int anyLeft = 0;
641    // May be able to combine parts later
642
643    if (type == 0) {
644        bool locked = true;
645#ifdef COIN_DEVELOP
646        printf("empty\n");
647#endif
648        // may still be outstanding nodes
649        while (true) {
650            int iThread;
651            for (iThread = 0; iThread < numberThreads_; iThread++) {
652                if (children_[iThread].status()) {
653                    if (children_[iThread].returnCode() == 0)
654                        break;
655                }
656            }
657            if (iThread < numberThreads_) {
658#ifdef COIN_DEVELOP
659                printf("waiting for thread %d code 0\n", iThread);
660#endif
661                unlockThread();
662                locked = false;
663                children_[iThread].wait(1, 0);
664                assert(children_[iThread].returnCode() == 1);
665                threadModel_[iThread]->moveToModel(baseModel, 1);
666#ifdef THREAD_PRINT
667                printf("off thread2 %d node %x\n", iThread, children_[iThread].node());
668#endif
669                children_[iThread].setNode(NULL);
670                anyLeft = 1;
671                assert (children_[iThread].returnCode() == 1);
672                if (children_[iThread].dantzigState() == -1) {
673                    // 0 unset, -1 waiting to be set, 1 set
674                    children_[iThread].setDantzigState(1);
675                    CbcModel * model = children_[iThread].thisModel();
676                    OsiClpSolverInterface * clpSolver2
677                    = dynamic_cast<OsiClpSolverInterface *> (model->solver());
678                    assert (clpSolver2);
679                    ClpSimplex * simplex2 = clpSolver2->getModelPtr();
680                    ClpDualRowDantzig dantzig;
681                    simplex2->setDualRowPivotAlgorithm(dantzig);
682                }
683                // say available
684                children_[iThread].setReturnCode( -1);
685                threadStats_[4]++;
686#ifdef COIN_DEVELOP
687                printf("thread %d code now -1\n", iThread);
688#endif
689                break;
690            } else {
691#ifdef COIN_DEVELOP
692                printf("no threads at code 0 \n");
693#endif
694                // now check if any have just finished
695                for (iThread = 0; iThread < numberThreads_; iThread++) {
696                    if (children_[iThread].status()) {
697                        if (children_[iThread].returnCode() == 1)
698                            break;
699                    }
700                }
701                if (iThread < numberThreads_) {
702                    unlockThread();
703                    locked = false;
704                    threadModel_[iThread]->moveToModel(baseModel, 1);
705#ifdef THREAD_PRINT
706                    printf("off thread3 %d node %x\n", iThread, children_[iThread].node());
707#endif
708                    children_[iThread].setNode(NULL);
709                    anyLeft = 1;
710                    assert (children_[iThread].returnCode() == 1);
711                    // say available
712                    children_[iThread].setReturnCode( -1);
713                    threadStats_[4]++;
714#ifdef COIN_DEVELOP
715                    printf("thread %d code now -1\n", iThread);
716#endif
717                    break;
718                }
719            }
720            if (!baseModel->tree()->empty()) {
721#ifdef COIN_DEVELOP
722                printf("tree not empty!!!!!!\n");
723#endif
724                if (locked)
725                    unlockThread();
726                return 1;
727                break;
728            }
729            for (iThread = 0; iThread < numberThreads_; iThread++) {
730                if (children_[iThread].status()) {
731                    if (children_[iThread].returnCode() != -1) {
732                        printf("bad end of tree\n");
733                        abort();
734                    }
735                }
736            }
737            break;
738        }
739#ifdef COIN_DEVELOP
740        printf("finished ************\n");
741#endif
742        if (locked)
743            unlockThread();
744        return anyLeft;
745    } else if (type == 1) {
746        // normal
747        double cutoff = baseModel->getCutoff();
748        CbcNode * node = baseModel->tree()->bestNode(cutoff) ;
749        // Possible one on tree worse than cutoff
750        if (!node || node->objectiveValue() > cutoff)
751            return 1;
752        threadStats_[0]++;
753        //need to think
754        int iThread;
755        // Start one off if any available
756        for (iThread = 0; iThread < numberThreads_; iThread++) {
757            if (children_[iThread].returnCode() == -1)
758                break;
759        }
760        if (iThread < numberThreads_) {
761            children_[iThread].setNode(node);
762#ifdef THREAD_PRINT
763            printf("empty thread %d node %x\n", iThread, children_[iThread].node());
764#endif
765            assert (children_[iThread].returnCode() == -1);
766            // say in use
767            threadModel_[iThread]->moveToModel(baseModel, 0);
768            // This has to be AFTER moveToModel
769            children_[iThread].setReturnCode( 0);
770            children_[iThread].signal();
771            threadCount_[iThread]++;
772        }
773        lockThread();
774        // see if any finished
775        for (iThread = 0; iThread < numberThreads_; iThread++) {
776            if (children_[iThread].returnCode() > 0)
777                break;
778        }
779        unlockThread();
780        if (iThread < numberThreads_) {
781            threadModel_[iThread]->moveToModel(baseModel, 1);
782#ifdef THREAD_PRINT
783            printf("off thread4 %d node %x\n", iThread, children_[iThread].node());
784#endif
785            children_[iThread].setNode(NULL);
786            anyLeft = 1;
787            assert (children_[iThread].returnCode() == 1);
788            // say available
789            children_[iThread].setReturnCode( -1);
790            // carry on
791            threadStats_[3]++;
792        } else {
793            // Start one off if any available
794            for (iThread = 0; iThread < numberThreads_; iThread++) {
795                if (children_[iThread].returnCode() == -1)
796                    break;
797            }
798            if (iThread < numberThreads_) {
799                // If any on tree get
800                if (!baseModel->tree()->empty()) {
801                    //node = baseModel->tree()->bestNode(cutoff) ;
802                    //assert (node);
803                    threadStats_[1]++;
804                    return 1; // ** get another node
805                }
806            }
807            // wait (for debug could sleep and use test)
808            bool finished = false;
809            while (!finished) {
810                double time = getTime();
811                children_[numberThreads_].wait(0, 0);
812                children_[numberThreads_].incrementTimeInThread(getTime() - time);
813                for (iThread = 0; iThread < numberThreads_; iThread++) {
814                    if (children_[iThread].returnCode() > 0) {
815                        finished = true;
816                        break;
817                    } else if (children_[iThread].returnCode() == 0) {
818                        children_[iThread].signal(); // unlock
819                    }
820                }
821            }
822            assert (iThread < numberThreads_);
823            // move information to model
824            threadModel_[iThread]->moveToModel(baseModel, 1);
825            anyLeft = 1;
826#ifdef THREAD_PRINT
827            printf("off thread %d node %x\n", iThread, children_[iThread].node());
828#endif
829            children_[iThread].setNode(NULL);
830            assert (children_[iThread].returnCode() == 1);
831            // say available
832            children_[iThread].setReturnCode( -1);
833        }
834        // carry on
835        threadStats_[2]++;
836        for (int iThread = 0; iThread < numberThreads_; iThread++) {
837            if (children_[iThread].status()) {
838                if (children_[iThread].returnCode() != -1) {
839                    anyLeft = 1;
840                    break;
841                }
842            }
843        }
844        return anyLeft;
845    } else if (type == 2) {
846        if (!baseModel->tree()->empty()) {
847          // max nodes ?
848          bool finished = false;
849          while (!finished) {
850            finished = true;
851            for (int iThread = 0; iThread < numberThreads_; iThread++) {
852              if (children_[iThread].returnCode() == 0) { 
853                double time = getTime();
854                children_[numberThreads_].wait(0, 0);
855                children_[numberThreads_].incrementTimeInThread(getTime() - time);
856                finished = false;
857                children_[iThread].signal(); // unlock
858              }
859            }
860          }
861        }
862        int i;
863        // do statistics
864        // Seems to be bug in CoinCpu on Linux - does threads as well despite documentation
865        double time = 0.0;
866        for (i = 0; i < numberThreads_; i++)
867            time += children_[i].timeInThread();
868        bool goodTimer = time < (baseModel->getCurrentSeconds());
869        for (i = 0; i < numberThreads_; i++) {
870            while (children_[i].returnCode() == 0) {
871                children_[i].signal();
872                double time = getTime();
873                children_[numberThreads_].wait(0, 0);
874                children_[numberThreads_].incrementTimeInThread(getTime() - time);
875            }
876            children_[i].lockFromMaster();
877            threadModel_[i]->setNumberThreads(0); // say exit
878            if (children_[i].deterministic() > 0)
879                delete [] children_[i].delNode();
880            children_[i].setReturnCode( 0);
881            children_[i].unlockFromMaster();
882            int returnCode;
883            returnCode = children_[i].exit();
884            children_[i].setStatus( 0);
885            assert (!returnCode);
886            //else
887            threadModel_[i]->moveToModel(baseModel, 2);
888            assert (children_[i].numberTimesLocked() == children_[i].numberTimesUnlocked());
889            baseModel->messageHandler()->message(CBC_THREAD_STATS, baseModel->messages())
890            << "Thread";
891            baseModel->messageHandler()->printing(true)
892            << i << threadCount_[i] << children_[i].timeWaitingToStart();
893            baseModel->messageHandler()->printing(goodTimer) << children_[i].timeInThread();
894            baseModel->messageHandler()->printing(false) << 0.0;
895            baseModel->messageHandler()->printing(true) << children_[i].numberTimesLocked()
896            << children_[i].timeLocked() << children_[i].timeWaitingToLock()
897            << CoinMessageEol;
898        }
899        assert (children_[numberThreads_].numberTimesLocked() == children_[numberThreads_].numberTimesUnlocked());
900        baseModel->messageHandler()->message(CBC_THREAD_STATS, baseModel->messages())
901        << "Main thread";
902        baseModel->messageHandler()->printing(false) << 0 << 0 << 0.0;
903        baseModel->messageHandler()->printing(false) << 0.0;
904        baseModel->messageHandler()->printing(true) << children_[numberThreads_].timeInThread();
905        baseModel->messageHandler()->printing(true) << children_[numberThreads_].numberTimesLocked()
906        << children_[numberThreads_].timeLocked() << children_[numberThreads_].timeWaitingToLock()
907        << CoinMessageEol;
908        // delete models (here in case some point to others)
909        for (i = 0; i < numberThreads_; i++) {
910            // make sure handler will be deleted
911            threadModel_[i]->setDefaultHandler(true);
912            //delete threadModel_[i];
913        }
914    } else {
915        abort();
916    }
917    return 0;
918}
919void
920CbcBaseModel::waitForThreadsInCuts(int type, OsiCuts * eachCuts,
921                                   int whichGenerator)
922{
923    if (type == 0) {
924        // cuts while doing
925        bool finished = false;
926        int iThread = -1;
927        // see if any available
928        for (iThread = 0; iThread < numberThreads_; iThread++) {
929            if (children_[iThread].returnCode()) {
930                finished = true;
931                break;
932            } else if (children_[iThread].returnCode() == 0) {
933                children_[iThread].signal();
934            }
935        }
936        while (!finished) {
937            children_[numberThreads_].waitNano(1000000);
938            for (iThread = 0; iThread < numberThreads_; iThread++) {
939                if (children_[iThread].returnCode() > 0) {
940                    finished = true;
941                    break;
942                } else if (children_[iThread].returnCode() == 0) {
943                    children_[iThread].signal();
944                }
945            }
946        }
947        assert (iThread < numberThreads_);
948        assert (children_[iThread].returnCode());
949        // Use dantzigState to signal which generator
950        children_[iThread].setDantzigState(whichGenerator);
951        // and delNode for eachCuts
952        children_[iThread].fakeDelNode(reinterpret_cast<CbcNode **> (eachCuts));
953        // allow to start
954        children_[iThread].setReturnCode( 0);
955        children_[iThread].signal();
956    } else if (type == 1) {
957        // cuts - finish up
958        for (int iThread = 0; iThread < numberThreads_; iThread++) {
959            if (children_[iThread].returnCode() == 0) {
960                bool finished = false;
961                while (!finished) {
962                    children_[numberThreads_].wait(0, 0);
963                    if (children_[iThread].returnCode() > 0) {
964                        finished = true;
965                        break;
966                        //#ifndef NEW_STYLE_PTHREAD
967                        //} else if (children_[iThread].returnCode_ == 0) {
968                        //pthread_cond_signal(&children_[iThread].threadStuff_.condition2_); // unlock
969                        //#endif
970                    }
971                }
972            }
973            assert (children_[iThread].returnCode());
974            // say available
975            children_[iThread].setReturnCode( -1);
976            //delete threadModel_[iThread]->solver();
977            //threadModel_[iThread]->setSolver(NULL);
978        }
979    } else {
980        abort();
981    }
982}
983// Returns pointer to master thread
984CbcThread *
985CbcBaseModel::masterThread() const
986{
987    return children_ + numberThreads_;
988}
989
990// Split model and do work in deterministic parallel
991void
992CbcBaseModel::deterministicParallel()
993{
994    CbcModel * baseModel = children_[0].baseModel();
995    for (int i = 0; i < numberThreads_; i++)
996        threadCount_[i]++;
997    int saveTreeSize = baseModel->tree()->size();
998    // For now create threadModel - later modify splitModel
999    CbcModel ** threadModel = new CbcModel * [numberThreads_];
1000    int iThread;
1001    for (iThread = 0; iThread < numberThreads_; iThread++)
1002        threadModel[iThread] = children_[iThread].thisModel();
1003
1004    int nAffected = baseModel->splitModel(numberThreads_, threadModel, defaultParallelNodes_);
1005    // do all until finished
1006    for (iThread = 0; iThread < numberThreads_; iThread++) {
1007        // obviously tune
1008        children_[iThread].setNDeleteNode(defaultParallelIterations_);
1009    }
1010    // Save current state
1011    int iObject;
1012    OsiObject ** object = baseModel->objects();
1013    for (iObject = 0; iObject < numberObjects_; iObject++) {
1014        saveObjects_[iObject]->updateBefore(object[iObject]);
1015    }
1016    for (iThread = 0; iThread < numberThreads_; iThread++) {
1017        children_[iThread].setReturnCode( 0);
1018        children_[iThread].signal();
1019    }
1020    // wait
1021    bool finished = false;
1022    double time = getTime();
1023    while (!finished) {
1024        children_[numberThreads_].waitNano( 1000000); // millisecond
1025        finished = true;
1026        for (iThread = 0; iThread < numberThreads_; iThread++) {
1027            if (children_[iThread].returnCode() <= 0) {
1028                finished = false;
1029            }
1030        }
1031    }
1032    for (iThread = 0; iThread < numberThreads_; iThread++)
1033        children_[iThread].setReturnCode(-1);
1034    children_[numberThreads_].incrementTimeInThread(getTime() - time);
1035    // Unmark marked
1036    for (int i = 0; i < nAffected; i++) {
1037        baseModel->walkback()[i]->unmark();
1038    }
1039    int iModel;
1040    double scaleFactor = 1.0;
1041    for (iModel = 0; iModel < numberThreads_; iModel++) {
1042        //printf("model %d tree size %d\n",iModel,threadModel[iModel]->baseModel->tree()->size());
1043        if (saveTreeSize > 4*numberThreads_*defaultParallelNodes_) {
1044            if (!threadModel[iModel]->tree()->size()) {
1045                scaleFactor *= 1.05;
1046            }
1047        }
1048        threadModel[iModel]->moveToModel(baseModel, 11);
1049        // Update base model
1050        OsiObject ** threadObject = threadModel[iModel]->objects();
1051        for (iObject = 0; iObject < numberObjects_; iObject++) {
1052            object[iObject]->updateAfter(threadObject[iObject], saveObjects_[iObject]);
1053        }
1054    }
1055    if (scaleFactor != 1.0) {
1056        int newNumber = static_cast<int> (defaultParallelNodes_ * scaleFactor + 0.5001);
1057        if (newNumber*2 < defaultParallelIterations_) {
1058            if (defaultParallelNodes_ == 1)
1059                newNumber = 2;
1060            if (newNumber != defaultParallelNodes_) {
1061                char general[200];
1062                sprintf(general, "Changing tree size from %d to %d",
1063                        defaultParallelNodes_, newNumber);
1064                baseModel->messageHandler()->message(CBC_GENERAL,
1065                                                     baseModel->messages())
1066                << general << CoinMessageEol ;
1067                defaultParallelNodes_ = newNumber;
1068            }
1069        }
1070    }
1071    delete [] threadModel;
1072}
1073// Destructor
1074CbcBaseModel::~CbcBaseModel()
1075{
1076    delete [] threadCount_;
1077#if 1
1078    for (int i = 0; i < numberThreads_; i++)
1079        delete threadModel_[i];
1080    delete [] threadModel_;
1081    delete [] children_;
1082#endif
1083    for (int i = 0; i < numberObjects_; i++)
1084        delete saveObjects_[i];
1085    delete [] saveObjects_;
1086}
1087// Sets Dantzig state in children
1088void
1089CbcBaseModel::setDantzigState()
1090{
1091    for (int i = 0; i < numberThreads_; i++) {
1092        children_[i].setDantzigState(-1);
1093    }
1094}
1095static void * doNodesThread(void * voidInfo)
1096{
1097    CbcThread * stuff = reinterpret_cast<CbcThread *> (voidInfo);
1098    CbcModel * thisModel = stuff->thisModel();
1099    CbcModel * baseModel = stuff->baseModel();
1100    while (true) {
1101        stuff->waitThread();
1102        //printf("start node %x\n",stuff->node);
1103        int mode = thisModel->getNumberThreads();
1104        if (mode) {
1105            // normal
1106            double time2 = CoinCpuTime();
1107            assert (stuff->returnCode() == 0);
1108            if (thisModel->parallelMode() >= 0) {
1109                CbcNode * node = stuff->node();
1110                assert (node->nodeInfo());
1111                CbcNode * createdNode = stuff->createdNode();
1112                thisModel->doOneNode(baseModel, node, createdNode);
1113                stuff->setNode(node);
1114                stuff->setCreatedNode(createdNode);
1115                stuff->setReturnCode( 1);
1116            } else {
1117                assert (!stuff->node());
1118                assert (!stuff->createdNode());
1119                int numberIterations = stuff->nDeleteNode();
1120                int nDeleteNode = 0;
1121                int maxDeleteNode = stuff->maxDeleteNode();
1122                CbcNode ** delNode = stuff->delNode();
1123                int returnCode = 1;
1124                // this should be updated by heuristics strong branching etc etc
1125                assert (numberIterations > 0);
1126                thisModel->setNumberThreads(0);
1127                int nodesThisTime = thisModel->getNodeCount();
1128                int iterationsThisTime = thisModel->getIterationCount();
1129                int strongThisTime = thisModel->numberStrongIterations();
1130                thisModel->setStopNumberIterations(thisModel->getIterationCount() + numberIterations);
1131                int numberColumns = thisModel->getNumCols();
1132                int * used = CoinCopyOfArray(thisModel->usedInSolution(), numberColumns);
1133                int numberSolutions = thisModel->getSolutionCount();
1134                while (true) {
1135                    if (thisModel->tree()->empty()) {
1136                        returnCode = 1 + 1;
1137#ifdef CLP_INVESTIGATE_2
1138                        printf("%x tree empty - time %18.6f\n", thisModel, CoinGetTimeOfDay() - 1.2348e9);
1139#endif
1140                        break;
1141                    }
1142#define NODE_ITERATIONS 2
1143                    int nodesNow = thisModel->getNodeCount();
1144                    int iterationsNow = thisModel->getIterationCount();
1145                    int strongNow = thisModel->numberStrongIterations();
1146                    bool exit1 = (NODE_ITERATIONS * ((nodesNow - nodesThisTime) +
1147                                                     ((strongNow - strongThisTime) >> 1)) +
1148                                  (iterationsNow - iterationsThisTime) > numberIterations);
1149                    //bool exit2 =(thisModel->getIterationCount()>thisModel->getStopNumberIterations()) ;
1150                    //assert (exit1==exit2);
1151                    if (exit1 && nodesNow - nodesThisTime >= 10) {
1152                        // out of loop
1153                        //printf("out of loop\n");
1154#ifdef CLP_INVESTIGATE3
1155                        printf("%x tree %d nodes left, done %d and %d its - time %18.6f\n", thisModel,
1156                               thisModel->tree()->size(), nodesNow - nodesThisTime,
1157                               iterationsNow - iterationsThisTime, CoinGetTimeOfDay() - 1.2348e9);
1158#endif
1159                        break;
1160                    }
1161                    double cutoff = thisModel->getCutoff() ;
1162                    CbcNode *node = thisModel->tree()->bestNode(cutoff) ;
1163                    // Possible one on tree worse than cutoff
1164                    if (!node)
1165                        continue;
1166                    CbcNode * createdNode = NULL;
1167                    // Do real work of node
1168                    thisModel->doOneNode(NULL, node, createdNode);
1169                    assert (createdNode);
1170                    if (!createdNode->active()) {
1171                        delete createdNode;
1172                    } else {
1173                        // Say one more pointing to this **** postpone if marked
1174                        node->nodeInfo()->increment() ;
1175                        thisModel->tree()->push(createdNode) ;
1176                    }
1177                    if (node->active()) {
1178                        assert (node->nodeInfo());
1179                        if (node->nodeInfo()->numberBranchesLeft()) {
1180                            thisModel->tree()->push(node) ;
1181                        } else {
1182                            node->setActive(false);
1183                        }
1184                    } else {
1185                        if (node->nodeInfo()) {
1186                            if (!node->nodeInfo()->numberBranchesLeft())
1187                                node->nodeInfo()->allBranchesGone(); // can clean up
1188                            // So will delete underlying stuff
1189                            node->setActive(true);
1190                        }
1191                        if (nDeleteNode == maxDeleteNode) {
1192                            maxDeleteNode = (3 * maxDeleteNode) / 2 + 10;
1193                            stuff->setMaxDeleteNode(maxDeleteNode);
1194                            stuff->setDelNode(new CbcNode * [maxDeleteNode]);
1195                            for (int i = 0; i < nDeleteNode; i++)
1196                                stuff->delNode()[i] = delNode[i];
1197                            delete [] delNode;
1198                            delNode = stuff->delNode();
1199                        }
1200                        delNode[nDeleteNode++] = node;
1201                    }
1202                }
1203                // end of this sub-tree
1204                int * usedA = thisModel->usedInSolution();
1205                for (int i = 0; i < numberColumns; i++) {
1206                    usedA[i] -= used[i];
1207                }
1208                delete [] used;
1209                thisModel->setSolutionCount(thisModel->getSolutionCount() - numberSolutions);
1210                stuff->setNodesThisTime(thisModel->getNodeCount() - nodesThisTime);
1211                stuff->setIterationsThisTime(thisModel->getIterationCount() - iterationsThisTime);
1212                stuff->setNDeleteNode(nDeleteNode);
1213                stuff->setReturnCode( returnCode);
1214                thisModel->setNumberThreads(mode);
1215            }
1216            //printf("end node %x\n",stuff->node);
1217            stuff->unlockFromThread();
1218            stuff->incrementTimeInThread(CoinCpuTime() - time2);
1219        } else {
1220            // exit
1221            break;
1222        }
1223    }
1224    //printf("THREAD exiting\n");
1225    stuff->exitThread();
1226    return NULL;
1227}
1228static void * doHeurThread(void * voidInfo)
1229{
1230    typedef struct {
1231        double solutionValue;
1232        CbcModel * model;
1233        double * solution;
1234        int foundSol;
1235    } argBundle;
1236    argBundle * stuff = reinterpret_cast<argBundle *> (voidInfo);
1237    stuff->foundSol =
1238        stuff->model->heuristic(0)->solution(stuff->solutionValue,
1239                                             stuff->solution);
1240    return NULL;
1241}
1242static void * doCutsThread(void * voidInfo)
1243{
1244    CbcThread * stuff = reinterpret_cast<CbcThread *> (voidInfo);
1245    CbcModel * thisModel =  stuff->thisModel();
1246    while (true) {
1247        stuff->waitThread();
1248        //printf("start node %x\n",stuff->node);
1249        int mode = thisModel->getNumberThreads();
1250        if (mode) {
1251            // normal
1252            assert (stuff->returnCode() == 0);
1253            int fullScan = thisModel->getNodeCount() == 0 ? 1 : 0; //? was >0
1254            CbcCutGenerator * generator = thisModel->cutGenerator(stuff->dantzigState());
1255            generator->refreshModel(thisModel);
1256            OsiCuts * cuts = reinterpret_cast<OsiCuts *> (stuff->delNode());
1257            OsiSolverInterface * thisSolver = thisModel->solver();
1258            generator->generateCuts(*cuts, fullScan, thisSolver, NULL);
1259            stuff->setReturnCode( 1);
1260            stuff->unlockFromThread();
1261        } else {
1262            // exit
1263            break;
1264        }
1265    }
1266    stuff->exitThread();
1267    return NULL;
1268}
1269// Split up nodes - returns number of CbcNodeInfo's affected
1270int
1271CbcModel::splitModel(int numberModels, CbcModel ** model,
1272                     int numberNodes)
1273{
1274    int iModel;
1275    int i;
1276    for (iModel = 0; iModel < numberModels; iModel++) {
1277        CbcModel * otherModel = model[iModel];
1278        otherModel->moveToModel(this, 10);
1279        assert (!otherModel->tree()->size());
1280        otherModel->tree()->resetNodeNumbers();
1281        otherModel->bestPossibleObjective_ = bestPossibleObjective_;
1282        otherModel->sumChangeObjective1_ = sumChangeObjective1_;
1283        otherModel->sumChangeObjective2_ = sumChangeObjective2_;
1284        int numberColumns = solver_->getNumCols();
1285        if (otherModel->bestSolution_) {
1286            assert (bestSolution_);
1287            memcpy(otherModel->bestSolution_, bestSolution_, numberColumns*sizeof(double));
1288        } else if (bestSolution_) {
1289            otherModel->bestSolution_ = CoinCopyOfArray(bestSolution_, numberColumns);
1290        }
1291        otherModel->globalCuts_ = globalCuts_;
1292        otherModel->numberSolutions_ = numberSolutions_;
1293        otherModel->numberHeuristicSolutions_ = numberHeuristicSolutions_;
1294        otherModel->numberNodes_ = 1; //numberNodes_;
1295        otherModel->numberIterations_ = numberIterations_;
1296#ifdef JJF_ZERO
1297        if (maximumNumberCuts_ > otherModel->maximumNumberCuts_) {
1298            otherModel->maximumNumberCuts_ = maximumNumberCuts_;
1299            delete [] otherModel->addedCuts_;
1300            otherModel->addedCuts_ = new CbcCountRowCut * [maximumNumberCuts_];
1301        }
1302        if (maximumDepth_ > otherModel->maximumDepth_) {
1303            otherModel->maximumDepth_ = maximumDepth_;
1304            delete [] otherModel->walkback_;
1305            otherModel->walkback_ = new CbcNodeInfo * [maximumDepth_];
1306        }
1307#endif
1308        otherModel->currentNumberCuts_ = currentNumberCuts_;
1309        if (otherModel->usedInSolution_) {
1310            assert (usedInSolution_);
1311            memcpy(otherModel->usedInSolution_, usedInSolution_, numberColumns*sizeof(int));
1312        } else if (usedInSolution_) {
1313            otherModel->usedInSolution_ = CoinCopyOfArray(usedInSolution_, numberColumns);
1314        }
1315        /// ??? tree_;
1316        // Need flag (stopNumberIterations_>0?) which says don't update cut etc counts
1317        for (i = 0; i < numberObjects_; i++) {
1318            otherModel->object_[i]->updateBefore(object_[i]);
1319        }
1320        otherModel->maximumDepthActual_ = maximumDepthActual_;
1321        // Real cuts are in node info
1322        otherModel->numberOldActiveCuts_ = numberOldActiveCuts_;
1323        otherModel->numberNewCuts_ = numberNewCuts_;
1324        otherModel->numberStrongIterations_ = numberStrongIterations_;
1325    }
1326    double cutoff = getCutoff();
1327    int nAffected = 0;
1328    while (!tree_->empty()) {
1329        for (iModel = 0; iModel < numberModels; iModel++) {
1330            if (tree_->empty())
1331                break;
1332            CbcModel * otherModel = model[iModel];
1333            CbcNode * node = tree_->bestNode(cutoff) ;
1334            CbcNodeInfo * nodeInfo = node->nodeInfo();
1335            assert (nodeInfo);
1336            if (!nodeInfo->marked()) {
1337                //while (nodeInfo&&!nodeInfo->marked()) {
1338                if (nAffected == maximumDepth_) {
1339                    redoWalkBack();
1340                }
1341                nodeInfo->mark();
1342                //nodeInfo->incrementCuts(1000000);
1343                walkback_[nAffected++] = nodeInfo;
1344                //nodeInfo = nodeInfo->parent() ;
1345                //}
1346            }
1347            // Make node join otherModel
1348            OsiBranchingObject * bobj = node->modifiableBranchingObject();
1349            CbcBranchingObject * cbcobj = dynamic_cast<CbcBranchingObject *> (bobj);
1350            //assert (cbcobj);
1351            if (cbcobj) {
1352                CbcObject * object = cbcobj->object();
1353                assert (object);
1354                int position = object->position();
1355                assert (position >= 0);
1356                assert (object_[position] == object);
1357                CbcObject * objectNew =
1358                    dynamic_cast<CbcObject *> (otherModel->object_[position]);
1359                cbcobj->setOriginalObject(objectNew);
1360            }
1361            otherModel->tree_->push(node);
1362        }
1363        numberNodes--;
1364        if (!numberNodes)
1365            break;
1366    }
1367    return nAffected;
1368}
1369// Start threads
1370void
1371CbcModel::startSplitModel(int /*numberIterations*/)
1372{
1373    abort();
1374}
1375// Merge models
1376void
1377CbcModel::mergeModels(int /*numberModel*/, CbcModel ** /*model*/,
1378                      int /*numberNodes*/)
1379{
1380    abort();
1381}
1382/* Move/copy information from one model to another
1383   -1 - initial setup
1384   0 - from base model
1385   1 - to base model (and reset)
1386   2 - add in final statistics etc (and reset so can do clean destruction)
1387   10 - from base model (deterministic)
1388   11 - to base model (deterministic)
1389*/
1390void
1391CbcModel::moveToModel(CbcModel * baseModel, int mode)
1392{
1393    if (mode == 0) {
1394        setCutoff(baseModel->getCutoff());
1395        bestObjective_ = baseModel->bestObjective_;
1396        assert (!baseModel->globalCuts_.sizeRowCuts());
1397        numberSolutions_ = baseModel->numberSolutions_;
1398        stateOfSearch_ = baseModel->stateOfSearch_;
1399        numberNodes_ = baseModel->numberNodes_;
1400        numberIterations_ = baseModel->numberIterations_;
1401        numberFixedAtRoot_ = numberIterations_; // for statistics
1402        numberSolves_ = 0;
1403        phase_ = baseModel->phase_;
1404        assert (!nextRowCut_);
1405        nodeCompare_ = baseModel->nodeCompare_;
1406        tree_ = baseModel->tree_;
1407        assert (!subTreeModel_);
1408        //branchingMethod_ = NULL; // need something but what
1409        numberOldActiveCuts_ = baseModel->numberOldActiveCuts_;
1410        cutModifier_ = NULL;
1411        assert (!analyzeResults_);
1412        CbcThread * stuff = reinterpret_cast<CbcThread *> (masterThread_);
1413        assert (stuff);
1414        //if (stuff)
1415        stuff->setCreatedNode(NULL);
1416        // ?? searchStrategy_;
1417        searchStrategy_ = baseModel->searchStrategy_;
1418        stuff->saveStuff()[0] = searchStrategy_;
1419        stateOfSearch_ = baseModel->stateOfSearch_;
1420        stuff->saveStuff()[1] = stateOfSearch_;
1421        for (int iObject = 0 ; iObject < numberObjects_ ; iObject++) {
1422            CbcSimpleIntegerDynamicPseudoCost * dynamicObject =
1423                dynamic_cast <CbcSimpleIntegerDynamicPseudoCost *>(object_[iObject]) ;
1424            if (dynamicObject) {
1425                CbcSimpleIntegerDynamicPseudoCost * baseObject =
1426                    dynamic_cast <CbcSimpleIntegerDynamicPseudoCost *>(baseModel->object_[iObject]) ;
1427                assert (baseObject);
1428                dynamicObject->copySome(baseObject);
1429            }
1430        }
1431    } else if (mode == 1) {
1432        lockThread();
1433        CbcThread * stuff = reinterpret_cast<CbcThread *> (masterThread_);
1434        assert (stuff);
1435        //stateOfSearch_
1436        if (stuff->saveStuff()[0] != searchStrategy_) {
1437#ifdef COIN_DEVELOP
1438            printf("changing searchStrategy from %d to %d\n",
1439                   baseModel->searchStrategy_, searchStrategy_);
1440#endif
1441            baseModel->searchStrategy_ = searchStrategy_;
1442        }
1443        if (stuff->saveStuff()[1] != stateOfSearch_) {
1444#ifdef COIN_DEVELOP
1445            printf("changing stateOfSearch from %d to %d\n",
1446                   baseModel->stateOfSearch_, stateOfSearch_);
1447#endif
1448            baseModel->stateOfSearch_ = stateOfSearch_;
1449        }
1450        if (numberUpdateItems_) {
1451            for (int i = 0; i < numberUpdateItems_; i++) {
1452                CbcObjectUpdateData * update = updateItems_ + i;
1453                int objectNumber = update->objectNumber_;
1454                CbcObject * object = dynamic_cast<CbcObject *> (baseModel->object_[objectNumber]);
1455                if (object)
1456                    object->updateInformation(*update);
1457            }
1458            numberUpdateItems_ = 0;
1459        }
1460        if (eventHappened_)
1461            baseModel->eventHappened_ = true;
1462        baseModel->numberNodes_++;
1463        baseModel->numberIterations_ +=
1464            numberIterations_ - numberFixedAtRoot_;
1465        baseModel->numberSolves_ += numberSolves_;
1466        if (stuff->node())
1467            baseModel->tree_->push(stuff->node());
1468        if (stuff->createdNode())
1469            baseModel->tree_->push(stuff->createdNode());
1470        unlockThread();
1471    } else if (mode == 2) {
1472        baseModel->sumChangeObjective1_ += sumChangeObjective1_;
1473        baseModel->sumChangeObjective2_ += sumChangeObjective2_;
1474        //baseModel->numberIterations_ += numberIterations_;
1475        for (int iGenerator = 0; iGenerator < numberCutGenerators_; iGenerator++) {
1476            CbcCutGenerator * generator = baseModel->generator_[iGenerator];
1477            CbcCutGenerator * generator2 = generator_[iGenerator];
1478            generator->incrementNumberTimesEntered(generator2->numberTimesEntered());
1479            generator->incrementNumberCutsInTotal(generator2->numberCutsInTotal());
1480            generator->incrementNumberCutsActive(generator2->numberCutsActive());
1481            generator->incrementTimeInCutGenerator(generator2->timeInCutGenerator());
1482        }
1483        if (parallelMode() >= 0)
1484            nodeCompare_ = NULL;
1485        baseModel->maximumDepthActual_ = CoinMax(baseModel->maximumDepthActual_, maximumDepthActual_);
1486        baseModel->numberDJFixed_ += numberDJFixed_;
1487        baseModel->numberStrongIterations_ += numberStrongIterations_;
1488        int i;
1489        for (i = 0; i < 3; i++)
1490            baseModel->strongInfo_[i] += strongInfo_[i];
1491        if (parallelMode() >= 0) {
1492            walkback_ = NULL;
1493            lastNodeInfo_ = NULL;
1494            lastNumberCuts_ = NULL;
1495            lastCut_ = NULL;
1496            //addedCuts_ = NULL;
1497            tree_ = NULL;
1498        }
1499        eventHandler_ = NULL;
1500        delete solverCharacteristics_;
1501        solverCharacteristics_ = NULL;
1502        bool newMethod = (baseModel->branchingMethod_ && baseModel->branchingMethod_->chooseMethod());
1503        if (newMethod) {
1504            // new method - we were using base models
1505            numberObjects_ = 0;
1506            object_ = NULL;
1507        }
1508    } else if (mode == -1) {
1509        delete eventHandler_;
1510        eventHandler_ = baseModel->eventHandler_;
1511        assert (!statistics_);
1512        assert(baseModel->solverCharacteristics_);
1513        solverCharacteristics_ = new OsiBabSolver (*baseModel->solverCharacteristics_);
1514        solverCharacteristics_->setSolver(solver_);
1515        setMaximumNodes(COIN_INT_MAX);
1516        if (parallelMode() >= 0) {
1517            delete [] walkback_;
1518            //delete [] addedCuts_;
1519            walkback_ = NULL;
1520            //addedCuts_ = NULL;
1521            delete [] lastNodeInfo_ ;
1522            lastNodeInfo_ = NULL;
1523            delete [] lastNumberCuts_ ;
1524            lastNumberCuts_ = NULL;
1525            delete [] lastCut_ ;
1526            lastCut_ = NULL;
1527            delete tree_;
1528            tree_ = NULL;
1529            delete nodeCompare_;
1530            nodeCompare_ = NULL;
1531        } else {
1532            delete tree_;
1533            tree_ = new CbcTree();
1534            tree_->setComparison(*nodeCompare_) ;
1535        }
1536        continuousSolver_ = baseModel->continuousSolver_->clone();
1537        bool newMethod = (baseModel->branchingMethod_ && baseModel->branchingMethod_->chooseMethod());
1538        if (newMethod) {
1539            // new method uses solver - but point to base model
1540            // We may update an object in wrong order - shouldn't matter?
1541            numberObjects_ = baseModel->numberObjects_;
1542            if (parallelMode() >= 0) {
1543                object_ = baseModel->object_;
1544            } else {
1545                printf("*****WARNING - fix testosi option\n");
1546                object_ = baseModel->object_;
1547            }
1548        }
1549        int i;
1550        for (i = 0; i < numberHeuristics_; i++) {
1551            delete heuristic_[i];
1552            heuristic_[i] = baseModel->heuristic_[i]->clone();
1553            heuristic_[i]->setModelOnly(this);
1554        }
1555        for (i = 0; i < numberCutGenerators_; i++) {
1556            delete generator_[i];
1557            generator_[i] = new CbcCutGenerator(*baseModel->generator_[i]);
1558            // refreshModel was overkill as thought too many rows
1559            generator_[i]->setModel(this);
1560        }
1561    } else if (mode == 10) {
1562        setCutoff(baseModel->getCutoff());
1563        bestObjective_ = baseModel->bestObjective_;
1564        assert (!baseModel->globalCuts_.sizeRowCuts());
1565        numberSolutions_ = baseModel->numberSolutions_;
1566        assert (usedInSolution_);
1567        assert (baseModel->usedInSolution_);
1568        memcpy(usedInSolution_, baseModel->usedInSolution_, solver_->getNumCols()*sizeof(int));
1569        stateOfSearch_ = baseModel->stateOfSearch_;
1570        //numberNodes_ = baseModel->numberNodes_;
1571        //numberIterations_ = baseModel->numberIterations_;
1572        //numberFixedAtRoot_ = numberIterations_; // for statistics
1573        phase_ = baseModel->phase_;
1574        assert (!nextRowCut_);
1575        delete nodeCompare_;
1576        nodeCompare_ = baseModel->nodeCompare_->clone();
1577        tree_->setComparison(*nodeCompare_) ;
1578        assert (!subTreeModel_);
1579        //branchingMethod_ = NULL; // need something but what
1580        numberOldActiveCuts_ = baseModel->numberOldActiveCuts_;
1581        cutModifier_ = NULL;
1582        assert (!analyzeResults_);
1583        CbcThread * stuff = reinterpret_cast<CbcThread *> (masterThread_);
1584        assert (stuff);
1585        //if (stuff)
1586        stuff->setCreatedNode(NULL);
1587        // ?? searchStrategy_;
1588        searchStrategy_ = baseModel->searchStrategy_;
1589        stuff->saveStuff()[0] = searchStrategy_;
1590        stateOfSearch_ = baseModel->stateOfSearch_;
1591        stuff->saveStuff()[1] = stateOfSearch_;
1592        OsiObject ** baseObject = baseModel->object_;
1593        for (int iObject = 0 ; iObject < numberObjects_ ; iObject++) {
1594            object_[iObject]->updateBefore(baseObject[iObject]);
1595        }
1596        //delete [] stuff->nodeCount;
1597        //stuff->nodeCount = new int [baseModel->maximumDepth_+1];
1598    } else if (mode == 11) {
1599        if (parallelMode() < 0) {
1600            // from deterministic
1601            CbcThread * stuff = reinterpret_cast<CbcThread *> (masterThread_);
1602            assert (stuff);
1603            // Move solution etc
1604            // might as well mark all including continuous
1605            int numberColumns = solver_->getNumCols();
1606            for (int i = 0; i < numberColumns; i++) {
1607                baseModel->usedInSolution_[i] += usedInSolution_[i];
1608                //usedInSolution_[i]=0;
1609            }
1610            baseModel->numberSolutions_ += numberSolutions_;
1611            if (bestObjective_ < baseModel->bestObjective_ && bestObjective_ < baseModel->getCutoff()) {
1612                baseModel->bestObjective_ = bestObjective_ ;
1613                int numberColumns = solver_->getNumCols();
1614                if (!baseModel->bestSolution_)
1615                    baseModel->bestSolution_ = new double[numberColumns];
1616                CoinCopyN(bestSolution_, numberColumns, baseModel->bestSolution_);
1617                baseModel->setCutoff(getCutoff());
1618            }
1619            //stateOfSearch_
1620            if (stuff->saveStuff()[0] != searchStrategy_) {
1621#ifdef COIN_DEVELOP
1622                printf("changing searchStrategy from %d to %d\n",
1623                       baseModel->searchStrategy_, searchStrategy_);
1624#endif
1625                baseModel->searchStrategy_ = searchStrategy_;
1626            }
1627            if (stuff->saveStuff()[1] != stateOfSearch_) {
1628#ifdef COIN_DEVELOP
1629                printf("changing stateOfSearch from %d to %d\n",
1630                       baseModel->stateOfSearch_, stateOfSearch_);
1631#endif
1632                baseModel->stateOfSearch_ = stateOfSearch_;
1633            }
1634            int i;
1635            if (eventHappened_)
1636                baseModel->eventHappened_ = true;
1637            baseModel->numberNodes_ += stuff->nodesThisTime();
1638            baseModel->numberIterations_ += stuff->iterationsThisTime();
1639            double cutoff = baseModel->getCutoff();
1640            while (!tree_->empty()) {
1641                CbcNode * node = tree_->bestNode(COIN_DBL_MAX) ;
1642                if (node->objectiveValue() < cutoff) {
1643                    assert(node->nodeInfo());
1644                    // Make node join correctly
1645                    OsiBranchingObject * bobj = node->modifiableBranchingObject();
1646                    CbcBranchingObject * cbcobj = dynamic_cast<CbcBranchingObject *> (bobj);
1647                    if (cbcobj) {
1648                        CbcObject * object = cbcobj->object();
1649                        assert (object);
1650                        int position = object->position();
1651                        assert (position >= 0);
1652                        assert (object_[position] == object);
1653                        CbcObject * objectNew =
1654                            dynamic_cast<CbcObject *> (baseModel->object_[position]);
1655                        cbcobj->setOriginalObject(objectNew);
1656                    }
1657                    baseModel->tree_->push(node);
1658                } else {
1659                    delete node;
1660                }
1661            }
1662            for (i = 0; i < stuff->nDeleteNode(); i++) {
1663                //printf("CbcNode %x stuff delete\n",stuff->delNode[i]);
1664                delete stuff->delNode()[i];
1665            }
1666        }
1667    } else {
1668        abort();
1669    }
1670}
1671// Generate one round of cuts - parallel mode
1672int
1673CbcModel::parallelCuts(CbcBaseModel * master, OsiCuts & theseCuts,
1674                       CbcNode * /*node*/, OsiCuts & slackCuts, int lastNumberCuts)
1675{
1676    /*
1677      Is it time to scan the cuts in order to remove redundant cuts? If so, set
1678      up to do it.
1679    */
1680    int fullScan = 0 ;
1681    if ((numberNodes_ % SCANCUTS) == 0 || (specialOptions_&256) != 0) {
1682        fullScan = 1 ;
1683        if (!numberNodes_ || (specialOptions_&256) != 0)
1684            fullScan = 2;
1685        specialOptions_ &= ~256; // mark as full scan done
1686    }
1687    // do cuts independently
1688    OsiCuts * eachCuts = new OsiCuts [numberCutGenerators_];;
1689    int i;
1690    assert (master);
1691    for (i = 0; i < numberThreads_; i++) {
1692        // set solver here after cloning
1693        master->model(i)->solver_ = solver_->clone();
1694        master->model(i)->numberNodes_ = (fullScan) ? 1 : 0;
1695    }
1696    // generate cuts
1697    int status = 0;
1698    const OsiRowCutDebugger * debugger = NULL;
1699    bool onOptimalPath = false;
1700    for (i = 0; i < numberCutGenerators_; i++) {
1701        bool generate = generator_[i]->normal();
1702        // skip if not optimal and should be (maybe a cut generator has fixed variables)
1703        if (generator_[i]->needsOptimalBasis() && !solver_->basisIsAvailable())
1704            generate = false;
1705        if (generator_[i]->switchedOff())
1706            generate = false;;
1707        if (generate) {
1708            master->waitForThreadsInCuts(0, eachCuts + i, i);
1709        }
1710    }
1711    // wait
1712    master->waitForThreadsInCuts(1, eachCuts, 0);
1713    // Now put together
1714    for (i = 0; i < numberCutGenerators_; i++) {
1715        // add column cuts
1716        int numberColumnCutsBefore = theseCuts.sizeColCuts() ;
1717        int numberColumnCuts = eachCuts[i].sizeColCuts();
1718        int numberColumnCutsAfter = numberColumnCutsBefore
1719                                    + numberColumnCuts;
1720        int j;
1721        for (j = 0; j < numberColumnCuts; j++) {
1722            theseCuts.insert(eachCuts[i].colCut(j));
1723        }
1724        int numberRowCutsBefore = theseCuts.sizeRowCuts() ;
1725        int numberRowCuts = eachCuts[i].sizeRowCuts();
1726        // insert good cuts
1727        if (numberRowCuts) {
1728            int n = numberRowCuts;
1729            numberRowCuts = 0;
1730            for (j = 0; j < n; j++) {
1731                const OsiRowCut * thisCut = eachCuts[i].rowCutPtr(j) ;
1732                if (thisCut->lb() <= 1.0e10 && thisCut->ub() >= -1.0e10) {
1733                    theseCuts.insert(eachCuts[i].rowCut(j));
1734                    numberRowCuts++;
1735                }
1736            }
1737            if (generator_[i]->mustCallAgain() && status >= 0)
1738                status = 1; // say must go round
1739        }
1740        int numberRowCutsAfter = numberRowCutsBefore
1741                                 + numberRowCuts;
1742        if (numberRowCuts) {
1743            // Check last cut to see if infeasible
1744            const OsiRowCut * thisCut = theseCuts.rowCutPtr(numberRowCutsAfter - 1) ;
1745            if (thisCut->lb() > thisCut->ub()) {
1746                status = -1; // sub-problem is infeasible
1747                break;
1748            }
1749        }
1750#ifdef CBC_DEBUG
1751        {
1752            int k ;
1753            for (k = numberRowCutsBefore; k < numberRowCutsAfter; k++) {
1754                OsiRowCut thisCut = theseCuts.rowCut(k) ;
1755                /* check size of elements.
1756                   We can allow smaller but this helps debug generators as it
1757                   is unsafe to have small elements */
1758                int n = thisCut.row().getNumElements();
1759                const int * column = thisCut.row().getIndices();
1760                const double * element = thisCut.row().getElements();
1761                //assert (n);
1762                for (int i = 0; i < n; i++) {
1763                    double value = element[i];
1764                    assert(fabs(value) > 1.0e-12 && fabs(value) < 1.0e20);
1765                }
1766            }
1767        }
1768#endif
1769        if ((specialOptions_&1) != 0) {
1770            if (onOptimalPath) {
1771                int k ;
1772                for (k = numberRowCutsBefore; k < numberRowCutsAfter; k++) {
1773                    OsiRowCut thisCut = theseCuts.rowCut(k) ;
1774                    if (debugger->invalidCut(thisCut)) {
1775                        solver_->getRowCutDebuggerAlways()->printOptimalSolution(*solver_);
1776                        solver_->writeMpsNative("badCut.mps", NULL, NULL, 2);
1777#ifdef NDEBUG
1778                        printf("Cut generator %d (%s) produced invalid cut (%dth in this go)\n",
1779                               i, generator_[i]->cutGeneratorName(), k - numberRowCutsBefore);
1780                        const double *lower = getColLower() ;
1781                        const double *upper = getColUpper() ;
1782                        int numberColumns = solver_->getNumCols();
1783                        for (int i = 0; i < numberColumns; i++)
1784                            printf("%d bounds %g,%g\n", i, lower[i], upper[i]);
1785                        abort();
1786#endif
1787                    }
1788                    assert(!debugger->invalidCut(thisCut)) ;
1789                }
1790            }
1791        }
1792        /*
1793          The cut generator has done its thing, and maybe it generated some
1794          cuts.  Do a bit of bookkeeping: load
1795          whichGenerator[i] with the index of the generator responsible for a cut,
1796          and place cuts flagged as global in the global cut pool for the model.
1797
1798          lastNumberCuts is the sum of cuts added in previous iterations; it's the
1799          offset to the proper starting position in whichGenerator.
1800        */
1801        int numberBefore =
1802            numberRowCutsBefore + numberColumnCutsBefore + lastNumberCuts ;
1803        int numberAfter =
1804            numberRowCutsAfter + numberColumnCutsAfter + lastNumberCuts ;
1805        // possibly extend whichGenerator
1806        resizeWhichGenerator(numberBefore, numberAfter);
1807
1808        for (j = numberRowCutsBefore; j < numberRowCutsAfter; j++) {
1809            whichGenerator_[numberBefore++] = i ;
1810            const OsiRowCut * thisCut = theseCuts.rowCutPtr(j) ;
1811            if (thisCut->lb() > thisCut->ub())
1812                status = -1; // sub-problem is infeasible
1813            if (thisCut->globallyValid()) {
1814                // add to global list
1815                OsiRowCut newCut(*thisCut);
1816                newCut.setGloballyValid(true);
1817                newCut.mutableRow().setTestForDuplicateIndex(false);
1818                globalCuts_.insert(newCut) ;
1819            }
1820        }
1821        for (j = numberColumnCutsBefore; j < numberColumnCutsAfter; j++) {
1822            //whichGenerator_[numberBefore++] = i ;
1823            const OsiColCut * thisCut = theseCuts.colCutPtr(j) ;
1824            if (thisCut->globallyValid()) {
1825                // add to global list
1826                OsiColCut newCut(*thisCut);
1827                newCut.setGloballyValid(true);
1828                globalCuts_.insert(newCut) ;
1829            }
1830        }
1831    }
1832    // Add in any violated saved cuts
1833    if (!theseCuts.sizeRowCuts() && !theseCuts.sizeColCuts()) {
1834        int numberOld = theseCuts.sizeRowCuts() + lastNumberCuts;
1835        int numberCuts = slackCuts.sizeRowCuts() ;
1836        int i;
1837        // possibly extend whichGenerator
1838        resizeWhichGenerator(numberOld, numberOld + numberCuts);
1839        double primalTolerance;
1840        solver_->getDblParam(OsiPrimalTolerance, primalTolerance) ;
1841        for ( i = 0; i < numberCuts; i++) {
1842            const OsiRowCut * thisCut = slackCuts.rowCutPtr(i) ;
1843            if (thisCut->violated(cbcColSolution_) > 100.0*primalTolerance) {
1844                if (messageHandler()->logLevel() > 2)
1845                    printf("Old cut added - violation %g\n",
1846                           thisCut->violated(cbcColSolution_)) ;
1847                whichGenerator_[numberOld++] = -1;
1848                theseCuts.insert(*thisCut) ;
1849            }
1850        }
1851    }
1852    delete [] eachCuts;
1853    return status;
1854}
1855/*
1856  Locks a thread if parallel so that stuff like cut pool
1857  can be updated and/or used.
1858*/
1859void
1860CbcModel::lockThread()
1861{
1862    if (masterThread_ && (threadMode_&1) == 0)
1863        masterThread_->lockThread();
1864}
1865/*
1866  Unlocks a thread if parallel
1867*/
1868void
1869CbcModel::unlockThread()
1870{
1871    if (masterThread_ && (threadMode_&1) == 0)
1872        masterThread_->unlockThread();
1873}
1874// Returns true if locked
1875bool
1876CbcModel::isLocked() const
1877{
1878    if (masterThread_) {
1879        return (masterThread_->locked());
1880    } else {
1881        return true;
1882    }
1883}
1884// Stop a child
1885void
1886CbcModel::setInfoInChild(int type, CbcThread * info)
1887{
1888    if (type == -3) {
1889        // set up
1890        masterThread_ = info;
1891    } else if (type == -2) {
1892        numberThreads_ = 0; // signal to stop
1893    } else {
1894        // make sure message handler will be deleted
1895        defaultHandler_ = true;
1896        ownObjects_ = false;
1897        delete solverCharacteristics_;
1898        solverCharacteristics_ = NULL;
1899        if (type >= 0) {
1900            delete [] object_; // may be able to when all over to CbcThread
1901            for (int i = 0; i < numberCutGenerators_; i++) {
1902                delete generator_[i];
1903                generator_[i] = NULL;
1904                //delete virginGenerator_[i];
1905                //virginGenerator_[i]=NULL;
1906            }
1907            //generator_[0] = NULL;
1908            //delete [] generator_;
1909            //generator_ = NULL;
1910            numberCutGenerators_ = 0;
1911        } else {
1912            for (int i = 0; i < numberCutGenerators_; i++) {
1913                generator_[i] = NULL;
1914            }
1915        }
1916        object_ = NULL;
1917    }
1918}
1919
1920/// Indicates whether Cbc library has been compiled with multithreading support
1921bool CbcModel::haveMultiThreadSupport() { return true; }
1922
1923#else
1924// Default constructor
1925CbcBaseModel::CbcBaseModel() {}
1926
1927bool CbcModel::haveMultiThreadSupport() { return false; }
1928#endif
1929
Note: See TracBrowser for help on using the repository browser.