Explanipedia

How to Evaluate Distributed Coordination Systems? -- A Survey and Analysis Open

Bekir Turkkan, Tevfik Kosar, Aleksey Charapko, Ailidani Ailijiang, Murat Demirbaş · 2024

Coordination services and protocols are critical components of distributed systems and are essential for providing consistency, fault tolerance, and scalability. However, due to the lack of standard benchmarking and evaluation tools for di…

BunchBFT: Across-Cluster Consensus Protocol Open

Salem Alqahtani, Murat Demirbaş · 2022

In this paper, we present BunchBFT Byzantine fault-tolerant state-machine replication for high performance and scalability. At the heart of BunchBFT is a novel design called the cluster-based approach that divides the replicas into cluster…

BigBFT: A Multileader Byzantine Fault Tolerance Protocol for High Throughput Open

Salem Alqahtani, Murat Demirbaş · 2021

This paper describes BigBFT, a multi-leader Byzantine fault tolerance protocol that achieves high throughput and scalable consensus in blockchain systems. BigBFT achieves this by (1) enabling every node to be a leader that can propose and …

Precision, recall, and sensitivity of monitoring partially synchronous distributed programs Open

Duong Nguyen, Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbaş · 2021

Bottlenecks in Blockchain Consensus Protocols Open

Salem Alqahtani, Murat Demirbaş · 2021

Most of the Blockchain permissioned systems employ Byzantine fault-tolerance (BFT) consensus protocols to ensure that honest validators agree on the order for appending entries to their ledgers. In this paper, we study the performance and …

PigPaxos: Devouring the Communication Bottlenecks in Distributed Consensus Open

Aleksey Charapko, Ailidani Ailijiang, Murat Demirbaş · 2021

Paxos family of protocols are employed by many cloud computing services and distributed databases due to their excellent fault-tolerance properties. Unfortunately, current Paxos deployments do not scale for more than a dozen nodes due to t…

Scaling Replicated State Machines with Compartmentalization [Technical Report] Open

Michael Whittaker, Ailidani Ailijiang, Aleksey Charapko, Murat Demirbaş, Neil Giridharan , et al. · 2020

State machine replication protocols, like MultiPaxos and Raft, are a critical component of many distributed systems and databases. However, these protocols offer relatively low throughput due to several bottlenecked components. Numerous ex…

Scaling Strongly Consistent Replication Open

Aleksey Charapko, Ailidani Ailijiang, Murat Demirbaş · 2020

Strong consistency replication helps keep application logic simple and provides significant benefits for correctness and manageability. Unfortunately, the adoption of strongly-consistent replication protocols has been curbed due to their l…

Using weaker consistency models with monitoring and recovery for improving performance of key-value stores Open

Duong Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbaş · 2019

Performance Analysis and Comparison of Distributed Machine Learning\n Systems Open

Salem Alqahtani, Murat Demirbaş · 2019

Deep learning has permeated through many aspects of computing/processing\nsystems in recent years. While distributed training architectures/frameworks\nare adopted for training large deep learning models quickly, there has not been\na syst…

Performance Analysis and Comparison of Distributed Machine Learning Systems Open

Salem Alqahtani, Murat Demirbaş · 2019

Deep learning has permeated through many aspects of computing/processing systems in recent years. While distributed training architectures/frameworks are adopted for training large deep learning models quickly, there has not been a systema…

Using Weaker Consistency Models with Monitoring and Recovery for\n Improving Performance of Key-Value Stores Open

D. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbaş · 2019

Consistency properties provided by most key-value stores can be classified\ninto sequential consistency and eventual consistency. The former is easier to\nprogram with but suffers from lower performance whereas the latter suffers from\npot…

WPaxos: Wide Area Network Flexible Consensus Open

Ailidani Ailijiang, Aleksey Charapko, Murat Demirbaş, Tevfik Kosar · 2019

WPaxos is a multileader Paxos protocol that provides low-latency and high-throughput consensus across wide-area network (WAN) deployments. WPaxos uses multileaders, and partitions the object-space among these multileaders. Unlike staticall…

Dissecting the Performance of Strongly-Consistent Replication Protocols Open

Ailidani Ailijiang, Aleksey Charapko, Murat Demirbaş · 2019

Many distributed databases employ consensus protocols to ensure that data is replicated in a strongly-consistent manner on multiple machines despite failures and concurrency. Unfortunately, these protocols show widely varying performance u…

CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions Open

Mohammad Roohitavaf, Murat Demirbaş, Sandeep S. Kulkarni · 2018

Causal consistency is an intermediate consistency model that can be achieved together with high availability and performance requirements even in presence of network partitions. In the context of partitioned data stores, it has been shown …

Does The Cloud Need Stabilizing? Open

Murat Demirbaş, Aleksey Charapko, Ailidani Ailijiang · 2018

The last decade has witnessed rapid proliferation of cloud computing. While even the smallest distributed programs (with 3-5 actions) produce many unanticipated error cases due to concurrency involved, it seems short of a miracle these web…

Technical Report: Optimistic Execution in Key-Value Store Open

Duong Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbaş · 2018

Limitations of the CAP theorem imply that if availability is desired in the presence of network partitions, one must sacrifice sequential consistency, a consistency model that is more natural for system design. We focus on the problem of w…

Optimistic Execution in Key-Value Store Open

Duong Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbaş · 2018

Limitations of CAP theorem imply that if availability is desired in the presence of network partitions, one must sacrifice sequential consistency, a consistency model that is more natural for system design. We focus on the problem of what …

Monitoring Partially Synchronous Distributed Systems using SMT Solvers Open

Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbaş · 2017

In this paper, we discuss the feasibility of monitoring partially synchronous distributed systems to detect latent bugs, i.e., errors caused by concurrency and race conditions among concurrent processes. We present a monitoring framework w…

Multileader WAN Paxos: Ruling the Archipelago with Fast Consensus. Open

Ailidani Ailijiang, Aleksey Charapko, Murat Demirbaş, Tevfik Kosar · 2017

We present WPaxos, a multileader wide area network (WAN) Paxos protocol, that achieves low-latency high-throughput consensus across WAN deployments. WPaxos dynamically partitions the global object-space across multiple concurrent leaders t…

WPaxos: Ruling the Archipelago with Fast Consensus Open

Ailidani Ailijiang, Aleksey Charapko, Murat Demirbaş, Tevfik Kosar · 2017

Querying on Federated Sensor Networks Open

Zuhal Can, Murat Demirbaş · 2016

A Federated Sensor Network (FSN) is a network of geographically distributed Wireless Sensor Networks (WSNs) called islands. For querying on an FSN, we introduce the Layered Federated Sensor Network (L-FSN) Protocol. For layered management,…

Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems Open

Sorrachai Yingchareonthawornchai, Duong Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbaş · 2016

Runtime verification focuses on analyzing the execution of a given program by a monitor to determine if it is likely to violate its specifications. There is often an impedance mismatch between the assumptions/model of the monitor and that …

Sosyal Öğrenme Teorisine Dayalı Öğretim Etkinliklerinin, Öğrencilerin Akademik Başarılarının Kalıcılığına Olan Etkisinin İncelenmesi Open

Murat Demirbaş, Rahmi Yağbasan · 2016

Analysis of Bounds on Hybrid Vector Clocks Open

Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Murat Demirbaş · 2016

Hybrid vector clocks (HVC) implement vector clocks (VC) in a space-efficient manner by exploiting the availability of loosely-synchronized physical clocks at each node. In this paper, we develop a model for determining the bounds on the si…

Murat Demirbaş YOU? Author Swipe