platform.h

Go to the documentation of this file.

/* -*- mode: C++; c-file-style: "stroustrup"; c-basic-offset: 4; indent-tabs-mode: nil; -*- */
/*********************************************************************
 *
 * Filename : platform.h (base)
 * C header.
 *
 * Platform dependant code abstraction layer. This API gives access
 * to miscellanous platform dependent code, such as:
 * - getting time
 * - ... TODO
 *
 * NOTE: C interface and implementation
 *
 * This file is a part of the UPPAAL toolkit.
 * Copyright (c) 1995 - 2003, Uppsala University and Aalborg University.
 * All right reserved.
 *
 * v 1.3 reviewed.
 * $Id: platform.h,v 1.4 2005/01/25 22:05:19 behrmann Exp $
 *
 **********************************************************************/

#ifndef INCLUDE_BASE_PLATFORM_H
#define INCLUDE_BASE_PLATFORM_H

#ifdef __cplusplus
extern "C" {
#endif

/* Define ARCH_APPLE_DARWIN on Mac OS X.
 */
#if defined(__ppc__) && defined(__APPLE__) && defined(__MACH__)
#define ARCH_APPLE_DARWIN
#endif

/** Time access function
 * @return some time reference in second.
 * The meaning of the time reference does not matter but computing
 * the difference value of consecutive calls will give the real
 * elapsed time.
 */
double base_getTime();


/** Finer grain time measure function.
 * @return number of CPU cycles (TSC asm call).
 * This is implemented only for i386 platforms.
 */
static inline
unsigned long long gettsc(void)
{
#if defined(__GNUG__) && defined(i386)
    unsigned long ax, dx;
    asm volatile("rdtsc" : "=a" (ax), "=d" (dx));
    return ((unsigned long long)dx << 32) + ax;
#else
    return 0;
#endif
} 


#ifdef __cplusplus
}
#endif

#endif /* INCLUDE_BASE_PLATFORM_H */

---