/home/brennan/n-sim/OrbisQuartus/server/xen/virtual_time-xen.cpp File Reference

Virtual Time implementation using Xen. More...

#include <xenctrl.h>
#include <xenguest.h>
#include <orbisquartus.h>
#include <virtual_time.h>

Go to the source code of this file.

Functions

VT_timestamp local_virtual_time (void)

void * virtual_time_client (void *unused)

void virtual_time_init (OrbisQuartus *orbis)

Variables

pthread_mutex_t sim_mutex

OrbisQuartus * oq

Detailed Description

Virtual Time implementation using Xen.

Revision: 1.4

Original Author: Sean M. Brennan <brennan@lanl.gov>

Author: sean_m_brennan

Created: October 23, 2006

Date: 2007/10/11 17:13:31

Definition in file virtual_time-xen.cpp.

Function Documentation

VT_timestamp local_virtual_time ( void )

Todo:
: get domain time from Xen (this is holding up Virtual Time impl.)

Definition at line 46 of file virtual_time-xen.cpp.
Referenced by vt_recv().

void* virtual_time_client ( void * unused )

Todo:
: core virtual time service
await marker;
stop count;
broadcast count; rcv all counts -> white_msg_total; while (rcvd_msgs < white_msg_total) wait;

Todo:
receive LVTs (is this in server? then LVTs should be global array)
broadcast echo for each domain local_virtual_time;
restart count;
Definition at line 54 of file virtual_time-xen.cpp.
References daemon_quitting(), daemon_shuttingdown(), sim_mutex, virtual_time_client(), vt_mutex, and vt_sync.
Referenced by virtual_time_client().

void virtual_time_init ( OrbisQuartus * orbis )

Definition at line 90 of file virtual_time-xen.cpp.
References oq, and OrbisQuartus::vt_thread.

Variable Documentation

OrbisQuartus* oq

Definition at line 43 of file virtual_time-xen.cpp.
Referenced by checkpoint(), chkpt_all(), main(), and virtual_time_init().

pthread_mutex_t sim_mutex

Referenced by virtual_time_client().