]> rtime.felk.cvut.cz Git - frescor/fosa.git/blobdiff - src_marte/fosa_mutexes_and_condvars.c
Fixing license header
[frescor/fosa.git] / src_marte / fosa_mutexes_and_condvars.c
index 59acd210c2d6ba51b5cac20ef4e5f033bc0c0967..31d502135120f89939761cd6b32991c43bed9c7d 100644 (file)
@@ -1,11 +1,11 @@
-//----------------------------------------------------------------------
-//  Copyright (C) 2006 - 2007 by the FRESCOR consortium:
+// -----------------------------------------------------------------------
+//  Copyright (C) 2006 - 2008 FRESCOR consortium partners:
 //
 //    Universidad de Cantabria,              SPAIN
 //    University of York,                    UK
 //    Scuola Superiore Sant'Anna,            ITALY
 //    Kaiserslautern University,             GERMANY
-//    Univ. Politecnica  Valencia,           SPAIN
+//    Univ. Politécnica  Valencia,           SPAIN
 //    Czech Technical University in Prague,  CZECH REPUBLIC
 //    ENEA                                   SWEDEN
 //    Thales Communication S.A.              FRANCE
@@ -13,9 +13,9 @@
 //    Rapita Systems Ltd                     UK
 //    Evidence                               ITALY
 //
-//    See http://www.frescor.org
+//    See http://www.frescor.org for a link to partners' websites
 //
-//        The FRESCOR project (FP6/2005/IST/5-034026) is funded
+//           FRESCOR project (FP6/2005/IST/5-034026) is funded
 //        in part by the European Union Sixth Framework Programme
 //        The European Union is not liable of any use that may be
 //        made of this code.
 //                       Universidad de Cantabria, SPAIN
 //                       University of York, UK
 //
-// This file is part of FOSA (Frsh Operating System Abstraction)
+//   FSF API web pages: http://marte.unican.es/fsf/docs
+//                      http://shark.sssup.it/contrib/first/docs/
+//
+//   This file is part of FOSA (Frsh Operating System Adaption)
 //
-// FOSA is free software; you can redistribute it and/or modify it
-// under terms of the GNU General Public License as published by the
-// Free Software Foundation; either version 2, or (at your option) any
-// later version.  FOSA 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 FOSA; see file
-// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave,
-// Cambridge, MA 02139, USA.
+//  FOSA is free software; you can redistribute it and/or modify it
+//  under terms of the GNU General Public License as published by the
+//  Free Software Foundation; either version 2, or (at your option) any
+//  later version.  FOSA 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 FOSA; see file
+//  COPYING. If not, write to the Free Software Foundation, 675 Mass Ave,
+//  Cambridge, MA 02139, USA.
 //
-// As a special exception, including FOSA header files in a file,
-// instantiating FOSA generics or templates, or linking other files
-// with FOSA objects to produce an executable application, does not
-// by itself cause the resulting executable application to be covered
-// by the GNU General Public License. This exception does not
-// however invalidate any other reasons why the executable file might be
-// covered by the GNU Public License.
+//  As a special exception, including FOSA header files in a file,
+//  instantiating FOSA generics or templates, or linking other files
+//  with FOSA objects to produce an executable application, does not
+//  by itself cause the resulting executable application to be covered
+//  by the GNU General Public License. This exception does not
+//  however invalidate any other reasons why the executable file might be
+//  covered by the GNU Public License.
 // -----------------------------------------------------------------------
 //fosa_mutexes_and_condvars.c
 //==============================================
@@ -70,7 +73,7 @@
 
 #include <misc/error_checks.h>
 
-
+#include "fosa_time.h"
 
 /*******************************************************
  * Mutexes with priority ceiling
@@ -95,7 +98,7 @@
  * notify it to the system console and then terminate the FRSH
  * implementation and dependant applications
  **/
