lib-during/during-pool.cpp

Go to the documentation of this file.

/********************************************************************
 * Copyright (C) 2011 by Verimag                                    *
 * Initial author: Matthieu Moy                                     *
 * This file must not be distributed outside Verimag                *
 ********************************************************************/

#include "during-pool.h"
#include "thread-pool.h"
#include "task-manager.h"
#include "thread-queue.h"
#include "utils/io-lock.h"

#include <systemc>
using namespace std;

sc_during_pool::sc_during_pool() {
        thread_pool::get_instance();
        L_COUT << "// TEST-IGNORE: sc_during_pool instanciated" << std::endl;
}

sc_during_pool::~sc_during_pool() {
        thread_pool::delete_instance(); 
}

void sc_during_pool::extra_time(const sc_core::sc_time & t) {
        task_manager::get_instance()->get_current_task()->extra_time(t);
}

void sc_during_pool::catch_up(const sc_core::sc_time & t) {
        task_manager::get_instance()->get_current_task()->catch_up(t);
}

void sc_during_pool::sc_call(const boost::function<void()> & f) {
        task_manager::get_instance()->get_current_task()->sc_call(f);
};

void sc_during_pool::during(const sc_core::sc_time & time, 
                            const boost::function<void()> & routine) {
        sync_task r(routine, time);
        thread_pool::get_instance()->queue(&r);
        r.wait_for_completion();
}