runner.h

/*
* <runner.h>
* Copyright (C) DOLPHIN Project-Team, INRIA Futurs, 2006-2008
* (C) OPAC Team, LIFL, 2002-2008
*
* Sebastien Cahon, Alexandru-Adrian Tantar, Clive Canape
*
* This software is governed by the CeCILL license under French law and
* abiding by the rules of distribution of free software.  You can  use,
* modify and/ or redistribute the software under the terms of the CeCILL
* license as circulated by CEA, CNRS and INRIA at the following URL
* "http://www.cecill.info".
*
* As a counterpart to the access to the source code and  rights to copy,
* modify and redistribute granted by the license, users are provided only
* with a limited warranty  and the software's author,  the holder of the
* economic rights,  and the successive licensors  have only  limited liability.
*
* In this respect, the user's attention is drawn to the risks associated
* with loading,  using,  modifying and/or developing or reproducing the
* software by the user in light of its specific status of free software,
* that may mean  that it is complicated to manipulate,  and  that  also
* therefore means  that it is reserved for developers  and  experienced
* professionals having in-depth computer knowledge. Users are therefore
* encouraged to load and test the software's suitability as regards their
* requirements in conditions enabling the security of their systems and/or
* data to be ensured and,  more generally, to use and operate it in the
* same conditions as regards security.
* The fact that you are presently reading this means that you have had
* knowledge of the CeCILL license and that you accept its terms.
*
* ParadisEO WebSite : http://paradiseo.gforge.inria.fr
* Contact: paradiseo-help@lists.gforge.inria.fr
*
*/

#ifndef __runner_h
#define __runner_h

#include <eoFunctor.h>

#include "communicable.h"
#include "thread.h"


typedef unsigned RUNNER_ID;


class Runner : public Communicable, public Thread
  {

  public :

    Runner ();

    RUNNER_ID getDefinitionID ();

    RUNNER_ID getExecutionID ();

    void setExecutionID (const RUNNER_ID& execution_id);

    bool isAssignedLocally ();

    void waitStarting ();

    void waitContextInitialization ();

    void start ();

    virtual void run () = 0;

    void terminate ();

    void notifyContextInitialized ();

    void notifySendingTermination ();

    void packTermination ();

  private :

    sem_t sem_start;
    sem_t sem_cntxt;

    unsigned def_id;
    unsigned exec_id;
  };


extern void initRunnersEnv ();

extern Runner * getRunner (RUNNER_ID __key);

extern void initializeContext ();

extern void startRunners ();

extern void joinRunners ();

extern bool atLeastOneActiveRunner ();

extern unsigned numberOfActiveRunners ();

extern void unpackTerminationOfRunner ();

#endif

---