#include <pthread.h>
#include <assert.h>
#include <stdlib.h>
#include <sys/time.h>

double Time_GetSeconds() {
  struct timeval t;
  int rc = gettimeofday(&t, NULL);
  assert(rc == 0);
  return (double) ((double)t.tv_sec + (double)t.tv_usec / 1e6);
}

void Pthread_mutex_init(pthread_mutex_t *mutex,
                        const pthread_mutexattr_t *attr) {
  int rc = pthread_mutex_init(mutex, attr);
  assert(rc == 0);
}

void Pthread_mutex_lock(pthread_mutex_t *m) {
  int rc = pthread_mutex_lock(m);
  assert(rc == 0);
}

void Pthread_mutex_unlock(pthread_mutex_t *m) {
  int rc = pthread_mutex_unlock(m);
  assert(rc == 0);
}

void Pthread_cond_init(pthread_cond_t *cond,
                       const pthread_condattr_t *attr) {
  int rc = pthread_cond_init(cond, attr);
  assert(rc == 0);
}

void Pthread_cond_wait(pthread_cond_t *cond,
                       pthread_mutex_t *mutex) {
  int rc = pthread_cond_wait(cond, mutex);
  assert(rc == 0);
}

void Pthread_cond_signal(pthread_cond_t *cond) {
  int rc = pthread_cond_signal(cond);
  assert(rc == 0);
}

void Pthread_create(pthread_t *thread, const pthread_attr_t *attr,
                    void *(*start_routine)(void*), void *arg) {
  int rc = pthread_create(thread, attr, start_routine, arg);
  assert(rc == 0);
}

void Pthread_join(pthread_t thread, void **value_ptr) {
  int rc = pthread_join(thread, value_ptr);
  assert(rc == 0);
}