lkml.org 
[lkml]   [2019]   [Apr]   [15]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: Adding plain accesses and detecting data races in the LKMM
    On Mon, Apr 15, 2019 at 09:50:03AM -0400, Alan Stern wrote:
    > 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?

    Coccinelle scripts added to 0day test robot.

    Thanx, Paul

    \
     
     \ /
      Last update: 2019-04-15 15:53    [W:4.624 / U:0.080 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site