1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
<assertions>
<assertion id="1" tag="ref:XSH6:33182:33185">
The pthread_setschedparam( )
function shall set the scheduling policy and associated scheduling parameters
for the thread whose thread ID is given by thread to the policy and
associated parameters provided in policy
and param, respectively.
</assertion>
<assertion id="2" tag="ref:XSH6:33189:33199">
TSP If _POSIX_THREAD_SPORADIC_SERVER is defined, then the policy argument may have the
value SCHED_SPORADIC, with the exception for the pthread_setschedparam( ) function
that if the scheduling policy was not SCHED_SPORADIC at the time of the call,
it is implementation-defined whether the function is supported; in other words,
the implementation need not allow the application to dynamically change the
scheduling policy to SCHED_SPORADIC. The sporadic server scheduling policy
has the associated parameters sched_ss_low_priority, sched_ss_repl_period,
sched_ss_init_budget, sched_priority, and sched_ss_max_repl. The specified
sched_ss_repl_period shall be greater than or equal to the specified
sched_ss_init_budget for the function to succeed; if it is not, then the function
shall fail. The value of sched_ss_max_repl shall be within the inclusive
range [1,{SS_REPL_MAX}] for the function to succeed; if not, the function
shall fail.
</assertion>
<assertion id="3" tag="ref:XSH6:33203:33204">
If successful, the pthread_setschedparam( )
functions shall return zero; otherwise, an error number shall be returned
to indicate the error.
</assertion>
<assertion id="4" tag="ref:XSH6TC2:34037:34038">
If the function fails, the policy and parameter of the target thread shall not
be modified.
</assertion>
<assertion id="5" tag="ref:XSH6TC2:34057:34057">
The function does not return EINTR.
</assertion>
</assertions>
|
