Beispiel #1
0
Resources resources_create() {
    Resources r;

    r = (Resources) xalloc(sizeof(struct Resources_s));
    r->max_parse_time = MAX_PARSE_TIME_DEFAULT;
    r->when_created = current_usage_time();
    r->when_last_called = current_usage_time();
    r->time_when_parse_started = current_usage_time();
    r->space_when_parse_started = space_in_use;
    r->max_memory = MAX_MEMORY_DEFAULT;
    r->cumulative_time = 0;
    r->memory_exhausted = FALSE;
    r->timer_expired = FALSE;

    return r;
}
Beispiel #2
0
void resources_reset(Resources r)
{
	r->when_last_called = r->time_when_parse_started = current_usage_time();
	r->space_when_parse_started = space_in_use;
	r->timer_expired = FALSE;
	r->memory_exhausted = FALSE;
}
Beispiel #3
0
void resources_print_time(int verbosity, Resources r, char * s) {
/* print out the cpu ticks since this was last called */
    double new_t;
    new_t = current_usage_time();
    if (verbosity > 1) {
	printf("++++");
	left_print_string(stdout, s, "                                           ");
	printf("%7.2f seconds\n", new_t - r->when_last_called);
    }
    r->when_last_called = new_t;
}
Beispiel #4
0
/** print out the cpu ticks since this was last called */
void resources_print_time(int verbosity, Resources r, const char * s)
{
	double new_t;
	new_t = current_usage_time();
	if (verbosity > 1) {
		printf("++++");
		left_print_string(stdout, s, "										   ");
		printf("%7.2f seconds\n", new_t - r->when_last_called);
	}
	r->when_last_called = new_t;
}
Beispiel #5
0
void resources_print_total_time(int verbosity, Resources r) {
/* print out the cpu ticks since this was last called */
    double new_t;
    new_t = current_usage_time();
    r->cumulative_time += (new_t - r->time_when_parse_started) ;
    if (verbosity > 0) {
        printf("++++");
	left_print_string(stdout, "Time",
			  "                                           ");
	printf("%7.2f seconds (%.2f total)\n", 
	       new_t - r->time_when_parse_started, r->cumulative_time);
    }
    r->time_when_parse_started = new_t;
}
Beispiel #6
0
void resources_reset_time(Resources r) {
    r->when_last_called = r->time_when_parse_started = current_usage_time();
}
Beispiel #7
0
int resources_timer_expired(Resources r) {
    if (r->max_parse_time == MAX_PARSE_TIME_DEFAULT) return 0;
    else return (r->timer_expired || (current_usage_time() - r->time_when_parse_started > r->max_parse_time));
}