lists  /  announce  owl-users  owl-dev  john-users  john-dev  passwdqc-users  yescrypt  popa3d-users  /  oss-security  kernel-hardening  musl  sabotage  tlsify  passwords  /  crypt-dev  xvendor  /  Bugtraq  Full-Disclosure  linux-kernel  linux-netdev  linux-ext4  linux-hardening  linux-cve-announce  PHC 
Open Source and information security mailing list archives
Hash Suite: Windows password security audit tool. GUI, reports in PDF.
[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Date:   Mon, 15 Apr 2019 09:50:03 -0400 (EDT)
From:   Alan Stern <>
To:     "Paul E. McKenney" <>
cc:     Andrea Parri <>,
        LKMM Maintainers -- Akira Yokosawa <>,
        Boqun Feng <>,
        Daniel Lustig <>,
        David Howells <>,
        Jade Alglave <>,
        Luc Maranget <>,
        Nicholas Piggin <>,
        Peter Zijlstra <>,
        Will Deacon <>,
        Daniel Kroening <>,
        Kernel development list <>
Subject: Re: Adding plain accesses and detecting data races in the LKMM

On Mon, 15 Apr 2019, Paul E. McKenney wrote:

> Another question is "should the kernel permit smp_mb__{before,after}*()
> anywhere other than immediately before or after the primitive being
> strengthened?"
> Thoughts?

How would the kernel forbid other constructions?


Powered by blists - more mailing lists