A new approach to reversible computing with applications to speculative parallel simulation

In this thesis, we propose an innovative approach to reversible computing that shifts the focus from the operations to the memory outcome of a generic program. This choice allows us to overcome some typical challenges of "plain" reversible computing. Our methodology is to instrument a generic application with the help of an instrumentation tool, namely Hijacker, which we have redesigned and developed for the purpose. Through compile-time instrumentation, we enhance the program's code to keep track of the memory trace it produces until the end. Regardless of the complexity behind the generation of each computational step of the program, we can build inverse machine instructions just by inspecting the instruction that is attempting to write some value to memory. Therefore from this information, we craft an ad-hoc instruction that conveys this old value and the knowledge of where to replace it. This instruction will become part of a more comprehensive structure, namely the reverse window. Through this structure, we have sufficient information to cancel all the updates done by the generic program during its execution. In this writing, we will discuss the structure of the reverse window, as the building block for the whole reversing framework we designed and finally realized. Albeit we settle our solution in the specific context of the parallel discrete event simulation (PDES) adopting the Time Warp synchronization protocol, this framework paves the way for further general-purpose development and employment. We also present two additional innovative contributions coming from our innovative reversibility approach, both of them still embrace traditional state saving-based rollback strategy. The first contribution aims to harness the advantages of both the possible approaches. We implement the rollback operation combining state saving together with our reversible support through a mathematical model. This model enables the system to choose in autonomicity the best rollback strategy, by the mutable runtime dynamics of programs. The second contribution explores an orthogonal direction, still related to reversible computing aspects. In particular, we will address the problem of reversing shared libraries. Indeed, leading from their nature, shared objects are visible to the whole system and so does every possible external modification of their code. As a consequence, it is not possible to instrument them without affecting other unaware applications. We propose a different method to deal with the instrumentation of shared objects. All our innovative proposals have been assessed using the last generation of the open source ROOT-Sim PDES platform, where we integrated our solutions. ROOT-Sim is a C-based package implementing a general purpose simulation environment based on the Time Warp synchronization protocol

Master/worker parallel discrete event simulation

The execution of parallel discrete event simulation across metacomputing infrastructures is examined. A master/worker architecture for parallel discrete event simulation is proposed providing robust executions under a dynamic set of services with system-level support for fault tolerance, semi-automated client-directed load balancing, portability across heterogeneous machines, and the ability to run codes on idle or time-sharing clients without significant interaction by users. Research questions and challenges associated with issues and limitations with the work distribution paradigm, targeted computational domain, performance metrics, and the intended class of applications to be used in this context are analyzed and discussed. A portable web services approach to master/worker parallel discrete event simulation is proposed and evaluated with subsequent optimizations to increase the efficiency of large-scale simulation execution through distributed master service design and intrinsic overhead reduction. New techniques for addressing challenges associated with optimistic parallel discrete event simulation across metacomputing such as rollbacks and message unsending with an inherently different computation paradigm utilizing master services and time windows are proposed and examined. Results indicate that a master/worker approach utilizing loosely coupled resources is a viable means for high throughput parallel discrete event simulation by enhancing existing computational capacity or providing alternate execution capability for less time-critical codes.Ph.D.Committee Chair: Fujimoto, Richard; Committee Member: Bader, David; Committee Member: Perumalla, Kalyan; Committee Member: Riley, George; Committee Member: Vuduc, Richar

Instance-Adaptive Video Compression: Improving Neural Codecs by Training on the Test Set

We introduce a video compression algorithm based on instance-adaptive learning. On each video sequence to be transmitted, we finetune a pretrained compression model. The optimal parameters are transmitted to the receiver along with the latent code. By entropy-coding the parameter updates under a suitable mixture model prior, we ensure that the network parameters can be encoded efficiently. This instance-adaptive compression algorithm is agnostic about the choice of base model and has the potential to improve any neural video codec. On UVG, HEVC, and Xiph datasets, our codec improves the performance of a scale-space flow model by between 21% and 27% BD-rate savings, and that of a state-of-the-art B-frame model by 17 to 20% BD-rate savings. We also demonstrate that instance-adaptive finetuning improves the robustness to domain shift. Finally, our approach reduces the capacity requirements of compression models. We show that it enables a competitive performance even after reducing the network size by 70%.Comment: Matches version published in TML

Dynamic critical phenomena at a holographic critical point

We study time-dependent perturbations to a family of five-dimensional black hole spacetimes constructed as a holographic model of the QCD phase diagram. We use the results to calculate two transport coefficients, the bulk viscosity and conductivity, as well as the associated baryon diffusion constant, throughout the phase diagram. Near the critical point in the T-mu plane, the transport coefficients remain finite, although their derivatives diverge, and the diffusion goes to zero. This provides further evidence that large-N_c gauge theories suppress convective transport. We also find a divergence in the low-temperature bulk viscosity, outside the region expected to match QCD, and compare the results to the transport behavior of known R-charged black holes.Comment: 40 pages, 11 figures, LaTe

Slow Potentials of the Sensorimotor Cortex during Rhythmic Movements of the Ankle

The objective of this dissertation was to more fully understand the role of the human brain in the production of lower extremity rhythmic movements. Throughout the last century, evidence from animal models has demonstrated that spinal reflexes and networks alone are sufficient to propagate ambulation. However, observations after neural trauma, such as a spinal cord injury, demonstrate that humans require supraspinal drive to facilitate locomotion. To investigate the unique nature of lower extremity rhythmic movements, electroencephalography was used to record neural signals from the sensorimotor cortex during three cyclic ankle movement experiments. First, we characterized the differences in slow movement-related cortical potentials during rhythmic and discrete movements. During the experiment, motion analysis and electromyography were used characterize lower leg kinematics and muscle activation patterns. Second, a custom robotic device was built to assist in passive and active ankle movements. These movement conditions were used to examine the sensory and motor cortical contributions to rhythmic ankle movement. Lastly, we explored the differences in sensory and motor contributions to bilateral, rhythmic ankle movements. Experimental results from all three studies suggest that the brain is continuously involved in rhythmic movements of the lower extremities. We observed temporal characteristics of the cortical slow potentials that were time-locked to the movement. The amplitude of these potentials, localized over the sensorimotor cortex, revealed a reduction in neural activity during rhythmic movements when compared to discrete movements. Moreover, unilateral ankle movements produced unique sensory potentials that tracked the position of the movement and motor potentials that were only present during active dorsiflexion. In addition, the spatiotemporal patterns of slow potentials during bilateral ankle movements suggest similar cortical mechanisms for both unilateral and bilateral movement. Lastly, beta frequency modulations were correlated to the movement-related slow potentials within medial sensorimotor cortex, which may indicate they are of similar cortical origin. From these results, we concluded that the brain is continuously involved in the production of lower extremity rhythmic movements, and that the sensory and motor cortices provide unique contributions to both unilateral and bilateral movemen