Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Concurrency control and fault tolerance for distributed software transactional memory

2012/06/M/ST6/00463

Keywords:

transactional memory concurrency parallel and distributed computing distributed systems static analysis multithreaded applications multicore processors.

Descriptors:

  • ST6_2: Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems
  • ST6_3: Software engineering, operating systems, software development methods, programming languages
  • ST6_6: Algorithms, parallel, distributed and network algorithms, algorithmic game theory

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Politechnika Poznańska, Wydział Informatyki

woj. wielkopolskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Paweł Wojciechowski 

Number of co-investigators in the project: 4

Call: HARMONIA 3 - announced on 2012-06-15

Amount awarded: 371 800 PLN

Project start date (Y-m-d): 2013-04-09

Project end date (Y-m-d): 2016-01-08

Project duration:: 33 months (the same as in the proposal)

Project status: Project settled

Information in the final report

  • Publication in academic press/journals (4)
  • Articles in post-conference publications (5)
  • Book publications / chapters in book publications (2)
  1. Atomic RMI: A Distributed Transactional Memory Framework
    Authors:
    Konrad Siek, Paweł T. Wojciechowski
    Academic press:
    International Journal of Parallel Programming (rok: 2016, tom: 44(3), strony: 598-619), Wydawca: Springer US
    Status:
    Published
    DOI:
    10.1007/s10766-015-0361-x - link to the publication
  2. Operation-Level Wait-Free Transactional Memory with Support for Irrevocable Operations
    Authors:
    Jan Kończak, Paweł T. Wojciechowski, Rachid Guerraoui
    Academic press:
    IEEE Transactions on Parallel and Distributed Systems (TPDS) (rok: 2017, tom: 28(12), strony: 3570-3583), Wydawca: IEEE Computer Society
    Status:
    Published
    DOI:
    10.1109/TPDS.2017.2734879 - link to the publication
  3. State-Machine and Deferred-Update Replication: Analysis and Comparison
    Authors:
    Paweł T. Wojciechowski, Tadeusz Kobus, Maciej Kokociński
    Academic press:
    IEEE Transactions on Parallel and Distributed Systems (TPDS) (rok: 2017, tom: 28(3), strony: 891-904), Wydawca: IEEE Computer Society
    Status:
    Published
    DOI:
    10.1109/TPDS.2016.2590422 - link to the publication
  4. Recovery Algorithms for Paxos-based State Machine Replication
    Authors:
    Jan Kończak, Paweł T. Wojciechowski, Nuno Santos, Tomasz Żurkowski, André Schiper
    Academic press:
    IEEE Transactions on Dependable and Secure Computing (TDSC) (tom: bd., strony: bd.), Wydawca: IEEE Computer Society
    Status:
    Submitted
    DOI:
    bd. - link to the publication
  1. Brief Announcement: Towards a Fully-Articulated Pessimistic Distributed Transactional Memory
    Authors:
    Konrad Siek, Paweł T. Wojciechowski
    Conference:
    SPAA '13: the 25th ACM Symposium on Parallelism in Algorithms and Architectures (rok: 2013, ), Wydawca: Association for Computing Machinery (ACM)
    Data:
    konferencja 23-25 lipca
    Status:
    Published
    DOI:
    link to the publication
  2. Ensuring Irrevocability in Wait-free Transactional Memory
    Authors:
    Jan Kończak, Paweł T. Wojciechowski, Rachid Guerraoui
    Conference:
    TRANSACT '16: 11th ACM SIGPLAN Workshop on Transactional Computing (in conjunction with PPoPP '16: the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming) (rok: 2016, ), Wydawca: Association for Computing Machinery (ACM) SIGPLAN
    Data:
    konferencja 12-16 marca
    Status:
    Published
    DOI:
    link to the publication
  3. Zen and the Art of Concurrency Control: An Exploration of TM Safety Property Space with Early Release in Mind
    Authors:
    Konrad Siek, Paweł T. Wojciechowski
    Conference:
    WTTM '14: the 6th Workshop on the Theory of Transactional Memory (in conjunction with ACM PODC '14: the 33rd ACM Symposium on Principles of Distributed Computing) (rok: 2014, ), Wydawca: Association for Computing Machinery (ACM)
    Data:
    konferencja 15-18 lipca
    Status:
    Published
    DOI:
    link to the publication
  4. Brief Announcement: Relaxing Opacity in Pessimistic Transactional Memory
    Authors:
    Konrad Siek, Paweł T. Wojciechowski
    Conference:
    DISC '14: the 28th International Symposium on Distributed Computing, LNCS 8784 (rok: 2014, ), Wydawca: Springer
    Data:
    konferencja 12-15 października
    Status:
    Published
    DOI:
    link to the publication
  5. Atomic RMI: A Distributed Transactional Memory Framework
    Authors:
    Konrad Siek, Paweł T. Wojciechowski
    Conference:
    HLPP '14: the 7th International Symposium on High-level Parallel Programming and Applications (rok: 2014, ), Wydawca: Opublikowane w International Journal of Parallel Programming (Springer)
    Data:
    konferencja 3-4 lipca
    Status:
    Published
    DOI:
    link to the publication
  1. Introduction to Transactional Replication
    Authors:
    Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski
    Book:
    Transactional Memory: Foundations, Algorithms, Tools, and Applications. COST Action Euro-TM IC1001. Rachid Guerraoui, Paolo Romano (rok: 2015, tom: LNCS 8913, strony: 309-340), Wydawca: Springer
    Status:
    Published
    DOI:
    link to the publication
  2. nie dotyczy
    Authors:
    Rachid Guerraoui, Paolo Romano (Eds.)
    Book:
    Transactional Memory: Foundations, Algorithms, Tools, and Applications. COST Action Euro-TM IC1001 (rok: 2015, tom: LNCS 8913, strony: 1-467), Wydawca: Springer
    Status:
    Published
    DOI:
    link to the publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy