From 0465099cfba51544574f3743682bc0cfff439cfd Mon Sep 17 00:00:00 2001 From: Sean McBride Date: Sat, 4 Jul 2020 19:27:34 -0400 Subject: [PATCH] docs: improve documentation --- runtime/src/global_request_scheduler.c | 3 ++- runtime/src/local_runqueue_list.c | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/runtime/src/global_request_scheduler.c b/runtime/src/global_request_scheduler.c index 53afafc..644099b 100644 --- a/runtime/src/global_request_scheduler.c +++ b/runtime/src/global_request_scheduler.c @@ -28,7 +28,8 @@ global_request_scheduler_add(sandbox_request_t *sandbox_request) /** * Removes a sandbox request according to the scheduling policy of the variant - * @returns pointer to a sandbox request + * @param removed_sandbox where to write the adddress of the removed sandbox + * @returns 0 if successful, -1 if empty, -2 if unable to take lock or perform atomic operation */ int global_request_scheduler_remove(sandbox_request_t **removed_sandbox) diff --git a/runtime/src/local_runqueue_list.c b/runtime/src/local_runqueue_list.c index 6080e91..bea8839 100644 --- a/runtime/src/local_runqueue_list.c +++ b/runtime/src/local_runqueue_list.c @@ -43,6 +43,7 @@ local_runqueue_list_remove_and_return() struct sandbox * local_runqueue_list_get_next() { + // If our local runqueue is empty, try to pull and allocate a sandbox request from the global request scheduler if (local_runqueue_is_empty()) { sandbox_request_t *sandbox_request;