etimedout

[frescor/frsh-include.git] / frsh_shared_objects_types.h

diff --git a/frsh_shared_objects_types.h b/frsh_shared_objects_types.h
index bfa155f0a94b5ba63e8ce01b319d60ab3336a36b..0513d5e98acb254510888d0c53043af7b44e3251 100644 (file)
--- a/frsh_shared_objects_types.h
+++ b/frsh_shared_objects_types.h
@@ -76,6 +76,10 @@
 #include "frsh_opaque_types.h"
 #include "frsh_configuration_parameters.h"
 
+/**
+ * @file frsh_shared_objects_types.h
+ **/
+
 /**
  * @addtogroup sharedobj
  *
@@ -83,29 +87,70 @@
  **/
 
 
-typedef char * frsh_shared_obj_id_t;     
-
-
 /** 
  *  Shared object handle:  It is an opaque type (i.e. the internal
  *  structure of this data type is implementation dependent).
  **/
-typedef FRSH_SHARED_OBJ_HANDLE_T_OPAQUE  frsh_shared_obj_handle_t; 
+typedef FRSH_SHAREDOBJ_HANDLE_T_OPAQUE  frsh_sharedobj_handle_t; 
+
+/**
+ *  Shared object textual label
+ **/
+typedef char frsh_sharedobj_label_t[FRSH_MAX_SIZE_SHARED_OBJ_LABEL + 1];
 
+/**
+ * Kind of shared object: protected or unprotected
+ */
+typedef enum 
+  {FRSH_SOK_UNPROTECTED, FRSH_SOK_PROTECTED}
+frsh_sharedobj_kind_t;
 
 /**
- * Critical section data:  Shared object + execution time
+ * Kind of protected operation: read, write or unchecked
  **/
+typedef enum 
+  {FRSH_CSOK_UNCHECKED, FRSH_CSOK_READ, FRSH_CSOK_WRITE} 
+frsh_csect_op_kind_t;                           
+
+/**
+ *  Pointer to protected operation, which takes a pointer to
+ *  the input parameters, and a pointer to the output 
+ *  parameters; the user is responsible for not exceeding the 
+ *  sizes of the respective input and output parameters data structures
+ */
+typedef void (*frsh_csect_op_t)
+          (const void * input_arg, void * output_arg);
+
+/**
+ *  A memory area
+ */
 typedef struct {
-   frsh_shared_obj_handle_t obj_handle;
-   struct timespec wcet;  //Execution time
-} frsh_critical_section_data_t;
+  size_t size;
+  void * area;
+} frsh_memory_area_data_t;
 
-/** Critical section container **/
+/** 
+ * Memory areas container 
+ **/
 typedef struct {
     int size; // = 0
-    frsh_critical_section_data_t section[FRSH_MAX_N_CRITICAL_SECTIONS];
-} frsh_critical_sections_t;
+    frsh_memory_area_data_t memory_areas[FRSH_MAX_N_MEMORY_AREAS];
+} frsh_memory_areas_t;
+
+
+/**
+ * Critical section data (opaque type)
+ **/
+typedef FRSH_CSECT_T_OPAQUE frsh_csect_t;
+
+
+/**
+ * Container of a group of critical sections, up to a maximum size
+ **/
+typedef struct {
+  int size;     // size of the group; initially=0
+  frsh_csect_t csects[FRSH_MAX_N_CRITICAL_SECTIONS]; // array of csect 
+} frsh_csects_group_t;
 
 /*@}*/