Efficient code generation for weakly ordered architectures Reinoud Elhorst, Mark Batty, David Chisnall {re302,mjb220,dc552 Example: message passing - X86 - Document - PDFSEARCH.IO

First Page	Meta Content
	Efficient code generation for weakly ordered architectures Reinoud Elhorst, Mark Batty, David Chisnall {re302,mjb220,dc552} @ cam.ac.uk Example: message passing Add to Reading List Document Date: 2014-04-09 10:33:41 Open Document File Size: 654,29 KB Share Result on Facebook Facility store C11 / / Person Mark Batty / David Chisnall / / Position Programmer / / ProgrammingLanguage C++ / / Technology Alpha / / SocialTag Concurrency control Computer memory Central processing unit MOV Linearizability X86 Instruction set Barrier DEC Alpha Computer architecture

Efficient code generation for weakly ordered architectures Reinoud Elhorst, Mark Batty, David Chisnall {re302,mjb220,dc552} @ cam.ac.uk Example: message passingAdd to Reading List