When queueing is better than push and shove

We address the scheduling problem of reordering an existing queue into its efficient order through trade. To that end, we consider individually rational and balanced budget direct and indirect mechanisms. We show that this class of mechanisms allows us to form efficient queues provided that existing property rights for the service are small enough to enable trade between the agents. In particular, we show on the one hand that no queue under a fully deterministic service schedule such as first-come, first-serve can be dissolved efficiently and meet our requirements. If, on the other hand, the alternative is service anarchy (ie. a random queue), every existing queue can be transformed into an efficient order

When queueing is better than push and shove

We address the scheduling problem of reordering an existing queue into its efficient order through trade. To that end, we consider individually rational and balanced budget direct and indirect mechanisms. We show that this class of mechanisms allows us to form efficient queues provided that existing property rights for the service are small enough to enable trade between the agents. In particular, we show on the one hand that no queue under a fully deterministic service schedule such as first-come, first-serve can be dissolved efficiently and meet our requirements. If, on the other hand, the alternative is service anarchy (ie. a random queue), every existing queue can be transformed into an efficient order.Scheduling; Queueing; Mechanism design

When Queuening is Better than Push and Shove

We address the scheduling problem of reordering an existing queue into its efficient order through trade. To that end, we consider individually rational and balanced budget direct and indirect mechanisms. We show that this class of mechanisms allows us to form efficient queues provided that existing property rights for the service are small enough to enable trade between the agents. In particular, we show on the one hand that no queue under a fully deterministic service schedule such as first-come, first-serve can be dissolved efficiently and meet our requirements. If, on the other hand, the alternative is service anarchy (ie. a random queue), every existing queue can be transformed into an efficient order.Scheduling, Queueing, Mechanism design

The immediacy implications of exchange organization

The paper introduces a connection between the needs of exchanges to respond to the immediacy needs of their clientele and the need to manage the credit risks faced by exchange members. Queueing theory is used to represent the opportunity loss suffered by brokers engaging in multiple activities: order-flow origination and its intermediation. The role of market-making locals is depicted as enabling specialization. Brokers focus on originating order flow and locals on fulfilling intermediation needs. The capacity to specialize is constrained by the availability of creditworthy members acting as locals. This results in a tension between pursuit of immediacy and managing inter-member credit exposure. Two exchange rules, tick size and price limits, are evaluated for their effects in resolving this tension. This research benefits from the comments of Ray DeGennaro, Mark Flannery, Steve Kane, Tom Lindley, Jay Marchand, Pat Parkinson, Asani Sarkar, Lester Telser, Rich Tsuhara and participants of the Brookings-Wharton Financial Services Conference (January, 2002). Errors remaining in this draft are mine. The views of the paper do not reflect the official positions of the Federal Reserve.Stock exchanges ; Stock - Prices

Priority Auctions and Queue Disciplines that Depend on Processing Time

Lecture on the first SFB/TR 15 meeting, Gummersbach, July, 18 - 20, 2004We analyze the allocation of priority in queues via simple bidding mechanisms. In our model, the stochastically arriving customers are privately informed about their own processing time. They make bids upon arrival at a queue whose length is unobservable. We consider two bidding schemes that differ in the definition of bids (these may reflect either total payments or payments per unit of time) and in the timing of payments (before, or after service). In both schemes, a customer obtains priority over all customers (waiting in the queue or arriving while he is waiting) who make lower bids. Our main results show how the convexity/concavity of the function expressing the costs of delay determines the queue-discipline (i.e., SPT, LPT) arising in a bidding equilibrium

Sorting and Decentralized Price Competition

We investigate under which conditions price competition in a market with matching frictions leads to sorting of buyers and sellers. Positive assortative matching obtains only if there is a high enough degree of complementarity between buyer and seller types. The relevant condition is root-supermodularity; i.e., the square root of the match value function is supermodular. It is a necessary and sufficient condition for positive assortative matching under any distribution of buyer and seller types, and does not depend on the details of the underlying matching function that describes the search process. The condition is weaker than log-supermodularity, a condition required for positive assortative matching in markets with random search. This highlights the role competition plays in matching heterogeneous agents. Negative assortative matching obtains whenever the match value function is weakly submodular.Competitive Search Equilibrium. Directed Search. Two-Sided Matching. Decentralized Price Competition. Root-Supermodularity.

Priority Auctions and Queue Disciplines that Depend on Processing Time

Lecture on the first SFB/TR 15 meeting, Gummersbach, July, 18 - 20, 2004We analyze the allocation of priority in queues via simple bidding mechanisms. In our model, the stochastically arriving customers are privately informed about their own processing time. They make bids upon arrival at a queue whose length is unobservable. We consider two bidding schemes that differ in the definition of bids (these may reflect either total payments or payments per unit of time) and in the timing of payments (before, or after service). In both schemes, a customer obtains priority over all customers (waiting in the queue or arriving while he is waiting) who make lower bids. Our main results show how the convexity/concavity of the function expressing the costs of delay determines the queue-discipline (i.e., SPT, LPT) arising in a bidding equilibrium.

Metascheduling of HPC Jobs in Day-Ahead Electricity Markets

High performance grid computing is a key enabler of large scale collaborative computational science. With the promise of exascale computing, high performance grid systems are expected to incur electricity bills that grow super-linearly over time. In order to achieve cost effectiveness in these systems, it is essential for the scheduling algorithms to exploit electricity price variations, both in space and time, that are prevalent in the dynamic electricity price markets. In this paper, we present a metascheduling algorithm to optimize the placement of jobs in a compute grid which consumes electricity from the day-ahead wholesale market. We formulate the scheduling problem as a Minimum Cost Maximum Flow problem and leverage queue waiting time and electricity price predictions to accurately estimate the cost of job execution at a system. Using trace based simulation with real and synthetic workload traces, and real electricity price data sets, we demonstrate our approach on two currently operational grids, XSEDE and NorduGrid. Our experimental setup collectively constitute more than 433K processors spread across 58 compute systems in 17 geographically distributed locations. Experiments show that our approach simultaneously optimizes the total electricity cost and the average response time of the grid, without being unfair to users of the local batch systems.Comment: Appears in IEEE Transactions on Parallel and Distributed System

Queueing analysis of a canonical model of real-time multiprocessors

A logical classification of multiprocessor structures from the point of view of control applications is presented. A computation of the response time distribution for a canonical model of a real time multiprocessor is presented. The multiprocessor is approximated by a blocking model. Two separate models are derived: one created from the system's point of view, and the other from the point of view of an incoming task