From 4aaeb1f0f022a796ea10cb2054000d47cf5d6203 Mon Sep 17 00:00:00 2001 From: Frederic Suter Date: Wed, 10 Jul 2019 10:43:37 +0200 Subject: [PATCH] oups --- include/simgrid/mutex.h | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 include/simgrid/mutex.h diff --git a/include/simgrid/mutex.h b/include/simgrid/mutex.h new file mode 100644 index 0000000000..47222d9fc4 --- /dev/null +++ b/include/simgrid/mutex.h @@ -0,0 +1,21 @@ +/* Copyright (c) 2019. The SimGrid Team. All rights reserved. */ + +/* This program is free software; you can redistribute it and/or modify it + * under the terms of the license (GNU LGPL) which comes with this package. */ + +#ifndef INCLUDE_SIMGRID_MUTEX_H_ +#define INCLUDE_SIMGRID_MUTEX_H_ + +#include + +/* C interface */ +SG_BEGIN_DECL() +XBT_PUBLIC sg_mutex_t sg_mutex_init(); +XBT_PUBLIC void sg_mutex_lock(sg_mutex_t mutex); +XBT_PUBLIC void sg_mutex_unlock(sg_mutex_t mutex); +XBT_PUBLIC int sg_mutex_try_lock(sg_mutex_t mutex); +XBT_PUBLIC void sg_mutex_destroy(sg_mutex_t mutex); + +SG_END_DECL() + +#endif /* INCLUDE_SIMGRID_MUTEX_H_ */ -- 2.20.1