|
|
|
|
|
|
|
|
|
|
xen-devel
Re: [Xen-devel] evtchn_do_upcall() barrier between upcall_pending and pe
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
|
|
|
|
|