Hoisting C Structures Into Clay In Device Drivers

This project addresses the unreliability of operating system code, in particular in device drivers. Device driver software is the interface between the operating system and the device's hardware. Device drivers are written in low level code, making them difficult to understand. Almost all device drivers are written in the programming language C which allows for direct manipulation of memory. Due to the complexity of manual movement of data, most mistakes in operating systems occur in device driver code. The programming language Clay can be used to check device driver code at compile-time. Clay does most of its error checking statically to minimize the overhead of run-time checks in order to stay competitive with C's performance time. The Clay compiler can detect a lot more types of errors than the C compiler like buffer overflows, kernel stack overflows, NULL pointer uses, freed memory uses, and aliasing errors. Clay code that successfully compiles is guaranteed to run without failing on errors that Clay can detect. Even though C is unsafe, currently most device drivers are written in it. Not only are device drivers the part of the operating system most likely to fail, they also are the largest part of the operating system. As rewriting every existing device driver in Clay by hand would be impractical, this thesis is part of a project to automate translation of existing drivers from C to Clay. Although C and Clay both allow low level manipulation of data and fill the same niche for developing low level code, they have different syntax, type systems, and paradigms. This paper explores how C can be translated into Clay. It identifies what part of C device drivers cannot be translated into Clay and what information drivers in Clay will require that C cannot provide. It also explains how these translations will occur by explaining how each C structure is represented in the compiler and how these structures are changed to represent a Clay structure.

Microscopic and Spectroscopic Methods for Probing the Clay Water Interface

Clay minerals have a fundamental importance in many processes in soils and sediments such as the bioavailability of nutrients, water retention, the adsorption of common pollutants, and the formation of an impermeable barrier upon swelling. Many of the properties of clay minerals are due to the unique environment present at the clay mineral/water interface. Traditional techniques such as X-ray diffraction (XRD) and absorption isotherms have provided a wealth of information about this interface but have suffered from limitations. The methods and results presented herein are designed to yield new experimental information about the clay mineral/water interface.A new method of studying the swelling dynamics of clay minerals was developed using in situ atomic force microscopy (AFM). The preliminary results presented here demonstrate that this technique allows one to study individual clay mineral unit layers, explore the natural heterogeneities of samples, and monitor swelling dynamics of clay minerals in real time. Cation exchange experiments were conducted monitoring the swelling change of individual nontronite quasi-crystals as the chemical composition of the surrounding environment was manipulated several times. A proof of concept study has shown that the changes in swelling are from the exchange of interlayer cations and not from the mechanical force of replacing the solution in the fluid cell. A series of attenuated total internal reflection Fourier transform infrared spectroscopy (ATR-FTIR) experiments were performed to gain a better understanding of the organization of water within the interlayer region of two Fe-bearing clay minerals. These experiments made use of the Subtractive Kramers-Kronig (SKK) Transform and the calculation of difference spectra to obtain information about interfacial water hidden within the absorption bands of bulk water. The results indicate that the reduction of structural iron disrupts the organization of water around a strongly hydrated cation such as sodium as the cation transitions from an outer-sphere complex with the mineral surface to an inner-sphere complex. In the case of a less strongly hydrated cation such as potassium, reduction of structural iron actually increases the ordering of water molecules at the mineral surface. These effects were only noticed with the reduction of iron in the tetrahedral sheet close to the basal surface where the increased charge density is localized closer to the cations in the interlayer.

[House dust mite allergy]

House dust mites can be found all over the world where human beings live independent from the climate. Proteins from the gastrointestinal tract- almost all known as enzymes - are the allergens which induce chronic allergic diseases. The inhalation of small amounts of allergens on a regular base all night leads to a slow beginning of the disease with chronically stuffed nose and an exercise induced asthma which later on persists. House dust mites grow well in a humid climate - this can be in well isolated dwellings or in the tropical climate - and nourish from human skin dander. Scales are found in mattresses, upholstered furniture and carpets. The clinical picture with slowly aggravating complaints leads quite often to a delayed diagnosis, which is accidently done on the occasion of a wider spectrum of allergy skin testing. The beginning of a medical therapy with topical steroids as nasal spray or inhalation leads to a fast relief of the complaints. Although discussed in extensive controversies in the literature - at least in Switzerland with the cold winter and dry climate - the recommendation of house dust mite avoidance measures is given to patients with good clinical results. The frequent ventilation of the dwelling with cold air in winter time cause a lower indoor humidity. Covering encasings on mattresses, pillow, and duvets reduces the possibility of chronic contact with mite allergens as well as the weekly changing the bed linen. Another option of therapy is the specific immunotherapy with extracts of house dust mites showing good results in children and adults. Using recombinant allergens will show a better quality in diagnostic as well as in therapeutic specific immunotherapy.

Centennial mineral dust variability in high-resolution ice core data from Dome C, Antarctica

Ice core data from Antarctica provide detailed insights into the characteristics of past climate, atmospheric circulation, as well as changes in the aerosol load of the atmosphere. We present high-resolution records of soluble calcium (Ca2+), non-sea-salt soluble calcium (nssCa2+), and particulate mineral dust aerosol from the East Antarctic Plateau at a depth resolution of 1 cm, spanning the past 800 000 years. Despite the fact that all three parameters are largely dust-derived, the ratio of nssCa2+ to particulate dust is dependent on the particulate dust concentration itself. We used principal component analysis to extract the joint climatic signal and produce a common high-resolution record of dust flux. This new record is used to identify Antarctic warming events during the past eight glacial periods. The phasing of dust flux and CO2 changes during glacial-interglacial transitions reveals that iron fertilization of the Southern Ocean during the past nine glacial terminations was not the dominant factor in the deglacial rise of CO2 concentrations. Rapid changes in dust flux during glacial terminations and Antarctic warming events point to a rapid response of the southern westerly wind belt in the region of southern South American dust sources on changing climate conditions. The clear lead of these dust changes on temperature rise suggests that an atmospheric reorganization occurred in the Southern Hemisphere before the Southern Ocean warmed significantly.

Change in dust variability in the Atlantic sector of Antarctica at the end of the last deglaciation

We present a Rare Earth Elements (REE) record determined on the EPICA ice core drilled at Dronning Maud Land (EDML) in the Atlantic sector of the East Antarctic Plateau. The record covers the transition from the last glacial stage (LGS) to the early Holocene (26 600–7500 yr BP) at decadal to centennial resolution. Additionally, samples from potential source areas (PSAs) for Antarctic dust were analyzed for their REE characteristics. The dust provenance is discussed by comparing the REE fingerprints in the ice core and the PSA samples. We find a shift in variability in REE composition at ~15 000 yr BP in the ice core samples. Before 15 000 yr BP, the dust composition is very uniform and its provenance was most certainly dominated by a South American source. After 15 000 yr BP, multiple sources such as Australia and New Zealand become relatively more important, although South America remains the major dust source. A similar change in the dust characteristics was observed in the EPICA Dome C ice core at around ~15 000 yr BP, accompanied by a shift in the REE composition, thus suggesting a change of atmospheric circulation in the Southern Hemisphere.