Tuning the Level of Concurrency in Software Transactional Memory: An Overview of Recent Analytical, Machine Learning and Mixed Approaches

Synchronization transparency offered by Software Transactional Memory (STM) must not come at the expense of run-time efficiency, thus demanding from the STM-designer the inclusion of mechanisms properly oriented to performance and other quality indexes. Particularly, one core issue to cope with in STM is related to exploiting parallelism while also avoiding thrashing phenomena due to excessive transaction rollbacks, caused by excessively high levels of contention on logical resources, namely concurrently accessed data portions. A means to address run-time efficiency consists in dynamically determining the best-suited level of concurrency (number of threads) to be employed for running the application (or specific application phases) on top of the STM layer. For too low levels of concurrency, parallelism can be hampered. Conversely, over-dimensioning the concurrency level may give rise to the aforementioned thrashing phenomena caused by excessive data contention—an aspect which has reflections also on the side of reduced energy-efficiency. In this chapter we overview a set of recent techniques aimed at building “application-specific” performance models that can be exploited to dynamically tune the level of concurrency to the best-suited value. Although they share some base concepts while modeling the system performance vs the degree of concurrency, these techniques rely on disparate methods, such as machine learning or analytic methods (or combinations of the two), and achieve different tradeoffs in terms of the relation between the precision of the performance model and the latency for model instantiation. Implications of the different tradeoffs in real-life scenarios are also discussed

Comment on "Giant absorption cross section of ultracold neutrons in Gadolinium"

Rauch et al (PRL 83, 4955, 1999) have compared their measurements of the Gd cross section for Ultra-cold neutrons with an exptrapolation of the cross section for thermal neutrons and interpreted the discrepancy in terms of coherence properties of the neutron. We show the extrapolation used is based on a misunderstanding and that coherence properties play no role in absorption.Comment: 2 pages, 1 postscript figure, comment on Rauch et al, PRL 83,4955 (1999

Clustering and Sharing Incentives in BitTorrent Systems

Peer-to-peer protocols play an increasingly instrumental role in Internet content distribution. Consequently, it is important to gain a full understanding of how these protocols behave in practice and how their parameters impact overall performance. We present the first experimental investigation of the peer selection strategy of the popular BitTorrent protocol in an instrumented private torrent. By observing the decisions of more than 40 nodes, we validate three BitTorrent properties that, though widely believed to hold, have not been demonstrated experimentally. These include the clustering of similar-bandwidth peers, the effectiveness of BitTorrent's sharing incentives, and the peers' high average upload utilization. In addition, our results show that BitTorrent's new choking algorithm in seed state provides uniform service to all peers, and that an underprovisioned initial seed leads to the absence of peer clustering and less effective sharing incentives. Based on our observations, we provide guidelines for seed provisioning by content providers, and discuss a tracker protocol extension that addresses an identified limitation of the protocol

Atom laser dynamics in a tight-waveguide

We study the transient dynamics that arise during the formation of an atom laser beam in a tight waveguide. During the time evolution the density profile develops a series of wiggles which are related to the diffraction in time phenomenon. The apodization of matter waves, which relies on the use of smooth aperture functions, allows to suppress such oscillations in a time interval, after which there is a revival of the diffraction in time. The revival time scale is directly related to the inverse of the harmonic trap frequency for the atom reservoir.Comment: 6 pages, 5 figures, to be published in the Proceedings of the 395th WE-Heraeus Seminar on "Time Dependent Phenomena in Quantum Mechanics ", organized by T. Kramer and M. Kleber (Blaubeuren, Germany, September 2007

Event Systems : How to Have Your Cake and Eat It Too

This paper addresses the fundamental tradeoffs in event systems between scalability (of event filtering, routing, and delivery mechanisms), expressiveness (when describing interests in events), and event safety (ensuring encapsulation and type-safe interaction with polymorphic events). We point out some ramifications underlying these tradeoffs and we propose a pragmatic approach to handle them. We achieve scalability using a multi-stage filtering strategy that combines approximate and perfect matching techniques for the purpose of event routing and filtering. We achieve expressiveness and event safety by viewing events as objects; instances of application-defined abstract types