Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Bharath Balasubramanian

dblp:90/4619 · DBLP profile ↗
← Back
23ranked-venue papers
7as first author
2since 2021 · last 2023
0000-0003-2002-2349ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 11 · 5 first-authorComputer networks · 6 · 1 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 2Databases, data management, data science and information retrieval · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
7 papers
Distributed systems · 60% Cloud and datacenter computing · 20% Storage systems · 19%
Computer networks
2 papers
Cellular and mobile networks · 45% Content delivery and video streaming · 29% Vehicular, aerial and satellite networks · 22%
Databases, data mining, and information retrieval
1 paper
Transaction processing and concurrency control · 100%

Topics — the 26 heaviest of 27, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Content delivery and video streaming › mobile video delivery
drone video streaming
0.712023
Streaming From the Air : Enabling Drone-Sourced Video Streaming Applications on 5G Open-RAN Architectures · IEEE Trans. Mob. Comput. 2023
Cellular and mobile networks › radio access networks
Open RAN
0.712023
Streaming From the Air : Enabling Drone-Sourced Video Streaming Applications on 5G Open-RAN Architectures · IEEE Trans. Mob. Comput. 2023
Vehicular, aerial and satellite networks
UAV communication
0.712023
Streaming From the Air : Enabling Drone-Sourced Video Streaming Applications on 5G Open-RAN Architectures · IEEE Trans. Mob. Comput. 2023
Cellular and mobile networks › interference management › interference mitigation
uplink interference management
0.712023
Streaming From the Air : Enabling Drone-Sourced Video Streaming Applications on 5G Open-RAN Architectures · IEEE Trans. Mob. Comput. 2023
Transaction processing and concurrency control
serializability
0.412020
A Drop-in Middleware for Serializable DB Clustering across Geo-distributed Sites · Proc. VLDB Endow. 2020
Distributed systems › distributed system architecture
geo-distributed systems
0.412020
A Drop-in Middleware for Serializable DB Clustering across Geo-distributed Sites · Proc. VLDB Endow. 2020
Distributed systems
consistency models
0.312018
Brief Announcement: MUSIC: Multi-Site Entry Consistencyfor Geo-Distributed Services · PODC 2018
Distributed systems
distributed coordination
0.312018
Brief Announcement: MUSIC: Multi-Site Entry Consistencyfor Geo-Distributed Services · PODC 2018
Storage systems › distributed storage
edge storage
0.312018
Pathstore, A Data Storage Layer For The Edge · MobiSys 2018
Distributed systems › consistency models
entry consistency
0.312018
Brief Announcement: MUSIC: Multi-Site Entry Consistencyfor Geo-Distributed Services · PODC 2018
Distributed systems
fault tolerance
0.322013
Fault Tolerance in Distributed Systems Using Fused Data Structures · IEEE Trans. Parallel Distributed Syst. 2013
Accurate byzantine agreement with feedback · PODC 2011
Cloud and datacenter computing › geo-distributed cloud
geo-distributed services
0.222020
A Drop-in Middleware for Serializable DB Clustering across Geo-distributed Sites · Proc. VLDB Endow. 2020
Brief Announcement: MUSIC: Multi-Site Entry Consistencyfor Geo-Distributed Services · PODC 2018
Cloud and datacenter computing
cluster resource management and scheduling
0.212015
Need for speed: CORA scheduler for optimizing completion-times in the cloud · INFOCOM 2015
Mathematical optimization
linear programming
0.212015
Need for speed: CORA scheduler for optimizing completion-times in the cloud · INFOCOM 2015
Content delivery and video streaming › mobile video streaming
video streaming over cellular
0.212023
Streaming From the Air : Enabling Drone-Sourced Video Streaming Applications on 5G Open-RAN Architectures · IEEE Trans. Mob. Comput. 2023
Cloud and datacenter computing
cloud storage
0.212014
SAP: Similarity-aware partitioning for efficient cloud storage · INFOCOM 2014
Storage systems › data reduction
data deduplication
0.212014
SAP: Similarity-aware partitioning for efficient cloud storage · INFOCOM 2014
Distributed systems › fault tolerance
byzantine fault tolerance
0.222013
Accurate byzantine agreement with feedback · PODC 2011
Fault Tolerance in Distributed Systems Using Fused Data Structures · IEEE Trans. Parallel Distributed Syst. 2013
Distributed systems
replication
0.212013
Fault Tolerance in Distributed Systems Using Fused Data Structures · IEEE Trans. Parallel Distributed Syst. 2013
Storage systems
storage reliability
0.212013
Fault Tolerance in Distributed Systems Using Fused Data Structures · IEEE Trans. Parallel Distributed Syst. 2013
Distributed systems › consensus
byzantine agreement
0.112011
Accurate byzantine agreement with feedback · PODC 2011
Distributed systems
consensus
0.112011
Accurate byzantine agreement with feedback · PODC 2011
Edge and fog computing
edge data management
0.112018
Pathstore, A Data Storage Layer For The Edge · MobiSys 2018
Cloud and datacenter computing › resource allocation › resource allocation policy
max-min fairness
0.112015
Need for speed: CORA scheduler for optimizing completion-times in the cloud · INFOCOM 2015
Cloud and datacenter computing
resource allocation
0.112015
Need for speed: CORA scheduler for optimizing completion-times in the cloud · INFOCOM 2015
Storage systems
distributed storage
0.112014
SAP: Similarity-aware partitioning for efficient cloud storage · INFOCOM 2014

