[Minios-devel] [UNIKRAFT PATCH v2 0/5] Scheduling fixes

[Costin Lupu <costin.lupu@xxxxxxxxx>]

This version of the series contains only the fix for the yield issue. 

Costin Lupu (5):
  plat/xen: Align x86 interrupt stack address at compile time
  plat/*: Set current thread on IRQ stack
  lib/ukschedcoop: Set current thread on platform stack
  lib/ukschedcoop: Fix yield behavior when current thread is first in
    thread list
  lib/ukschedcoop: Fix race condition when trying to wake up current
    thread

 include/uk/plat/memory.h        |  6 +++
 lib/uksched/include/uk/sched.h  | 23 +++++++++++
 lib/uksched/include/uk/thread.h |  5 +++
 lib/uksched/include/uk/wait.h   |  1 +
 lib/uksched/thread.c            | 17 +++++++--
 lib/ukschedcoop/schedcoop.c     | 85 +++++++++++++++++++++++++++++------------
 plat/kvm/memory.c               |  6 +++
 plat/linuxu/memory.c            |  5 +++
 plat/xen/memory.c               |  7 ++++
 plat/xen/x86/arch_events.c      |  6 +--
 10 files changed, 130 insertions(+), 31 deletions(-)

-- 
2.11.0


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel