fossil.c

Go to the documentation of this file.

#include <arch/thread.h>
#include <core/init.h>
#include <gvt/gvt.h>
#include <gvt/ccgs.h>
#include <mm/state.h>
#include <mm/mm.h>
#include <scheduler/process.h>
#include <scheduler/scheduler.h>
#include <statistics/statistics.h>

void fossil_collection(struct lp_struct *lp, simtime_t time_barrier)
{
    state_t *state;
    msg_t *last_kept_event;
    double committed_events;

    // State list must be handled specifically, as nodes point to malloc'd
    // nodes. We therefore manually scan the list and free the memory.
    while ((state = list_head(lp->queue_states)) != NULL
           && state->lvt < time_barrier) {
        log_delete(state->log);
        if(&topology_settings && topology_settings.write_enabled)
            rsfree(state->topology);
        if(&abm_settings)
            rsfree(state->region_data);
#ifndef NDEBUG
        state->last_event = (void *)0xDEADBABE;
#endif
        list_pop(lp->queue_states);
    }

    // Determine queue pruning horizon
    state = list_head(lp->queue_states);
    last_kept_event = state->last_event;

    // Truncate the input queue, accounting for the event which is pointed by the lastly kept state
    committed_events =
        (double)list_trunc(lp->queue_in, timestamp,
                   last_kept_event->timestamp, msg_release);
    statistics_post_data(lp, STAT_COMMITTED, committed_events);

    // Truncate the output queue
    list_trunc(lp->queue_out, send_time, last_kept_event->timestamp,
           msg_hdr_release);
}

void adopt_new_gvt(simtime_t new_gvt)
{
    unsigned int i;

    state_t *time_barrier_pointer[n_prc_per_thread];

    // Precompute the time barrier for each process
    i = 0;
    foreach_bound_lp(lp) {
        time_barrier_pointer[i++] = find_time_barrier(lp, new_gvt);
    }

    // If needed, call the CCGS subsystem
    ccgs_compute_snapshot(time_barrier_pointer);

    i = 0;
    foreach_bound_lp(lp) {
        if (time_barrier_pointer[i] == NULL)
            continue;

        // Execute the fossil collection
        fossil_collection(lp, time_barrier_pointer[i]->lvt);

        // Actually release memory buffer allocated by the LPs and then released via free() calls
        clean_buffers_on_gvt(lp, time_barrier_pointer[i]->lvt);

        i++;
    }
}