計算機構論II, 2009

増原担当分

1. 新し目の紹介記事
   Larus, J. and Kozyrakis, C. 2008. Transactional memory. Commun. ACM 51, 7 (Jul. 2008), 80-88. local
2. 言語機能としての最初期の提案
   Lomet, D. B. 1977. Process structuring, synchronization, and recovery using atomic actions. SIGPLAN Not. 12, 3 (Mar. 1977), 128-137. local
3. ハードウェア機能についての最初期の提案
   Herlihy, M. and Moss, J. E. 1993. Transactional memory: architectural support for lock-free data structures. SIGARCH Comput. Archit. News 21, 2 (May. 1993), 289-300. local
4. STMを言語にとり入れた提案
   Harris, T. and Fraser, K. 2003. Language support for lightweight transactions. SIGPLAN Not. 38, 11 (Nov. 2003), 388-402. (OOPSLA) local
5. ハードウェア支援についての概説 Saha, B., Adl-Tabatabai, A., and Jacobson, Q. 2006. Architectural Support for Software Transactional Memory. In Proceedings of the 39th Annual IEEE/ACM international Symposium on Microarchitecture (December 09 - 13, 2006). International Symposium on Microarchitecture. IEEE Computer Society, Washington, DC, 185-196. local
6. STMについてのより最近の研究
   Adl-Tabatabai, A., Lewis, B. T., Menon, V., Murphy, B. R., Saha, B., and Shpeisman, T. 2006. Compiler and runtime support for efficient software transactional memory. In Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (Ottawa, Ontario, Canada, June 11 - 14, 2006). PLDI '06. ACM, New York, NY, 26-37. local
7. 関数型言語とSTM
   Simon Peyton Jones, Beautiful Concurrency, in Beautiful Code Leading Programmers Explain How They Think By Andy Oram, Greg Wilson Edited by Andy Oram, Greg Wilson June 2007 Pages: 618 local
8. 高度な話題
   Koskinen, E. and Herlihy, M. 2008. Checkpoints and continuations instead of nested transactions. In Proceedings of the Twentieth Annual Symposium on Parallelism in Algorithms and Architectures (Munich, Germany, June 14 - 16, 2008). SPAA '08. ACM, New York, NY, 160-168. local
9. ハードウェア性能
   Cascaval, C., Blundell, C., Michael, M., Cain, H. W., Wu, P., Chiras, S., and Chatterjee, S. 2008. Software Transactional Memory: Why Is It Only a Research Toy?. Queue 6, 5 (Sep. 2008), 46-58. local
10. STMの初期の提案。証明が長いのでつらいかも
    N Shavit, D Touitou, Software transactional memory, Distributed Computing, 1997 - Springer local
11. 高度な話題(ワークステーションクラスタとSTM)
    Bocchino, R. L., Adve, V. S., and Chamberlain, B. L. 2008. Software transactional memory for large scale clusters. In Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Salt Lake City, UT, USA, February 20 - 23, 2008). PPoPP '08. ACM, New York, NY, 247-258. local