Ozone loss derived from balloon-borne tracer measurements and the SLIMCAT CTM

Balloon-borne measurements of CFC-11 (on flights of the DIRAC in situ gas chromatograph and the DESCARTES grab sampler), ClO and O3 were made during the 1999/2000 winter as part of the SOLVE-THESEO 2000 campaign. Here we present the CFC-11 data from nine flights and compare them first with data from other instruments which flew during the campaign and then with the vertical distributions calculated by the SLIMCAT 3-D CTM. We calculate ozone loss inside the Arctic vortex between late January and early March using the relation between CFC-11 and O3 measured on the flights, the peak ozone loss (1200 ppbv) occurs in the 440–470 K region in early March in reasonable agreement with other published empirical estimates. There is also a good agreement between ozone losses derived from three independent balloon tracer data sets used here. The magnitude and vertical distribution of the loss derived from the measurements is in good agreement with the loss calculated from SLIMCAT over Kiruna for the same days

Simulated climate change conditions unveil the toxic potential of the fungicide pyrimethanil on the midge Chironomus riparius: a multigeneration experiment

Although it has been suggested that temperature increase may alter the toxic potential of environmental pollutants, few studies have investigated the potential risk of chemical stressors for wildlife under Global Climate Change (GCC) impact. We applied a bifactorial multigeneration study in order to test if GCC conditions alter the effects of low pesticide concentrations on life history and genetic diversity of the aquatic model organism Chironomus riparius. Experimental populations of the species were chronically exposed to a low concentration of the fungicide pyrimethanil (half of the no-observed-adverse-effect concentration: NOAEC/2) under two dynamic present-day temperature simulations (11.0–22.7°C; 14.0–25.2°C) and one future scenario (16.5–28.1°C). During the 140-day multigeneration study, survival, emergence, reproduction, population growth, and genetic diversity of C. riparius were analyzed. Our results reveal that high temperature and pyrimethanil act synergistically on the midge C. riparius. In simulated present-day scenarios, a NOAEC/2 of pyrimethanil as derived from a life-cycle toxicity test provoked only slight-to-moderate beneficial or adverse effects on C. riparius. In contrast, exposure to a NOAEC/2 concentration of pyrimethanil at a thermal situation likely for a summer under GCC conditions uncovered adverse effects on mortality and population growth rate. In addition, genetic diversity was considerably reduced by pyrimethanil in the future scenario, but only slightly under current climatic conditions. Our multigeneration study under near-natural (climatic) conditions indicates that not only the impact of climate change, but also low concentrations of pesticides may pose a reasonable risk for aquatic insects in future

For a Microkernel, a Big Lock Is Fine

Abstract It is well-established that high-end scalability requires finegrained locking, and for a system like Linux, a big lock degrades performance even at moderate core counts. Nevertheless, we argue that a big lock may be fine-grained enough for a microkernel designed to run on closely-coupled cores (sharing a cache), as with the short system calls typical for a well-designed microkernel, lock contention remains low under realistic loads

seL4/camkes-tool camkes-2.3.0

See release notes: https://wiki.sel4.systems/CAmkES%202.3.

seL4/camkes-tool: CAmkES-3.1.0

See release notes: https://wiki.sel4.systems/CAmkES%203.1.

seL4/l4v: Proofs for seL4 3.1.0

Isabelle/HOL proofs for seL4 version 3.1.

seL4: seL4 3.0.0

View release notes here: https://wiki.sel4.systems/seL4%203.0.