Subversion Repositories shark

//fsf_basic_types.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 FSF(FIRST Scheduling Framework) common types

//=======================================================================

// 

#include <time.h>

#include "fsf_opaque_types.h"

#include "fsf_configuration_parameters.h"

#ifndef _FSF_BASIC_TYPES_H_

#define _FSF_BASIC_TYPES_H_

// Definition of types and constants used in fsf modules

//

// Types for the core module

//

// Kind of workload expected in servers

typedef enum {FSF_BOUNDED, FSF_INDETERMINATE, FSF_OVERHEAD} fsf_workload_t;    

// Constants for assigning default values

#define FSF_DEFAULT_WORKLOAD       FSF_INDETERMINATE

#define FSF_DEFAULT_D_EQUALS_T     TRUE

#define FSF_DEFAULT_DEADLINE       {0,0} //struct timespec

// Constants for omitting the assignment of values

// to specific arguments in calls to

// initialization functions

#define FSF_NULL_DEADLINE     (struct timespec *)NULL

#define FSF_NULL_SIGNAL       0

//

// Types for the spare capacity module

//

// Granularity of spare capacity requirements

typedef enum {FSF_CONTINUOUS, FSF_DISCRETE} fsf_granularity_t;

// Utilization (budget and period) value

typedef struct {

  struct timespec    budget;    // Execution time

  struct timespec    period;    // Period

} fsf_utilization_value_t;

//List of utilization values

typedef struct {

  int                         size; // = 0

  fsf_utilization_value_t    

      value[FSF_MAX_N_UTILIZATION_VALUES];

} fsf_utilization_set_t;

// Constants for assigning default values

#define FSF_DEFAULT_GRANULARITY         FSF_CONTINUOUS

#define FSF_DEFAULT_QUALITY             0

#define FSF_DEFAULT_IMPORTANCE          1

// Constants for omitting the assignment of values to specific

// arguments in calls to initialization functions

#define FSF_NULL_UTILIZATION_SET     \

   (fsf_utilization_set_t *)NULL

//

// Types for the implementation specific module

//

//Implementation specific preemption level values

typedef unsigned long      fsf_preemption_level_t;

                           // range 1..2**32-1

//

// Types for the shared objects module

//

// Shared object identifier (null character terminated string)

typedef char  * fsf_shared_obj_id_t;    

// Shared object handle (opaque type)

typedef FSF_SHARED_OBJ_HANDLE_T_OPAQUE  fsf_shared_obj_handle_t;

// Critical section data

typedef struct {

   fsf_shared_obj_handle_t obj_handle;

   struct timespec         wcet;  //Execution time

} fsf_critical_section_data_t;

// List of critical sections

typedef struct {

  int size; // = 0

  fsf_critical_section_data_t  

      section[FSF_MAX_N_CRITICAL_SECTIONS];

} fsf_critical_sections_t;

//

// Types for the hierarchical module

//

// Scheduling policies

typedef enum {FSF_FP, FSF_EDF, FSF_RM, FSF_POSIX, FSF_TABLE_DRIVEN, FSF_NONE}

    fsf_sched_policy_t;

// Scheduling policy and parameters

typedef struct {

  fsf_sched_policy_t    policy;

  void *                params;

} fsf_sched_params_t;

// The params member is a pointer to one of the 

// following:

//    FP:  int (priority)

//    EDF: struct timespec (deadline)

//    TABLE_DRIVEN : struct fsf_table_driven_params_t

struct target_window {

  pthread_t           task_id;

  struct timespec     start;

  struct timespec     end;

  struct timespec     comp_time;

};

//Scheduling parameters for the table-driven policy (t.b.d)

typedef struct {

  int size;

  struct target_window * table;

} fsf_table_driven_params_t;

//Initialization information for a scheduling policy

typedef void * fsf_sched_init_info_t;

// It shall be one of the following:

//    FP:  none

//    EDF: none

//    TABLE_DRIVEN : struct timespec (schedule duration)

// Error codes

#define FSF_ERR_TOO_MANY_TASKS                  0x02003001

#define FSF_ERR_BAD_ARGUMENT                    0x02003002

#define FSF_ERR_INVALID_SYNCH_OBJ_HANDLE        0x02003003

#define FSF_ERR_NO_RENEGOTIATION_REQUESTED      0x02003004

#define FSF_ERR_CONTRACT_REJECTED               0x02003005

#define FSF_ERR_NOT_SCHEDULED_CALLING_THREAD    0x02003006  // ??

#define FSF_ERR_UNBOUND_THREAD                  0x02003007

#define FSF_ERR_UNKNOWN_APPSCHEDULED_THREAD     0x02003008

#define FSF_ERR_NOT_CONTRACTED_SERVER           0x02003009

#define FSF_ERR_NOT_SCHEDULED_THREAD            0x02003010

#define FSF_ERR_TOO_MANY_SERVICE_JOBS           0x02003011

#define FSF_ERR_TOO_MANY_SYNCH_OBJS             0x02003012

#define FSF_ERR_TOO_MANY_SERVERS_IN_SYNCH_OBJ   0x02003013

#define FSF_ERR_TOO_MANY_EVENTS_IN_SYNCH_OBJ    0x02003014

#define FSF_ERR_INTERNAL_ERROR                  0x02003015

#define FSF_ERR_TOO_MANY_SERVERS                0x02003016

#define FSF_ERR_INVALID_SCHEDULER_REPLY         0x02003017

#define FSF_ERR_TOO_MANY_PENDING_REPLENISHMENTS 0x02003018

#define FSF_WRN_MODULE_NOT_SUPPORTED            0x02004001

// added by Peppe

#define FSF_ERR_TIME_SPEC_IN_THE_PAST           0x02003020  //JULIO: Shall this be actually an error??

// added by Julio

#define FSF_ERR_SYSTEM_ALREADY_INITIALIZED      0x02004002

#define FSF_ERR_SHARED_OBJ_ALREADY_INITIALIZED  0x02004003

#define FSF_ERR_SHARED_OBJ_NOT_INITIALIZED      0x02004004

#define FSF_ERR_SCHED_POLICY_NOT_COMPATIBLE     0x02004005

#define FSF_WRN_MODULE_NOT_SUPPORTED            0x02004001

#endif // _FSF_BASIC_TYPES_H_