A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering

Deadlocks occur in concurrent programs as a consequence of cyclic resource acquisition between threads. In this paper we present a novel type system that guarantees deadlock freedom for a language with references, unstructured locking primitives, and locks which are implicitly associated with references. The proposed type system does not impose a strict lock acquisition order and thus increases programming language expressiveness.Comment: In Proceedings PLACES 2010, arXiv:1110.385

Early Palaeozoic ocean anoxia and global warming driven by the evolution of shallow burrowing

The evolution of burrowing animals forms a defining event in the history of the Earth. It has been hypothesised that the expansion of seafloor burrowing during the Palaeozoic altered the biogeochemistry of the oceans and atmosphere. However, whilst potential impacts of bioturbation on the individual phosphorus, oxygen and sulphur cycles have been considered, combined effects have not been investigated, leading to major uncertainty over the timing and magnitude of the Earth system response to the evolution of bioturbation. Here we integrate the evolution of bioturbation into the COPSE model of global biogeochemical cycling, and compare quantitative model predictions to multiple geochemical proxies. Our results suggest that the advent of shallow burrowing in the early Cambrian contributed to a global low-oxygen state, which prevailed for ~100 million years. This impact of bioturbation on global biogeochemistry likely affected animal evolution through expanded ocean anoxia, high atmospheric CO2 levels and global warming

Nitrate Reduction Functional Genes and Nitrate Reduction Potentials Persist in Deeper Estuarine Sediments. Why?

Denitrification and dissimilatory nitrate reduction to ammonium (DNRA) are processes occurring simultaneously under oxygen-limited or anaerobic conditions, where both compete for nitrate and organic carbon. Despite their ecological importance, there has been little investigation of how denitrification and DNRA potentials and related functional genes vary vertically with sediment depth. Nitrate reduction potentials measured in sediment depth profiles along the Colne estuary were in the upper range of nitrate reduction rates reported from other sediments and showed the existence of strong decreasing trends both with increasing depth and along the estuary. Denitrification potential decreased along the estuary, decreasing more rapidly with depth towards the estuary mouth. In contrast, DNRA potential increased along the estuary. Significant decreases in copy numbers of 16S rRNA and nitrate reducing genes were observed along the estuary and from surface to deeper sediments. Both metabolic potentials and functional genes persisted at sediment depths where porewater nitrate was absent. Transport of nitrate by bioturbation, based on macrofauna distributions, could only account for the upper 10 cm depth of sediment. A several fold higher combined freeze-lysable KCl-extractable nitrate pool compared to porewater nitrate was detected. We hypothesised that his could be attributed to intracellular nitrate pools from nitrate accumulating microorganisms like Thioploca or Beggiatoa. However, pyrosequencing analysis did not detect any such organisms, leaving other bacteria, microbenthic algae, or foraminiferans which have also been shown to accumulate nitrate, as possible candidates. The importance and bioavailability of a KCl-extractable nitrate sediment pool remains to be tested. The significant variation in the vertical pattern and abundance of the various nitrate reducing genes phylotypes reasonably suggests differences in their activity throughout the sediment column. This raises interesting questions as to what the alternative metabolic roles for the various nitrate reductases could be, analogous to the alternative metabolic roles found for nitrite reductases