Real-time disk scheduling in a mixed-media file system

This paper presents our real-time disk scheduler called the Delta L scheduler, which optimizes unscheduled best-effort disk requests by giving priority to best-effort disk requests while meeting real-time request deadlines. Our scheduler tries to execute real-time disk requests as much as possible in the background. Only when real-time request deadlines are endangered, our scheduler gives priority to real-time disk requests. The Delta L disk scheduler is part of our mixed-media file system called Clockwise. An essential part of our work is extensive and detailed raw disk performance measurements. The Delta L disk scheduler for its real-time schedulability analysis and to decide whether scheduling a best-effort request before a real-time request violates real-time constraints uses these raw performance measurements. Further, a Clockwise off-line simulator uses the raw performance measurements where a number of different disk schedulers are compared. We compare the Delta L scheduler with a prioritizing Latest Start Time (LST) scheduler and non-prioritizing EDF scheduler. The Delta L scheduler is comparable to LST in achieving low latencies for best-effort requests under light to moderate real-time loads and better in achieving low latencies for best-effort requests for extreme real-time loads. The simulator is calibrated to an actual Clockwise. Clockwise runs on a 200MHz Pentium-Pro based PC with PCI bus, multiple SCSI controllers and disks on Linux 2.2.x and the Nemesis kernel. Clockwise performance is dictated by the hardware: all available bandwidth can be committed to real-time streams, provided hardware overloads do not occur

Resolving Architectural Mismatches of COTS Through Architectural Reconciliation

The integration of COTS components into a system under development entails architectural mismatches. These have been tackled, so far, at the component level, through component adaptation techniques, but they also must be tackled at an architectural level of abstraction. In this paper we propose an approach for resolving architectural mismatches, with the aid of architectural reconciliation. The approach consists of designing and subsequently reconciling two architectural models, one that is forward-engineered from the requirements and another that is reverse-engineered from the COTS-based implementation. The final reconciled model is optimally adapted both to the requirements and to the actual COTS-based implementation. The contribution of this paper lies in the application of architectural reconciliation in the context of COTS-based software development. Architectural modeling is based upon the UML 2.0 standard, while the reconciliation is performed by transforming the two models, with the help of architectural design decisions.

NONPOINT SOURCE AND CARBON SEQUESTRATION CREDIT TRADING: WHAT CAN THE TWO LEARN FROM EACH OTHER?

Emission trading programs have been discussed with respect to achieving water quality objectives and future caps on carbon emissions. A significant part of this literature explores the institutional and technical design issues associated with trades involving nonpoint effluent sources and carbon sequestration. This paper explores conceptual linkages between the nonpoint and carbon sequestration programs and identifies potential areas where cross fertilization can benefit research and policy design of trading programs for environmental protection.Environmental Economics and Policy, Resource /Energy Economics and Policy,

Clock spectroscopy of interacting bosons in deep optical lattices

We report on high-resolution optical spectroscopy of interacting bosonic $^{174}$Yb atoms in deep optical lattices with negligible tunneling. We prepare Mott insulator phases with singly- and doubly-occupied isolated sites and probe the atoms using an ultra-narrow "clock" transition. Atoms in singly-occupied sites undergo long-lived Rabi oscillations. Atoms in doubly-occupied sites are strongly affected by interatomic interactions, and we measure their inelastic decay rates and energy shifts. We deduce from these measurements all relevant collisional parameters involving both clock states, in particular the intra- and inter-state scattering lengths

Shape Function Effects in B -> X_c l \nu_l

Owing to the fact that m_c^2 ~ m_b \Lambda_QCD, the endpoint region of the charged lepton energy spectrum in the inclusive decay B -> X_c l \nu_l is affected by the Fermi motion of the initial-state b quark bound in the B meson. This effect is described in QCD by shape functions. Including the mass of the final-state quark, we find that a different set of operators as employed in Ref. hep-ph/0205150 is needed for a consistent matching, when incorporating the subleading contributions in B -> X_q l \nu_l for both q = u and q = c. In addition, we modify the usual twist expansion in such a way that it yields a description of the lepton energy spectrum which is not just valid in the endpoint region, but over the entire phase space.Comment: 8 Pages, LaTeX, 2 figures; a few typos corrected and some clarifications added, final journal versio

