Method handleStart

cp-profiler/src/cpprofiler/conductor.cpp:223–289

Conductor::~Conductor() = default;

void Conductor::handleStart(ReceiverThread *receiver, const std::string &ex_name, int ex_id, bool restarts)
{

    auto res = executions_.find(ex_id);

    if (res == executions_.end() || ex_id == 0)
    {

        /// Note: metadata from MiniZinc IDE overrides that provided by the solver
        std::string ex_name_used = ex_name;

        const bool ide_used = (exec_meta_.find(ex_id) != exec_meta_.end());

        if (ide_used)
        {
            print("already know metadata for this ex_id!");
            ex_name_used = exec_meta_[ex_id].ex_name;
        }

        /// needs a new execution
        auto ex = addNewExecution(ex_name_used, ex_id, restarts);
        emit executionStart(ex);

        /// construct a name map
        if (ide_used)
        {
            ex->setNameMap(exec_meta_[ex_id].name_map);
            print("using name map for {}", ex_id);
        }
        else if (options_.paths != "" && options_.mzn != "")
        {
            auto nm = std::make_shared<NameMap>();
            auto success = nm->initialize(options_.paths, options_.mzn);
            if (success)
            {
                ex->setNameMap(nm);
            }
        }

        /// The builder should only be created for a new execution
        auto builderThread = new QThread();
        auto builder = new TreeBuilder(*ex);

        builders_[ex_id] = builder;
        builder->moveToThread(builderThread);

	// onExecutionDone must be called on the same thread as the conductor
        connect(builder, &TreeBuilder::buildingDone, this, [this, ex]() {
            onExecutionDone(ex);
        });

        /// is this the right time to delete the builder thread?
        connect(builderThread, &QThread::finished, builderThread, &QObject::deleteLater);

        builderThread->start();
    }

    /// obtain the builder aready assigned to this execution