Re: separating out memory checks from INVARIANTS



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@xxxxxxxxxxx mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-arch
To unsubscribe, send any mail to "freebsd-arch-unsubscribe@xxxxxxxxxxx"

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



Relevant Pages

  • separating out memory checks from INVARIANTS
    ... I find that the serialization of memory allocation frequently hides ... race conditions. ... come up often enough that I feel that it warrants consideration. ...
    (freebsd-arch)
  • Re: Kernel, spin_lock(), uniprocessor, barrier()?
    ... >> It's enough to prevent against race conditions, ... >We want the compiler to be able to optimize freely as long as correct ... This includes inter-procedural optimizations. ... Those changes must be stored to memory before the next thread gets ...
    (comp.os.linux.development.system)
  • Re: Zero Copy, FreeBSD and Linus Torvalds opinion
    ... The big guy is showing muscles... ... On 5/1/06, Kip Macy wrote: ... > Playing games with VM is bad. ... memory copies are _also_ bad, ...
    (freebsd-hackers)
  • Re: Zero Copy, FreeBSD and Linus Torvalds opinion
    ... The big guy is showing muscles... ... On 5/1/06, Kip Macy wrote: ... > Playing games with VM is bad. ... memory copies are _also_ bad, ...
    (freebsd-questions)
  • Re: DECserver 700 differences?
    ... Did DEC/Compaq ever release software to flash your setting into that ... I have some "race conditions" on boot up that sometimes requires me to ...
    (comp.os.vms)