Abstract:In this paper, we develop a more general framework of block-structured Markov processes in the queueing study of blockchain systems, which can provide analysis both for the stationary performance measures and for the sojourn time of any transaction or block. In addition, an original aim of this paper is to generalize the two-stage batch-service queueing model studied in Li et al. (Blockchain queue theory. In: International conference on computational social networks. Springer: New York; 2018. p. 25–40) both “from exponential to phase-type” service times and “from Poisson to MAP” transaction arrivals. Note that the MAP transaction arrivals and the two stages of PH service times make our blockchain queue more suitable to various practical conditions of blockchain systems with crucial factors, for example, the mining processes, the block generations, the blockchain building and so forth. For such a more general blockchain queueing model, we focus on two basic research aspects: (1) using the matrix-geometric solution, we first obtain a sufficient stable condition of the blockchain system. Then, we provide simple expressions for the average stationary number of transactions in the queueing waiting room and the average stationary number of transactions in the block. (2) However, on comparing with Li et al. (2018), analysis of the transaction–confirmation time becomes very difficult and challenging due to the complicated blockchain structure. To overcome the difficulties, we develop a computational technique of the first passage times by means of both the PH distributions of infinite sizes and the RG factorizations. Finally, we hope that the methodology and results given in this paper will open a new avenue to queueing analysis of more general blockchain systems in practice and can motivate a series of promising future research on development of blockchain technologies.

An Overview for Markov Decision Processes in Queues and Networks

An MDP-based Handoff Decision Algorithm for Multi-Domain Heterogeneous Wireless Access Networks

Optimal Policies for Quantum Markov Decision Processes

On the design and analysis of near-term quantum network protocols using Markov decision processes

A survey of recent results on continuous-time Markov decision processes

Parallel Algorithms for Solving Markov Decision Process

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet

New Achievements in Adaptive Markov Decision Process

Markov Processes in Blockchain Systems

Reachability Analysis of Quantum Markov Decision Processes.

Sufficient Markov Decision Processes with Alternating Deep Neural Networks

Double-sided queues with marked Markovian arrival processes and abandonment

Bank Queuing Optimization Based on Markov Process

Quantum Markov Decision Processes: General Theory, Approximations, and Classes of Policies

Dynamic Routing in Stochastic Urban Air Mobility Networks: A Markov Decision Process Approach

Super-Exponential Solution in Markovian Supermarket Models: Framework and Challenge

Solving Markov Decision Processes with Reachability Characterization from Mean First Passage Times

Parameterized Markov Decision Process and Its Application to Service Rate Control.

Markov Decision Problems with Unbounded Transition Rates under Discounted-Cost Performance Criteria

Decision-Making Of Shortest Path In Quantum State Population Transfer Based On Markov Decision Processes

An MDP approach for radio resource allocation in urban Future Railway Mobile Communication System (FRMCS) scenarios