THE FARM LEVEL EFFECTS OF BETTER ACCESS TO INFORMATION: THE CASE OF DART

In this study, two methods of entering and accessing dairy herd records are compared: the traditional mail-in Dairy Herd Improvement (DHI) system and the Direct Access to Records by Telephone (DART) system, which provides more timely and convenient access to records. An evaluation of DART was carried out using mail survey responses from 117 DART users and telephone surveys of 40 randomly selected users. Results indicate that DART users are generally satisfied with the system and feel that it improves their herd management. Variations in use of the DART system by DART users are explained by herd, cost, and management variables. DART users and comparable non-DART, DHI users are compared with respect to gains in herd production efficiency. Results indicate that DART users made somewhat better gains in most efficiency measures but that the differences were generally not statistically significant.Farm Management,

Clockwise: a mixed-media file system

This paper presents Clockwise, a mixed-media file system. The primary goal of Clockwise is to provide a storage architecture that supports the storage and retrieval of best-effort and real-time file system data. Clockwise provides an abstraction called a dynamic partition that groups lists of related (large) blocks on one or more disks. Dynamic partitions can grow and shrink in size and reading or writing of dynamic partitions can be scheduled explicitly. With respect to scheduling, Clockwise uses a novel strategy to pre-calculate schedule slack time and it schedules best-effort requests before queued real-time requests in this slack tim

Imitation of succesful behavior in Cournot markets

In an experimental standard Cournot Oligopoly we test the importance of models of behavior characterized by imitation of succesful behavior. We find that the players appear to the rather reluctant to imitate.Oligopoly, cournot, bounded rationality, spite effect, Leex

On the role of non-equilibrium focal points as coordination devices

Considering a pure coordination game with a large number of equivalent equilibria, we argue, first, that a focal point that is itself not a Nash equilibrium and is Pareto dominated by all Nash equilibria, may attract the players' choices. Second, we argue that such a non-equilibrium focal point may act as an equilibrium selection device that the players use to coordinate on a closely related small subset of Nash equilibria. We present theoretical as well as experimental support for these two new roles of focal points as coordination devices.Coordination game, Focal point, Nash equilibrium, Equilibrium selection, Coordination device, LeeX

Closed-cycle gas flow system for cooling of high Tc d.c. SQUID magnetometers

A high Tc.d.c SQUID based magnetometer for magnetocardiography is currently under development at the University of Twente. Since such a magnetometer should be simple to use, the cooling of the system can be realized most practically by means of a cryocooler. A closed-cycle gas flow cooling system incorporating such a cooler has been designed, constructed and tested. The aimed resolution of the magnetometer is 0.1 pT Hz−1/2. The required operating temperature for the SQUIDs is 30 to about 77 K with a stability of 2 × 10−4 K Hz−1/2. After a cool-down time of 1–2 h, a stationary cooling power of at least 0.2 W is required. In the design, helium gas is cooled by a Leybold Heraeus RG 210 cryocooler, transported through a gas line, and subsequently passed through a heat exchanger on which SQUIDs can be installed. The lowest obtainable SQUID heat exchanger temperature is 31 ± 2 K. This can be reached in roughly 2–3 h with an optimal mass flow with respect to the cooling power of 6 × 10−6 kg s−1. At this mass flow the cooling power at the SQUID heat exchanger is 0.2 W at 42 K and roughly 1.2 W at 77 K. A temperature stability of 0.05 K was measured at a SQUID heat exchanger temperature of 54 K and a mass flow of 3 × 10kg s−5. The experience gained with this large cooling system will be used in the design of a smaller configuration cooling system, incorporating miniature Stirling cryocoolers. In this paper the design and the construction of the present closed-cycle system are described and test results are presented.\ud \u