Filters








6 Hits in 1.4 sec

Colorama: Architectural Support for Data-Centric Synchronization

Luis Ceze, Pablo Montesinos, Christoph von Praun, Josep Torrellas
2007 2007 IEEE 13th International Symposium on High Performance Computer Architecture  
A significant improvement to the art is Data-Centric Synchronization (DCS), where the programmer uses local reasoning to assign synchronization constraints to data.  ...  This paper proposes novel architectural support to make DCS feasible, and describes its programming model and interface.  ...  Special thanks go to Karin Strauss, Paul Sack, Brian Greskamp, Calin Cascaval and Mark Oskin for their feedback on the paper.  ... 
doi:10.1109/hpca.2007.346192 dblp:conf/hpca/CezeMPT07 fatcat:6tnxrenvdfhn5kpguam36ervhy

Concurrency control with data coloring

Luis Ceze, Christoph von Praun, Călin Caşcaval, Pablo Montesinos, Josep Torrellas
2008 Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance and correctness held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08) - MSPC '08  
In this paper we introduce the Data Coloring programming model, based on the principles of our previous work on architecture support for data-centric synchronization.  ...  Finally, this paper includes empirical data that shows that most of the critical sections in large applications are used in a data-centric manner.  ...  In this paper we introduce the Data Coloring programming model, which is based on the principles of our previous work on architecture support for data-centric synchronization [2] .  ... 
doi:10.1145/1353522.1353525 dblp:conf/asplos/CezePCMT08 fatcat:a32yguryz5evtc72fxyq3hk53a

ColorSafe

Brandon Lucia, Luis Ceze, Karin Strauss
2010 Proceedings of the 37th annual international symposium on Computer architecture - ISCA '10  
We leverage support for meta-data to maintain color information, and signatures to efficiently keep recent color access histories.  ...  In this paper, we propose ColorSafe, an architecture that detects and dynamically avoids single-and multi-variable atomicity violation bugs.  ...  Acknowledgements We thank the anonymous reviewers for their helpful feedback.  ... 
doi:10.1145/1815961.1815988 dblp:conf/isca/LuciaCS10 fatcat:piw4d2pfqjdord5e7ecpejgapm

ColorSafe

Brandon Lucia, Luis Ceze, Karin Strauss
2010 SIGARCH Computer Architecture News  
We leverage support for meta-data to maintain color information, and signatures to efficiently keep recent color access histories.  ...  In this paper, we propose ColorSafe, an architecture that detects and dynamically avoids single-and multi-variable atomicity violation bugs.  ...  Acknowledgements We thank the anonymous reviewers for their helpful feedback.  ... 
doi:10.1145/1816038.1815988 fatcat:gmbbgdprzbfi3lgje3xdfvunkm

MUVI

Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou
2007 ACM SIGOPS Operating Systems Review  
We also implemented MUVI multi-variable extensions to two representative data race bug detection methods (lockset and happens-before).  ...  For example, small applications can use relatively small Min-Support.  ...  The access correlations inferred by MUVI can be used to automatically annotate programs for other tools such as AutoLocker [27] and Colorama [4] .  ... 
doi:10.1145/1323293.1294272 fatcat:new5vfjf3ja2xellf4kual5wdi

MUVI

Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou
2007 Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles - SOSP '07  
We also implemented MUVI multi-variable extensions to two representative data race bug detection methods (lockset and happens-before).  ...  For example, small applications can use relatively small Min-Support.  ...  The access correlations inferred by MUVI can be used to automatically annotate programs for other tools such as AutoLocker [27] and Colorama [4] .  ... 
doi:10.1145/1294261.1294272 dblp:conf/sosp/LuPHMJLPZ07 fatcat:mspr32vdyfabhdmsmh4mhomkkq