// -----------------------------------------------------------------------
+// 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
//
-// FRSH API web pages: http://marte.unican.es/frsh/docs/
+// FSF API web pages: http://marte.unican.es/fsf/docs
// http://shark.sssup.it/contrib/first/docs/
//
-// This file is part of FRSH API
-//
-// FRSH API 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.
+// This file is part of FRSH (FRescor ScHeduler)
//
-// FRSH API 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.
+// 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.
//
-// You should have received a copy of the GNU General Public License
-// distributed with FRSH API; see file COPYING. If not, write to the
-// Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA
-// 02111-1307, 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 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.
// -----------------------------------------------------------------------
//frsh_configuration_parameters.h
-//===============================================================
-// FFFFFFIII RRRRR SSTTTTTTT
-// FF IIR RR SS
-// FF IR SS
-// FFFFFF RRRR SSSSST
-// FF FI RRR SS
-// FF II RRR SS
-// FF IIIIIR RS
+//==============================================
+// ******** ******* ******** ** **
+// **///// /**////** **////// /** /**
+// ** /** /** /** /** /**
+// ******* /******* /********* /**********
+// **//// /**///** ////////** /**//////**
+// ** /** //** /** /** /**
+// ** /** //** ******** /** /**
+// // // // //////// // //
//
-// Basic FRSH(FIRST Scheduling Framework) configuration parameters
-//==============================================================
-
-//////////////////////////////////////////////////////
-// Definitions required to configure the frsh
-// scheduling algorithms.
-
-#include <unistd.h>
-#include "stdbool.h"
-
+// FRSH(FRescor ScHeduler), pronounced "fresh"
+//==============================================
#ifndef _FRSH_CONFIGURATION_PARAMETERS_H_
#define _FRSH_CONFIGURATION_PARAMETERS_H_
-// This symbol specifies whether the scheduler will make a
-// schedulability test of the requested contract or not
-
+#include <unistd.h>
+#include <limits.h>
+#include <frsh_cpp_macros.h>
+
+FRSH_CPP_BEGIN_DECLS
+
+/**
+ * @file frsh_configuration_parameters.h
+ *
+ * This file contains parameters that govern the capabilities of the
+ * FRescor ScHeduler. They must be in concordance with the respective
+ * OS configuration.
+ **/
+
+
+/**
+ * @defgroup config Configuration Parameters
+ *
+ * Here we define global parameters that will have an important
+ * influence on FRSH behaviour. They must also be coherent with the
+ * respective values in the underlaying OS.
+ *
+ * @{
+ **/
+
+
+/**
+ * This symbol specifies whether the scheduler will make a
+ * schedulability test of the requested contract or not
+ **/
#define FRSH_ADMISSION_TEST_IS_ENABLED true
-
-// Tune these values for optimizing the amount of memory used by the
-// implementation
-
-// Maximum number of accepted contracts (servers)
-
-#define FRSH_MAX_N_SERVERS 125
-
-
-// Maximum number of threads that may be scheduled by the framework
-
+/**
+ * This symbol specifies whether the service thread will try to
+ * assign automatically the priorities of each vres
+ **/
+#define FRSH_AUTOMATIC_PRIO_ASSIGN_ENABLE true
+
+#ifdef ENABLE_FRSH_DISTRIBUTED_MODULE
+#define FRSH_DISTRIBUTED_MODULE_SUPPORTED true
+#else
+#define FRSH_DISTRIBUTED_MODULE_SUPPORTED false
+#endif
+
+/** This defines 1 resource_id value for systems that have only one
+ resource of a kind. **/
+#define FRSH_RESOURCE_ID_DEFAULT 0
+#define FRSH_CPU_ID_DEFAULT 0
+#define FRSH_NETWORK_ID_DEFAULT 0
+
+/**
+ * @defgroup internal Array size for memory optimization
+ * @ingroup config
+ *
+ * Tune these values for optimizing the amount of memory used by the
+ * implementation
+ *
+ * @{
+ **/
+
+/** Maximum number of accepted contracts (vres) **/
+#define FRSH_MAX_N_VRES 25
+
+/** Maximum number of threads that may be scheduled by the framework **/
#define FRSH_MAX_N_THREADS 25
-
-// Maximum number of critical sections that can be stored in a
-// contract parameters object
-
-#define FRSH_MAX_N_CRITICAL_SECTIONS 25
-
-
-// Maximum number of utilization values (pairs of budget and period)
-// that can be stored in a contract parameters object
-
+/**
+ * Maximum number of critical sections that can be stored in a
+ * contract parameters object
+ **/
+#define FRSH_MAX_N_CRITICAL_SECTIONS 10
+
+/**
+ * Maximum number of memory areas that can be specified for a
+ * wite operation in a critical section
+ **/
+#define FRSH_MAX_N_MEMORY_AREAS 4
+
+/**
+ * Maximum number of utilization values (pairs of budget and period)
+ * that can be stored in a contract parameters object
+ **/
#define FRSH_MAX_N_UTILIZATION_VALUES 5
+/** Number of importance levels for spare capacity allocation **/
+#define FRSH_N_IMPORTANCE_LEVELS 5
-// Maximum number of synchronization objects
-
+/**
+ * Maximum number of synchronization objects
+ **/
#define FRSH_MAX_N_SYNCH_OBJECTS 5
-
-// Maximum number of shared objects
-
+/** Maximum number of shared objects **/
#define FRSH_MAX_N_SHARED_OBJECTS 100
+/** Maximum number of send and receive endpoints in a single node **/
+#define FRSH_MAX_N_ENDPOINTS 10
+
+/** Maximum number of chars for a contract label **/
+#define FRSH_CONTRACT_LABEL_MAXLENGTH 15
+
+/*@}*/
+
+/**
+ * @defgroup schedandservice Scheduler and Service thread parameters
+ * @ingroup config
+ *
+ * The current implementation in MaRTE OS uses the Application-Defined
+ * Scheduling Interface (proposed to the POSIX standardization
+ * committee), to create a fixed-priority-based scheduler that
+ * operates under the rules of the FIRST scheduling framework.
+ *
+ * In this implementation there are two special threads:
+ * - The application scheduler thread, that
+ * implements the scheduler
+ *
+ * - The service thread, that is in charge of
+ * negotiating and renegotiating contracts
+ * concurrently with the application
+ *
+ * The following symbols are necessary to adapt the application to the
+ * underlying fixed priority scheduler
+ *
+ * @{
+ **/
+
+/**
+ * Priority assigned to the application scheduler; it should be above
+ * the priorities of the application threads and of the service
+ * thread, and it should be at least 1 level below the maximum of the
+ * system
+ **/
+#define FRSH_SCHEDULER_PRIORITY (fosa_get_priority_max() - FOSA_ADS_SCHEDULER_PRIO_DIFF)
+
+/**
+ * Real-time signal number reserved for the application scheduler to
+ * manage its timers.
+ **/
+#define FRSH_SCHEDULER_SIGNAL FRSH_SIGNAL_MIN
+
+
+
+/**
+ * The highest priority that can be assigned to an application thread,
+ * it should be defined as one level less than the
+ * FRSH_SCHEDULER_PRIORITY
+ **/
+#define FRSH_HIGHEST_THREAD_PRIORITY (FRSH_SCHEDULER_PRIORITY-1)
+
+
+/**
+ * The lowest priority that can be assigned to an application thread,
+ * it should be at least 1 level above the minimum of the system
+ **/
+#define FRSH_LOWEST_THREAD_PRIORITY ( fosa_get_priority_min() + 4)
+
+/**
+ * Each call to the functions that negotiate or renegotiate a contract
+ * or that change the quality and importance generates a request for
+ * the service thread that we call a service job. This job will be
+ * pending in a queue until executed by the service thread. The
+ * following symbol represents the maximum number of requests that can
+ * be simultaneously queued.
+ **/
+#define FRSH_MAX_N_SERVICE_JOBS (FRSH_MAX_N_VRES * 2)
+
+
+/**
+ * In order to bound the background activity of the scheduler (i.e.,
+ * the admission tests necessary for the negotiation and
+ * re-negotiation of contracts), a service thread has been defined. It
+ * runs at a given priority level and has a budget and period
+ * assigned.
+ *
+ **/
+
+/** Initial period of the service thread (timespec) **/
+#define FRSH_SERVICE_THREAD_PERIOD_USECS 500000 /* 500 msecs */
+
+/** Initial budget of the service thread (timespec) **/
+#define FRSH_SERVICE_THREAD_BUDGET_USECS 1000 /* 1 msec */
+
+/**
+ * Initial priority of the service thread, it has to be lower than the
+ * FRSH_SCHEDULER_PRIORITY, and is set according to its period and the
+ * expected response times for reconfiguration or tunning of the
+ * system.
+ **/
+//#define FRSH_SERVICE_THREAD_PRIORITY (FRSH_LOWEST_THREAD_PRIORITY+1)
+#define FRSH_SERVICE_THREAD_PRIORITY 0
+
+
+/*@}*/
+
+
+/**
+ * @defgroup miscconfig Miscellaneous Config parameters
+ * @ingroup config
+ *
+ * @{
+ **/
+
+/**
+ * Maximum number of vres that can be simultaneusly waiting for
+ * being signaled in a synchronization object
+ **/
+#define FRSH_MAX_N_VRES_IN_SYNCH_OBJECT 4
+
+
+/**
+ * Maximum number of events that can be pending to be signaled in a
+ * synchronization object
+ **/
+#define FRSH_MAX_N_EVENTS_IN_SYNCH_OBJECT 100
+
+/**
+ * Maximum number of pending replenishments in each sporadic server
+ **/
+#define FRSH_MAX_N_PENDING_REPLENISHMENTS 25 //250
-////////////////////////////////////////////
-// Other implementation dependent parameters
-
-// The current implementation in MaRTE OS uses the Application-Defined
-// Scheduling Interface (proposed to the POSIX standardization
-// committee), to create a fixed-priority-based scheduler that
-// operates under the rules of the FIRST scheduling framework.
-
-// In this implementation there are two special threads:
-// - The application scheduler thread, that
-// implements the scheduler
-
-// - The service thread, that is in charge of
-// negotiating and renegotiating contracts
-// concurrently with the application
-
-// The following symbols are necessary to adapt the application to the
-// underlying fixed priority scheduler
-
-// Priority assigned to the application scheduler; it should be above
-// the priorities of the application threads and of the service
-// thread, and it should be at least 1 level below the maximum of the
-// system
-
-#define FRSH_SCHEDULER_PRIORITY 29 //104
-
-
-// Real-time signal number reserved for the application scheduler to
-// manage its timers.
-
-#define FRSH_SCHEDULER_SIGNAL SIGRTMIN
-
-
-// The highest priority that can be assigned to an application thread,
-// it should be defined as one level less than the
-// FRSH_SCHEDULER_PRIORITY
-
-#define FRSH_HIGHEST_THREAD_PRIORITY FRSH_SCHEDULER_PRIORITY-1
-
-
-// The lowest priority that can be assigned to an application thread,
-// it should be at least 1 level above the minimum of the system
-
-#define FRSH_LOWEST_THREAD_PRIORITY 3
-
-// Each call to the functions that negotiate or renegotiate a contract
-// or that change the quality and importance generates a request for
-// the service thread that we call a service job. This job will be
-// pending in a queue until executed by the service thread. The
-// following symbol represents the maximum number of requests that can
-// be simultaneously queued.
-#define FRSH_MAX_N_SERVICE_JOBS FRSH_MAX_N_SERVERS * 2
-
-// In order to bound the background activity of the scheduler (i.e.,
-// the admission tests necessary for the negotiation and
-// re-negotiation of contracts), a service thread has been defined. It
-// runs at a given priority level and has a budget and period
-// assigned.
-
-
-// Initial period of the service thread (timespec)
-
-#define FRSH_SERVICE_THREAD_PERIOD {0,10000000} // 0.01 seg
- // {0,100000000} //0.1 seg
- // {0,10000000} //3.1 0.01
-
-// Initial budget of the service thread (timespec)
-
-#define FRSH_SERVICE_THREAD_BUDGET {0,1000000} // 0.001 seg
- // {0,10000000} //0.01 seg
- // {0,1000000} //3.1 0.001
-
-
-// Initial priority of the service thread, it has to be lower than the
-// FRSH_SCHEDULER_PRIORITY, and is set according to its period and the
-// expected response times for reconfiguration or tunning of the
-// system.
-
-#define FRSH_SERVICE_THREAD_PRIORITY FRSH_LOWEST_THREAD_PRIORITY+1 //3 3 //3 1
-
-
-
-//Maximum number of servers that can be simultaneusly waiting for
-//being signaled in a synchronization object
-
-#define FRSH_MAX_N_SERVERS_IN_SYNCH_OBJECT 4
-
-
-//Maximum number of events that can be pending to be signaled in a
-//synchronization object
-#define FRSH_MAX_N_EVENTS_IN_SYNCH_OBJECT 100
+/**
+ * Maximum number of target windows in a table driven schedule
+ **/
+#define FRSH_MAX_N_TARGET_WINDOWS 100
+/**
+ * The cpu time given by the round robin scheduler
+ * to the threads in the background (timespec)
+ **/
+#define FRSH_RR_SLICE_CPU_TIME_USECS 100000 // 0.1 sec
+
+/**
+ * This function must be supplied by the user to map the preemption
+ * level values given in the contracts for the vres, to priority
+ * values in the range that is allowed by the present implementation
+ * for application threads. The value returned by the function must
+ * fit in the interval defined by the constants:
+ * [FRSH_LOWEST_THREAD_PRIORITY, FRSH_HIGHEST_THREAD_PRIORITY]
+ **/
+int frsh_priority_map (unsigned long plevel);
+
+/**
+ * This symbol specifies the maximum number of chars that are stored
+ * of a given shared_object_id, so this is the maximum length used
+ * in comparisons
+ **/
+#define FRSH_MAX_SIZE_SHARED_OBJ_LABEL 15
+
+
+/** Maximum number of networks accesible from a node **/
+#define FRSH_MAX_N_NETWORK_IDS 1
-//Maximum number of pending replenishments in each sporadic server
+/**
+ * Maximum number of groups allocated at the same time
+ **/
+#define FRSH_MAX_N_GROUPS 3
-#define FRSH_MAX_N_PENDING_REPLENISHMENTS 25 //250
+/**
+ * Maximum number of groups operations (neg, reneg, cancel) per group
+ **/
+#define FRSH_MAX_GROUP_OPS 25
+/**
+ * Default overheads of shared object protection mechanisms
+ * These values should be calibrated on each specific execution platform
+ */
-//Maximum number of target windows in a table driven schedule
+// fixed overhead for saving the environment and subsequently
+// aborting a critical section; units in nanoseconds
-#define FRSH_MAX_N_TARGET_WINDOWS 100
+#define FRSH_SO_FIXED_ABORT_OVHD 0
-//The cpu time given by the round robin scheduler
-//to the threads in the background (timespec)
-#define FRSH_RR_SLICE_CPU_TIME {0,100000000} //3 0.1 sec
+// fixed overhead for copying a memory area, in nanoseconds
-// This function must be supplied by the user to map the preemption
-// level values given in the contracts for the servers, to priority
-// values in the range that is allowed by the present implementation
-// for application threads. The value returned by the function must
-// fit in the interval defined by the constants:
-// [FRSH_LOWEST_THREAD_PRIORITY, FRSH_HIGHEST_THREAD_PRIORITY]
+#define FRSH_SO_FIXED_AREA_OVHD 0
-int
-frsh_priority_map (unsigned long plevel);
-// This symbol specifies the maximum number of chars that are stored
-// of a given shared_object_id, so this is the maximum length used
-// in comparissons
+// variable overhead for copying a memory area; units in nanoseconds per kbyte
-#define FRSH_MAX_SIZE_SHARED_OBJ_ID 65
+#define FRSH_SO_NANOS_PER_KB 0
-//Maximum number of networks accesible from a node
+/* Default memory pool's size in Kbytes */
+#define FRSH_DYNAMIC_MEMORY_POOL_SIZE 6670
-#define FRSH_MAX_N_NETWORK_IDS 1
+/**
+ * Maximum synchronized workload period number. After this value any
+ * increments will be set to zero.
+ **/
+#define FRSH_MAX_SYNCHRONIZED_PERIOD_NUMBER LONG_MAX
-//Maximum number of servers that can be given in a servers list
-//to the group negotiation/cancellation primitive
-#define FRSH_MAX_N_SERVER_VALUES 10
+/*@}*/
-//Maximum number of contracts that can be given in a contracts list
-//to the group negotiation/cancellation primitive
+/*@}*/
-#define FRSH_MAX_N_CONTRACT_VALUES 10
+FRSH_CPP_END_DECLS
#endif /* _FRSH_CONFIGURATION_PARAMETERS_H_ */
+