Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 15 Mar 2008 19:54:29 -1000 (HST)
From:      Jeff Roberson <jroberson@chesapeake.net>
To:        Kip Macy <kip.macy@gmail.com>
Cc:        arch@freebsd.org
Subject:   Re: separating out memory checks from INVARIANTS
Message-ID:  <20080315195328.V910@desktop>
In-Reply-To: <b1fa29170803152244k5f31065dt135b605a54a4d0da@mail.gmail.com>
References:  <b1fa29170803152244k5f31065dt135b605a54a4d0da@mail.gmail.com>

next in thread | previous in thread | raw e-mail | index | archive | help
On Sat, 15 Mar 2008, Kip Macy wrote:

> I find that the serialization of memory allocation frequently hides
> race conditions. I would like to, at the very least, add an option to
> disable the memory checks if not make the memory checks a completely
> separate option. My knee jerk reaction to avoiding bikesheds is to
> simply add it to my own tree and forget about it. However, this has
> come up often enough that I feel that it warrants consideration.
>
>
> Thoughts?

One other option that I have frequently considered is to convert UMA from 
using an array of bytes to using bitfields to represent the free space in 
a slab.  Then you could use atomics to update the required information. 
It'd be a bit of work.  Maybe a good SoC? :)

Jeff

>
> -Kip
> _______________________________________________
> freebsd-arch@freebsd.org mailing list
> http://lists.freebsd.org/mailman/listinfo/freebsd-arch
> To unsubscribe, send any mail to "freebsd-arch-unsubscribe@freebsd.org"
>



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20080315195328.V910>