-int fosa_mutex_init(frsh_mutex_t *mutex, int prioceiling)
+int fosa_mutex_init(fosa_mutex_t *mutex, int prioceiling)
 {
   pthread_mutexattr_t attr;
   int ret_value;
@@ -133,7 +136,7 @@ int fosa_mutex_init(frsh_mutex_t *mutex, int prioceiling)
  * notify it to the system console and then terminate the FRSH
  * implementation and dependant applications
  **/
-int fosa_mutex_destroy(frsh_mutex_t *mutex)
+int fosa_mutex_destroy(fosa_mutex_t *mutex)
 {
   return pthread_mutex_destroy(mutex);
 }
@@ -157,7 +160,7 @@ int fosa_mutex_destroy(frsh_mutex_t *mutex)
  * implementation and dependant applications
  **/
 int fosa_mutex_set_prioceiling
-   (frsh_mutex_t *mutex, int new_ceiling, int *old_ceiling)
+   (fosa_mutex_t *mutex, int new_ceiling, int *old_ceiling)
 {
   return pthread_mutex_setprioceiling(mutex,new_ceiling,old_ceiling);
 }
@@ -177,7 +180,7 @@ int fosa_mutex_set_prioceiling
  * notify it to the system console and then terminate the FRSH
  * implementation and dependant applications
  **/
-int fosa_mutex_get_prioceiling(const frsh_mutex_t *mutex, int *ceiling)
+int fosa_mutex_get_prioceiling(const fosa_mutex_t *mutex, int *ceiling)
 {
   return pthread_mutex_getprioceiling(mutex,ceiling);
 }
@@ -201,7 +204,7 @@ int fosa_mutex_get_prioceiling(const frsh_mutex_t *mutex, int *ceiling)
  * notify it to the system console and then terminate the FRSH
  * implementation and dependant applications
  **/
-int fosa_mutex_lock(frsh_mutex_t *mutex)
+int fosa_mutex_lock(fosa_mutex_t *mutex)
 {
   return pthread_mutex_lock(mutex);
 }
@@ -224,7 +227,7 @@ int fosa_mutex_lock(frsh_mutex_t *mutex)
  * implementation is allowed to notify it to the system console and
  * then terminate the FRSH implementation and dependant applications
  **/
-int fosa_mutex_trylock(frsh_mutex_t *mutex)
+int fosa_mutex_trylock(fosa_mutex_t *mutex)
 {
   return pthread_mutex_trylock(mutex);
 }
@@ -247,7 +250,7 @@ int fosa_mutex_trylock(frsh_mutex_t *mutex)
  * implementation is allowed to notify it to the system console and
  * then terminate the FRSH implementation and dependant applications
  **/
-int fosa_mutex_unlock(frsh_mutex_t *mutex)
+int fosa_mutex_unlock(fosa_mutex_t *mutex)
 {
   return pthread_mutex_unlock(mutex);
 }
@@ -366,7 +369,7 @@ int fosa_cond_broadcast(fosa_cond_t *cond)
  * notify it to the system console and then terminate the FRSH
  * implementation and dependant applications
  **/
-int fosa_cond_wait(fosa_cond_t *cond, frsh_mutex_t *mutex)
+int fosa_cond_wait(fosa_cond_t *cond, fosa_mutex_t *mutex)
 {
   return pthread_cond_wait(cond,mutex);
 }
@@ -390,8 +393,12 @@ int fosa_cond_wait(fosa_cond_t *cond, frsh_mutex_t *mutex)
  * implementation is allowed to notify it to the system console and
  * then terminate the FRSH implementation and dependant applications
  **/
-int fosa_cond_timedwait(fosa_cond_t *cond, frsh_mutex_t *mutex,
-      const struct timespec *abstime)
+int fosa_cond_timedwait(fosa_cond_t *cond, fosa_mutex_t *mutex,
+      const fosa_abs_time_t *abstime)
 {
-  return pthread_cond_timedwait(cond,mutex,abstime);
+    struct timespec abstime_tspec;
+
+    abstime_tspec = fosa_abs_time_to_timespec(*abstime);
+
+    return pthread_cond_timedwait(cond,mutex, &abstime_tspec);
 }