7750491
Revisiting correlations and scheduling in Web servers
Mathematical models play an important role in the design, analysis, control, optimization, management andplanning of Web server systems. To be most effective in each of these areas, such models must capture in sufficient detail the key characteristics of Web server workloads, the key characteristics of Web server scheduling policies for executing these workloads, and the impact of these workload and scheduling policy characteristics on Web server performance and related measures . Of particular interest in our study are very efficient mathematical methods that can be exploited online to support an increasingly important range of real-time applications (e .g., dynamic control of quality of service in Web servers to best satisfy service-level agreements), as well as in efficient interactive tools often used offline for many different purposes (e.g., what-ifanalysis and stochastic optimization for capacity planning). A significant body of research has investigated the workloads found in practice at a wide variety of Web server environments ; e.g ., see [1, 8, 18]. Most of these studies have demonstrated that the client request patterns exhibited at many different types of Web server environments have strong dependence structures and that the requested files sizes at these Web servers are independent and identically distributed (i .i .d.) according to a heavy-tailed or subexponential distribution . However, the vast majority of these studies appear to have completely ignored the issue of whether there is any correlation between the client request arrival times and the requested file sizes or the request service times. This includes studies of Web server workload characterization and generation, Web server performance models, and Web server scheduling policies . In this study, we consider data from various commercial Web server environments to revisit the issues of different forms of correlation in these Web server workloads and their implications on Web server performance and scheduling policies . Theresults ofour data analysis demonstrate the existence ofsignificant dependencies between the client request interarrival times and the corresponding file sizes and service times. Our analysis also shows a strong dependence structure within the interarrival process of client requests, whereas the sequence of service times is essentially i .i .d . To the best ofour knowledge, this is the first study to identify and quantify significant dependencies between the arrival and service processes in Web server environments (as opposed to network environments, where this issue goes all the way back to Kleinrock [15]). We then investigate the source of this cross correlation between the client request interarrival times and the corresponding file sizes and service times. The results of our data analysis support the view that such cross correlations are primarily due to certain mixing effects involving the superposition of different classes of client requests each with different service requirements . We next turn to consider a mathematical analysis of queueing Mark S. Squillante Mathematical Sciences Department IBM Thomas J. Watson Research Center Yorktown Heights, NY 10598, USA mss@watson .ibm .com
544524
Chessboard distributions
We review chessboard distributions for modeling partially specified finite-dimensional random vectors. Chessboard distributions can match a given set of marginals, a given covariance structure, and various other constraints on the distribution of a random vector. It is necessary to solve a potentially large linear program to set up a chessboard distribution, but random vectors can then be rapidly generated.
11125013
A self-stabilizing algorithm for coloring planar graphs
SummaryThis paper describes an algorithm for coloring the nodes of a planar graph with no more than six colors using a self-stabilizing approach. The first part illustrates the coloring algorithm on a directed acyclic version of the given planar graph. The second part describes a selfstabilizing algorithm for generating the directed acyclic version of the planar graph, and combines the two algorithms into one.
31511581
Mutual Exclusion on a Hypercube
Abstract We present a decentralized, symmetric mutual exclusion algorithm that is tailored to the hypercube architecture. Our algorithm has better time complexity than a suitable hypercube adaptation of Maekawa′s O(√N) Mutual Exclusion algorithm. We show that, in the presence of contention, our algorithm has a shorter Blocking Delay than Maekawa′s algorithm. In the absence of contention, our algorithm achieves optimal Round-trip Delay under both the n-port and the one-port communication models.
41043329
Fault-containing self-stabilization using priority scheduling
Schedulers play a vital role in the design of distributed algorithms. This paper introduces priority scheduling that can be used to design as well as reason about correctness proofs at a higher level of abstraction. The application of priority scheduling in solving problems related to stabilization and fault containment in spanning tree generation is presented. This paper also presents an implementation of the priority scheduling scheme.
1278667
Self-optimizing DHTs Using Request Profiling
Various studies on request patterns in P2P networks have confirmed the existence of the interest-based clusters [11] and [12]. Some P2P networks that exhibit the small-world phenomenon contain clusters of peers that frequently communicate with one another [17]. The existence of interest-based clusters opens up the possibility of more efficient routing. In this paper we consider the problem of designing a self-optimizing overlay network and routing mechanisms to permit efficient location of resources by the periodic profiling of request patterns. Our self-optimization protocol uses selective replication of resources for restricting the sizes of the clusters, and proposes the deployment of inactive nodes for further reduction of the routing latency. The self-optimization protocol is demonstrated on the Chord network [22]. It leads to a routing latency that scales with the size of the clusters.
748684
Detection probabilities of interconnect breaks: an analysis
An interconnect break is a break that occurs in the interconnect wiring, resulting in logic gate inputs being disconnected from the drivers and causing the wire to float. Interconnect breaks are the most common types of breaks in modern CMOS integrated circuits, so testing and detecting these breaks has become very important. This paper proposes a model by which standard tests for stuck-at-faults can be used to detect interconnect breaks in a circuit. This paper presents a worst-case analysis of the detection of these breaks and calculate the minimum number of test vectors required to detect breaks with a specified confidence level, using n-detection principles. To enhance the understanding of the breaks in the circuit, we present a statistical model based on the length distribution of the wires surrounding the floating wire where the break occurs. From the model we compute the detection probabilities of such breaks and show that the worst case of detection is when the bias voltage is the same as the logic threshold voltage.