| .. |
|
dummy_sched_with_ctx.c
|
d476c09ccf
fix bugs detected by coverity
|
9 years ago |
|
nested_sched_ctxs.c
|
d476c09ccf
fix bugs detected by coverity
|
9 years ago |
|
parallel_code.c
|
9ce6c873b2
fix parallel_code's warnings
|
9 years ago |
|
parallel_tasks_reuse_handle.c
|
6caf43afb6
port r17434 from 1.2: fix leak
|
9 years ago |
|
parallel_tasks_with_cluster_api.c
|
901652a877
Add a cluster management API. The purpose is to facilitate a partition of the machine and set it to process parallel tasks. It is a first version and can change in the future.
|
9 years ago |
|
prio.c
|
bb61f3808d
update cnrs copyright
|
10 years ago |
|
sched_ctx.c
|
d476c09ccf
fix bugs detected by coverity
|
9 years ago |
|
sched_ctx_without_sched_policy.c
|
d476c09ccf
fix bugs detected by coverity
|
9 years ago |
|
sched_ctx_without_sched_policy_awake.c
|
d476c09ccf
fix bugs detected by coverity
|
9 years ago |
Nathalie Furmento
d476c09ccf
fix bugs detected by coverity