SearcharxivSearch

arXiv subjects

Hagar Meir

Publications and source records attributed to Hagar Meir.

5 recordsLinked to original sources

Quantum gravitational effects suppress the formation of trapped surfaces

Classical general relativity predicts that a contracting, spherically symmetric matter system with a large-enough mass will result in the formation of a trapped region whose outer boundary is an apparent horizon where the gravitational redshift diverges. The incompleteness theorems then lead to the conclusion that the outcome of the collapse is the singular geometry of a Schwarzschild black hole. Both analyses rely on solving Einstein's equations, a set of partial differential equations, valid in the limit that the Schwarzschild radius is finite but the Planck length is set to zero, so that quantum fluctuations of the geometry are completely absent. Here, we keep both parameters finite, allowing the geometry to fluctuate quantum mechanically, and take the limit of vanishing Planck length only at the end. Expressing the geometry of a spherically symmetric, collapsing, thin shell of matter in terms of an effective quantum field theory in 1+1 dimensions, we show, using the standard techniques of quantum field theory in curved spacetime, that the production of particles as the shell approaches its would-be horizon is finite in the limit of vanishing Planck length. The total number of produced quanta of the gravitational field scales as the Bekenstein-Hawking entropy, while their total energy scales as the mass of the shell. Importantly, the quantum expectation value of the product of the scalar expansion parameters for the associated null vectors is never vanishing. The conclusion is that an apparent horizon is not formed even when the shell has reached its gravitational radius. As the collapse continues, the classical Schwarzschild geometry can no longer be used to describe the shell's exterior geometry. This provides the sought-after loophole that is needed to explain how astrophysical black holes could be compact objects that are regular and horizonless.

gr-qc

Arma: Byzantine Fault Tolerant Consensus with Horizontal Scalability

Arma is a Byzantine Fault Tolerant (BFT) consensus system designed to achieve horizontal scalability across all hardware resources: network bandwidth, CPU, and disk I/O. As opposed to preceding BFT protocols, Arma separates the dissemination and validation of client transactions from the consensus process, restricting the latter to totally ordering only metadata of batches of transactions. This separation enables each party to distribute compute and storage resources for transaction validation, dissemination and disk I/O among multiple machines, resulting in horizontal scalability. Additionally, Arma ensures censorship resistance by imposing a maximum time limit on the inclusion of client transactions. We built and evaluated two Arma prototypes. The first is an independent system handling over 200,000 transactions per second, the second integrated into Hyperledger Fabric, speeding its consensus by an order of magnitude.

cs.DC

A Byzantine Fault-Tolerant Consensus Library for Hyperledger Fabric

Hyperledger Fabric is an enterprise grade permissioned distributed ledger platform that offers modularity for a broad set of industry use cases. One modular component is a pluggable ordering service that establishes consensus on the order of transactions and batches them into blocks. However, as of the time of this writing, there is no production grade Byzantine Fault-Tolerant (BFT) ordering service for Fabric, with the latest version (v2.1) supporting only Crash Fault-Tolerance (CFT). In our work, we address crucial aspects of BFT integration into Fabric that were left unsolved in all prior works, making them unfit for production use. In this work we describe the design and implementation of a BFT ordering service for Fabric, employing a new BFT consensus library. The new library, based on the BFT-Smart protocol and written in Go, is tailored to the blockchain use-case, yet is general enough to cater to a wide variety of other uses. We evaluate the new BFT ordering service by comparing it with the currently supported Raft-based CFT ordering service in Hyperledger Fabric.

cs.DC

Using Nesting to Push the Limits of Transactional Data Structure Libraries

Transactional data structure libraries (TDSL) combine the ease-of-programming of transactions with the high performance and scalability of custom-tailored concurrent data structures. They can be very efficient thanks to their ability to exploit data structure semantics in order to reduce overhead, aborts, and wasted work compared to general-purpose software transactional memory. However, TDSLs were not previously used for complex use-cases involving long transactions and a variety of data structures. In this paper, we boost the performance and usability of a TDSL, towards allowing it to support complex applications. A key idea is nesting. Nested transactions create checkpoints within a longer transaction, so as to limit the scope of abort, without changing the semantics of the original transaction. We build a Java TDSL with built-in support for nested transactions over a number of data structures. We conduct a case study of a complex network intrusion detection system that invests a significant amount of work to process each packet. Our study shows that our library outperforms publicly available STMs twofold without nesting, and by up to 16x when nesting is used.

cs.DC

Lockless Transaction Isolation in Hyperledger Fabric

Hyperledger Fabric is a distributed operating system for permissioned blockchains hosted by the Linux Foundation. It is the first truly extensible blockchain system for running distributed applications at enterprise grade scale. To achieve this, Hyperledger Fabric introduces a novel execute-order-validate blockchain architecture, allowing parallelization of transaction execution and validation. However, this raises the need for transaction isolation. Today transaction isolation is attained by locking the entire state database during simulation of transactions and database updates. This lock is one of the major performance bottlenecks as observed by previous work. This work presents a new lock-free approach for providing transaction isolation. It harnesses the already existing versioning of key-value pairs in the database, used primarily for a read-write conflict detection during the validation phase, to create a version-based snapshot isolation. We further implement and evaluate our new approach. We show that our solution outperforms the current implementation by 8.1x and that it is comparable to the optimal solution where no isolation mechanism is applied.

cs.DC