Migrating FOSA trunk to d-ac2v2. Phase 1 moving FRSH-FOSA to FOSA

[frescor/fosa.git] / src_marte / fosa_clocks_and_timers.c

diff --git a/src_marte/fosa_clocks_and_timers.c b/src_marte/fosa_clocks_and_timers.c
index 4878f94c29ceaf9277dc2b4aadf8d645d3acfe86..03f0b68e2c8d0a685d528fa3648cd6bc08af0b4c 100644 (file)
--- a/src_marte/fosa_clocks_and_timers.c
+++ b/src_marte/fosa_clocks_and_timers.c
@@ -115,7 +115,7 @@ int fosa_clock_get_time(fosa_clock_id_t clockid, struct timespec *current_time)
  * implementation and dependant applications
  **/
 int fosa_thread_get_cputime_clock
-    (frsh_thread_id_t tid, fosa_clock_id_t *clockid)
+    (fosa_thread_id_t tid, fosa_clock_id_t *clockid)
 {
   return pthread_getcpuclockid(tid,clockid);
 }
@@ -159,7 +159,7 @@ int fosa_thread_get_cputime_clock
  * implementation and dependant applications
  **/
  int fosa_timer_create
-      (fosa_clock_id_t clockid, frsh_signal_t signal, frsh_signal_info_t info,
+      (fosa_clock_id_t clockid, fosa_signal_t signal, fosa_signal_info_t info,
        fosa_timer_id_t *timerid)
 {
   struct sigevent evp;
@@ -171,6 +171,33 @@ int fosa_thread_get_cputime_clock
   return timer_create(clockid,&evp,timerid);
 }
 
+/**
+ * fosa_timer_create_with_receiver()
+ *
+ * Create a one-shot timer with a specific signal receiver thread
+ *
+ * This function creates a timer in the same way as fosa_timer_create,
+ * except that the signal generated when the timer expires is sent to
+ * the thread specified by receiver
+ *
+ * Returns 0 if successful; otherwise it returns an error code:
+ *     FOSA_EINVAL: the value of clockid or signal is invalid
+ *
+ *     FOSA_EAGAIN: the system lacks enough resources to create the timer
+ *
+ * Alternatively, in case of error the implementation is allowed to
+ * notify it to the system console and then terminate the FRSH
+ * implementation and dependant applications
+ **/
+ int fosa_timer_create_with_receiver
+      (fosa_clock_id_t clockid, fosa_signal_t signal, fosa_signal_info_t info,
+       fosa_timer_id_t *timerid, fosa_thread_id_t receiver)
+{
+  // in POSIX the receiver thread cannot be specified
+  return fosa_timer_create(clockid,signal,info,timerid);
+}
+
+
 /**
  * Delete a timer
  *