{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:16:48Z","timestamp":1750306608511,"version":"3.41.0"},"reference-count":28,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2015,5,21]],"date-time":"2015-05-21T00:00:00Z","timestamp":1432166400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","award":["1983.001"],"award-info":[{"award-number":["1983.001"]}],"id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NSF","award":["CCF-0903384, CCF-0903295, CNS-1319495, CNS-1319095"],"award-info":[{"award-number":["CCF-0903384, CCF-0903295, CNS-1319495, CNS-1319095"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2015,5,21]]},"abstract":"<jats:p>Embedded systems are becoming increasingly common in everyday life and like their general-purpose counterparts, they have shifted towards shared memory multicore architectures. However, they are much more resource constrained, and as they often run on batteries, energy efficiency becomes critically important. In such systems, achieving high concurrency is a key demand for delivering satisfactory performance at low energy cost. In order to achieve this high concurrency, consistency across the shared memory hierarchy must be accomplished in a cost-effective manner in terms of performance, energy, and implementation complexity. In this article, we propose Embedded-Spec, a hardware solution for supporting transparent lock speculation, without the requirement for special supporting instructions. Using this approach, we evaluate the energy consumption and performance of a suite of benchmarks, exploring a range of contention management and retry policies. We conclude that for resource-constrained platforms, lock speculation can provide real benefits in terms of improved concurrency and energy efficiency, as long as the underlying hardware support is carefully configured.<\/jats:p>","DOI":"10.1145\/2700097","type":"journal-article","created":{"date-parts":[[2015,5,26]],"date-time":"2015-05-26T14:36:05Z","timestamp":1432650965000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Energy-Efficient and High-Performance Lock Speculation Hardware for Embedded Multicore Systems"],"prefix":"10.1145","volume":"14","author":[{"given":"Dimitra","family":"Papagiannopoulou","sequence":"first","affiliation":[{"name":"Brown University, Boston University, Providence, RI"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Capodanno","sequence":"additional","affiliation":[{"name":"Brown University, Boston University, Providence, RI"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tali","family":"Moreshet","sequence":"additional","affiliation":[{"name":"Brown University, Boston University, Boston, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurice","family":"Herlihy","sequence":"additional","affiliation":[{"name":"Brown University, Boston University, Providence, RI"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. Iris","family":"Bahar","sequence":"additional","affiliation":[{"name":"Brown University, Boston University, Providence, RI"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,5,21]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_2_1_1_1","DOI":"10.1109\/HPCA.2005.41"},{"doi-asserted-by":"crossref","unstructured":"F. Angiolini J. Ceng R. Leupers F. Ferrari C. Ferri and L. Benini. 2006. An integrated open framework for heterogeneous MPSoC design space exploration. In DATE\u201906. European Design and Automation Association 1145--1150.   F. Angiolini J. Ceng R. Leupers F. Ferrari C. Ferri and L. Benini. 2006. An integrated open framework for heterogeneous MPSoC design space exploration. In DATE\u201906. European Design and Automation Association 1145--1150.","key":"e_1_2_1_2_1","DOI":"10.1109\/DATE.2006.244000"},{"doi-asserted-by":"publisher","key":"e_1_2_1_3_1","DOI":"10.1109\/L-CA.2006.18"},{"doi-asserted-by":"publisher","key":"e_1_2_1_4_1","DOI":"10.1109\/ISCA.2008.24"},{"doi-asserted-by":"publisher","key":"e_1_2_1_5_1","DOI":"10.1145\/1755913.1755918"},{"doi-asserted-by":"publisher","key":"e_1_2_1_6_1","DOI":"10.1145\/1508284.1508263"},{"doi-asserted-by":"publisher","key":"e_1_2_1_7_1","DOI":"10.1145\/566408.566445"},{"doi-asserted-by":"publisher","key":"e_1_2_1_8_1","DOI":"10.1145\/2039370.2039380"},{"doi-asserted-by":"publisher","key":"e_1_2_1_9_1","DOI":"10.1016\/j.jpdc.2010.02.003"},{"doi-asserted-by":"publisher","key":"e_1_2_1_10_1","DOI":"10.1007\/978-3-642-11515-8_6"},{"doi-asserted-by":"publisher","key":"e_1_2_1_11_1","DOI":"10.5555\/1128020.1128563"},{"doi-asserted-by":"publisher","key":"e_1_2_1_12_1","DOI":"10.5555\/998680.1006711"},{"doi-asserted-by":"publisher","key":"e_1_2_1_13_1","DOI":"10.5555\/1855056"},{"doi-asserted-by":"publisher","key":"e_1_2_1_14_1","DOI":"10.1145\/165123.165164"},{"key":"e_1_2_1_15_1","volume-title":"IEEE Symposium on Low Power Electronics. 8--11","author":"Horowitz M.","year":"1994","unstructured":"M. Horowitz , T. Indermaur , and R. Gonzalez . 1994. Low-power digital design . In IEEE Symposium on Low Power Electronics. 8--11 . DOI:http:\/\/dx.doi.org\/10.1109\/LPE. 1994 .573184 10.1109\/LPE.1994.573184 M. Horowitz, T. Indermaur, and R. Gonzalez. 1994. Low-power digital design. In IEEE Symposium on Low Power Electronics. 8--11. DOI:http:\/\/dx.doi.org\/10.1109\/LPE.1994.573184"},{"unstructured":"Intel Corporation. 2012. Transactional Synchronization in Haswell. Retrieved from http:\/\/software.intel.com\/en-us\/blogs\/2012\/02\/07\/transactional-synchronizati on-in-haswell\/.  Intel Corporation. 2012. Transactional Synchronization in Haswell. Retrieved from http:\/\/software.intel.com\/en-us\/blogs\/2012\/02\/07\/transactional-synchronizati on-in-haswell\/.","key":"e_1_2_1_16_1"},{"unstructured":"D. Kanter. 2012. Analysis of Haswells Transactional Memory. Retrieved from http:\/\/www.realworldtech.com\/haswell-tm\/.  D. Kanter. 2012. Analysis of Haswells Transactional Memory. Retrieved from http:\/\/www.realworldtech.com\/haswell-tm\/.","key":"e_1_2_1_17_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_18_1","DOI":"10.1145\/2576966.2579227"},{"volume-title":"Proceedings of the International Symposium on Workload Characterization.","author":"Minh C. C.","unstructured":"C. C. Minh , J. W. Chung , C. Kozyrakis , and K. Olukotun . 2008. STAMP: Stanford transactional applications for multi-processing . In Proceedings of the International Symposium on Workload Characterization. C. C. Minh, J. W. Chung, C. Kozyrakis, and K. Olukotun. 2008. STAMP: Stanford transactional applications for multi-processing. In Proceedings of the International Symposium on Workload Characterization.","key":"e_1_2_1_19_1"},{"volume-title":"Proceedings of the 12th International Symposium on High-Performance Computer Architecture (HPCA\u201906)","author":"Moore K. E.","unstructured":"K. E. Moore , J. Bobba , M. J. Moravan , M. D. Hill , and D. A. Wood . 2006. LogTM: Log-based transactional memory . In Proceedings of the 12th International Symposium on High-Performance Computer Architecture (HPCA\u201906) . 254--265. K. E. Moore, J. Bobba, M. J. Moravan, M. D. Hill, and D. A. Wood. 2006. LogTM: Log-based transactional memory. In Proceedings of the 12th International Symposium on High-Performance Computer Architecture (HPCA\u201906). 254--265.","key":"e_1_2_1_20_1"},{"volume-title":"6th ACM SIGGPLAN Workshop on Transactional Computing (TRANSACT\u201911)","author":"Pohlack M.","unstructured":"M. Pohlack and S. Diestelhorst . 2011. From lightweight hardware transactional memory to lightweight lock elision . Presented at the 6th ACM SIGGPLAN Workshop on Transactional Computing (TRANSACT\u201911) . M. Pohlack and S. Diestelhorst. 2011. From lightweight hardware transactional memory to lightweight lock elision. Presented at the 6th ACM SIGGPLAN Workshop on Transactional Computing (TRANSACT\u201911).","key":"e_1_2_1_21_1"},{"volume-title":"Proceedings of the 34th Annual ACM\/IEEE International Symposium on Microarchitecture (MICRO 34\u201901)","author":"Rajwar R.","unstructured":"R. Rajwar and J. R. Goodman . 2001. Speculative lock elision: Enabling highly concurrent multithreaded execution . In Proceedings of the 34th Annual ACM\/IEEE International Symposium on Microarchitecture (MICRO 34\u201901) . 294--305. http:\/\/dl.acm.org\/citation.cfm&quest;id&equals;563998.564036 R. Rajwar and J. R. Goodman. 2001. Speculative lock elision: Enabling highly concurrent multithreaded execution. In Proceedings of the 34th Annual ACM\/IEEE International Symposium on Microarchitecture (MICRO 34\u201901). 294--305. http:\/\/dl.acm.org\/citation.cfm&quest;id&equals;563998.564036","key":"e_1_2_1_22_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_23_1","DOI":"10.1145\/605397.605399"},{"doi-asserted-by":"publisher","key":"e_1_2_1_24_1","DOI":"10.1109\/ISCA.2005.54"},{"doi-asserted-by":"publisher","key":"e_1_2_1_25_1","DOI":"10.1016\/j.jpdc.2010.03.006"},{"unstructured":"STMicroelectronics. 2008. Nomadik Platform. www.st.com. (2008).  STMicroelectronics. 2008. Nomadik Platform. www.st.com. (2008).","key":"e_1_2_1_26_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_27_1","DOI":"10.1145\/1669112.1669132"},{"doi-asserted-by":"publisher","key":"e_1_2_1_28_1","DOI":"10.1109\/HPCA.2007.346204"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2700097","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2700097","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:17:00Z","timestamp":1750227420000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2700097"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,21]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,5,21]]}},"alternative-id":["10.1145\/2700097"],"URL":"https:\/\/doi.org\/10.1145\/2700097","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2015,5,21]]},"assertion":[{"value":"2014-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}