Christoph Egger
2008-Jul-28 09:21 UTC
[Xen-devel] [PATCH][XEN] xenstore: make producer/consumer volatile
Hi! Don''t allow the compiler to play around with producer/consumer shared across domains. Keir: Please apply this also to Xen 3.2-testing. Signed-off-by: Christoph Egger <Christoph.Egger@amd.com> -- AMD Saxony, Dresden, Germany Operating System Research Center Legal Information: AMD Saxony Limited Liability Company & Co. KG Sitz (Geschäftsanschrift): Wilschdorfer Landstr. 101, 01109 Dresden, Deutschland Registergericht Dresden: HRA 4896 vertretungsberechtigter Komplementär: AMD Saxony LLC (Sitz Wilmington, Delaware, USA) Geschäftsführer der AMD Saxony LLC: Dr. Hans-R. Deppe, Thomas McCoy _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel
Keir Fraser
2008-Jul-28 10:41 UTC
Re: [Xen-devel] [PATCH][XEN] xenstore: make producer/consumer volatile
On 28/7/08 10:21, "Christoph Egger" <Christoph.Egger@amd.com> wrote:> Hi! > > Don''t allow the compiler to play around with producer/consumer shared across > domains. > > Keir: Please apply this also to Xen 3.2-testing. > > Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>We don''t use volatile. If extra ordering constraints are required then the access code should be amended to include extra barriers. -- Keir _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel