{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:27:03Z","timestamp":1725888423202},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319605876"},{"type":"electronic","value":"9783319605883"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-60588-3_12","type":"book-chapter","created":{"date-parts":[[2017,5,29]],"date-time":"2017-05-29T08:35:27Z","timestamp":1496046927000},"page":"184-200","source":"Crossref","is-referenced-by-count":7,"title":["OpenMP Tasking Model for Ada: Safety and Correctness"],"prefix":"10.1007","author":[{"given":"Sara","family":"Royuela","sequence":"first","affiliation":[]},{"given":"Xavier","family":"Martorell","sequence":"additional","affiliation":[]},{"given":"Eduardo","family":"Qui\u00f1ones","sequence":"additional","affiliation":[]},{"given":"Luis Miguel","family":"Pinho","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,30]]},"reference":[{"key":"12_CR1","unstructured":"OpenMP 4.5 (2015). \nhttp:\/\/www.openmp.org\/wp-content\/uploads\/openmp-4.5.pdf"},{"key":"12_CR2","unstructured":"GOMP (2016). \nhttps:\/\/gcc.gnu.org\/projects\/gomp\/"},{"key":"12_CR3","unstructured":"IBM Parallel Environment (2016). \nhttp:\/\/www-03.ibm.com\/systems\/power\/software\/parallel\/"},{"key":"12_CR4","unstructured":"Intel\u00ae OpenMP* Runtime Library (2016). \nhttps:\/\/www.openmprtl.org"},{"key":"12_CR5","unstructured":"NVIDIA\u00ae CUDA C Programming Guide (2016). \nhttps:\/\/docs.nvidia.com\/cuda\/cuda-c-programming-guide\/index.html"},{"key":"12_CR6","unstructured":"OpenMP Technical Report 4: version 5.0 Preview 1 (2016). \nhttp:\/\/www.openmp.org\/wp-content\/uploads\/openmp-tr4.pdf"},{"key":"12_CR7","unstructured":"Intel Interprocedural Optimization (2017). \nhttps:\/\/software.intel.com\/en-us\/node\/522666"},{"key":"12_CR8","unstructured":"Ada Rapporteur Group: AI12-0119-1 (2016). \nhttp:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/ai12s\/ai12-0119-1.txt"},{"issue":"3","key":"12_CR9","first-page":"404","volume":"20","author":"E Ayguad\u00e9","year":"2009","unstructured":"Ayguad\u00e9, E., Copty, N., Duran, A., Hoeflinger, J., Lin, Y., Massaioli, F., Teruel, X., Unnikrishnan, P., Zhang, G.: The design of OpenMP tasks. TPDS 20(3), 404\u2013418 (2009)","journal-title":"TPDS"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-21487-5_4","volume-title":"OpenMP in the Petascale Era","author":"V Basupalli","year":"2011","unstructured":"Basupalli, V., Yuki, T., Rajopadhye, S., Morvan, A., Derrien, S., Quinton, P., Wonnacott, D.: ompVerify: polyhedral analysis for the OpenMP programmer. In: Chapman, B.M., Gropp, W.D., Kumaran, K., M\u00fcller, M.S. (eds.) IWOMP 2011. LNCS, vol. 6665, pp. 37\u201353. Springer, Heidelberg (2011). doi:\n10.1007\/978-3-642-21487-5_4"},{"key":"12_CR11","volume-title":"Programming with POSIX Threads","author":"DR Butenhof","year":"1997","unstructured":"Butenhof, D.R.: Programming with POSIX Threads. Addison-Wesley, Reading (1997)"},{"key":"12_CR12","volume-title":"Using OpenMP: Portable Shared Memory Parallel Programming","author":"B Chapman","year":"2008","unstructured":"Chapman, B., Jost, G., Van Der Pas, R.: Using OpenMP: Portable Shared Memory Parallel Programming, vol. 10. MIT press, Cambridge (2008)"},{"issue":"02","key":"12_CR13","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1142\/S0129626411000151","volume":"21","author":"A Duran","year":"2011","unstructured":"Duran, A., Ayguad\u00e9, E., Badia, R.M., Labarta, J., Martinell, L., Martorell, X., Planas, J.: Ompss: a proposal for programming heterogeneous multi-core architectures. Parallel Process. Lett. 21(02), 173\u2013193 (2011)","journal-title":"Parallel Process. Lett."},{"issue":"4","key":"12_CR14","first-page":"393","volume":"35","author":"A Duran","year":"2007","unstructured":"Duran, A., Ferrer, R., Costa, J.J., Gonz\u00e0lez, M., Martorell, X., Ayguad\u00e9, E., Labarta, J.: A proposal for error handling in OpenMP. IJPP 35(4), 393\u2013416 (2007)","journal-title":"IJPP"},{"key":"12_CR15","unstructured":"Ferrer, R., Royuela, S., Caballero, D., Duran, A., Martorell, X., Ayguad\u00e9, E.: Mercurium: Design decisions for a s2s compiler. In: Cetus Users and Compiler Infastructure Workshop in conjunction with PACT (2011)"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"654","DOI":"10.1007\/978-3-642-03869-3_62","volume-title":"Euro-Par 2009 Parallel Processing","author":"P Kegel","year":"2009","unstructured":"Kegel, P., Schellmann, M., Gorlatch, S.: Using OpenMP vs. threading building blocks for medical imaging on multi-cores. In: Sips, H., Epema, D., Lin, H.-X. (eds.) Euro-Par 2009. LNCS, vol. 5704, pp. 654\u2013665. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-03869-3_62"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Krawezik, G., Cappello, F.: Performance comparison of MPI and three OpenMP programming styles on shared memory multiprocessors. In: SPAA. ACM (2003)","DOI":"10.1145\/777412.777433"},{"issue":"12","key":"12_CR18","doi-asserted-by":"crossref","first-page":"1165","DOI":"10.1002\/1096-9128(200010)12:12<1165::AID-CPE529>3.0.CO;2-L","volume":"12","author":"B Kuhn","year":"2000","unstructured":"Kuhn, B., Petersen, P., O\u2019Toole, E.: OpenMP versus threading in C\/C++. Concurrency Pract. Experience 12(12), 1165\u20131176 (2000)","journal-title":"Concurrency Pract. Experience"},{"issue":"4","key":"12_CR19","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/1594835.1504194","volume":"44","author":"S Lee","year":"2009","unstructured":"Lee, S., Min, S.J., Eigenmann, R.: OpenMP to GPGPU: a compiler framework for automatic translation and optimization. SIGPLAN Not. 44(4), 101\u2013110 (2009)","journal-title":"SIGPLAN Not."},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-68555-5_4","volume-title":"OpenMP Shared Memory Parallel Programming","author":"Y Lin","year":"2008","unstructured":"Lin, Y.: Static nonconcurrency analysis of OpenMP programs. In: Mueller, M.S., Chapman, B.M., Supinski, B.R., Malony, A.D., Voss, M. (eds.) IWOMP -2005. LNCS, vol. 4315, pp. 36\u201350. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-68555-5_4"},{"key":"12_CR21","unstructured":"Lisper, B.: Towards parallel programming models for predictability. In: OASIcs, vol. 23. Schloss Dagstuhl LZI (2012)"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Ma, H., Diersen, S.R., Wang, L., Liao, C., Quinlan, D., Yang, Z.: Symbolic analysis of concurrency errors in openmp programs. In: ICPP, pp. 510\u2013516. IEEE (2013)","DOI":"10.1109\/ICPP.2013.63"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-38601-5_2","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2013","author":"S Michell","year":"2013","unstructured":"Michell, S., Moore, B., Pinho, L.M.: Tasklettes \u2013 a fine grained parallelism for ada on multicores. In: Keller, H.B., Pl\u00f6dereder, E., Dencker, P., Klenk, H. (eds.) Ada-Europe 2013. LNCS, vol. 7896, pp. 17\u201334. Springer, Heidelberg (2013). doi:\n10.1007\/978-3-642-38601-5_2"},{"issue":"8","key":"12_CR24","first-page":"1190","volume":"39","author":"L Pinho","year":"2015","unstructured":"Pinho, L., Nelis, V., Yomsi, P., Quinones, E., Bertogna, M., Burgio, P., Marongiu, A., Scordino, C., Gai, P., Ramponi, M., Mardiak, M.: P-SOCRATES: a parallel software framework for time-critical many-core systems. MICPRO 39(8), 1190\u20131203 (2015)","journal-title":"MICPRO"},{"issue":"1","key":"12_CR25","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/2971571.2971583","volume":"36","author":"LM Pinho","year":"2016","unstructured":"Pinho, L.M., Michell, S.: Session summary: parallel and multicore systems. Ada Lett. 36(1), 83\u201390 (2016)","journal-title":"Ada Lett."},{"issue":"1","key":"12_CR26","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/2870544.2870551","volume":"35","author":"LM Pinho","year":"2015","unstructured":"Pinho, L.M., Moore, B., Michell, S., Taft, S.T.: Real-time fine-grained parallelism in ada. ACM SIGAda Ada Lett. 35(1), 46\u201358 (2015)","journal-title":"ACM SIGAda Ada Lett."},{"key":"12_CR27","volume-title":"Intel Threading Building Blocks","author":"J Reinders","year":"2007","unstructured":"Reinders, J.: Intel Threading Building Blocks. O\u2019Reilly & Associates Inc, Sebastopol (2007)"},{"key":"12_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-30961-8_3","volume-title":"OpenMP in a Heterogeneous World","author":"S Royuela","year":"2012","unstructured":"Royuela, S., Duran, A., Liao, C., Quinlan, D.J.: Auto-scoping for OpenMP tasks. In: Chapman, B.M., Massaioli, F., M\u00fcller, M.S., Rorro, M. (eds.) IWOMP 2012. LNCS, vol. 7312, pp. 29\u201343. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-30961-8_3"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Royuela, S., Ferrer, R., Caballero, D., Martorell, X.: Compiler analysis for OpenMP tasks correctness. In: Computing Frontiers, p. 7. ACM (2015)","DOI":"10.1145\/2742854.2742882"},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"Serrano, M.A., Melani, A., Bertogna, M., Quinones, E.: Response-time analysis of DAG tasks under fixed priority scheduling with limited preemptions. In: DATE, pp. 1066\u20131071. IEEE (2016)","DOI":"10.3850\/9783981537079_0150"},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"Shen, J., Fang, J., Sips, H., Varbanescu, A.L.: Performance gaps between OpenMP and OpenCL for multi-core CPUs. In: ICPPW, pp. 116\u2013125. IEEE (2012)","DOI":"10.1109\/ICPPW.2012.18"},{"key":"12_CR32","first-page":"5","volume":"6","author":"KL Sielski","year":"1993","unstructured":"Sielski, K.L.: Implementing Ada 83 and Ada 9X using solaris threads. Ada: Towards Maturity 6, 5 (1993)","journal-title":"Ada: Towards Maturity"},{"key":"12_CR33","volume-title":"MPI-the Complete Reference: The MPI Core","author":"M Snir","year":"1998","unstructured":"Snir, M.: MPI-the Complete Reference: The MPI Core, vol. 1. MIT press, Cambridge (1998)"},{"issue":"3","key":"12_CR34","first-page":"66","volume":"12","author":"JE Stone","year":"2010","unstructured":"Stone, J.E., Gohara, D., Shi, G.: OpenCL: a parallel programming standard for heterogeneous computing systems. CSE 12(3), 66\u201373 (2010)","journal-title":"CSE"},{"issue":"3","key":"12_CR35","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/2692956.2663181","volume":"34","author":"ST Taft","year":"2014","unstructured":"Taft, S.T., Moore, B., Pinho, L.M., Michell, S.: Safe parallel programming in Ada with language extensions. ACM SIGAda Ada Lett. 34(3), 87\u201396 (2014)","journal-title":"ACM SIGAda Ada Lett."},{"key":"12_CR36","doi-asserted-by":"crossref","unstructured":"Varbanescu, A.L., Hijma, P., Van Nieuwpoort, R., Bal, H.: Towards an effective unified programming model for many-cores. In: IPDPS, pp. 681\u2013692. IEEE (2011)","DOI":"10.1109\/IPDPS.2011.210"},{"key":"12_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-642-13217-9_6","volume-title":"Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More","author":"M Wong","year":"2010","unstructured":"Wong, M., Klemm, M., Duran, A., Mattson, T., Haab, G., Supinski, B.R., Churbanov, A.: Towards an error model for OpenMP. In: Sato, M., Hanawa, T., M\u00fcller, M.S., Chapman, B.M., Supinski, B.R. (eds.) IWOMP 2010. LNCS, vol. 6132, pp. 70\u201382. Springer, Heidelberg (2010). doi:\n10.1007\/978-3-642-13217-9_6"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60588-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,29]],"date-time":"2017-05-29T08:39:21Z","timestamp":1496047161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60588-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319605876","9783319605883"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60588-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}