Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Eventually consistent replication: Algorithms and methods

2012/07/B/ST6/01230

Keywords:

replication concurrency parallel and distributed computing distributed systems consistency models

Descriptors:

  • ST6_2: Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems
  • 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: 3

Call: OPUS 4 - announced on 2012-09-15

Amount awarded: 354 540 PLN

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

Project end date (Y-m-d): 2017-09-29

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

Project status: Project settled

Equipment purchased [PL]

  1. laptop, OS X, Core i5 lub nowszy (9 000 PLN)

Information in the final report

  • Publication in academic press/journals (6)
  • Articles in post-conference publications (7)
  1. Proving Opacity of Transactional Memory with Early Release
    Authors:
    Konrad Siek, Paweł T. Wojciechowski
    Academic press:
    Foundations of Computing and Decision Sciences (rok: 2015, tom: 40(4), strony: 317-335), Wydawca: Publishing House of Poznan University of Technology
    Status:
    Published
    DOI:
    10.1515/fcds-2015-0018 - link to the publication
  2. On Mixing Eventual and Strong Consistency: Acute Cloud Types
    Authors:
    Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski
    Academic press:
    IEEE Transactions on Parallel and Distributed Systems (TPDS) (), Wydawca: Institute of Electrical and Electronics Engineers (IEEE)
    Status:
    Submitted
    DOI:
    brak - link to the publication
  3. Helenos: A Realistic Benchmark for Distributed Transactional Memory
    Authors:
    Paweł Kobyliński, Konrad Siek, Jan Baranowski, Paweł T. Wojciechowski
    Academic press:
    Journal of Software: Practice and Experience (rok: 2018, tom: 48(3), strony: 528-549), Wydawca: Wiley
    Status:
    Published
    DOI:
    10.1002/spe.2548 - link to the publication
  4. Atomic REST: Distributed Transactions for RESTful Web Services
    Authors:
    Paweł T. Wojciechowski, Sebastian Kochman
    Academic press:
    IEEE Transactions on Services Computing (TSC) (), Wydawca: Institute of Electrical and Electronics Engineers (IEEE)
    Status:
    Submitted
    DOI:
    brak - link to the publication
  5. Relaxing Real-time Order in Opacity and Linearizability
    Authors:
    Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski
    Academic press:
    Journal of Parallel and Distributed Computing (rok: 2017, tom: 100, strony: 57-70), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.007 - link to the publication
  6. Last-use Opacity: A Strong Safety Property for Transactional Memory with Early Release Support
    Authors:
    Konrad Siek, Paweł T. Wojciechowski
    Academic press:
    Distributed Computing (), Wydawca: Springer
    Status:
    Submitted
    DOI:
    brak - link to the publication
  1. Brief Announcement: Eventually Consistent Linearizability
    Authors:
    Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski
    Conference:
    ACM PODC '15: the 34th ACM Symposium on Principles of Distributed Computing (rok: 2015, ), Wydawca: Association for Computing Machinery (ACM)
    Data:
    konferencja 21-23 lipca
    Status:
    Published
    DOI:
    link to the publication
  2. Brief Announcement: On Mixing Eventual and Strong Consistency: Bayou Revisited
    Authors:
    Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski
    Conference:
    ACM PODC '19: the 38th ACM Symposium on Principles of Distributed Computing (rok: 2018, ), Wydawca: Association for Computing Machinery (ACM)
    Data:
    konferencja 29 lipca - 2 sierpnia
    Status:
    Published
  3. Having Your Cake and Eating it Too: Combining Strong and Eventual Consistency
    Authors:
    Paweł T. Wojciechowski, Konrad Siek
    Conference:
    PaPEC '14: the 1st Workshop on Principles and Practice of Eventual Consistency (co-located with EuroSys'14: the 9th ACM SIGOPS European Conference on Computer Systems) (rok: 2014, ), Wydawca: Association for Computing Machinery (ACM)
    Data:
    konferencja 13-16 kwietnia
    Status:
    Published
    DOI:
    link to the publication
  4. Atomic RMI 2: Distributed Transactions for Java
    Authors:
    Paweł T. Wojciechowski, Konrad Siek
    Conference:
    AGERE '16: the 6th Workshop on Programming based on Actors, Agents, and Decentralized Control (in conjunction with SPLASH '16) (rok: 2016, ), Wydawca: Association for Computing Machinery (ACM)
    Data:
    konferencja 30 października
    Status:
    Published
    DOI:
    link to the publication
  5. On Safety of Replicated Transactional Memory
    Authors:
    Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski
    Conference:
    WTTM '14: the 6th Workshop on the Theory of Transactional Memory (in conjunction with ACM PODC '14) (rok: 2014, ), Wydawca: Association for Computing Machinery (ACM)
    Data:
    konferencja 15-18 lipca
    Status:
    Published
    DOI:
    link to the publication
  6. A generic model of consistency guarantees for replicated services
    Authors:
    Szymon Francuzik, Cezary Sobaniec, Dariusz Wawrzyniak
    Conference:
    PaPEC '14: the 1st Workshop on Principles and Practice of Eventual Consistency (co-located with EuroSys'14: the 9th ACM SIGOPS European Conference on Computer Systems) (rok: 2014, ), Wydawca: Association for Computing Machinery (ACM)
    Data:
    konferencja 13-16 kwietnia
    Status:
    Published
    DOI:
    link to the publication
  7. The Correctness Criterion for Deferred Update Replication
    Authors:
    Tadeusz Kobus, Maciej Kokociński, Paweł T. Wojciechowski
    Conference:
    TRANSACT '15 : the 10th ACM SIGPLAN Workshop on Transactional Computing (co-located with 47th ACM STOC '15 and 36th ACM PLDI '15 conferences) (rok: 2015, ), Wydawca: Association for Computing Machinery (ACM)
    Data:
    konferencja 15-16 czerwca
    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