[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Minios-devel] [UNIKRAFT PATCH v2 0/8] Extend scheduling API
The current patch series introduce scheduling API extensions such as handling thread attributes and thread resources cleanup. The goal is to extend the API so that it can be easier to integrate with pthread API. Changes since v1: - Update exported symbols file - Check if time slice is greater than timer tick - Add default values for priority and time slice attributes Costin Lupu (8): arch/*: Add STACK_MASK_TOP bit mask lib/uksched: Add function for allocating scheduler common info lib/uksched: Introduce thread attributes lib/uksched: Introduce thread info lib/uksched: Add support for waiting threads lib/uksched: Revisit thread exiting logic lib/uksched: Add function for killing threads lib/uksched: Minor refinements include/uk/arch/limits.h | 2 + lib/ukdebug/print.c | 2 +- lib/uksched/Makefile.uk | 2 + lib/uksched/exportsyms.uk | 16 ++++ lib/uksched/include/uk/_thread_info.h | 57 ++++++++++++++ lib/uksched/include/uk/sched.h | 98 ++++++++++++++++++++---- lib/uksched/include/uk/thread.h | 33 ++++++-- lib/uksched/include/uk/thread_attr.h | 81 ++++++++++++++++++++ lib/uksched/sched.c | 41 ++++++++-- lib/uksched/thread.c | 97 +++++++++++++++++++++++- lib/uksched/thread_attr.c | 139 ++++++++++++++++++++++++++++++++++ lib/uksched/thread_info.c | 79 +++++++++++++++++++ lib/ukschedcoop/Config.uk | 2 - lib/ukschedcoop/schedcoop.c | 62 +++++++-------- plat/xen/x86/arch_events.c | 2 +- plat/xen/x86/entry64.S | 2 +- plat/xen/xenbus/xs_comms.c | 2 +- 17 files changed, 650 insertions(+), 67 deletions(-) create mode 100644 lib/uksched/include/uk/_thread_info.h create mode 100644 lib/uksched/include/uk/thread_attr.h create mode 100644 lib/uksched/thread_attr.c create mode 100644 lib/uksched/thread_info.c -- 2.11.0 _______________________________________________ Minios-devel mailing list Minios-devel@xxxxxxxxxxxxxxxxxxxx https://lists.xenproject.org/mailman/listinfo/minios-devel
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |