catch-up-time.cpp

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

#include <systemc>
#include "during.h"

using namespace std;
using namespace sc_core;

SC_MODULE(A), sc_during
{
        int x;
        void producer() {
                L_COUT << "A: 1" << endl;
                wait(10, SC_NS);
                usleep(100000);
                L_COUT << "A: before x = 10, " << sc_time_stamp() << endl;
                x = 10;
                wait(15, SC_NS);
                usleep(100000);
                L_COUT << "A: before x = 25, " << sc_time_stamp() << endl;
                x = 20;
                usleep(100000);
                wait(100, SC_NS);
                usleep(100000);
                L_COUT << "A: before x = 300, " << sc_time_stamp() << endl;
                x = 300;
        }

        void consumer() {
                during(16, SC_NS, bind_this(&A::f));
                assert(x == 300);
                L_COUT << "// TEST-EXPECT: consumer: " << 16 + 8 + 2 + 101 << " ns" << endl;
                L_COUT << "consumer: " << sc_time_stamp() << endl;
        }
        
        SC_CTOR(A) {
                x = 0;
                SC_THREAD(producer);
                SC_THREAD(consumer);
        }
        
        void f(void) {
                // x is probably still 0 at this point.
                catch_up(5, SC_NS);
                L_COUT << "f: at t \\in [11, 16], x == " << x << endl;
                assert(x == 10);
                L_COUT << "f: assertion OK at t=11" << endl;
                usleep(100000); // we may sleep, but SystemC cannot go
                                // after t=11 until we terminate or do
                                // extra_time.
                assert(x == 10);
                extra_time(8, SC_NS);
                L_COUT << "f: at t \\in [11, 24], x == " << x << endl;
                assert(x == 10); // still not t == 25 ...
                L_COUT << "f: assertion OK at t \\in [11, 24]" << endl;
                extra_time(2, SC_NS);
                catch_up();
                L_COUT << "f: at t=21, x == " << x << endl;
                assert(x == 20);
                for (int i = 0; i < 50; i++)
                        extra_time(1, SC_NS);
                for (int i = 0; i < 5; i++) {
                        usleep(10000);
                        for (int j = 0; j < 10; j++)
                                extra_time(1, SC_NS);
                        catch_up(50, SC_NS);
                }
                extra_time(1, SC_NS);
                catch_up();
                assert(x == 300);
        };
};

int sc_main(int argc, char *argv[])
{
        (void)argc; (void)argv;
        A a("a");
        {
                measure_time t;
                sc_start();
        }

        return 0;
}