Fixing license header

[frescor/fosa.git] / src_marte / tests / test_non_local_jump / testbench_long_jump.c

diff --git a/src_marte/tests/test_non_local_jump/testbench_long_jump.c b/src_marte/tests/test_non_local_jump/testbench_long_jump.c
index ddae7ab83522782de375e7de5d47bfbe6c25e6ba..b779537b628b9fec56c2c51106f5767faf2a1a63 100644 (file)
--- a/src_marte/tests/test_non_local_jump/testbench_long_jump.c
+++ b/src_marte/tests/test_non_local_jump/testbench_long_jump.c
@@ -1,12 +1,57 @@
-/*
-** testbench_long_jump.c
-** 
-** Made by (Miguel marciano)
-** Login   <miguel@namir.ctr.unican.es>
-** 
-** Started on  Fri Nov 23 11:42:09 2007 Miguel marciano
-** Last update Sun May 12 01:17:25 2002 Speed Blue
-*/
+// -----------------------------------------------------------------------
+//  Copyright (C) 2006 - 2008 FRESCOR consortium partners:
+//
+//    Universidad de Cantabria,              SPAIN
+//    University of York,                    UK
+//    Scuola Superiore Sant'Anna,            ITALY
+//    Kaiserslautern University,             GERMANY
+//    Univ. Politécnica  Valencia,           SPAIN
+//    Czech Technical University in Prague,  CZECH REPUBLIC
+//    ENEA                                   SWEDEN
+//    Thales Communication S.A.              FRANCE
+//    Visual Tools S.A.                      SPAIN
+//    Rapita Systems Ltd                     UK
+//    Evidence                               ITALY
+//
+//    See http://www.frescor.org for a link to partners' websites
+//
+//           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.
+//
+//
+//  based on previous work (FSF) done in the FIRST project
+//
+//   Copyright (C) 2005  Mälardalen University, SWEDEN
+//                       Scuola Superiore S.Anna, ITALY
+//                       Universidad de Cantabria, SPAIN
+//                       University of York, UK
+//
+//   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.
+//
+//  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.
+// -----------------------------------------------------------------------
 
 /*
   TO DO:
@@ -85,7 +130,7 @@ int main()
 
     printf("Main waits for the periodic code to finish...\n");
     pthread_join(periodic_tid, NULL);
-    
+
     results.average_jump_interval_ms = results.total_jump_interval_ms/results.number_of_jumps;
 
     printf("------------  RESULTS -------------\n");
@@ -117,13 +162,13 @@ static void *periodic_code(void *thread_arg)
 
 
     results = (results_t *) thread_arg;
-    
+
     /* We install a long jump handler               */
     /* - This creates the thread that will wait for */
     /*   FOSA_JUMP_SIGNAL                           */
     /************************************************/
     CHK(  fosa_long_jump_install_handler(&jump_signal, &jump_handler_thread) );
-    
+
     /* We create a budget timer using the thread's CPU clock */
     /*                                                       */
     /* When the timer expires:                               */
@@ -134,7 +179,7 @@ static void *periodic_code(void *thread_arg)
     /*********************************************************/
     CHK(  fosa_thread_get_cputime_clock( fosa_thread_self(), &clock_id) );
     jump_signal_info.sival_ptr = &context;
-    CHK(  fosa_timer_create_with_receiver(clock_id, jump_signal, jump_signal_info, 
+    CHK(  fosa_timer_create_with_receiver(clock_id, jump_signal, jump_signal_info,
                                           &jump_timer, jump_handler_thread)  );
 
     results->number_of_jumps = 0;
@@ -150,7 +195,7 @@ static void *periodic_code(void *thread_arg)
         fosa_rel_time_t jump_interval;
         double jump_interval_ms = 0.0;
 
-        
+
 
         /* We initialise variables */
         jumped = 0;
@@ -163,7 +208,7 @@ static void *periodic_code(void *thread_arg)
         /* We arm the jump_timer */
         fosa_rel_timer_arm(jump_timer, &budget);
 
-        
+
         /* This is the point where the jump returns */
         fosa_long_jump_save_context(&context);
 
@@ -209,7 +254,7 @@ static void *periodic_code(void *thread_arg)
                 results->min_jump_interval_ms = jump_interval_ms;
                 results->iteration_min_jump_interval = results->number_of_jumps;
             }
-       
+
             printf("Jump Iteration: %d\r", results->number_of_jumps);
         }
 
@@ -217,8 +262,8 @@ static void *periodic_code(void *thread_arg)
         /*****************************/
     }
 
-    
-        
+
+
     return NULL;
 }