Scratchpad memory management in a multitasking environment

This paper presents a dynamic scratchpad memory (SPM) code allocation technique for embedded systems running an operating system with preemptive multitasking. Existing SPM allocation schemes do not support multiple tasks or only a fixed number of processes that are known at compile time. These schemes rely on algorithms that select code depending on the size of the SPM. In contemporary portable devices, however, processes are created and terminated on demand and the SPM is shared among them. We introduce a dynamic scratchpad memory code alloca-tion technique for code that supports dynamically created processes. At runtime, an SPM manager (SPMM) loads code pages of the running applications into the SPM on de-mand. It supports different sharing strategies that deter-mine how the SPM is distributed among the running pro-cesses. We analyze several sharing strategies with regard to several preferable properties of multiprocess SPM allocation schemes. We evaluate the proposed multiprocess SPM allocation techniques and compare them to a fully-cached reference system by running several multiprocess benchmarks. The benchmarks comprise of multiple embedded applications such as H.264, MP3, MPEG-4, and PGP. On average, we achieve a 47 % improvement in throughput and a 32 % re-duction in energy consumption. A comparison with the un-achievable lower bound shows that the best SPM sharing strategy exploits 87 % of the runtime improvements and 89% of the energy savings possible

On the engineering of crucial software

The various aspects of the conventional software development cycle are examined. This cycle was the basis of the augmented approach contained in the original grant proposal. This cycle was found inadequate for crucial software development, and the justification for this opinion is presented. Several possible enhancements to the conventional software cycle are discussed. Software fault tolerance, a possible enhancement of major importance, is discussed separately. Formal verification using mathematical proof is considered. Automatic programming is a radical alternative to the conventional cycle and is discussed. Recommendations for a comprehensive approach are presented, and various experiments which could be conducted in AIRLAB are described

Requirements, design and business process reengineering as vital parts of any system development methodology

This thesis analyzes different aspects of system development life cycle, concentrating on the requirements and design stages. It describes various methodologies, methods and tools that have been developed over the years. It evaluates them and compares them against each other. Finally a conclusion is made that there is a very important stage missing in the system development life cycle, which is the Business Process Reengineering Stage

Green Technologies for Production Processes

This book focuses on original research works about Green Technologies for Production Processes, including discrete production processes and process production processes, from various aspects that tackle product, process, and system issues in production. The aim is to report the state-of-the-art on relevant research topics and highlight the barriers, challenges, and opportunities we are facing. This book includes 22 research papers and involves energy-saving and waste reduction in production processes, design and manufacturing of green products, low carbon manufacturing and remanufacturing, management and policy for sustainable production, technologies of mitigating CO2 emissions, and other green technologies

Developing predictive insight into changing water systems: use-inspired hydrologic science for the Anthropocene

Globally, many different kinds of water resources management issues call for policy- and infrastructure-based responses. Yet responsible decision-making about water resources management raises a fundamental challenge for hydrologists: making predictions about water resources on decadal - to century-long timescales. Obtaining insight into hydrologic futures over 100 yr timescales forces researchers to address internal and exogenous changes in the properties of hydrologic systems. To do this, new hydrologic research must identify, describe and model feedbacks between water and other changing, coupled environmental subsystems. These models must be constrained to yield useful insights, despite the many likely sources of uncertainty in their predictions. Chief among these uncertainties are the impacts of the increasing role of human intervention in the global water cycle – a defining challenge for hydrology in the Anthropocene. Here we present a research agenda that proposes a suite of strategies to address these challenges from the perspectives of hydrologic science research. The research agenda focuses on the development of co-evolutionary hydrologic modeling to explore coupling across systems, and to address the implications of this coupling on the long-time behavior of the coupled systems. Three research directions supportthe development of these models: hydrologic reconstruction, comparative hydrology and model-data learning. These strategies focus on understanding hydrologic processes and feedbacks over long timescales, across many locations, and through strategic coupling of observational and model data in specific systems. We highlight the value of use-inspired and team-based science that is motivated by real-world hydrologic problems but targets improvements in fundamental understanding to support decision-making and management. Fully realizing the potential of this approach will ultimately require detailed integration of social science and physical science understanding of water systems, and is a priority for the developing field of sociohydrology

Additive Manufacturing as a Means of Gas Sensor Development for Battery Health Monitoring

