Commit History

Author SHA1 Message Date
  Samuel Thibault 6beb9fe2f7 Remove now-unused push_prio_task scheduler method 14 years ago
  Samuel Thibault 35eb437fc9 document fields 14 years ago
  Samuel Thibault 0d9f08ae8d Fix copyrights, thanks Ludo! 14 years ago
  Samuel Thibault d023ed950e push decision of "where" parameter of task pops down to scheduling policies, turn it into a worker id, and propagate to pop_task functions too 15 years ago
  Samuel Thibault 0ec22a9b3c document which sched file is what 15 years ago
  Cédric Augonnet 56e595124e Reorganize the code of the scheduling policies: to stress the fact that 15 years ago