Code Confidencebuild 3.0.0.201402161939

Execution Scheduling [POSIX Section 13]

Functions Implemented

int sched_yield(void); 
int sched_get_priority_max(int policy); 
int sched_get_priority_min(int policy); 
int sched_rr_get_interval(pid_t pid, struct timespec *t); 
int pthread_attr_setscope(pthread_attr_t *attr, int scope); 
int pthread_attr_getscope(const pthread_attr_t *attr, int *scope); 
int pthread_attr_setinheritsched(pthread_attr_t *attr, int inherit); 
int pthread_attr_getinheritsched(const pthread_attr_t *attr, int *inherit); 
int pthread_attr_setschedpolicy(pthread_attr_t *attr, int policy); 
int pthread_attr_getschedpolicy(const pthread_attr_t *attr, int *policy);
int pthread_attr_setschedparam( pthread_attr_t *attr, const struct sched_param *param); 
int pthread_attr_getschedparam( const pthread_attr_t *attr,
	                        struct sched_param *param); 
int pthread_setschedparam(pthread_t thread, int policy,
	                  const struct sched_param *param); 
int pthread_getschedparam(pthread_t thread, int *policy,
	                  struct sched_param *param); 
int pthread_mutexattr_setprotocol( pthread_mutexattr_t *attr,
                                   int protocol);
int pthread_mutexattr_getprotocol( pthread_mutexattr_t *attr,
                                   int *protocol); 
int pthread_mutexattr_setprioceiling( pthread_mutexattr_t *attr,
                                      int prioceiling); 
int pthread_mutexattr_getprioceiling( pthread_mutexattr_t *attr,
	                              int *prioceiling);
int pthread_mutex_setprioceiling( pthread_mutex_t *mutex,
	                          int prioceiling,
	                          int *old_ceiling); 
int pthread_mutex_getprioceiling( pthread_mutex_t *mutex,
                                  int *prioceiling);

Functions Omitted

int sched_setparam(pid_t pid, const struct sched_param *param); 
int sched_getparam(pid_t pid, struct sched_param *param); 
int sched_setscheduler(pid_t pid, int policy,
	               const struct sched_param *param); 
int sched_getscheduler(pid_t pid);

Notes