view src/parallel_execution/time.c @ 161:db647f7ed2f6

Prove simple lemma in stack.agda
author atton
date Thu, 17 Nov 2016 18:23:56 +0000
parents 63ab65b28466
children
line wrap: on
line source

#include <stdio.h>
#include <sys/time.h>

#include "context.h"
#include "origin_cs.h"

__code start_time(struct Context* context, struct Time* time) {
    struct timeval tv;
    gettimeofday(&tv, NULL);

    time->time = tv.tv_sec + (double)tv.tv_usec*1e-6;

    goto meta(context, time->next);
}

__code start_time_stub(struct Context* context) {
    goto start_time(context, &context->data[D_Time]->Time);
}

__code end_time(struct Context* context, struct Time* time) {
    struct timeval tv;
    gettimeofday(&tv, NULL);

    printf("%0.6f\n", (tv.tv_sec+(double)tv.tv_usec*1e-6) - time->time);

    goto meta(context, time->next);
}

__code end_time_stub(struct Context* context) {
    goto end_time(context, Gearef(context, Time));
}