Lithium-ion batteries (LIBs) still need continuous safety monitoring based on their intrinsic properties, as well as due to the increase in their sizes and device requirements. The main causes of fires and explosions in LIBs are heat leakage and the presence of highly inflammable components. Therefore, it is necessary to improve the safety of the batteries by preventing the generation of these gases and/or their early detection with sensors. The improvement of such safety sensors requires new approaches in their manufacturing. There is a growing role for research of nanostructured sensor’s durability in the field of ionizing radiation that also can induce structural changes in the LIB’s component materials, thus contributing to the elucidation of fundamental physicochemical processes; catalytic reactions or inhibitions of the chemical reactions on which the work of the sensors is based. A current method widely used in various fields, Direct Ink Writing (DIW), has been used to manufacture heterostructures of Al2O3/CuO and CuO:Fe2O3, followed by an additional ALD and thermal annealing step. The detection properties of these 3D-DIW printed heterostructures showed responses to 1,3-dioxolan (DOL), 1,2-dimethoxyethane (DME) vapors, as well as to typically used LIB electrolytes containing LiTFSI and LiNO3 salts in a mixture of DOL:DME, as well also to LiPF6 salts in a mixture of ethylene carbonate (EC) and dimethyl carbonate (DMC) at operating temperatures of 200 °C–350 °C with relatively high responses. The combination of the possibility to detect electrolyte vapors used in LIBs and size control by the 3D-DIW printing method makes these heterostructures extremely attractive in controlling the safety of batteries

Strong Memory Consistency For Parallel Programming

Correctly synchronizing multithreaded programs is challenging, and errors can lead to program failures (e.g., atomicity violations). Existing memory consistency models rule out some possible failures, but are limited by depending on subtle programmer-defined locking code and by providing unintuitive semantics for incorrectly synchronized code. Stronger memory consistency models assist programmers by providing them with easier-to-understand semantics with regard to memory access interleavings in parallel code. This dissertation proposes a new strong memory consistency model based on ordering-free regions (OFRs), which are spans of dynamic instructions between consecutive ordering constructs (e.g. barriers). Atomicity over ordering-free regions provides stronger atomicity than existing strong memory consistency models with competitive performance. Ordering-free regions also simplify programmer reasoning by limiting the potential for atomicity violations to fewer points in the program’s execution. This dissertation explores both software-only and hardware-supported systems that provide OFR serializability

Energy-efficient mobile Web computing

Next-generation Web services will be primarily accessed through mobile devices. However, mobile devices are low-performance and stringently energy-constrained. In my dissertation, I propose the design of a high-performance and energy-efficient mobile Web computing substrate. It is a hardware/software co-designed system that delivers satisfactory user quality-of-service (QoS) experience on a mobile energy budget. The key insight is that the traditional interfaces between different Web stacks need to be enhanced with new abstractions that express user QoS experience and that expose architectural-level complexities. On the basis of the enhanced interfaces, I propose synergistic cross-layer optimizations across the processor architecture, Web runtime, programming language, and application layers to maximize the whole system efficiency. The contributions made in this dissertation will likely have a long-term impact because the target application domain, the Web, is becoming a universal mobile development platform, and because our solutions target the fundamental computation layers of the Web domain.Electrical and Computer Engineerin

Doctor of Philosophy

dissertationStochastic methods, dense free-form mapping, atlas construction, and total variation are examples of advanced image processing techniques which are robust but computationally demanding. These algorithms often require a large amount of computational power as well as massive memory bandwidth. These requirements used to be ful lled only by supercomputers. The development of heterogeneous parallel subsystems and computation-specialized devices such as Graphic Processing Units (GPUs) has brought the requisite power to commodity hardware, opening up opportunities for scientists to experiment and evaluate the in uence of these techniques on their research and practical applications. However, harnessing the processing power from modern hardware is challenging. The di fferences between multicore parallel processing systems and conventional models are signi ficant, often requiring algorithms and data structures to be redesigned signi ficantly for efficiency. It also demands in-depth knowledge about modern hardware architectures to optimize these implementations, sometimes on a per-architecture basis. The goal of this dissertation is to introduce a solution for this problem based on a 3D image processing framework, using high performance APIs at the core level to utilize parallel processing power of the GPUs. The design of the framework facilitates an efficient application development process, which does not require scientists to have extensive knowledge about GPU systems, and encourages them to harness this power to solve their computationally challenging problems. To present the development of this framework, four main problems are described, and the solutions are discussed and evaluated: (1) essential components of a general 3D image processing library: data structures and algorithms, as well as how to implement these building blocks on the GPU architecture for optimal performance; (2) an implementation of unbiased atlas construction algorithms|an illustration of how to solve a highly complex and computationally expensive algorithm using this framework; (3) an extension of the framework to account for geometry descriptors to solve registration challenges with large scale shape changes and high intensity-contrast di fferences; and (4) an out-of-core streaming model, which enables developers to implement multi-image processing techniques on commodity hardware