Methods — techniques the papers use, named apart from their topics

entry-consistent redo log · 0.9drop-in middleware · 0.9transmission directionality optimization · 0.7closed-loop control · 0.7linear programming · 0.4integer programming · 0.4approximation algorithm · 0.2NP-hardness analysis · 0.2selective replication · 0.2erasure coding · 0.2weighted voting · 0.1probabilistic analysis · 0.1
YearPublicationVenuePosition
2023 Streaming From the Air : Enabling Drone-Sourced Video Streaming Applications on 5G Open-RAN Architectures
abstract
Enabling high data-rate uplink cellular connectivity for drones is a challenging problem, since a flying drone has a higher likelihood of having line-of-sight propagation to base stations that terrestrial UEs normally do not have line-of-sight to. This may result in uplink inter-cell interference and uplink performance degradation for the neighboring ground UEs when drones transmit at high data-rates (e.g., video streaming). We address this problem from a cellular operator’s standpoint to support drone-sourced video streaming of a point of interest. We propose a low-complexity, closed-loop control system for Open-RAN architectures that jointly optimizes the drone’s location in space and its transmission directionality to support video streaming and minimize its uplink interference impact on the network. We prototype and experimentally evaluate the proposed control system on a dedicated outdoor multi-cell RAN testbed, which is the first measurement campaign of its kind. Furthermore, we perform a large-scale simulation assessment of the proposed control system using the actual cell deployment topologies and cell load profiles of a major US cellular carrier. The proposed Open-RAN control scheme achieves an average$19\%$network capacity gain over traditional BS-constrained control solutions and satisfies the application data-rate requirements of the drone (e.g., to stream an HD video).
Lorenzo Bertizzolo, Tuyen X. Tran, John Buczek, Bharath Balasubramanian, Rittwik Jana, Tommaso Melodia
IEEE Trans. Mob. Comput.4
2021 StepNet: A Compositional Framework with Reduced Querying for Homing Complex Network Services
Azzam Alsudais, Shankaranarayanan Puzhavakath Narayanan, Bharath Balasubramanian, Zhe Huang 0001, Eric Keller
IM3
2020 MUSIC: Multi-Site Critical Sections over Geo-Distributed State
Bharath Balasubramanian, Pamela Zave, Richard D. Schlichting, Mohammad Salehe, Shankaranarayanan Puzhavakath Narayanan, S. Hossein Mortazavi, Eyal de Lara, Matti A. Hiltunen, Kaustubh R. Joshi, Gueyoung Jung
ICDCS1
2020 SessionStore: A Session-Aware Datastore for the Edge
abstract
It is common for storage systems designed to run on edge datacenters to avoid the high latencies associated with geo-distribution by relying on eventually consistent models to replicate data. Eventual consistency works well for many edge applications because as long as the client interacts with the same replica, the storage system can provide session consistency, a stronger consistency model that has two additional important properties: (i) read-your-writes, where subsequent reads by a client that has updated an object will return the updated value or a newer one; and, (ii) monotonic reads, where if a client has seen a particular value for an object, subsequent reads will return the same value or a newer one. While session consistency does not guarantee that different clients will perceive updates in the same order, it nevertheless presents each individual client with an intuitive view of the world that is consistent with the client's own actions. Unfortunately, these consistency guarantees break down when a client interacts with multiple replicas housed on different datacenters over time, either as a result of application partitioning, or client or code mobility. SessionStore is a datastore for fog/edge computing that ensures session consistency on a top of otherwise eventually consistent replicas. SessionStore enforces session consistency by grouping related data accesses into a session, and using a session-aware reconciliation algorithm to reconcile only the data that is relevant to the session when switching between replicas. This approach reduces data transfer and latency by up to 90% compared to full replica reconciliation.
S. Hossein Mortazavi, Mohammad Salehe, Bharath Balasubramanian, Eyal de Lara, Shankaranarayanan Puzhavakath Narayanan
ICFEC3
2020 A Study of Network-Side 5G User Localization Using Angle-Based Fingerprints
abstract
This paper explores network-side cellular user localization using fingerprints created from the angle measurements enabled by 5G. Our key idea is a binning-based fingerprinting technique that leverages multipath propagation to create fingerprint vectors based on angles of arrival of signals along multiple paths at each user. In network simulations that recreate urban environments with 3D building geometry and base station locations for a major city, our binning-based fingerprinting for 5G achieves significantly lower localization errors with a single base station than signal strength-based fingerprinting for LTE.
Jiayi Meng, Abhigyan Sharma, Tuyen X. Tran, Bharath Balasubramanian, Gueyoung Jung, Matti A. Hiltunen, Y. Charlie Hu
LANMAN4
2020 Characterization of Multi-User Augmented Reality over Cellular Networks
abstract
Augmented reality (AR) apps where multiple users interact within the same physical space are gaining in popularity (e.g., shared AR mode in Pokemon Go, virtual graffiti in Google's Just a Line). However, multi-user AR apps running over the cellular network can experience very high end-to-end latencies (measured at 12.5 s median on a public LTE network). To characterize and understand the root causes of this problem, we perform a first-of-its-kind measurement study on both public LTE and industry LTE testbed for two popular multi-user AR applications, yielding several insights: (1) The radio access network (RAN) accounts for a significant fraction of the end-to-end latency (31.2%, or 3.9 s median), resulting in AR users experiencing high, variable delays when interacting with a common set of virtual objects in off-the-shelf AR apps; (2) AR network traffic is characterized by large intermittent spikes on a single uplink TCP connection, resulting in frequent TCP slow starts that can increase user-perceived latency; (3) Applying a common traffic management mechanism of cellular operators, QoS Class Identifiers (QCI), can help by reducing AR latency by 33% but impacts non-AR users. Based on these insights, we propose network-aware and network-agnostic AR design optimization solutions to intelligently adapt IP packet sizes and periodically provide information on uplink data availability, respectively. Our solutions help ramp up network performance, improving the end-to-end AR latency and goodput by ~40-70%.
Kittipat Apicharttrisorn, Bharath Balasubramanian, Jiasi Chen, Rajarajan Sivaraj, Yi-Zhen Tsai, Rittwik Jana, Srikanth V. Krishnamurthy, Tuyen X. Tran
SECON2
2020 A Drop-in Middleware for Serializable DB Clustering across Geo-distributed Sites
abstract
Many geo-distributed services at web-scale companies still rely on databases (DBs) primarily optimized for single-site performance. At AT&T this is exemplified by services in the network control plane that rely on third-party software that uses DBs like MariaDB and PostgreSQL, which do not provide strict serializability across sites without a significant performance impact. Moreover, it is often impractical for these services to re-purpose their code to use newer DBs optimized for geo-distribution. In this paper, a novel drop-in solution for DB clustering across sites called Metric is presented that can be used by services without changing a single line of code. Metric leverages the single-site performance of an existing service's DB and combines it with a cross-site clustering solution based on an entry-consistent redo log that is specifically tailored for geo-distribution. Detailed correctness arguments are presented and extensive evaluations with various benchmarks show that Metric outperforms other solutions for the access patterns in our production use-cases where service replicas access different tables on different sites. In particular, Metric achieves up to 56% less latency and 5.2x higher throughput than MariaDB and PostgreSQL clustering, and up to 90% less latency and 26x higher throughput than CockroachDB and TiDB, systems that are designed to support geo-distribution.
Enrique Saurez, Bharath Balasubramanian, Richard D. Schlichting, Brendan Tschaen, Shankaranarayanan Puzhavakath Narayanan, Zhe Huang 0001, Umakishore Ramachandran
Proc. VLDB Endow.2
2019 FOCUS: Scalable Search Over Highly Dynamic Geo-distributed State
abstract
Finding nodes which match certain criteria, based on potentially highly dynamic information, is a critical need in many distributed systems, ranging from cloud management, to network service deployments, to emerging IoT applications. With the increasing scale, dynamicity, and richness of data, existing systems, which typically implement a custom solution based around message queues where nodes push status to a central database, are ill-suited for this purpose. In this paper, we present FOCUS, a general and scalable service which easily integrates into existing and emerging systems to provide this fundamental capability. FOCUS utilizes a gossip-based protocol for nodes to organize into groups based on attributes and current value. With this approach, nodes need not synchronize with a central database, and instead the FOCUS service only needs to query the sub-set of nodes which have the potential to positively match a given query. We show FOCUS's flexibility through an operational example of complex querying for Virtual Network Functions instantiation over cloud sites, and illustrate its ease of integration by replacing the push-based approach in OpenStack's placement service. Our evaluation demonstrates a 5-15× reduction in bandwidth consumption and an ability to scale much better than existing approaches.
Azzam Alsudais, Zhe Huang 0001, Bharath Balasubramanian, Shankaranarayanan Puzhavakath Narayanan, Eric Keller, Kaustubh R. Joshi
ICDCS4
2019 EF-Dedup: Enabling Collaborative Data Deduplication at the Network Edge
abstract
The advent of IoT and edge computing will lead to massive amounts of data that need to be collected and transmitted to online storage systems. To address this problem, we push data deduplication to the network edge. Specifically, we propose a new technique for collaborative edge-facilitated deduplication (EF-dedup), wherein we partition the resource-constrained edge nodes into disjoint clusters, maintain a deduplication index structure for each cluster using a distributed key-value store and perform decentralized deduplication within those clusters. This is a challenging partitioning problem that addresses a novel tradeoff: edge nodes with highly correlated data may not always be within the same edge cloud, with non-trivial network cost among them. We address this challenge by first formulating an optimization problem to partition the edge nodes, considering both the data similarities across the nodes and the inter-node network cost. We prove that the problem is NP-Hard, provide bounded heuristics to solve it and build a prototype EF-dedup system. Our experiments on EF-dedup, performed on edge nodes in AT&T research lab and a central cloud at AWS, demonstrate that EF-dedup achieves 38.3-118.5% better deduplication throughput than sole cloud-based techniques and achieves 43.4-60.2% lesser aggregate cost in terms of the network-storage tradeoff as compared to approaches that solely favor one over the other.
Shijing Li, Tian Lan 0001, Bharath Balasubramanian, Moo-Ryong Ra, Hee Won Lee, Rajesh Krishna Panta
ICDCS3
2018 ACCORD: Automated Change Coordination across Independently Administered Cloud Services
abstract
It is very hard to coordinate changes across independently administered cloud services in a dependable manner due to several features of its service-oriented architecture: (i) services are often unaware of how a change will affect other services; (ii) impacted services may respond to changes in diverse ways; and (iii) the asynchronous nature of cross-service communication can introduce subtle errors. To tackle these challenges, our major contribution in this paper is a platform for Automated Change COoRDination (ACCORD) across independently administered cloud services. ACCORD (i) provides the abstractions and protocols for services to explicitly register direct dependencies on shared resources and automatically tracks cross-service transitive dependencies; (ii) allows each service to specify custom change coordination policies; and (iii) enables dependable change coordination in several real-world use-cases with minimal overhead to cloud administrators.
Tariq Mahmood 0005, Bharath Balasubramanian, Mithuna Thottethodi, Sanjay G. Rao, Kaustubh R. Joshi
IEEE CLOUD2
2018 A Model-Driven Graybox Approach to Rehoming Service Chains
abstract
Network clouds are typically private clouds owned by the network provider, consisting of a large number of geo-distributed sites with heterogeneous capabilities and small capacities. Each of these small clouds often run specialized service chains of Virtual Network Functions (VNFs), which need to meet strict Service Level Objectives (SLOs), especially along the lines of availability (e.g., First responder services). Hence, VNFs in such thinly provisioned clouds may need to be moved (rehomed), both within and across sites, much more frequently than in traditional public clouds (like Amazon's EC2 cloud), in order to meet the performance SLOs, when reacting to various cloud events like hotspots, interference from co-located VMs, failures and upgrades. Rehoming is also required by the infrastructure (platform) providers for various other reasons such as consolidation of resources for saving energy and improving the platform utilization. In this paper, we propose a model-based approach to show that naive strategies for rehoming, applied uniformly across all VNFs of the service chain, are often sub-optimal when considering different metrics like user-perceived service disruption time and the time taken to complete the rehoming action. Our model leverages the transparency between the services and platforms on private clouds (grayness), and provides appropriate rehoming recommendations based on various factors including service characteristics and runtime platform dynamics. We validate our models using a simple, yet ubiquitously deployed service chain, and using out-of-the-box rehoming options provided by Openstack, the most commonly used open-source cloud. Our results show that our graybox approach is able to achieve significant reductions in service disruption times and time taken for the rehoming action.
Muhammad Wajahat, Bharath Balasubramanian, Anshul Gandhi, Gueyoung Jung, Shankaranarayanan Puzhavakath Narayanan
MASCOTS2
2018 Pathstore, A Data Storage Layer For The Edge
abstract
No abstract available.
S. Hossein Mortazavi, Bharath Balasubramanian, Eyal de Lara, Shankaranarayanan Puzhavakath Narayanan
MobiSys2
2018 Brief Announcement: MUSIC: Multi-Site Entry Consistencyfor Geo-Distributed Services
Bharath Balasubramanian, Richard D. Schlichting, Pamela Zave
PODC1
2016 RUSH: A RobUst ScHeduler to Manage Uncertain Completion-Times in Shared Clouds
abstract
We address the problem of scheduling jobs with utilities that depend solely upon their completion-times in a shared cloud that imposes considerable uncertainty on the jobs' runtime. However, it is very hard to estimate the jobs' runtime in a shared cloud where jobs are often delayed due to reasons such as slow I/O performance and variations in memory availability. Unlike prior works, we acknowledge that runtime estimates are often erroneous and instead shift the burden of robustness to the job scheduler. Specifically, we present a scheduling problem that jointly accounts for: (i) job utilities specified as functions of their completion-time, and (ii) uncertainty in the jobs' runtime. Our proposed solution to this problem achieves lexicographic max-min fairness among the job utilities. We implement this as a robust scheduler, named RUSH, for YARN in Hadoop. Our experiments, using real-world data sets, illustrate RUSH's efficacy when compared with other commonly used schedulers.
Zhe Huang 0001, Bharath Balasubramanian, Michael Wang 0002, Tian Lan 0001, Mung Chiang, Danny H. K. Tsang
ICDCS2
2015 Need for speed: CORA scheduler for optimizing completion-times in the cloud
abstract
There is an increasing need for cloud service performance that can be tailored to customer requirements. In the context of jobs submitted to cloud computing clusters, a crucial requirement is the specification of job completion-times. A natural way to model this specification, is through client/job utility functions that are dependent on job completion-times. We present a method to allocate and schedule heterogeneous resources to jointly optimize the utilities of jobs in a cloud. Specifically: (i) we formulate a completion-time optimal resource allocation (CORA) problem to apportion cluster resources across the jobs that enforces max-min fairness among job utilities, and (ii) starting with an integer programming problem, we perform a series of steps to transform it into an equivalent linear programming problem, and (iii) we implement the proposed framework as a utility-aware resource scheduler in the widely used Hadoop data processing framework, and finally (iv) through extensive experiments with real-world datasets, we show that our prototype achieves significant performance improvement over existing resource-allocation policies.
Zhe Huang 0001, Bharath Balasubramanian, Michael Wang 0002, Tian Lan 0001, Mung Chiang, Danny H. K. Tsang
INFOCOM2
2014 SAP: Similarity-aware partitioning for efficient cloud storage
abstract
Given a set of files that show a certain degree of similarity, we consider a novel problem of deduplicating them (eliminating redundant chunks) across a set of distributed servers in a manner that is: (i) space-efficient: the total space needed to deduplicate and store the files is minimized and, (ii) access-efficient: each file can be accessed by communicating with a bounded number of servers, thereby minimizing network-access times in congested data center networks. A space-optimal solution in which we first deduplicate all the files and then distribute them across the servers (referred to as chunk-distribution), may require communication with many servers to access each file. On the other hand, an access-efficient solution in which we randomly partition the files cross the servers, and then store their unique chunks on each server may not exploit the similarities across files to reduce the space overhead. In this paper, we first show that finding an access-efficient, space optimal solution is an NP-Hard problem. Following this, we present the similarity-aware-partitioning (SAP) algorithms that find access-efficient solutions within polynomial time complexity and guarantees bounded space overhead for arbitrary files. Our experimental verification on files from Dropbox and CNN confirm that the SAP technique is much more space-efficient than random partitioning, while maintaining compression ratio close to the chunk-distribution solution.
Bharath Balasubramanian, Tian Lan 0001, Mung Chiang
INFOCOM1
2014 Fault tolerance in distributed systems using fused state machines
Bharath Balasubramanian, Vijay K. Garg
Distributed Comput.1
2013 Fault Tolerance in Distributed Systems Using Fused Data Structures
abstract
Replication is the prevalent solution to tolerate faults in large data structures hosted on distributed servers. To tolerate f crash faults (dead/unresponsive data structures) among n distinct data structures, replication requires f + 1 replicas of each data structure, resulting in nf additional backups. We present a solution, referred to as fusion that uses a combination of erasure codes and selective replication to tolerate f crash faults using just f additional fused backups. We show that our solution achieves O(n) savings in space over replication. Further, we present a solution to tolerate f Byzantine faults (malicious data structures), that requires only nf + f backups as compared to the 2nf backups required by replication. We explore the theory of fused backups and provide a library of such backups for all the data structures in the Java Collection Framework. The theoretical and experimental evaluation confirms that the fused backups are space-efficient as compared to replication, while they cause very little overhead for normal operation. To illustrate the practical usefulness of fusion, we use fused backups for reliability in Amazon's highly available key-value store, Dynamo. While the current replication-based solution uses 300 backup structures, we present a solution that only requires 120 backup structures. This results in savings in space as well as other resources such as power.
Bharath Balasubramanian, Vijay K. Garg
IEEE Trans. Parallel Distributed Syst.1
2011 Fused Data Structures for Handling Multiple Faults in Distributed Systems
abstract
The paper describes a technique to correct crash faults in large data structures hosted on distributed servers, based on the concept of fused backups. The prevalent solution to this problem is replication. To correct f crash faults among n distinct data structures, replication requires nf additional replicas. If each of the primaries contains O(m) nodes of O(s) size each, this translates to O(nmsf) total backup space. Our technique uses a combination of erasure correcting codes and selective replication to correct f crash faults using just f additional backups consuming O(msf) total backup space, while incurring minimal overhead during normal operation. Since the data is maintained in the coded form, recovery is costly as compared to replication. However, in a system with infrequent faults, the savings in space outweighs the cost of recovery. We explore the theory and algorithms for these fused backups and provide a library of such backups for all the data structures in the Java 6 Collection framework. Our experimental evaluation confirms that fused backups are space-efficient as compared to replication (almost n times), while they cause very little overhead for updates. Many real world distributed systems such as Amazon's Dynamo data store use replication to achieve reliability. An alternate, fusion-based design can result in significant savings in space as well as other resources such as power.
Bharath Balasubramanian, Vijay K. Garg
ICDCS1
2011 Fused State Machines for Fault Tolerance in Distributed Systems
Bharath Balasubramanian, Vijay K. Garg
OPODIS1
2011 Accurate Byzantine Agreement with Feedback
Vijay K. Garg, John Bridgman, Bharath Balasubramanian
OPODIS3
2011 Accurate byzantine agreement with feedback
abstract
The Byzantine Agreement (BA) problem requires non-faulty processes to agree on a common value. In many applications, it is important that the processes agree on the correct value. In this paper, we present a problem called Accurate Byzantine Agreement with Feedback (ABAF) in which all processes receive common feedback from the environment indicating if the value they agreed upon was correct or not (accuracy). We present an algorithm that solves the ABAF problem based on a standard solution to the BA problem and a multiplicative method to maintain and update process weights indicative of how often they are correct. We make guarantees on the accuracy of the algorithm based on assumptions on the accuracy of the processes and the proportion of faulty and non-faulty processes in the system. For each iteration, if the weight of accurate processes is at least 3/4th the weight of the non-faulty processes, the algorithm always decides on the correct value. When the non-faulty processes are accurate with probability greater than 1/2, the algorithm decides on the correct value with very high probability after some initial number of mistakes. In fact, among n processes, if there exists even one process which is accurate for all iterations, the algorithm is wrong only O(log n) times for any large number of iterations of the algorithm.
Vijay K. Garg, John Bridgman, Bharath Balasubramanian
PODC3
2009 A fusion-based approach for tolerating faults in finite state machines
abstract
Given a set of n different deterministic finite state machines (DFSMs) modeling a distributed system, we examine the problem of tolerating f crash or Byzantine faults in such a system. The traditional approach to this problem involves replication and requires n middot f backup DFSMs for crash faults and 2 middot n middot f backup DFSMs for Byzantine faults. For example, to tolerate two crash faults in three DFSMs, a replication based technique needs two copies of each of the given DFSMs, resulting in a system with six backup DFSMs. In this paper, we question the optimality of such an approach and present an approach called (f, m)-fusion that permits fewer backups than the replication based approaches. Given n different DFSMs, we examine the problem of tolerating f faults using just m additional DFSMs. We introduce the theory of fusion machines and provide an algorithm to generate backup DFSMs for both crash and Byzantine faults. We have implemented our algorithms in Java and have used them to automatically generate backup DFSMs for several examples.
Vinit A. Ogale, Bharath Balasubramanian, Vijay K. Garg
IPDPS2