Skip to main content
Serbian Journal of Electrical EngineeringVolume 16, Issue 1, 2019, Pages 85-104

Online algorithms for scheduling transactions on Python Software transactional memory(Article)(Open Access)

  • Popović, M.,
  • Kordić, B.,
  • Popović, M.,
  • Bašičević, I.
  Save all to author list
  • University of Novi Sad, Faculty of Technical Sciences, Trg Dositeja Obradovica 6, Novi Sad, 21000, Serbia

Abstract

Designing online transaction scheduling algorithms is challenging because one needs to reconcile three opposing requirements: (i) they should be fast, (ii) they should minimize makespan and maximize throughput, and (iii) they should produce conflict-free transaction schedules. In this paper we present four online transaction scheduling algorithms, namely, RR, ETLB, AC, and AAC algorithm, we prove their correctness and time bounds, and we conduct a theoretical analysis of the transaction schedules they produce, using three different workloads (RDW, CFW, and WDW). Finally, we compare various features of the four algorithms. The results are as expected, as we go from RR, over ETLB and AC, to AAC algorithms, the quality of the resulting schedules increases at the cost of increase of algorithm's time complexity. © 2019 Serbian Journal of Electrical Engineering.

Author keywords

AlgorithmsParallel programmingTime complexityTransaction schedulingTransactional memory

Funding details

Funding sponsor Funding number Acronym
Ministarstvo Prosvete, Nauke i Tehnološkog Razvoja44009,III-44009-2MPNTR
  • 1

    This work is partially supported by the Ministry of Education, Science, and Technology Development of Republic of Serbia under Grant III-44009-2.

  • ISSN: 14514869
  • Source Type: Journal
  • Original language: English
  • DOI: 10.2298/SJEE1901085P
  • Document Type: Article
  • Publisher: University of Kragujevac, Faculty of Science


© Copyright 2024 Elsevier B.V., All rights reserved.

Cited by 7 documents

Popovic, M. , Popovic, M. , Kordic, B.
Complete Formal Verification of the PSTM Transaction Scheduler
(2023) Computer Science and Information Systems
Popovic, M. , Popovic, M. , Kordic, B.
PSTM Transaction Scheduler Verification Based on CSP and Testing
(2021) ACM International Conference Proceeding Series
Popovic, M. , Marinkovic, V. , Djukic, M.
Formal Verification of Distributed Master-Slave Finite State Machine
(2021) 2021 29th Telecommunications Forum, TELFOR 2021 - Proceedings
View details of all 7 citations
{"topic":{"name":"Transactional Memory; Storage Allocation (Computer); Parallel Programming","id":9595,"uri":"Topic/9595","prominencePercentile":50.31553,"prominencePercentileString":"50.316","overallScholarlyOutput":0},"dig":"a14d512eed064ad52edc8d0162ce509d3721f36e6e26365cdffc5d096a623ea9"}

SciVal Topic Prominence

Topic:
Prominence percentile: