32,7 → 32,7 |
|
// Maximum number of accepted contracts (servers) |
|
#define FSF_MAX_N_SERVERS 10 |
#define FSF_MAX_N_SERVERS 15 |
|
|
// Maximum number of threads that may be scheduled by the framework |
62,6 → 62,10 |
#define FSF_MAX_N_SHARED_OBJECTS 100 |
|
|
// Define the max number of target windows in the table driven scheduling |
|
#define FSF_MAX_N_TARGET_WINDOWS 100 |
|
//////////////////////////////////////////// |
// Other implementation dependent parameters |
|
172,6 → 176,7 |
int |
fsf_priority_map (unsigned long plevel); |
|
//????? |
// This symbol specifies whether the scheduling system will make |
// traces of the servers, the scheduler and the service thread |
// operation and make them available through the fsf_print_traces |
178,6 → 183,6 |
// function |
|
#define FSF_TRACING_SERVICE_IS_ENABLED true |
//????? |
|
|
#endif /* _FSF_CONFIGURATION_PARAMETERS_H_ */ |