CSC/ECE 506 Spring 2013/10b ps: Difference between revisions
No edit summary |
No edit summary |
||
| Line 22: | Line 22: | ||
[http://www.cl.cam.ac.uk/~pes20/ppc-supplemental/test7.pdf 17. http://www.cl.cam.ac.uk/~pes20/ppc-supplemental/test7.pdf] <br /> | [http://www.cl.cam.ac.uk/~pes20/ppc-supplemental/test7.pdf 17. http://www.cl.cam.ac.uk/~pes20/ppc-supplemental/test7.pdf] <br /> | ||
[http://www.cl.cam.ac.uk/~pes20/ppc-supplemental/pldi105-sarkar.pdf 18. http://www.cl.cam.ac.uk/~pes20/ppc-supplemental/pldi105-sarkar.pdf] <br /> | [http://www.cl.cam.ac.uk/~pes20/ppc-supplemental/pldi105-sarkar.pdf 18. http://www.cl.cam.ac.uk/~pes20/ppc-supplemental/pldi105-sarkar.pdf] <br /> | ||
[http://www.cs.utah.edu/formal_verification/publications/conferences/pdf/charme03.pdf 19. http://www.cs.utah.edu/formal_verification/publications/conferences/pdf/charme03.pdf] | [http://www.cs.utah.edu/formal_verification/publications/conferences/pdf/charme03.pdf 19. http://www.cs.utah.edu/formal_verification/publications/conferences/pdf/charme03.pdf] <br /> | ||
[http://www.cl.cam.ac.uk/~pes20/weakmemory/x86tso-paper.tphols.pdf 20. http://www.cl.cam.ac.uk/~pes20/weakmemory/x86tso-paper.tphols.pdf] | |||
Revision as of 21:22, 1 April 2013
Topic_Writeup
Past Wiki 1
Past Wiki 2
References
1. http://www.intel.com/content/www/us/en/architecture-and-technology/64-ia-32-architectures-software-developer-vol-3a-part-1-manual.html
2. http://pic.dhe.ibm.com/infocenter/lnxinfo/v3r0m0/topic/liaaw/ordering.2006.03.13a.pdf
3. http://dl.acm.org/citation.cfm?id=1941553.1941594
4. http://home.deib.polimi.it/speziale/tech/memory_consistency/mc.html
5. http://homes.cs.washington.edu/~djg/papers/asf_micro2010.pdf
6. http://people.ee.duke.edu/~sorin/papers/asplos10_consistency.pdf
7. http://www.rdrop.com/users/paulmck/scalability/paper/whymb.2010.06.07c.pdf
8. http://en.wikipedia.org/wiki/Memory_ordering
9. http://www.montefiore.ulg.ac.be/~pw/cours/psfiles/struct-cours12-e.pdf
10. http://www2.engr.arizona.edu/~ece569a/Readings/ppt/memory.ppt
11. http://ipdps.cc.gatech.edu/2000/fmppta/18000989.pdf
12. http://preshing.com/20120930/weak-vs-strong-memory-models
13. http://csg.csail.mit.edu/pubs/memos/Memo-493/memo-493.pdf
14. http://classes.soe.ucsc.edu/cmpe221/Spring05/papers/29multi.pdf
15. http://os.inf.tu-dresden.de/Studium/DOS/SS2009/04-Coherency.pdf
16. http://infolab.stanford.edu/pub/cstr/reports/csl/tr/95/685/CSL-TR-95-685.pdf
17. http://www.cl.cam.ac.uk/~pes20/ppc-supplemental/test7.pdf
18. http://www.cl.cam.ac.uk/~pes20/ppc-supplemental/pldi105-sarkar.pdf
19. http://www.cs.utah.edu/formal_verification/publications/conferences/pdf/charme03.pdf
20. http://www.cl.cam.ac.uk/~pes20/weakmemory/x86tso-paper.tphols.pdf