-
Asymptotic optimality of switched control policies in a simple parallel server system under an extended heavy traffic condition
Authors:
Rami Atar,
Eyal Castiel,
Marty Reiman
Abstract:
This paper studies a 2-class, 2-server parallel server system under the recently introduced extended heavy traffic condition, which states that the underlying 'static allocation' linear program (LP) is critical, but does not require that it has a unique solution. The main result is the construction of policies that asymptotically achieve a lower bound, proved in [1], on an expected discounted line…
▽ More
This paper studies a 2-class, 2-server parallel server system under the recently introduced extended heavy traffic condition, which states that the underlying 'static allocation' linear program (LP) is critical, but does not require that it has a unique solution. The main result is the construction of policies that asymptotically achieve a lower bound, proved in [1], on an expected discounted linear combination of diffusion-scaled queue lengths, and are therefore asymptotically optimal (AO).
Each extreme point solution to the LP determines a control mode, i.e., a set of activities (class--server pairs) that are operational.
When there are multiple solutions, these modes can be selected dynamically. It is shown that the number of modes required for AO is either one or two. In the latter case there is a switching point in the (normalized) workload domain, characterized in terms of a free boundary problem.
Our policies are defined by identifying pairs of elementary policies and switching between them at this switching point.
They provide the first example in the heavy traffic literature where weak limits under an AO policy are given by a diffusion process where both the drift and diffusion coefficients are discontinuous.
△ Less
Submitted 16 July, 2022;
originally announced July 2022.
-
Scheduling in the high uncertainty heavy traffic regime
Authors:
Rami Atar,
Eyal Castiel,
Yonatan Shadmi
Abstract:
We propose a model uncertainty approach to heavy traffic asymptotics that allows for a high level of uncertainty. That is, the uncertainty classes of underlying distributions accommodate disturbances that are of order 1 at the usual diffusion scale, as opposed to asymptotically vanishing disturbances studied previously in relation to heavy traffic. A main advantage of the approach is that the inva…
▽ More
We propose a model uncertainty approach to heavy traffic asymptotics that allows for a high level of uncertainty. That is, the uncertainty classes of underlying distributions accommodate disturbances that are of order 1 at the usual diffusion scale, as opposed to asymptotically vanishing disturbances studied previously in relation to heavy traffic. A main advantage of the approach is that the invariance principle underlying diffusion limits makes it possible to define uncertainty classes in terms of the first two moments only. The model we consider is a single server queue with multiple job types. The problem is formulated as a zero sum stochastic game played between the system controller, who determines scheduling and attempts to minimize an expected linear holding cost, and an adversary, who dynamically controls the service time distributions of arriving jobs, and attempts to maximize the cost. The heavy traffic asymptotics of the game are fully solved. It is shown that an asymptotically optimal policy for the system controller is to prioritize according to an index rule and for the adversary it is to select distributions based on the system's current workload. The workload-to-distribution feedback map** is determined by an HJB equation, which also characterizes the game's limit value. Unlike in the vast majority of results in the heavy traffic theory, and as a direct consequence of the diffusive size disturbances, the limiting dynamics under asymptotically optimal play are captured by a stochastic differential equation where both the drift and the diffusion coefficients may be discontinuous.
△ Less
Submitted 12 April, 2022;
originally announced April 2022.
-
Parallel server systems under an extended heavy traffic condition: A lower bound
Authors:
Rami Atar,
Eyal Castiel,
Martin I. Reiman
Abstract:
The standard setting for studying parallel server systems (PSS) at the diffusion scale is based on the heavy traffic condition (HTC), which assumes that the underlying static allocation linear program (LP) is critical and has a unique solution. This solution determines the graph of basic activities, which identifies the set of activities (i.e., class-server pairs) that are operational. In this pap…
▽ More
The standard setting for studying parallel server systems (PSS) at the diffusion scale is based on the heavy traffic condition (HTC), which assumes that the underlying static allocation linear program (LP) is critical and has a unique solution. This solution determines the graph of basic activities, which identifies the set of activities (i.e., class-server pairs) that are operational. In this paper we explore the extended HTC, where the LP is merely assumed to be critical. Because multiple solutions are allowed, multiple sets of operational activities, referred to as modes, are available. Formally, the scaling limit for the control problem associated with the model is given by a so called workload control problem (WCP) in which a cost associated with a diffusion process is to be minimized by dynamically switching between these modes. Our main result is that the WCP's value constitutes an asymptotic lower bound on the cost associated with the PSS model.
△ Less
Submitted 1 December, 2022; v1 submitted 19 January, 2022;
originally announced January 2022.
-
Fluid limits for Queue-based CSMA with polynomial rates, homogenization and reflection
Authors:
Eyal Castiel
Abstract:
We study in this paper a variation of the acclaimed CSMA random access protocol. We will focus on the case where back-off rates at each node is polynomial in the size of the queue. Under a condition relating the exponent in the polynomial rates and the geometry of the interference graph, we prove convergence of the scaled process to a deterministic fluid limit up to the time a queue reaches $0$ on…
▽ More
We study in this paper a variation of the acclaimed CSMA random access protocol. We will focus on the case where back-off rates at each node is polynomial in the size of the queue. Under a condition relating the exponent in the polynomial rates and the geometry of the interference graph, we prove convergence of the scaled process to a deterministic fluid limit up to the time a queue reaches $0$ on the fluid scale . We outline the difficulties arising at that time and solve them in the case of a complete interference graph. This paper relies on a new method to obtain a fully coupled stochastic averaging principle and can hopefully lead to more result in heavy load situations.
△ Less
Submitted 7 June, 2021; v1 submitted 12 November, 2020;
originally announced November 2020.
-
Induced idleness leads to deterministic heavy traffic limits for queue-based random-access algorithms
Authors:
Eyal Castiel,
Sem Borst,
Laurent Miclo,
Florian Simatos,
Philip Whiting
Abstract:
We examine a queue-based random-access algorithm where activation and deactivation rates are adapted as functions of queue lengths. We establish its heavy traffic behavior on a complete interference graph, which turns out to be highly nonstandard in two respects: (1) the scaling depends on some parameter of the algorithm and is not the $N/N^2$ scaling usually found in functional central limit theo…
▽ More
We examine a queue-based random-access algorithm where activation and deactivation rates are adapted as functions of queue lengths. We establish its heavy traffic behavior on a complete interference graph, which turns out to be highly nonstandard in two respects: (1) the scaling depends on some parameter of the algorithm and is not the $N/N^2$ scaling usually found in functional central limit theorems; (2) the heavy traffic limit is deterministic. We discuss how this nonstandard behavior arises from the idleness induced by the distributed nature of the algorithm. In order to prove our main result, we developed a new method for obtaining a fully coupled stochastic averaging principle.
△ Less
Submitted 16 February, 2020; v1 submitted 8 April, 2019;
originally announced April 2019.