5,042 research outputs found
Truthful Online Scheduling with Commitments
We study online mechanisms for preemptive scheduling with deadlines, with the
goal of maximizing the total value of completed jobs. This problem is
fundamental to deadline-aware cloud scheduling, but there are strong lower
bounds even for the algorithmic problem without incentive constraints. However,
these lower bounds can be circumvented under the natural assumption of deadline
slackness, i.e., that there is a guaranteed lower bound on the ratio
between a job's size and the time window in which it can be executed.
In this paper, we construct a truthful scheduling mechanism with a constant
competitive ratio, given slackness . Furthermore, we show that if is
large enough then we can construct a mechanism that also satisfies a commitment
property: it can be determined whether or not a job will finish, and the
requisite payment if so, well in advance of each job's deadline. This is
notable because, in practice, users with strict deadlines may find it
unacceptable to discover only very close to their deadline that their job has
been rejected
A compiler approach to scalable concurrent program design
The programmer's most powerful tool for controlling complexity in program design is abstraction. We seek to use abstraction in the design of concurrent programs, so as to
separate design decisions concerned with decomposition, communication, synchronization, mapping, granularity, and load balancing. This paper describes programming and compiler techniques intended to facilitate this design strategy. The programming techniques are based on a core programming notation with two important properties: the ability to separate concurrent programming concerns, and extensibility with reusable programmer-defined
abstractions. The compiler techniques are based on a simple transformation system together with a set of compilation transformations and portable run-time support. The
transformation system allows programmer-defined abstractions to be defined as source-to-source transformations that convert abstractions into the core notation. The same
transformation system is used to apply compilation transformations that incrementally transform the core notation toward an abstract concurrent machine. This machine can be implemented on a variety of concurrent architectures using simple run-time support.
The transformation, compilation, and run-time system techniques have been implemented and are incorporated in a public-domain program development toolkit. This
toolkit operates on a wide variety of networked workstations, multicomputers, and shared-memory
multiprocessors. It includes a program transformer, concurrent compiler, syntax checker, debugger, performance analyzer, and execution animator. A variety of substantial
applications have been developed using the toolkit, in areas such as climate modeling and fluid dynamics
Selective Fair Scheduling over Fading Channels
Imposing fairness in resource allocation incurs a loss of system throughput,
known as the Price of Fairness (). In wireless scheduling, increases
when serving users with very poor channel quality because the scheduler wastes
resources trying to be fair. This paper proposes a novel resource allocation
framework to rigorously address this issue. We introduce selective fairness:
being fair only to selected users, and improving by momentarily blocking
the rest. We study the associated admission control problem of finding the user
selection that minimizes subject to selective fairness, and show that
this combinatorial problem can be solved efficiently if the feasibility set
satisfies a condition; in our model it suffices that the wireless channels are
stochastically dominated. Exploiting selective fairness, we design a stochastic
framework where we minimize subject to an SLA, which ensures that an
ergodic subscriber is served frequently enough. In this context, we propose an
online policy that combines the drift-plus-penalty technique with
Gradient-Based Scheduling experts, and we prove it achieves the optimal .
Simulations show that our intelligent blocking outperforms by 40 in
throughput previous approaches which satisfy the SLA by blocking low-SNR users
A deterministic truthful PTAS for scheduling related machines
Scheduling on related machines () is one of the most important
problems in the field of Algorithmic Mechanism Design. Each machine is
controlled by a selfish agent and her valuation can be expressed via a single
parameter, her {\em speed}. In contrast to other similar problems, Archer and
Tardos \cite{AT01} showed that an algorithm that minimizes the makespan can be
truthfully implemented, although in exponential time. On the other hand, if we
leave out the game-theoretic issues, the complexity of the problem has been
completely settled -- the problem is strongly NP-hard, while there exists a
PTAS \cite{HS88,ES04}.
This problem is the most well studied in single-parameter algorithmic
mechanism design. It gives an excellent ground to explore the boundary between
truthfulness and efficient computation. Since the work of Archer and Tardos,
quite a lot of deterministic and randomized mechanisms have been suggested.
Recently, a breakthrough result \cite{DDDR08} showed that a randomized truthful
PTAS exists. On the other hand, for the deterministic case, the best known
approximation factor is 2.8 \cite{Kov05,Kov07}.
It has been a major open question whether there exists a deterministic
truthful PTAS, or whether truthfulness has an essential, negative impact on the
computational complexity of the problem. In this paper we give a definitive
answer to this important question by providing a truthful {\em deterministic}
PTAS
The earlier the better: a theory of timed actor interfaces
Programming embedded and cyber-physical systems requires attention not only to functional behavior and correctness, but also to non-functional aspects and specifically timing and performance constraints. A structured, compositional, model-based approach based on stepwise refinement and abstraction techniques can support the development process, increase its quality and reduce development time through automation of synthesis, analysis or verification. For this purpose, we introduce in this paper a general theory of timed actor interfaces. Our theory supports a notion of refinement that is based on the principle of worst-case design that permeates the world of performance-critical systems. This is in contrast with the classical behavioral and functional refinements based on restricting or enlarging sets of behaviors. An important feature of our refinement is that it allows time-deterministic abstractions to be made of time-non-deterministic systems, improving efficiency and reducing complexity of formal analysis. We also show how our theory relates to, and can be used to reconcile a number of existing time and performance models and how their established theories can be exploited to represent and analyze interface specifications and refinement steps.\u
- …