Automatic relative debugging of OpenMP programs

In this work we show how automatic relative debugging can be used to find differences in computation between a correct serial program and an OpenMP parallel version of that program that does not yield correct results. Backtracking and re-execution are used to determine the first OpenMP parallel region that produces a difference in computation that may lead to an incorrect value the user has indicated. Our approach also lends itself to finding differences between parallel computations, where executing with M threads produces expected results but an N thread execution does not (M, N > 1, M ≠ N). OpenMP programs created using a parallelization tool are addressed by utilizing static analysis and directive information from the tool. Hand-parallelized programs, where OpenMP directives are inserted by the user, are addressed by performing data dependence and directive analysis.

[Book reviews] Review of J. E. Hoch, Semitic Words in Egyptian Texts of the New Kingdom and Third Intermediate Period and D. Sivan and Z. Cochavi-Rainey, West Semitic Vocabulary in Egyptian Script of the 14th to the 10th Centuries BCE

Reviews of: [1] James E. Hoch, Semitic Words in Egyptian Texts of the New Kingdom and Third Intermediate Period, (1994), Princeton University Press. [2] Daniel Sivan and Zipora Cochavi-Rainey, West Semitic Vocabulary in Egyptian Script of the 14th to the 10th Centuries BCE, (1992), Ben-Gurion University of the Negev Press.

[Book review] Reviews. [1] Nicholas Crane, Mercator: The Man Who Mapped the Planet, London: Weidenfield and Nicolson, 2002. [2] Stephen Inwood: The Man Who Knew Too Much: The Strange and Inventive Life of Robert Hooke (1635-1703), London: Macmillan, 2002

Book reviews of: [1] Nicholas Crane, Mercator: The Man Who Mapped the Planet, London: Weidenfield and Nicolson, 2002, £20, ISBN: 0297646656. [2] Stephen Inwood: The Man Who Knew Too Much: The Strange and Inventive Life of Robert Hooke (1635-1703), London: Macmillan, 2002, £18.99, ISBN: 0333782860.

The semi-automatic parallelisation of scientific application codes using a computer aided parallelisation toolkit

The shared-memory programming model can be an effective way to achieve parallelism on shared memory parallel computers. Historically however, the lack of a programming standard using directives and the limited scalability have affected its take-up. Recent advances in hardware and software technologies have resulted in improvements to both the performance of parallel programs with compiler directives and the issue of portability with the introduction of OpenMP. In this study, the Computer Aided Parallelisation Toolkit has been extended to automatically generate OpenMP-based parallel programs with nominal user assistance. We categorize the different loop types and show how efficient directives can be placed using the toolkit's in-depth interprocedural analysis. Examples are taken from the NAS parallel benchmarks and a number of real-world application codes. This demonstrates the great potential of using the toolkit to quickly parallelise serial programs as well as the good performance achievable on up to 300 processors for hybrid message passing-directive parallelisations.

Theories of the state

[Introduction] The recent, unparalleled ascendancy of the liberal democratic state may seem to render alternative theories of the state redundant. But while the prevailing view might be that “I have seen the future, and it works”, it was not so long ago that this was said about a very different type of state. And while the liberal democratic state is an abundant form of government, in practice this often reflects an uneasy compromise of conflicting conceptions of politics. It thus remains important to unpick the theoretical underpinnings of conceptions of the state.

The illusions of competition in the water sector: a response to the OFWAT/Cave consultations on introducing competition in the water sector in England and Wales

The paper provides a critical review of the role of liberalisation and competition in the water sector, based on empirical evidence from the UK and internationally. The paper is submitted as evidence to the official reviews of competition in water sector in England and Wales.