[PATCH 2/2] Align kmem_cache objects using __cacheline_aligned

2014-01-07 Thread Justus Winter
* device/dev_lookup.c: Align kmem_cache objects using __cacheline_aligned. * device/dev_pager.c: Likewise. * device/ds_routines.c: Likewise. * device/net_io.c: Likewise. * i386/i386/fpu.c: Likewise. * i386/i386/machine_task.c: Likewise. * i386/i386/pcb.c: Likewise. * i386/intel/pmap.c: Likewise. *

[PATCH 1/2] include: add new file for cache-related definitions

2014-01-07 Thread Justus Winter
* include/cache.h (__cacheline_aligned): This macro can be used to align statically allocated objects so that they start at a cache line. --- include/cache.h | 25 + 1 file changed, 25 insertions(+) create mode 100644 include/cache.h diff --git a/include/cache.h b/include

Re: [RFC] kern: simple futex for gnumach (version 10)

2014-01-07 Thread Richard Braun
On Tue, Jan 07, 2014 at 09:29:45AM +0100, Marin Ramesa wrote: > On 01/06/2014 03:00:35 PM, Richard Braun wrote: > >We also need to make sure nothing bad happens to an (object, offset) > >pair when, say, copy-on-write is performed by the VM system... > > I'll add a check_consistency() routine to fu

Re: [RFC] kern: simple futex for gnumach (version 10)

2014-01-07 Thread Marin Ramesa
On 01/06/2014 03:00:35 PM, Richard Braun wrote: We also need to make sure nothing bad happens to an (object, offset) pair when, say, copy-on-write is performed by the VM system... I'll add a check_consistency() routine to futex_wake() which repeats the vm_map_lookup(). I'll use a sum of object