JVM-based Techniques for Improving Java Observability

Observability measures the support of computer systems to accurately capture, analyze, and present (collectively observe) the internal information about the systems. Observability frameworks play important roles for program understanding, troubleshooting, performance diagnosis, and optimizations. However, traditional solutions are either expensive or coarse-grained, consequently compromising their utility in accommodating today’s increasingly complex software systems. New solutions are emerging for VM-based languages due to the full control language VMs have over program executions. Existing such solutions, nonetheless, still lack flexibility, have high overhead, or provide limited context information for developing powerful dynamic analyses. In this thesis, we present a VM-based infrastructure, called marker tracing framework (MTF), to address the deficiencies in the existing solutions for providing better observability for VM-based languages. MTF serves as a solid foundation for implementing fine-grained low-overhead program instrumentation. Specifically, MTF allows analysis clients to: 1) define custom events with rich semantics ; 2) specify precisely the program locations where the events should trigger; and 3) adaptively enable/disable the instrumentation at runtime. In addition, MTF-based analysis clients are more powerful by having access to all information available to the VM. To demonstrate the utility and effectiveness of MTF, we present two analysis clients: 1) dynamic typestate analysis with adaptive online program analysis (AOPA); and 2) selective probabilistic calling context analysis (SPCC). In addition, we evaluate the runtime performance of MTF and the typestate client with the DaCapo benchmarks. The results show that: 1) MTF has acceptable runtime overhead when tracing moderate numbers of marker events; and 2) AOPA is highly effective in reducing the event frequency for the dynamic typestate analysis; and 3) language VMs can be exploited to offer greater observability.

Diatoms and Tonsteins as Paleoenvironrnental and Paleodepositional Indicators in a Miocene Coal Bed, Costa Rica

Fresh-water diatoms are present in coal, and tonsteins (altered volcanic ash) are interbedded with the coal, in the Miocene Venado Formation on the southwest margin of the Limon Basin, in Provincia Alajuela, northern Costa Rica. The Venado Formation is composed of more than 300 m of mudstone, siltstone, sandstone, limestone, volcaniclastics, and coal beds. The coal beds are of unknown lateral extent and mainly occur in the middle part of the formation. The Pataste coal bed occurs near the middle of the formation and is divided into three parts by two tonstein layers. The abundance of biogenic opaline material (diatoms) in the coal is believed to be a direct response to an influx of silica from volcanic tuffs that Later altered to the tonsteins. Diatoms are a useful microscopic tool for identifying the depositional environments of the Pataste coal deposit. The diatoms identified include Aulacosira ambigua, Pinnularia sp., Eunotia spp., and Achnanthes exigua, among others. The abundance of Aulacosira arnbigua suggests that an open-water lacustrine environment was present locally. Achnanthes exigua and the remaining diatom species are benthic forms that lived in shallow fresh-water to slightly acidic swamp environments. The different types of diatoms found in the coal indicate that swamp environments were intermixed with lacustrine environments during the formation of the peat deposit or that the coal records environmental changes through time.