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.

UV Raman spectroscopic study on the synthesis mechanism of zeolite X

The synthesis of zeolite X is characterized by UV Raman spectroscopy, NMR spectroscopy, and X-ray diffraction. UV Raman spectra of the liquid phase of the synthesis system indicate that AI(OH); species are incorporated into silicate species, and the polymeric silicate species are depolymerized into monomeric silicate species during the early stage of zeolite formation. An. intermediate species possessing Raman bands at 307, 503, 858 and 1020 cm(-1) is detected during the crystallization ill the solid phase transformation. The intermediate species is attributed to the beta cage, the secondary building unit of zeolite X. A model for the formation of zeolite X is proposed, which involves four-membered rings connecting to each other via six-membered ring to form beta cages, then the beta cages interconnect via double six-membered rings to form the framework of zeolite X. (C) 2001 Elsevier Science B.V. All rights reserved.