Re: [Xen-devel] evtchn_do_upcall() barrier between upcall_pending and pending_sel

[Keir Fraser <keir.fraser@xxxxxxxxxxxxx>]

Makes sense, yes.

 -- Keir

On 8/5/08 11:18, "Samuel Thibault" <samuel.thibault@xxxxxxxxxxxxx> wrote:

> Hello,
> 
> In evtchn_do_upcall() there is a barrier between setting upcall_pending
> and pending_sel, which makes sense to avoid losing events, however I
> don't understand why it is a rmb(). memory-barriers.txt says that rmb()
> only provides ordering of reads, not stores.  Shouldn't that be a wmb()
> instead then?
> 
> Samuel
> 
> _______________________________________________
> Xen-devel mailing list
> Xen-devel@xxxxxxxxxxxxxxxxxxx
> http://lists.xensource.com/xen-devel



_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel