nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

Teaching Software Transactional Memory in Concurrency Courses with Clojure and Java

verfasst von : Antonio J. Tomeu, Alberto G. Salguero, Manuel I. Capel

Erschienen in: Euro-Par 2017: Parallel Processing Workshops

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

In the field of concurrency and parallelism, it is known that the use of lock-based synchronization mechanisms limits the programming efficiency of concurrent applications and reveals problems in thread synchronization. Software Transactional Memory (STM) is a consolidated concurrency control mechanism that may be considered as an alternative to lock-based constructs for programming critical software, although STM is still not fully accepted as a programming model for the industry. It is our opinion that STM programming must be more emphasized in undergraduate courses on concurrency and parallelism. In this paper we propose an academic experience regarding the introduction of STM programming in concurrency courses by using the Clojure language as the common vehicle for teaching Concurrent Programming. Java, the most popular and extended programming language for teaching concurrency, becomes a second language in our course, and thus our students can take advantage of Clojure API which is defined in Java in order to simplify the development of programming, lectures and assignments.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Cellular ANTomata: A Tool for Early PDC Education

Nächstes Kapitel Benefits of a Coordinated Fog-to-Cloud Resources Management Strategy on a Smart City Scenario

The transactional memory was introduced by us in this section during the academic year 2016–2017 to carry out the study.

Students were asked, within the corresponding assignment, to do just that.

All code shown in the rest of the document is available at the following URL: https://antoniotomeu.wixsite.com/atomeu/stmjavaonclojure.

Time were measured using the nanoTime() method of Java System class. This implies that it is a time that only and exclusively makes sense in the realm of the virtual machine, and has no relation whatsoever was the time provided by the system clock. However, Clojure, like Java itself, executes bytecodes on the JVM, which gives consistency to the results.

Brevnov, E., Dolgov, Y., Kuznetsov, B., Yhershov, D., Shakin, V., Chen, D., Menon, V., Srinivas, S.: Practical experiences with Java software transactional memory. In: The 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (2008)

Carlstrom, B., Chung, J., Chafi, H., McDonald, A., Minh, C., Hammond, L., Kozyrakis, K., Olukotun, K.: Executing Java programs with transactional memory. Sci. Comput. Program. 63, 111–129 (2006)MathSciNetCrossRefMATH

Cascaval, C., Blundell, C., Michael, M., Cain, H., Wu, P., Chiras, S., Chaterjee, S.: Software transactional memory: why is it only a research toy. Commun. ACM 51(11) (2008). https://doi.org/10.1145/1400214.1400228

Clarke, F., Ekeland, I., Pedrero, M., Gutierrez, E., Romero, S., Plata, O.: Improving transactional memory performance for irregular applications. Procedia Comput. Sci. 51, 2714–2718 (2015)CrossRef

The Joint Task Force on Computing Curricula, Association for Computing Machinery (ACM) and IEEE Computer Society. Computer Science Curricula 2013 Curriculum Guidelines for Undergraduate Degree Programs in Computer Science. https://www.acm.org/education/CS2013-final-report.pdf. Accessed 27 Mar 2017

Dias, R., Vale, T., Lourenço, J.: Efficient support for in-place metadata in Java software transactional memory. Concurr. Comput. Pract. Exp. 25, 2394–2411 (2013). https://doi.org/10.1002/cpe.3098. Wiley Online LibraryCrossRef

Diegues, N., Fernandes, S., Cachopo, J.: Parallel nesting in a lock-free multi-version software transactional memory. Technical report RT/2/2012 (2012). http://algos.inesc-id.pt/~jpa/InscI/poisson/varwwwhtml/portal/ficheiros/publicacoes/7621.pdf. Accessed 20 Mar 2017

Fernández, J.: Java 7 Concurrency CookBook. Packt Publishing, Birmingham (2012)

Gosling, J., Joy, B., Steele, G., Bracha, G., Buckley, A.: The Java Language Specification. Java SE, 8 edn (2015). https://docs.oracle.com/javase/specs/jls/se8/jls8.pdf. Accessed 15 Feb 2017

10.

