1 <assertions> 2 <assertion id="1" tag="ref:XBD6:{Headers:sched.h:SYNOPSIS} pt:PS"> 3 The sched.h header file exists 4 </assertion> 5 <assertion id="2" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION}"> 6 The sched.h header defines the structure sched_param which includes 7 the following, at a minimum: 8 int sched_priority 9 </assertion> 10 <assertion id="3" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION} pt:SS"> 11 When _POSIX_SPORADIC_SERVER is defined, the structure sched_param 12 shall also include the following: 13 int sched_ss_low_priority 14 struct timespec sched_ss_repl_period 15 struct timespec sched_ss_init_budget 16 int sched_ss_max_repl 17 </assertion> 18 <assertion id="4" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION} pt:TSP"> 19 When _POSIX_THREAD_SPORADIC_SERVER is defined, the structure 20 sched_param shall also includes the following: 21 int sched_ss_low_priority 22 struct timespec sched_ss_repl_period 23 struct timespec sched_ss_init_budget 24 int sched_ss_max_repl 25 </assertion> 26 <assertion id="5" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION}"> 27 Each process is controlled by an associated scheduling policy 28 and priority 29 </assertion> 30 <assertion id="6" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION}"> 31 Associated with each policy is a priority range 32 </assertion> 33 <assertion id="7" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION}"> 34 Each policy definition specifies the minimum priority range for that 35 policy 36 </assertion> 37 <assertion id="8" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION}"> 38 The symbolic constants below are defining the four standard policies: 39 SCHED_FIFO 40 SCHED_RR 41 SCHED_SPORADIC (SS, TSP) 42 SCHED_OTHER 43 </assertion> 44 <assertion id="9" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION}"> 45 Other policies may be defined by the implementation. 46 </assertion> 47 <assertion id="10" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION}"> 48 The symbolic constants defined below have all distinct values 49 SCHED_FIFO 50 SCHED_RR 51 SCHED_SPORADIC (SS, TSP) 52 SCHED_OTHER 53 </assertion> 54 <assertion id="11" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION}"> 55 This function is defined: 56 int sched_get_priority_max(int); 57 </assertion> 58 <assertion id="12" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION}"> 59 This function is defined: 60 int sched_get_priority_min(int); 61 </assertion> 62 <assertion id="13" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION}"> 63 This function is defined: 64 int sched_getparam(pid_t, struct sched_param *); 65 </assertion> 66 <assertion id="14" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION}"> 67 This function is defined: 68 int sched_getscheduler(pid_t); 69 </assertion> 70 <assertion id="15" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION}"> 71 This function is defined: 72 int sched_rr_get_interval(pid_t, struct timespec *); 73 </assertion> 74 <assertion id="16" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION}"> 75 This function is defined: 76 int sched_setparam(pid_t, const struct sched_param *); 77 </assertion> 78 <assertion id="17" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION}"> 79 This function is defined: 80 int sched_setscheduler(pid_t, int, const struct sched_param *); 81 </assertion> 82 <assertion id="18" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION}"> 83 This function is defined: 84 int sched_yield(void); 85 </assertion> 86 <assertion id="19" tag="ref:XBD6:{Headers:sched.h:DESCRIPTION}"> 87 Inclusion of the sched.h header may make visible all symbols from 88 the time.h header. 89 </assertion> 90 </assertions> 91
