mdat.h

Go to the documentation of this file.

/*  Copyright (C) 2013  Eric Larson and Rochelle Palting
    elarson@seattleu.edu

    This file is part of the MDAT infrastructure.

    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>.
*/

#ifndef MDAT_H
#define MDAT_H

#ifdef __cplusplus
extern "C" {
#endif 

#include <semaphore.h>
#include <pthread.h>

typedef const char *(*CheckerFuncPtr)(int, const char *, const char *);

// ************************
// INITIALIZATION FUNCTIONS
// ************************

void mdat_init(int numThreads, char *traceName, CheckerFuncPtr checkerFunc,
      int useInteractive, int useSeed, unsigned int seed);

// ****************
// THREAD FUNCTIONS
// ****************

void mdat_thread_start(int id, const char *property);

void mdat_thread_finish();

void mdat_invoke_scheduler(int location);

// **************
// LOCK FUNCTIONS
// **************

void mdat_mutex_init(const char *name, pthread_mutex_t *lock,
        pthread_mutexattr_t *attr);

void mdat_mutex_lock(pthread_mutex_t *lock);

void mdat_mutex_unlock(pthread_mutex_t *lock);

// *******************
// SEMAPHORE FUNCTIONS
// *******************

void mdat_sem_init(const char *name, sem_t *sem, int pshared, int value);

void mdat_sem_wait(sem_t *sem);

void mdat_sem_post(sem_t *sem);

// *****************
// SECTION FUNCTIONS
// *****************

void mdat_enter_section(const char *section);

#ifdef __cplusplus
}
#endif 

#endif