Herlihy, M., Luchangco, V., Moir, M.: A flexible framework for implementing software transactional memory. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.394.9533&rep=rep1&type=pdf. Accessed 20 Mar 2017

11.

ISO: Working Draft, Standard for Programming Language C++ (2016). http://open-std.org/JTC1/SC22/WG21/docs/papers/2016/n4618.pdf. Accessed 16 Feb 2017

12.

Malde, K.: Can software transactional memory make concurrent programs simple and safe? http://cs.brown.edu/~mph/HerlihyLM06/dstm2.pdf. Accessed 20 Mar 2017

13.

Mizuno, K., Nakaike, T., Nakatani, T.: Reducing rollbacks of transactional memory using ordered shared locks. In: Sips, H., Epema, D., Lin, H.-X. (eds.) Euro-Par 2009. LNCS, vol. 5704, pp. 704–715. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-03869-3_66 CrossRef

14.

Mohamedin, M., Ravindran, B., Palmieri, R.: ByteSTM: Virtual Machine-level Java Software Transactional Memory. http://www.ssrg.ece.vt.edu/papers/coordination_15_CR.pdf. Accessed 20 Mar 2017

15.

Nakaike, T., Odaira, R., Nakatani, T., Michael, M.: Real Java applications in software transactional memory. In: IEEE International Symposium on Workload Characterization (2010). https://doi.org/10.1109/IISWC.2010.5654431

16.

Pankratius, V., Adl-Tatabai, A.: Software engineering with transactional memory versus locks in practice. Theory Comput. Syst. 55(3), 555–590 (2013). https://doi.org/10.1007/s00224-013-9452-5 MathSciNetCrossRef

17.

Prasad, S.K., et al.: NSF/IEEE-TCPP curriculum initiative on parallel and distributed computing - core topics for undergraduates. https://grid.cs.gsu.edu/~tcpp/curriculum/?q=system/files/NSF-TCPP-curriculum-version1.pdf. Accessed 20 Mar 2017

18.

Subramanian, V.: Programming Concurrency on the JVM: Masterig Synchronization, STMA, and Actors. The Pragmatic Bookshelf, Dallas (2011)

19.

Yamada, Y., Iwasaki, H., Ugawa, T.: SAW: Java synchronization selection from lock or software transactional memory. In: Proceeding of IEEE 17th International Conference on Parallel and Distributed Systems, pp. 104–111 (2011)

20.

Ziarek, L., Welc, A., Adl-Tabatabi, A., Menon, V., Shpeisman, T., Jagannathan, S.: A uniform transactional execution environment for Java. https://www.cs.purdue.edu/homes/suresh/papers/ecoop08.pdf. Accessed 20 Mar 2017

Titel: Teaching Software Transactional Memory in Concurrency Courses with Clojure and Java
verfasst von: Antonio J. Tomeu
Alberto G. Salguero
Manuel I. Capel
Verlag: Springer International Publishing
Buch: Euro-Par 2017: Parallel Processing Workshops
Print ISBN: 978-3-319-75177-1

Electronic ISBN: 978-3-319-75178-8

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-75178-8_22

Neuer Inhalt

Bildnachweise

VDI-Icon, Profil Icon, inhalt2, Springer Professional Modul/© Springer Fachmedien Wiesbaden GmbH, Nachhaltigkeitsaward Key Visual/© Cometis AG/Global ESG Monitor | Daniel Rupp | Generiert mit KI, Search Icon, Banner Hanser, Jonas Klose/© Pine Valley Capital GmbH, Carina Kießling von der Strategieberatung Roland Berger/© Monika Walther Fotografie | ATZ, Beijing Auto Show 2024: Deutsche Hersteller wollen angreifen./© EKH-Pictures / Generated with AI / Stock.adobe.com, Zeitschrift Wissensmanagement Cover, PatentFit-Logo/© Springer Fachmedien Wiesbaden GmbH, Zukunftswerkstatt Sales Excellence 2024/© AndreyPopov / Getty Images / iStock, 2023_Antrieb/© supervisuell, ATZ-Webinar: Prototypenfreie Entwicklung durch Offline- und Driver-in-the-Loop-HiL-Tests /© (c) VI-grade

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Neuer Inhalt

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.