[PATCH 2/2] Rewrite gsync so that it works with remote tasks v2

2017-02-01 Thread Agustina Arzille
--- kern/gsync.c | 368 +++-- vm/vm_object.h | 14 +++ 2 files changed, 244 insertions(+), 138 deletions(-) diff --git a/kern/gsync.c b/kern/gsync.c index e70e1199..56d04387 100644 --- a/kern/gsync.c +++ b/kern/gsync.c @@ -17,36 +17,61 @@ */

Patch for gsync and sleeping locks

2017-02-01 Thread Agustina Arzille
This patchset modifies the gsync module so that it works with remote tasks. The idea is to create a temporary kernel mapping when the contents of the address have to be read (gsync_wait) or written (gsync_wake). It also implements a basic sleeping lock to replace the simple locks that were guardin

[PATCH 1/2] Implement basic sleeping locks for gnumach v2

2017-02-01 Thread Agustina Arzille
--- Makefrag.am | 3 +++ kern/atomic.h | 54 +++ kern/kmutex.c | 76 +++ kern/kmutex.h | 52 + kern/sched_prim.c | 5 +++- kern/sched_prim.h | 2 +- 6 fi