]> rtime.felk.cvut.cz Git - frescor/fosa.git/blobdiff - include/fosa_mutexes_and_condvars.h
Updating header text in FOSA files for the incoming final project
[frescor/fosa.git] / include / fosa_mutexes_and_condvars.h
index cfa1e561cee25714c374fc2a7df84b844d4b874b..9ac24a76b00db65b285ffa6b0f4b2aa1135d8d05 100644 (file)
@@ -1,11 +1,11 @@
-//----------------------------------------------------------------------
-//  Copyright (C) 2006 - 2007 by the FRESCOR consortium:
+// -----------------------------------------------------------------------
+//  Copyright (C) 2006 - 2009 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.h
 //==============================================
@@ -69,6 +72,8 @@
 
 #include "fosa_types.h"
 
+FOSA_CPP_BEGIN_DECLS
+
 /**
  * @defgroup mutexesandcondvars Mutexes and Condvars
  * @ingroup fosa
  * 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);
 
 /**
  * fosa_mutex_destroy()
@@ -123,7 +128,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);
 
 /**
  * fosa_mutex_set_prioceiling()
@@ -145,7 +150,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);
 
 /**
  * fosa_mutex_get_prioceiling()
@@ -163,7 +168,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);
 
 /**
  * fosa_mutex_lock()
@@ -187,7 +192,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);
 
 /**
  * fosa_mutex_trylock()
@@ -208,7 +213,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);
 
 /**
  * fosa_mutex_unlock()
@@ -228,7 +233,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);
 
 
 /**********************
@@ -330,7 +335,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);
 
 /**
  * fosa_cond_timedwait()
@@ -351,12 +356,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);
 
 /*@}*/
 
 
-
+FOSA_CPP_END_DECLS
 
 #endif             /* !FOSA_MUTEX_AND_CONDVARS_H_ */