Re: RFC: Lightweight synchronization mechanism for gnumach v2.0

2016-03-29 Thread Agustina Arzille
Hello, Samuel On 03/28/2016 06:29 PM, Samuel Thibault wrote: Agustina Arzille, on Fri 04 Mar 2016 11:32:10 -0300, wrote: +#define GSYNC_NBUCKETS 512 +static struct gsync_hbucket gsync_buckets[GSYNC_NBUCKETS]; I'm wondering whether we could want to have buckets per task too? What does Linux

Re: [PATCH] Simple testsuite for MIG.

2016-03-29 Thread Flavio Cruz
On Wed, Mar 30, 2016 at 01:41:17AM +0200, Justus Winter wrote: > I like it a lot. May I suggest the following robustness fix? Seems > like the empty files are lost somewhere in my ci/package building > setup. Also I think we want copyright notices at least in the > framework files, not sure abou

Re: [PATCH] Use uint32_t instead of unsigned32_t.

2016-03-29 Thread Flavio Cruz
Implement stdint.h and use it in gnumach. Remove old type definitions such as signed* and unsigned*. * Makefile.am: Add -ffreestanding. * i386/i386/xen.h: Use uint64_t. * i386/include/mach/i386/machine_types.defs: Use uint32_t and int32_t. * i386/include/mach/i386/vm_types.h: Remove definitions o

Re: [PATCH] Simple testsuite for MIG.

2016-03-29 Thread Justus Winter
I like it a lot. May I suggest the following robustness fix? Seems like the empty files are lost somewhere in my ci/package building setup. Also I think we want copyright notices at least in the framework files, not sure about the test vectors. Thougths? Justus

[PATCH mig] Robustness fix.

2016-03-29 Thread Justus Winter
--- tests/includes/all.h| 1 + tests/includes/server.h | 1 + tests/includes/user.h | 1 + 3 files changed, 3 insertions(+) diff --git a/tests/includes/all.h b/tests/includes/all.h index e69de29..6e25b02 100644 --- a/tests/includes/all.h +++ b/tests/includes/all.h @@ -0,0 +1 @@ +/* Empty.

Re: [PATCH] hurd: align -p and -pg behavior on Linux

2016-03-29 Thread Samuel Thibault
Hello, Thomas Schwinge, on Tue 29 Mar 2016 23:19:09 +0200, wrote: > On Wed, 24 Feb 2016 23:46:36 +0100, I wrote: > > On Sat, 19 Sep 2015 14:00:23 +0200, Samuel Thibault > > wrote: > > > On Linux, -p and -pg do not make gcc link against libc_p.a, only > > > -profile does (as documented in r11246)

Re: [PATCH] hurd: align -p and -pg behavior on Linux

2016-03-29 Thread Thomas Schwinge
Hi! On Wed, 24 Feb 2016 23:46:36 +0100, I wrote: > On Sat, 19 Sep 2015 14:00:23 +0200, Samuel Thibault > wrote: > > On Linux, -p and -pg do not make gcc link against libc_p.a, only > > -profile does (as documented in r11246), and thus people expect -p > > (Yo, 20 years ago...) > > > and -pg to

Re: [PATCH,boehm-gc] Use mmap instead of brk on kfreebsd & hurd too

2016-03-29 Thread Thomas Schwinge
Hi! On Sun, 31 Aug 2014 17:20:04 +0200, Samuel Thibault wrote: > Please use mmap instead of brk on kfreebsd and hurd too. > Also, using anonymous memory is faster on the Hurd. > [patch] Thanks; finally committed in r234534: commit 04a4d1ce0425912054b6f8db5bc15029bf87e055 Author: tschwinge Da

Re: [PATCH] Simple testsuite for MIG.

2016-03-29 Thread Justus Winter
Quoting Flavio Cruz (2016-03-25 17:19:06) > This includes a set of valid and invalid definition files that MIG will > try to process. For valid definitions, GCC will compile the stubs to > check if valid C code was generated. > > * configure.ac: Add new test Makefiles. > * Makefile.am: Add SUBDIRS