Search For:

Displaying 1-3 out of 3 total
A Safety-First Approach to Memory Models
Found in: IEEE Micro
By Abhayendra Singh,Satish Narayanasamy,Daniel Marino,Todd Millstein,Madanlal Musuvathi
Issue Date:May 2013
pp. 96-104
Recent efforts to standardize concurrency semantics for programming languages require programmers to explicitly annotate all memory accesses that can participate in a data race ("unsafe" accesses). This requirement allows the compiler and hardwar...
 
End-to-end sequential consistency
Found in: Proceedings of the 39th Annual International Symposium on Computer Architecture (ISCA '12)
By Abhayendra Singh, Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy, Todd Millstein
Issue Date:June 2012
pp. 524-535
Sequential consistency (SC) is arguably the most intuitive behavior for a shared-memory multithreaded program. It is widely accepted that language-level SC could significantly improve programmability of a multiprocessor system. However, efficiently support...
     
A case for an SC-preserving compiler
Found in: Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation (PLDI '11)
By Abhayendra Singh, Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy, Todd Millstein
Issue Date:June 2011
pp. 123-128
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support a relaxed model, as such relaxations are deemed necessary for enabling import...
     
 1