Byzantine-Fault-Tolerant (BFT) systems for closed consortia have recently attracted a growing attention notably in financial and supply-chain applications. Unfortunately, most existing solutions suffer from substantia...
详细信息
ISBN:
(纸本)9781728176260
Byzantine-Fault-Tolerant (BFT) systems for closed consortia have recently attracted a growing attention notably in financial and supply-chain applications. Unfortunately, most existing solutions suffer from substantial scalability issues, and lack self-governance mechanisms. In this paper, we observe that many workloads present little concurrency, and propose PnyxDB, an eventually-consistent Byzantine Fault Tolerant replicated data-store that exhibits both high scalability and low latency. Our approach hinges on conditional endorsements that track conflicts between transactions. In addition to its high scalability, PnyxDB supports application-level voting, i.e. individual nodes are able to endorse or reject a transaction according to application-defined policies without compromising consistency. We provide a comparison against BFT-SMART and Tendermint, two competitors with different design aims, and show that our implementation speeds up commit latencies by a factor of 11, remaining below 5 seconds in a worldwide geodistributed deployment of 180 nodes.
Concurrency control algorithms are key determinants of the performance of in-memory databases. Existing algorithms are designed to work well for certain workloads. For example, optimistic concurrency control (OCC) is ...
详细信息
ISBN:
(纸本)9781939133229
Concurrency control algorithms are key determinants of the performance of in-memory databases. Existing algorithms are designed to work well for certain workloads. For example, optimistic concurrency control (OCC) is better than two-phase-locking (2PL) under low contention, while the converse is true under high contention. To adapt to different workloads, prior works mix or switch between a few known algorithms using manual insights or simple heuristics. We propose a learning-based framework that instead explicitly optimizes concurrency control via offline training to maximize performance. Instead of choosing among a small number of known algorithms, our approach searches in a "policy space" of fine-grained actions, resulting in novel algorithms that can outperform existing algorithms by specializing to a given workload. We build Polyjuice based on our learning framework and evaluate it against several existing algorithms. Under different configurations of TPC-C and TPC-E, Polyjuice can achieve throughput numbers higher than the best of existing algorithms by 15% to 56%.
The proceedings contain 13 papers. The special focus in this conference is on Benchmarking, Measuring, and Optimizing. The topics include: Artemis: An Automatic Test Suite Generator for Large Scale OLAP Database;OStor...
ISBN:
(纸本)9783030710576
The proceedings contain 13 papers. The special focus in this conference is on Benchmarking, Measuring, and Optimizing. The topics include: Artemis: An Automatic Test Suite Generator for Large Scale OLAP Database;OStoreBench: Benchmarking distributed Object Storage systems Using Real-World Application Scenarios;ConfAdvisor: An Automatic Configuration Tuning Framework for NoSQL Database Benchmarking with a Black-box Approach;Optimization of the Himeno Benchmark for SX-Aurora TSUBASA;parallel Sorted Sparse Approximate Inverse Preconditioning Algorithm on GPU;preface;characterizing the Sharing Behavior of Applications Using Software Transactional Memory;ComScribe: Identifying Intra-node GPU Communication;a Benchmark of Ocular Disease Intelligent Recognition: One Shot for Multi-disease Detection;MAS3K: An Open Dataset for Marine Animal Segmentation;benchmarking Blockchain Interactions in Mobile Edge Cloud Software systems.
Many physical phenomena in the near-Earth space environment are characterised by significant spatial and/or temporal dynamics and ambiguities. While satellite clusters can be utilised to sense such phenomena in a dist...
详细信息
The proceedings contain 53 papers. The special focus in this conference is on Information Integration and Web Intelligence. The topics include: GPU Accelerated parallel Implementation of Linear Programming Algori...
ISBN:
(纸本)9783031210464
The proceedings contain 53 papers. The special focus in this conference is on Information Integration and Web Intelligence. The topics include: GPU Accelerated parallel Implementation of Linear Programming Algorithms;Towards Explaining DL Non-entailments by Utilizing Subtree Isomorphisms;Query Optimization in NoSQL databases Using an Enhanced Localized R-tree Index;handling Exit Node Vulnerability in Onion Routing with a Zero-Knowledge Proof;an Accurate, Flexible and Private Trajectory-Based Contact Tracing System on Untrusted Servers;bilateral Bargaining for Healthcare Data Sharing;modifying Neo4j’s Object Graph Mapper Queries for Access Control;a Recommendation Method for Recipes Containing Unskillful Elements Using Naïve Bayes Classifier to Improve Cooking Skills;extraction of Complementary Topics Based on Phrase Importance and Co-occurrence in Technical Blogs;sharing Semantic Knowledge for Autonomous Robots: Cooperation for Social Robotic systems;feature Relevance Analysis of Product Reviews to Support Online Shopping;annotation System for Dialogue Datasets of Older Adult’s with Photos and Storytelling;evaluation Axes for Automatically Generated Product Descriptions;CISQA: Corporate Smart Insights Question Answering System;symmetry Metrics for Pairwise Entity Similarities;a New Method to Measure Similarity of Words in Japanese Twitter Based on Related Images;Hybrid Phishing URL Detection Using Segmented Word Embedding;a Scheme for News Article Classification in a Low-Resource Language;expertise Computation for Automatic Reviewer Assignment;detection of Hot Topics Using Multi-view Text Clustering;exploiting Named Entity Recognition for Information Extraction from Italian Procurement Documents: A Case Study;interactive Visualization of Comic Character Correlation Diagrams for Understanding Character Relationships and Personalities;two Case Studies on Guiding Human Behavior Using Virtualization Technologies in distributed Virtual Shopping Malls;central Figures in t
Miners and validators in current blockchains serially execute block transactions. Such serial execution cannot efficiently utilize modern multi-core resources, consequently hampering system throughput. We propose thre...
详细信息
This paper addresses the questions of high-level system modelling using heterogeneous multi-tool modelling environment on parallel multi-core processing systems for simulation acceleration. The modelling technique has...
详细信息
ISBN:
(纸本)9781728173436
This paper addresses the questions of high-level system modelling using heterogeneous multi-tool modelling environment on parallel multi-core processing systems for simulation acceleration. The modelling technique has been applied for high-level validation of a high-precision Indoor Positioning System for Motion Analysis (IPS-MA) developed in the Central Institute Electronic systems (ZEA-2) of the Research Center Juelich GmbH. The heterogeneous modelling environment has been built using an implementation-level model designed in Matlab Simulink, a verification model for describing the system environment using Modelica language, and Julia language for automatic generation of binding modelling environment and parallelizing the simulation of the overall model. The approach showed a good flexibility in system description and verification in the multi-instrument modelling environment and a good performance gain due to simulation parallelism.
The present paper describes a new parallel time-domain simulation algorithm using a high performance computing environment - Julia - for the analysis of power system dynamics in large networks. The parallel algorithm ...
详细信息
ISBN:
(纸本)9781728173436
The present paper describes a new parallel time-domain simulation algorithm using a high performance computing environment - Julia - for the analysis of power system dynamics in large networks. The parallel algorithm adapts a parallel-in-space decomposition scheme to a previously sequential algorithm in order to develop a new parallelizable numerical solution of the power system equations. The parallel-in-space decomposition is based on the block bordered diagonal form, which reformulates the network admittance matrix into sub-blocks that can be solved in parallel. For the optimal spatial decomposition of the network, a new extended graph partitioning strategy is developed for load balancing and minimizing the communication between subnetworks. The new parallel simulation algorithm is tested using standard test networks of varying complexity. The simulation results are compared to those obtained from a sequential implementation in order to validate the solution accuracy and to determine the performance improvement in terms of computational speedup. Test simulations are conducted using the ForHLR II supercomputing cluster and show a huge potential in computational speedup with increasing network complexity.
This paper proposes a real-time power system simulation framework that is capable of simulating steady state and electromechanical transients of power systems, with sub-millisecond time resolution. The framework can i...
ISBN:
(纸本)9781665433266
This paper proposes a real-time power system simulation framework that is capable of simulating steady state and electromechanical transients of power systems, with sub-millisecond time resolution. The framework can integrate power system component models packed as reusable Functional Mockup Units (FMUs) to flexibly create power system simulations without the need to recreate new models for different power systems. The integration of individual components is based on a novel model decomposition method, which enables the FMU reuse in different system contexts, as well as a parallel simulation execution onto multi-core machines. Furthermore, the paper proposes methods to optimize the allocation of components to cores and shows that the framework can simulate a medium voltage distributed electrical grid of about 20 components in real-time on a commodity multi-core machine.
The proceedings contain 16 papers. The special focus in this conference is on Signal and Image Processing. The topics include: Deep Convolutional Neural Network-Based Diagnosis of Invasive Ductal Carcinoma;speaker Ide...
ISBN:
(纸本)9789813369658
The proceedings contain 16 papers. The special focus in this conference is on Signal and Image Processing. The topics include: Deep Convolutional Neural Network-Based Diagnosis of Invasive Ductal Carcinoma;speaker Identification in Spoken Language Mismatch Condition: An Experimental Study;Ultrasound Image Classification Using ACGAN with Small Training Dataset;preface;Chaotic Ions Motion Optimization (CIMO) for Biological Sequences Local Alignment: COVID-19 as a Case Study;assessment of Eyeball Movement and Head Movement Detection Based on Reading;using Hadoop Ecosystem and Python to Explore Climate Change;a Brief Review of Intelligent Rule Extraction Techniques;the Effect of Different Feature Selection Methods for Classification of Melanoma;intelligent Hybrid Technique to Secure Bluetooth Communications;parallel Algorithm to find Integer k where a given Well-distributed Graph is k-Metric Dimensional;a Fog-Based Retrieval of Real-Time Data for Health Applications;differential Evolution-Based Shot Boundary Detection Algorithm for Content-Based Video Retrieval;qutrit-Based Genetic Algorithm for Hyperspectral Image Thresholding.
暂无评论