{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:15:40Z","timestamp":1742912140605,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319095806"},{"type":"electronic","value":"9783319095813"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09581-3_3","type":"book-chapter","created":{"date-parts":[[2014,8,2]],"date-time":"2014-08-02T11:20:14Z","timestamp":1406978414000},"page":"25-40","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Abort Free SemanticTM by Dependency Aware Scheduling of Transactional Instructions"],"prefix":"10.1007","author":[{"given":"Hillel","family":"Avni","sequence":"first","affiliation":[]},{"given":"Shlomi","family":"Dolev","sequence":"additional","affiliation":[]},{"given":"Panagiota","family":"Fatourou","sequence":"additional","affiliation":[]},{"given":"Eleftherios","family":"Kosmas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,8,3]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-33651-5_21","volume-title":"Distributed Computing","author":"Y Afek","year":"2012","unstructured":"Afek, Y., Matveev, A., Shavit, N.: Pessimistic software lock-elision. In: Aguilera, M.K. (ed.) DISC 2012. LNCS, vol. 7611, pp. 297\u2013311. Springer, Heidelberg (2012)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-540-92990-1_3","volume-title":"High Performance Embedded Architectures and Compilers","author":"M Ansari","year":"2009","unstructured":"Ansari, M., Luj\u00e1n, M., Kotselidis, C., Jarvis, K., Kirkham, C., Watson, I.: Steal-on-abort: improving transactional memory performance through dynamic transaction reordering. In: Seznec, A., Emer, J., O\u2019Boyle, M., Martonosi, M., Ungerer, T. (eds.) HiPEAC 2009. LNCS, vol. 5409, pp. 4\u201318. Springer, Heidelberg (2009)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Attiya, H., Epstein, L., Shachnai, H., Tamir, T.: Transactional contention management as a non-clairvoyant scheduling problem. In: Proceedings of the 25th Annual ACM Symposium on Principles of Distributed Computing, PODC \u201906, ACM, New York, pp. 308\u2013315 (2006)","DOI":"10.1145\/1146381.1146428"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-17679-1_8","volume-title":"Distributed Computing and Networking","author":"H Attiya","year":"2011","unstructured":"Attiya, H., Hillel, E.: Single-version STMs can be multi-version permissive (extended abstract). In: Aguilera, M.K., Yu, H., Vaidya, N.H., Srinivasan, V., Choudhury, R.R. (eds.) ICDCN 2011. LNCS, vol. 6522, pp. 83\u201394. Springer, Heidelberg (2011)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-04355-0_13","volume-title":"Distributed Computing","author":"H Attiya","year":"2009","unstructured":"Attiya, H., Milani, A.: Brief announcement: transactional scheduling for read-dominated workloads. In: Keidar, I. (ed.) DISC 2009. LNCS, vol. 5805, pp. 108\u2013110. Springer, Heidelberg (2009)"},{"key":"3_CR6","unstructured":"Attiya, H., Sainz, D.: Relstm: a proactive transactional memory scheduler. In: Proceedings of the 8th ACM SIGPLAN Workshop on Transactional Computing, TRANSACT \u201913 (2013)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-35170-9_10","volume-title":"Middleware 2012","author":"J Barreto","year":"2012","unstructured":"Barreto, J., Dragojevic, A., Ferreira, P., Filipe, R., Guerraoui, R.: Unifying thread-level speculation and transactional memory. In: Narasimhan, P., Triantafillou, P. (eds.) Middleware 2012. LNCS, vol. 7662, pp. 187\u2013207. Springer, Heidelberg (2012)"},{"issue":"6","key":"3_CR8","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1109\/TPDS.2005.69","volume":"16","author":"M Cintra","year":"2005","unstructured":"Cintra, M., Llanos, D.R.: Design space exploration of a software speculative parallelization scheme. IEEE Trans. Parallel Distrib. Syst. 16(6), 562\u2013576 (2005)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"2","key":"3_CR9","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/342001.363382","volume":"28","author":"M Cintra","year":"2000","unstructured":"Cintra, M., Mart\u00ednez, J.F., Torrellas, J.: Architectural support for scalable speculative parallelization in shared-memory multiprocessors. SIGARCH Comput. Archit. News 28(2), 13\u201324 (2000)","journal-title":"SIGARCH Comput. Archit. News"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/11864219_14","volume-title":"Distributed Computing","author":"D Dice","year":"2006","unstructured":"Dice, D., Shalev, O., Shavit, N.N.: Transactional locking II. In: Dolev, S. (ed.) DISC 2006. LNCS, vol. 4167, pp. 194\u2013208. Springer, Heidelberg (2006)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Dolev, S., Hendler, D., Suissa, A.: Car-stm: scheduling-based collision avoidance and resolution for software transactional memory. In: Proceedings of the 27th ACM Symposium on Principles of Distributed Computing, PODC \u201908, pp. 125\u2013134. ACM, New York (2008)","DOI":"10.1145\/1400751.1400769"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Dragojevi\u0107, A., Guerraoui, R., Singh, A.V., Singh, V.: Preventing versus curing: avoiding conflicts in transactional memories. In: Proceedings of the 28th ACM Symposium on Principles of Distributed Computing, PODC \u201909, pp. 7\u201316. ACM, New York (2009)","DOI":"10.1145\/1582716.1582725"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-540-87779-0_21","volume-title":"Distributed Computing","author":"R Guerraoui","year":"2008","unstructured":"Guerraoui, R., Henzinger, T.A., Singh, V.: Permissiveness in transactional memories. In: Taubenfeld, G. (ed.) DISC 2008. LNCS, vol. 5218, pp. 305\u2013319. Springer, Heidelberg (2008)"},{"key":"3_CR14","unstructured":"Guerraoui, R., Herlihy, M., Kapalka, M., Pochon, B.: Robust contention management in software transactional memory. In: OOPSLA \u201905 Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL \u201905) (2005)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Guerraoui, R., Herlihy, M., Pochon, B.: Toward a theory of transactional contention managers. In: Proceedings of the 24th Annual ACM Symposium on Principles of Distributed Computing, PODC \u201905, pp. 258\u2013264. ACM, New York (2005)","DOI":"10.1145\/1073814.1073863"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Guerraoui, R., Kapalka, M.: On the correctness of transactional memory. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP \u201908, pp. 175\u2013184. ACM, New York (2008)","DOI":"10.1145\/1345206.1345233"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Guerraoui, R., Kapalka, M., Vitek, J.: Stmbench7: a benchmark for software transactional memory. In: Proceedings of the 2nd ACM SIGOPS\/EuroSys European Conference on Computer Systems 2007, EuroSys \u201907, pp. 315\u2013324. ACM, New York (2007)","DOI":"10.1145\/1272996.1273029"},{"key":"3_CR18","unstructured":"Matveev, A., Shavit, N.: Towards a fully pessimistic stm model. In: 7th ACM SIGPLAN Workshop on Transactional Computing, TRANSACT\u201912 (2012)"},{"issue":"1","key":"3_CR19","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0304-3975(94)90151-1","volume":"130","author":"R Motwani","year":"1994","unstructured":"Motwani, R., Phillips, S., Torng, E.: Non-clairvoyant scheduling. Theor. Comput. Sci. 130(1), 17\u201347 (1994)","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20132","key":"3_CR20","doi-asserted-by":"publisher","first-page":"928","DOI":"10.14778\/1920841.1920959","volume":"3","author":"I Pandis","year":"2010","unstructured":"Pandis, I., Johnson, R., Hardavellas, N., Ailamaki, A.: Data-oriented transaction execution. Proc. VLDB Endow. 3(1\u20132), 928\u2013939 (2010)","journal-title":"Proc. VLDB Endow."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Perelman, D., Fan, R., Keidar, I.: On maintaining multiple versions in stm. In: Proceedings of the 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC \u201910, pp. 16\u201325. ACM, New York (2010)","DOI":"10.1145\/1835698.1835704"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Ramadan, H.E., Roy, I., Herlihy, M., Witchel, E.: Committing conflicting transactions in an stm. In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP \u201909, pp. 163\u2013172. ACM, New York (2009)","DOI":"10.1145\/1504176.1504201"},{"key":"3_CR23","unstructured":"Riegel, T.: Software transactional memory building blocks. Ph.D. thesis, Technische Universit\u00e4t Dresden, Dresden, 01062 Dresden, Germany (2013)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Scherer III, W.N., Scott, M.L.: Advanced contention management for dynamic software transactional memory. In: Proceedings of the 24th Annual ACM Symposium on Principles of Distributed Computing, PODC \u201905, pp. 240\u2013248. ACM, New York (2005)","DOI":"10.1145\/1073814.1073861"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Welc, A., Saha, B., Adl-Tabatabai, A.-R.: Irrevocable transactions and their applications. In: Proceedings of the 20th Annual Symposium on Parallelism in Algorithms and Architectures, SPAA \u201908, pp. 285\u2013296. ACM, New York (2008)","DOI":"10.1145\/1378533.1378584"},{"issue":"4","key":"3_CR26","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/2400682.2400698","volume":"9","author":"P Yiapanis","year":"2013","unstructured":"Yiapanis, P., Rosas-Ham, D., Brown, G., Luj\u00e1n, M.: Optimizing software runtime systems for speculative parallelization. ACM Trans. Archit. Code Optim. 9(4), 391\u20133927 (2013)","journal-title":"ACM Trans. Archit. Code Optim."},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Yoo, R.M., Lee, H.-H.S.: Adaptive transaction scheduling for transactional memory systems. In: Proceedings of the 20th Annual Symposium on Parallelism in Algorithms and Architectures, SPAA \u201908, pp. 169\u2013178. ACM, New York (2008)","DOI":"10.1145\/1378533.1378564"}],"container-title":["Lecture Notes in Computer Science","Networked Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09581-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T12:35:51Z","timestamp":1676637351000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-09581-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319095806","9783319095813"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09581-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"3 August 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}