Garbage Collection is Fast, But a Stack is Faster

Prompted by claims that garbage collection can outperform stack allocation when sufficient physical memory is available, we present a careful analysis and set of cross-architecture measurements comparing these two approaches for the implementation of continuation (procedure call) frames. When the frames are allocated on a heap they require additional space, increase the amount of data transferred between memory and registers, and, on current architectures, require more instructions. We find that stack allocation of continuation frames outperforms heap allocation in some cases by almost a factor of three. Thus, stacks remain an important implementation technique for procedure calls, even in the presence of an efficient, compacting garbage collector and large amounts of memory.

A Lifetime-based Garbage Collector for LISP Systems on General-Purpose Computers

Garbage collector performance in LISP systems on custom hardware has been substantially improved by the adoption of lifetime-based garbage collection techniques. To date, however, successful lifetime-based garbage collectors have required special-purpose hardware, or at least privileged access to data structures maintained by the virtual memory system. I present here a lifetime-based garbage collector requiring no special-purpose hardware or virtual memory system support, and discuss its performance.

Sparsely Faceted Arrays: A Mechanism Supporting Parallel Allocation, Communication, and Garbage Collection

Conventional parallel computer architectures do not provide support for non-uniformly distributed objects. In this thesis, I introduce sparsely faceted arrays (SFAs), a new low-level mechanism for naming regions of memory, or facets, on different processors in a distributed, shared memory parallel processing system. Sparsely faceted arrays address the disconnect between the global distributed arrays provided by conventional architectures (e.g. the Cray T3 series), and the requirements of high-level parallel programming methods that wish to use objects that are distributed over only a subset of processing elements. A sparsely faceted array names a virtual globally-distributed array, but actual facets are lazily allocated. By providing simple semantics and making efficient use of memory, SFAs enable efficient implementation of a variety of non-uniformly distributed data structures and related algorithms. I present example applications which use SFAs, and describe and evaluate simple hardware mechanisms for implementing SFAs. Keeping track of which nodes have allocated facets for a particular SFA is an important task that suggests the need for automatic memory management, including garbage collection. To address this need, I first argue that conventional tracing techniques such as mark/sweep and copying GC are inherently unscalable in parallel systems. I then present a parallel memory-management strategy, based on reference-counting, that is capable of garbage collecting sparsely faceted arrays. I also discuss opportunities for hardware support of this garbage collection strategy. I have implemented a high-level hardware/OS simulator featuring hardware support for sparsely faceted arrays and automatic garbage collection. I describe the simulator and outline a few of the numerous details associated with a "real" implementation of SFAs and SFA-aware garbage collection. Simulation results are used throughout this thesis in the evaluation of hardware support mechanisms.

Impacts of shale gas wastewater disposal on water quality in western Pennsylvania.

The safe disposal of liquid wastes associated with oil and gas production in the United States is a major challenge given their large volumes and typically high levels of contaminants. In Pennsylvania, oil and gas wastewater is sometimes treated at brine treatment facilities and discharged to local streams. This study examined the water quality and isotopic compositions of discharged effluents, surface waters, and stream sediments associated with a treatment facility site in western Pennsylvania. The elevated levels of chloride and bromide, combined with the strontium, radium, oxygen, and hydrogen isotopic compositions of the effluents reflect the composition of Marcellus Shale produced waters. The discharge of the effluent from the treatment facility increased downstream concentrations of chloride and bromide above background levels. Barium and radium were substantially (>90%) reduced in the treated effluents compared to concentrations in Marcellus Shale produced waters. Nonetheless, (226)Ra levels in stream sediments (544-8759 Bq/kg) at the point of discharge were ~200 times greater than upstream and background sediments (22-44 Bq/kg) and above radioactive waste disposal threshold regulations, posing potential environmental risks of radium bioaccumulation in localized areas of shale gas wastewater disposal.

Mineralogy of selected geological deposits from the United Kingdom and the Republic of Ireland as possible capping materials for low-level radioactive waste disposal facilities

Solid low-level radioactive waste (LLW) is currently being disposed at a number of facilities in the United Kingdom (UK). The safety of these facilities relies to some extent on the use of engineered barriers, such as a cap, to isolate the waste and protect the environment. Generally, the material used as the barrier layer within such a cap should be of low permeability and it should retain this property over long timescales (beyond a few decades normally required for facilities containing non-radioactive wastes). The objective of this research is to determine the mineralogy of selected geological deposits from the UK and Ireland as part of a larger project to examine their suitability as a capping material, particularly on LLW sites. Mineral transformations, as a result of future climate change, may impact on the long-term performance of the cap and even the disposal facility. X-ray diffraction (XRD) was carried-out on the sand, silt and clay fractions of the London Clay, Belfast Upper Boulder Clay, Irish Glacial Till, Belfast Sleech, and Ampthill Clay geological deposits. Minerals were present that could pose both positive and negative effects on the long-term performance of the cap. Smectite, which has a high shrink swell potential, may produce cracks in London Clay, Belfast Upper Boulder Clay and Ampthill Clay capping material during dry, hotter periods as a possible consequence of future climate change; thus, resulting in higher permeability. Ampthill Clay and Belfast Sleech had elevated amounts of organic matter (OM) at 5.93% and 5.88%, respectively, which may also contribute to cracking. Over time, this OM may decompose and result in increased permeability. Gypsum (CaSO4) in the silt and sand fractions of Ampthill Clay may reduce the impact of erosion during wetter periods if it is incorporated into the upper portion of the cap. There are potential negative effects from the acidity created by the weathering of pyrite (FeS2) present in the silt and sand fractions of Belfast Sleech and Ampthill Clay that could impede the growth of grasses used to stabilize the surface of the capping material if this material is used as part of the vegetative soil layer. Additionally, acidic waters generated from pyrite weathering could negatively impact the lower lying capping layers and the disposal facility in general. However, the calcium carbonate (CaCO3) present in the silt and sand fractions of these deposits, and dolomite (CaMg(CO3)2) in Belfast Sleech, may counter act the acidity.

Grassroots mobilisations against waste disposal sites in Greece

The government of Greece has gained notoriety for its failure to implement EU environmental directives in general, and is criticised specifically for its lack of an effective plan for the safe disposal of waste. Local mobilisations against a series of planned 'Sanitary Waste Disposal Sites' (HETAs) in three municipalities of Attica are examined. Should such protests be classified as NIMBY (not in my backyard)? Or do they present broader claims of justice and equity? Qualitative analysis of the protesters' on-line campaign material reveals that while these mobilisations do demonstrate some NIMBY characteristics, such campaigns should rather be perceived as ad hoc mobilisations reflective of tensions of late modernity. The public's mistrust of science and concerns about democratic deficit and accountability, as well as different perceptions of risk, are prominent.