From: telleriam Date: Thu, 29 May 2008 15:19:12 +0000 (+0000) Subject: Fixing license header X-Git-Url: http://rtime.felk.cvut.cz/gitweb/frescor/fosa.git/commitdiff_plain/db4875076e0869a6bd976b3e39ec1663ac9520c4 Fixing license header git-svn-id: http://www.frescor.org/private/svn/frescor/fosa/trunk@1199 35b4ef3e-fd22-0410-ab77-dab3279adceb --- diff --git a/include/fosa.h b/include/fosa.h index 032bfdd..e283d7a 100644 --- a/include/fosa.h +++ b/include/fosa.h @@ -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. @@ -28,26 +28,29 @@ // 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.h //============================================== diff --git a/include/fosa_app_def_sched.h b/include/fosa_app_def_sched.h index 333bc6a..5475f42 100644 --- a/include/fosa_app_def_sched.h +++ b/include/fosa_app_def_sched.h @@ -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. @@ -28,26 +28,29 @@ // 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_app_def_sched.h //============================================== diff --git a/include/fosa_clocks_and_timers.h b/include/fosa_clocks_and_timers.h index 0a544a0..130d2ff 100644 --- a/include/fosa_clocks_and_timers.h +++ b/include/fosa_clocks_and_timers.h @@ -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. @@ -28,26 +28,29 @@ // 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_clocks_and_timers.h //============================================== diff --git a/include/fosa_configuration_parameters.h b/include/fosa_configuration_parameters.h index 539f252..3a1e103 100644 --- a/include/fosa_configuration_parameters.h +++ b/include/fosa_configuration_parameters.h @@ -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. @@ -28,26 +28,29 @@ // 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_configuration_parameters.h //============================================== diff --git a/include/fosa_cpp_macros.h b/include/fosa_cpp_macros.h index f9d3bfe..270863b 100644 --- a/include/fosa_cpp_macros.h +++ b/include/fosa_cpp_macros.h @@ -1,3 +1,72 @@ +// ----------------------------------------------------------------------- +// 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. +// ----------------------------------------------------------------------- + +//============================================== +// ******** ****** ******** ********** +// **///// /** ** **////// /** /** +// ** /** ** /** /** /** +// ******* /** ** /********* /********** +// **//// /** ** ////////** /**//////** +// ** /** ** /** /** /** +// ** /** ** ******** /** /** +// // /******/ //////// // // +// +// FOSA(Frescor Operating System Adaptation layer) +//================================================ + + #ifndef _FOSA_CPP_MACROS_H_ #define _FOSA_CPP_MACROS_H_ @@ -14,5 +83,5 @@ #endif #endif // _FOSA_CPP_MACROS_H_ - - + + diff --git a/include/fosa_long_jump.h b/include/fosa_long_jump.h index e04b5e8..067be93 100644 --- a/include/fosa_long_jump.h +++ b/include/fosa_long_jump.h @@ -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. @@ -28,26 +28,29 @@ // 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_long_jump.h //============================================== diff --git a/include/fosa_mutexes_and_condvars.h b/include/fosa_mutexes_and_condvars.h index 20d22d3..08b707f 100644 --- a/include/fosa_mutexes_and_condvars.h +++ b/include/fosa_mutexes_and_condvars.h @@ -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. @@ -28,26 +28,29 @@ // 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 //============================================== diff --git a/include/fosa_opaque_types.h b/include/fosa_opaque_types.h index 8f47e5f..6a0a8d6 100644 --- a/include/fosa_opaque_types.h +++ b/include/fosa_opaque_types.h @@ -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. @@ -28,26 +28,29 @@ // 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_opaque_types.h //============================================== diff --git a/include/fosa_opaque_types_time.h b/include/fosa_opaque_types_time.h index d1f6ab0..4de147e 100644 --- a/include/fosa_opaque_types_time.h +++ b/include/fosa_opaque_types_time.h @@ -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. @@ -28,26 +28,29 @@ // 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_opaque_types_time.h //============================================== diff --git a/include/fosa_threads_and_signals.h b/include/fosa_threads_and_signals.h index 8f829c1..5968cbd 100644 --- a/include/fosa_threads_and_signals.h +++ b/include/fosa_threads_and_signals.h @@ -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. @@ -28,26 +28,29 @@ // 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_thread_and_signals.h //============================================== diff --git a/include/fosa_time.h b/include/fosa_time.h index 6dee321..b06ccb5 100644 --- a/include/fosa_time.h +++ b/include/fosa_time.h @@ -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. @@ -28,26 +28,29 @@ // 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_time.h //============================================== diff --git a/include/fosa_time_numeric.h b/include/fosa_time_numeric.h index 360f5d4..f599692 100644 --- a/include/fosa_time_numeric.h +++ b/include/fosa_time_numeric.h @@ -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. @@ -28,26 +28,29 @@ // 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_time_numeric.h //============================================== diff --git a/include/fosa_time_timespec.h b/include/fosa_time_timespec.h index 942d9e5..855b2c7 100644 --- a/include/fosa_time_timespec.h +++ b/include/fosa_time_timespec.h @@ -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. @@ -28,26 +28,29 @@ // 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_time_timespec.h //============================================== diff --git a/include/fosa_types.h b/include/fosa_types.h index ab31625..0ebbe0e 100644 --- a/include/fosa_types.h +++ b/include/fosa_types.h @@ -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. @@ -28,26 +28,29 @@ // 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_types.h //============================================== diff --git a/marte_non_local_jump/context.adb b/marte_non_local_jump/context.adb index d0379f6..4c43568 100644 --- a/marte_non_local_jump/context.adb +++ b/marte_non_local_jump/context.adb @@ -1,3 +1,26 @@ +------------------------------------------------------------------------------ +-- ------------------ M a R T E O S ------------------- -- +------------------------------------------------------------------------------ +-- {MARTE_VERSION} +-- +-- 'C o n t e x t' +-- +-- Body +-- +-- File 'context.adb' By MAR +-- +-- Processor context for non-local jumps +-- +-- IMPORTANT: it must be compiled without any optimization!! +-- +-- {MARTE_COPYRIGHT} +-- +------------------------------------------------------------------------------ +-- {} ------------------------------------------------------------------- with Text_IO; use Text_IO; with Basic_Integer_Types; with Non_Local_Jump; diff --git a/marte_non_local_jump/context.ads b/marte_non_local_jump/context.ads index 707f805..c01e67e 100644 --- a/marte_non_local_jump/context.ads +++ b/marte_non_local_jump/context.ads @@ -1,3 +1,26 @@ +------------------------------------------------------------------------------ +-- ------------------ M a R T E O S ------------------- -- +------------------------------------------------------------------------------ +-- {MARTE_VERSION} +-- +-- 'C o n t e x t' +-- +-- Spec +-- +-- File 'context.ads' By MAR +-- +-- Processor context for non-local jumps +-- +-- IMPORTANT: it must be compiled without any optimization!! +-- +-- {MARTE_COPYRIGHT} +-- +------------------------------------------------------------------------------ +-- {} ------------------------------------------------------------------- package Context is type Work_Acc is access procedure; diff --git a/marte_non_local_jump/non_local_jump_test.adb b/marte_non_local_jump/non_local_jump_test.adb index 17282cd..aa88188 100644 --- a/marte_non_local_jump/non_local_jump_test.adb +++ b/marte_non_local_jump/non_local_jump_test.adb @@ -1,3 +1,26 @@ +------------------------------------------------------------------------------ +-- ------------------ M a R T E O S ------------------- -- +------------------------------------------------------------------------------ +-- {MARTE_VERSION} +-- +-- 'N o n _ L o c a l _ J u m p' +-- +-- Spec +-- +-- File 'non_local_jump.ads' By MAR +-- +-- Non-local jumps for preempted tasks. +-- +-- IMPORTANT: it must be compiled without any optimization!! +-- +-- {MARTE_COPYRIGHT} +-- +------------------------------------------------------------------------------ +-- {} ------------------------------------------------------------------- pragma Task_Dispatching_Policy (FIFO_Within_Priorities); with MaRTE_OS; with Text_IO; use Text_IO; diff --git a/src_marte/fosa_app_def_sched.c b/src_marte/fosa_app_def_sched.c index 85977e1..bf5022d 100644 --- a/src_marte/fosa_app_def_sched.c +++ b/src_marte/fosa_app_def_sched.c @@ -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. @@ -28,26 +28,29 @@ // 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_app_def_sched.h //============================================== diff --git a/src_marte/fosa_clocks_and_timers.c b/src_marte/fosa_clocks_and_timers.c index f518990..3d6ba0f 100644 --- a/src_marte/fosa_clocks_and_timers.c +++ b/src_marte/fosa_clocks_and_timers.c @@ -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. @@ -28,26 +28,29 @@ // 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_clocks_and_timers.c //============================================== diff --git a/src_marte/fosa_long_jump.c b/src_marte/fosa_long_jump.c index 7a29265..56a906b 100644 --- a/src_marte/fosa_long_jump.c +++ b/src_marte/fosa_long_jump.c @@ -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. @@ -28,26 +28,29 @@ // 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_long_jump.c //============================================== diff --git a/src_marte/fosa_mutexes_and_condvars.c b/src_marte/fosa_mutexes_and_condvars.c index eb68db0..31d5021 100644 --- a/src_marte/fosa_mutexes_and_condvars.c +++ b/src_marte/fosa_mutexes_and_condvars.c @@ -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. @@ -28,26 +28,29 @@ // 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 //============================================== diff --git a/src_marte/fosa_threads_and_signals.c b/src_marte/fosa_threads_and_signals.c index 25f319b..2a999e0 100644 --- a/src_marte/fosa_threads_and_signals.c +++ b/src_marte/fosa_threads_and_signals.c @@ -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. @@ -28,26 +28,29 @@ // 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_threads_and_signals.c //============================================== diff --git a/src_marte/fosa_time.c b/src_marte/fosa_time.c index 1cc25a1..cf53fb4 100644 --- a/src_marte/fosa_time.c +++ b/src_marte/fosa_time.c @@ -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. @@ -28,26 +28,29 @@ // 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_time.c //============================================== diff --git a/src_marte/tests/test_clock_and_timers/test_clock_and_timers.c b/src_marte/tests/test_clock_and_timers/test_clock_and_timers.c index 0451a5e..b3a00ef 100644 --- a/src_marte/tests/test_clock_and_timers/test_clock_and_timers.c +++ b/src_marte/tests/test_clock_and_timers/test_clock_and_timers.c @@ -1,3 +1,58 @@ +// ----------------------------------------------------------------------- +// 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. +// ----------------------------------------------------------------------- + #include #include #include // for nanosleep diff --git a/src_marte/tests/test_cpu_clocks/test_cpu_clocks.c b/src_marte/tests/test_cpu_clocks/test_cpu_clocks.c index d9c0ab1..885bc96 100644 --- a/src_marte/tests/test_cpu_clocks/test_cpu_clocks.c +++ b/src_marte/tests/test_cpu_clocks/test_cpu_clocks.c @@ -1,3 +1,59 @@ +// ----------------------------------------------------------------------- +// 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. +// ----------------------------------------------------------------------- + + #include #include @@ -24,7 +80,7 @@ static void * thread_body(void *thread_arg); static fosa_abs_time_t start_execution; static fosa_abs_time_t signal_reception; -int main () +int main () { int err = -1; @@ -44,9 +100,9 @@ int main () /* Set the signal mask */ /***********************/ signal_set[0] = SIGNAL_TIMER; - if (fosa_set_accepted_signals(signal_set, 1) !=0) + if (fosa_set_accepted_signals(signal_set, 1) !=0) { - printf ("Error while setting the signal mask\n"); + printf ("Error while setting the signal mask\n"); exit (1); } @@ -73,7 +129,7 @@ int main () /* Get the thread's cputime clock */ /**********************************/ - if (fosa_thread_get_cputime_clock(tid, &clockid) !=0) + if (fosa_thread_get_cputime_clock(tid, &clockid) !=0) { exit(RT_ERROR_TIMER); } @@ -126,7 +182,7 @@ static void * thread_body(void *thread_arg) fosa_clock_get_time(FOSA_CLOCK_REALTIME, &start_execution); - while(1) + while(1) { err = fosa_clock_get_time(FOSA_CLOCK_REALTIME, &before_work_time); assert(err == 0); diff --git a/src_marte/tests/test_cpu_clocks/test_cpu_clocks_sigwait_from_different_thread.c b/src_marte/tests/test_cpu_clocks/test_cpu_clocks_sigwait_from_different_thread.c index 254675a..68beac5 100644 --- a/src_marte/tests/test_cpu_clocks/test_cpu_clocks_sigwait_from_different_thread.c +++ b/src_marte/tests/test_cpu_clocks/test_cpu_clocks_sigwait_from_different_thread.c @@ -1,3 +1,58 @@ +// ----------------------------------------------------------------------- +// 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. +// ----------------------------------------------------------------------- + #include #include #include // for nanosleep @@ -27,7 +82,7 @@ static void * thread_body(void *thread_arg); static fosa_abs_time_t start_execution; static fosa_abs_time_t signal_reception; -int main () +int main () { int err = -1; @@ -45,9 +100,9 @@ int main () /* Set the signal mask */ /***********************/ signal_set[0] = SIGNAL_TIMER; - if (fosa_set_accepted_signals(signal_set, 1) !=0) + if (fosa_set_accepted_signals(signal_set, 1) !=0) { - printf ("Error while setting the signal mask\n"); + printf ("Error while setting the signal mask\n"); exit (1); } @@ -93,7 +148,7 @@ int main () printf("signal received=%d value=%d (42?), err=%d\n", signal_received, info_received.sival_int, err); - printf("Elapsed time between sigwait and timer expiration: %ld msecs\n", + printf("Elapsed time between sigwait and timer expiration: %ld msecs\n", fosa_rel_time_to_msec(elapsed_time) ); return 0; @@ -120,7 +175,7 @@ static void * thread_body(void *thread_arg) /* Get the thread's cputime clock */ /**********************************/ - if (fosa_thread_get_cputime_clock(fosa_thread_self(), &clockid) !=0) + if (fosa_thread_get_cputime_clock(fosa_thread_self(), &clockid) !=0) { exit(RT_ERROR_TIMER); } @@ -139,7 +194,7 @@ static void * thread_body(void *thread_arg) fosa_clock_get_time(FOSA_CLOCK_REALTIME, &start_execution); - while(1) + while(1) { err = fosa_clock_get_time(FOSA_CLOCK_REALTIME, &before_work_time); assert(err == 0); diff --git a/src_marte/tests/test_fosa_ads/test_fosa_ads.c b/src_marte/tests/test_fosa_ads/test_fosa_ads.c index e3a55c2..6a5940f 100644 --- a/src_marte/tests/test_fosa_ads/test_fosa_ads.c +++ b/src_marte/tests/test_fosa_ads/test_fosa_ads.c @@ -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. @@ -28,26 +28,29 @@ // 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. // ----------------------------------------------------------------------- #include // for printf diff --git a/src_marte/tests/test_fosa_general/test_fosa.c b/src_marte/tests/test_fosa_general/test_fosa.c index 14f78a4..e15f226 100644 --- a/src_marte/tests/test_fosa_general/test_fosa.c +++ b/src_marte/tests/test_fosa_general/test_fosa.c @@ -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. @@ -28,26 +28,29 @@ // 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. // ----------------------------------------------------------------------- #include diff --git a/src_marte/tests/test_non_local_jump/simple_test_non_local_jump.c b/src_marte/tests/test_non_local_jump/simple_test_non_local_jump.c index 44abc3b..826be27 100644 --- a/src_marte/tests/test_non_local_jump/simple_test_non_local_jump.c +++ b/src_marte/tests/test_non_local_jump/simple_test_non_local_jump.c @@ -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. @@ -28,26 +28,29 @@ // Universidad de Cantabria, SPAIN // University of York, UK // -// This file is part of FRSH (FRescor ScHeduler) +// 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) // -// FRSH 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. FRSH 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 FRSH; 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 FRSH header files in a file, -// instantiating FRSH generics or templates, or linking other files -// with FRSH 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. // ----------------------------------------------------------------------- // 11-Jul-2007 SANGORRIN change calibrate and eat because it didn't work for // MaRTE OS linux_arch diff --git a/src_marte/tests/test_non_local_jump/test_fosa_long_jump.c b/src_marte/tests/test_non_local_jump/test_fosa_long_jump.c index 87ae84d..698a68c 100644 --- a/src_marte/tests/test_non_local_jump/test_fosa_long_jump.c +++ b/src_marte/tests/test_non_local_jump/test_fosa_long_jump.c @@ -1,12 +1,58 @@ -/* -** testbench_long_jump.c -** -** Made by (Miguel marciano) -** Login -** -** 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. +// ----------------------------------------------------------------------- + #include #include #include @@ -89,13 +135,13 @@ static void *periodic_code(void *thread_arg) memset(&clock_id, 0, sizeof(clock_id) ); memset(&jump_timer, 0, sizeof(jump_timer) ); - + /* 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: */ @@ -106,10 +152,10 @@ 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) ); - + /* Periodic loop */ /*****************/ while (1) @@ -151,25 +197,25 @@ static void *periodic_code(void *thread_arg) printf("JUMPPPPPEEED\n"); } - + /* End of interruptible work */ /*****************************/ printf("After interruptible block\n"); - + /* Now we measure the time duration of the block */ /*************************************************/ CHK( fosa_clock_get_time(FOSA_CLOCK_REALTIME, &after_activation_time) ); elapsed_time = fosa_abs_time_extract_interval(activation_time, after_activation_time); printf("Execution time: %ld msec\n", fosa_rel_time_to_msec(after_activation_time) ); - + /* And we program the next loop */ activation_time = fosa_abs_time_incr(activation_time, period); activation_time_tspec = fosa_abs_time_to_timespec(activation_time); clock_nanosleep(FOSA_CLOCK_REALTIME, TIMER_ABSTIME, &activation_time_tspec, NULL); } - + return NULL; } @@ -198,5 +244,5 @@ static void work_under_a_interruptible_budget() } printf("End regular work\n"); - + } 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 ddae7ab..b779537 100644 --- 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 -** -** 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; } diff --git a/src_marte/tests/test_queue_signal_fosa/test_queue_signal_fosa.c b/src_marte/tests/test_queue_signal_fosa/test_queue_signal_fosa.c index b546897..5751f4c 100644 --- a/src_marte/tests/test_queue_signal_fosa/test_queue_signal_fosa.c +++ b/src_marte/tests/test_queue_signal_fosa/test_queue_signal_fosa.c @@ -1,12 +1,57 @@ -/* -** test_queue_signal.c -** -** Made by (Miguel marciano) -** Login -** -** Started on Thu Nov 8 16:22:18 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. +// ----------------------------------------------------------------------- #include #include @@ -39,7 +84,7 @@ int main() terror = fosa_set_accepted_signals(signal_set, 1); if (terror != 0) exit(1); - + /* We create a timer based on the FOSA_CLOCK_REALTIME */ /******************************************************/ @@ -62,7 +107,7 @@ int main() terror = fosa_clock_get_time(FOSA_CLOCK_REALTIME, ¤t_time); if (terror != 0) exit(1); printf("Current time: %ld msec\n", fosa_abs_time_to_msec(current_time) ); - + /* I arm the timer to the past */ /* Since we have blocked this signal, the signal should be stored */ /******************************************************************/ diff --git a/src_marte/tests/test_time/fosa_test_time.c b/src_marte/tests/test_time/fosa_test_time.c index d8a26b5..9aebc13 100644 --- a/src_marte/tests/test_time/fosa_test_time.c +++ b/src_marte/tests/test_time/fosa_test_time.c @@ -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. @@ -28,26 +28,29 @@ // Universidad de Cantabria, SPAIN // University of York, UK // -// This file is part of FRSH (FRescor ScHeduler) +// 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) // -// FRSH 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. FRSH 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 FRSH; 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 FRSH header files in a file, -// instantiating FRSH generics or templates, or linking other files -// with FRSH 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. // ----------------------------------------------------------------------- #include "fosa.h" #include diff --git a/src_partikle/fosa_app_def_sched.c b/src_partikle/fosa_app_def_sched.c index 27e90eb..43d242a 100644 --- a/src_partikle/fosa_app_def_sched.c +++ b/src_partikle/fosa_app_def_sched.c @@ -1,11 +1,11 @@ // ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +// 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 @@ -20,29 +20,37 @@ // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// based on previous work (FSF) done in the FIRST project // -// FRSH 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. +// Copyright (C) 2005 Mälardalen University, SWEDEN +// Scuola Superiore S.Anna, ITALY +// Universidad de Cantabria, SPAIN +// University of York, UK // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, USA. +// FSF API web pages: http://marte.unican.es/fsf/docs +// http://shark.sssup.it/contrib/first/docs/ // -// As a special exception, if you include this header file into source -// files to be compiled, this header file does not by itself cause -// the resulting executable 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 General -// Public License. +// 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. // ----------------------------------------------------------------------- //============================================== // ******** ****** ******** ********** diff --git a/src_partikle/fosa_clocks_and_timers.c b/src_partikle/fosa_clocks_and_timers.c index 86f9c59..e1b4db7 100644 --- a/src_partikle/fosa_clocks_and_timers.c +++ b/src_partikle/fosa_clocks_and_timers.c @@ -1,18 +1,18 @@ // ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +// 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 // 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 @@ -20,29 +20,37 @@ // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// 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/ // -// FRSH 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. +// This file is part of FOSA (Frsh Operating System Adaption) // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, 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, if you include this header file into source -// files to be compiled, this header file does not by itself cause -// the resulting executable 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 General -// 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. // ----------------------------------------------------------------------- //============================================== // ******** ****** ******** ********** diff --git a/src_partikle/fosa_long_jump.c b/src_partikle/fosa_long_jump.c index 0868ec7..79fde29 100644 --- a/src_partikle/fosa_long_jump.c +++ b/src_partikle/fosa_long_jump.c @@ -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. @@ -28,26 +28,29 @@ // 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_long_jump.c //============================================== diff --git a/src_partikle/fosa_misc.c b/src_partikle/fosa_misc.c index 231a306..ff46000 100644 --- a/src_partikle/fosa_misc.c +++ b/src_partikle/fosa_misc.c @@ -1,3 +1,70 @@ +// ----------------------------------------------------------------------- +// 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. +// ----------------------------------------------------------------------- +//============================================== +// ******** ****** ******** ********** +// **///// /** ** **////// /** /** +// ** /** ** /** /** /** +// ******* /** ** /********* /********** +// **//// /** ** ////////** /**//////** +// ** /** ** /** /** /** +// ** /** ** ******** /** /** +// // /******/ //////// // // +// +// FOSA(Frescor Operating System Adaptation layer) +//================================================ + #include diff --git a/src_partikle/fosa_mutexes_and_condvars.c b/src_partikle/fosa_mutexes_and_condvars.c index 4b14c78..3d7bf04 100644 --- a/src_partikle/fosa_mutexes_and_condvars.c +++ b/src_partikle/fosa_mutexes_and_condvars.c @@ -1,18 +1,18 @@ // ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +// 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 // 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 @@ -20,29 +20,37 @@ // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// 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/ // -// FRSH 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. +// This file is part of FOSA (Frsh Operating System Adaption) // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, 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, if you include this header file into source -// files to be compiled, this header file does not by itself cause -// the resulting executable 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 General -// 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. // ----------------------------------------------------------------------- //============================================== // ******** ****** ******** ********** diff --git a/src_partikle/fosa_setjmp.S b/src_partikle/fosa_setjmp.S index 941c050..7b464a0 100644 --- a/src_partikle/fosa_setjmp.S +++ b/src_partikle/fosa_setjmp.S @@ -50,6 +50,7 @@ // however invalidate any other reasons why the executable file might be // covered by the GNU Public License. // ----------------------------------------------------------------------- + // FOSA(Frescor Operating System Adaptation layer) //================================================ */ @@ -58,7 +59,7 @@ * * Setjmp and Longjmp healper functions */ - + .text .global fosa_long_jump_save_context, fosa_setjmp, fosa_longjmp diff --git a/src_partikle/fosa_threads_and_signals.c b/src_partikle/fosa_threads_and_signals.c index 22e59b3..18bcf8e 100644 --- a/src_partikle/fosa_threads_and_signals.c +++ b/src_partikle/fosa_threads_and_signals.c @@ -1,18 +1,18 @@ // ----------------------------------------------------------------------- -// Copyright (C) 2006 - 2007 FRESCOR consortium partners: +// 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 // 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 @@ -20,29 +20,37 @@ // The European Union is not liable of any use that may be // made of this code. // -// This file is part of the FRSH implementation // -// FRSH is free software; you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation; either version 2, or (at your option) -// any later version. +// 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/ // -// FRSH 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. +// This file is part of FOSA (Frsh Operating System Adaption) // -// You should have received a copy of the GNU General Public License -// distributed with FRSH; see file COPYING. If not, write to the -// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA -// 02111-1307, 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, if you include this header file into source -// files to be compiled, this header file does not by itself cause -// the resulting executable 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 General -// 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. // ----------------------------------------------------------------------- //============================================== // ******** ****** ******** ********** diff --git a/src_partikle/fosa_time.c b/src_partikle/fosa_time.c index d63f84e..fe4d5bf 100644 --- a/src_partikle/fosa_time.c +++ b/src_partikle/fosa_time.c @@ -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. @@ -28,26 +28,29 @@ // 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_time.c //============================================== diff --git a/src_partikle/tests/test_long_jump.c b/src_partikle/tests/test_long_jump.c index 4a4f736..3ca1297 100644 --- a/src_partikle/tests/test_long_jump.c +++ b/src_partikle/tests/test_long_jump.c @@ -1,3 +1,69 @@ +// ----------------------------------------------------------------------- +// 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. +// ----------------------------------------------------------------------- +//============================================== +// ******** ****** ******** ********** +// **///// /** ** **////// /** /** +// ** /** ** /** /** /** +// ******* /** ** /********* /********** +// **//// /** ** ////////** /**//////** +// ** /** ** /** /** /** +// ** /** ** ******** /** /** +// // /******/ //////// // // +// +// FOSA(Frescor Operating System Adaptation layer) +//================================================ #include #include @@ -12,39 +78,39 @@ void f1 (void) int jmp; fosa_signal_info_t ctx_info; sigset_t s; - + pthread_sigmask (SIG_SETMASK, NULL, &s); printf (">>> Current signal mask = 0x%x\n", (unsigned int) s.sig); - + assert (fosa_long_jump_save_context (NULL)); - + printf (">>> save context\n\n"); if (fosa_long_jump_save_context (&ctx)) { printf ("fosa_long_jump_save_context"); exit (-1); } - + printf (">>> check jump performed\n\n"); if (fosa_long_jump_was_performed ((const fosa_long_jump_context_t *) &ctx, &jmp)) { printf ("fosa_long_jump_was_performed"); exit (-2); } - + if (jmp) { printf ("\t <<<< JUMPED\n\n"); pthread_sigmask (SIG_SETMASK, NULL, &s); printf (">>> Current signal mask = 0x%x\n",(unsigned int) s.sig); exit (10); } - + printf (">>> install handler\n\n"); if (fosa_long_jump_install_handler (&sig, &th)) { printf ("fosa_long_jump_install_handler()"); exit (-3); } - + printf ("\t signal=%d, thread=0x%x (self=0x%x)\n", sig, (unsigned int) th, (unsigned int) fosa_thread_self()); - + printf (">>> trigger a long jump using a signal\n\n"); ctx_info.sival_ptr = &ctx; if (fosa_signal_queue (sig, ctx_info, th)) {