Metrika članka

  • citati u SCindeksu: 0
  • citati u CrossRef-u:0
  • citati u Google Scholaru:[=>]
  • posete u poslednjih 30 dana:9
  • preuzimanja u poslednjih 30 dana:5
članak: 1 od 1  
Telfor Journal
2019, vol. 11, br. 1, str. 64-69
jezik rada: engleski
vrsta rada: neklasifikovan
doi:10.5937/telfor1901064P


A solution of concurrent queue on local and distributed Python STM
(naslov ne postoji na srpskom)

Projekat

Razvoj digitalnih tehnologija i umreženih servisa u sistemima sa ugrađenim elektronskim komponentama (MPNTR - 44009)

Sažetak

(ne postoji na srpskom)
This paper was motivated by the two open research challenges in the area of STMs. The first challenge is the development of STM based concurrent queues, whereas the second, maybe even greater, challenge is the development of distributed STMs. Python is assumed as a target language. In this paper, four main contributions are made. First, the concurrent queue data structure on the local Python STM is developed. Second, a distributed STM in Python, called Distributed Python STM, is developed. Third, the developed concurrent queue is ported on the Distributed Python STM. Fourth, the developed concurrent queue is verified using unit and system testing. The developed concurrent queue successfully passed all of the unit and the system tests on both local Python STM and Distributed Python STM.

Ključne reči

multicore systems; parallel programming; Python; transactional memories; distributed transactional memories; concurrent data structures

Reference

Arora, N.S., Blumofe, R.D., Plaxton, G.C. (1998) Thread scheduling for multiprogrammed multiprocessors. u: The tenth annual ACM symposium on Parallel algorithms and architectures - SPAA '98, Proceedings of, ACM Press, 119-129
Harris, T., Larus, J., Rajwar, R. (2010) Transactional Memory. Madison: Morgan and Claypool, 2nd edition
Herlihy, M., Shavit, N. (2008) The art of multiprocessor programming. Morgan Kaufmann, 2nd edition
Herlihy, M., Eliot, J., Moss, B.E. B. (1993) Transactional memory: Architectural support for lock-free data structures. u: Proceedings of the 20th Annual International Symposium on Computer Architecture, ACM, New York, NY, 289-300
Kordic, B., Popovic, M., Ghilezan, S., Basicevic, I. (2017) An approach to formal verification of python software transactional memory. u: The Fifth European Conference on the Engineering of Computer-Based Systems - ECBS '17, Proceedings of, ACM Press, Article No. 13, pp. 1-10
Liu, A., Popovic, M., Zhu, H. (2017) Formalization and Verification of the PSTM Architecture. u: 2017 24th Asia-Pacific Software Engineering Conference (APSEC), Proc, IEEE, 427-435
Michael, M.M., Scott, M.L. (1996) Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms. u: 15th Annual ACM Symposium on Principles of Distributed Computing, Proc
Michael, M.M., Vechev, M.T., Saraswat, V.A. (2009) Idempotent work stealing. u: The 14th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '09, Proceedings of, ACM Press, 45-54
Popovic, M., Kordic, B., Popovic, M., Basicevic, I. (2018) A Solution of Concurrent Queue on PSTM. u: 2018 26th Telecommunications Forum (TELFOR), Proc, IEEE, 735-738
Popovic, M., Kordic, B., Popovic, M., Basicevic, I. (2018) A Solution of Concurrent Queue on PSTM. u: 5th IcETRAN, Proc., Article RTI2.1, pp. 1-6
Popovic, M., Kordic, B. (2014) PSTM: Python software transactional memory. u: 22nd IEEE Telecommunications Forum (TELFOR), Belgrade, Proc, 1106-1109
Romano, P., Palmieri, R., Quaglia, F., Carvalho, N., Rodrigues, L. (2014) On speculative replication of transactional systems. Journal of Computer and System Sciences, 80(1): 257-276