Temperature Regulation in Multicore Processors Using Adjustable-Gain Integral Controllers

This paper considers the problem of temperature regulation in multicore processors by dynamic voltage-frequency scaling. We propose a feedback law that is based on an integral controller with adjustable gain, designed for fast tracking convergence in the face of model uncertainties, time-varying plants, and tight computing-timing constraints. Moreover, unlike prior works we consider a nonlinear, time-varying plant model that trades off precision for simple and efficient on-line computations. Cycle-level, full system simulator implementation and evaluation illustrates fast and accurate tracking of given temperature reference values, and compares favorably with fixed-gain controllers.Comment: 8 pages, 6 figures, IEEE Conference on Control Applications 2015, Accepted Versio

Coordinated management of the processor and memory for optimizing energy efficiency

Energy efficiency is a key design goal for future computing systems. With diverse components interacting with each other on the System-on-Chip (SoC), dynamically managing performance, energy and temperature is a challenge in 2D architectures and more so in a 3D stacked environment. Temperature has emerged as the parameter of primary concern. Heuristics based schemes have been employed so far to address these issues. Looking ahead into the future, complex multiphysics interactions between performance, energy and temperature reveal the limitations of such approaches. Therefore in this thesis, first, a comprehensive characterization of existing methods is carried out to identify causes for their inefficiency. Managing different components in an independent and isolated fashion using heuristics is seen to be the primary drawback. Following this, techniques based on feedback control theory to optimize the energy efficiency of the processor and memory in a coordinated fashion are developed. They are evaluated on a real physical system and a cycle-level simulator demonstrating significant improvements over prior schemes. The two main messages of this thesis are, (i) coordination between multiple components is paramount for next generation computing systems and (ii) temperature ought to be treated as a resource like compute or memory cycles.Ph.D

CPU Resource Management and Noise Filtering for PID Control

The first part of the thesis deals with adaptive CPU resource management for multicore platforms. The work was done as a part of the resource manager component of the adaptive resource management framework implemented in the European ACTORS project. The framework dynamically allocates CPU resources for the applications. The key element of the framework is the resource manager that combines feedforward and feedback algorithms together with reservation techniques. The resource requirements of the applications are provided through service level tables. Dynamic bandwidth allocation is performed by the resource manager which adapts applications to changes in resource availability, and adapts the resource allocation to changes in application requirements. The dynamic bandwidth allocation allows to obtain real application models through the tuning and update of the initial service level tables. The second part of the thesis deals with the design of measurement noise filters for PID control. The design is based on an iterative approach to calculate the filter time constant, which requires the information in terms of an FOTD model of the process. Tuning methods such as Lambda, SIMC, and AMIGO are used to obtain the controller parameters. New criteria based on the trade-offs between performance, robustness, and attenuation of measurement noise are proposed for assessment of the design. Simple rules for calculating the filter time constant based on the nominal process model and the nominal controller are then derived, thus, eliminating the need for iteration. Finally, a complete tuning procedure is proposed. The tuning procedure accounts for the effects of filtering in the nominal process. Hence, the added dynamics are included in the filtered process model, which is then used to recalculate the controller tuning parameters

Intelligent systems for efficiency and security

As computing becomes ubiquitous and personalized, resources like energy, storage and time are becoming increasingly scarce and, at the same time, computing systems must deliver in multiple dimensions, such as high performance, quality of service, reliability, security and low power. Building such computers is hard, particularly when the operating environment is becoming more dynamic, and systems are becoming heterogeneous and distributed. Unfortunately, computers today manage resources with many ad hoc heuristics that are suboptimal, unsafe, and cannot be composed across the computer’s subsystems. Continuing this approach has severe consequences: underperforming systems, resource waste, information loss, and even life endangerment. This dissertation research develops computing systems which, through intelligent adaptation, deliver efficiency along multiple dimensions. The key idea is to manage computers with principled methods from formal control. It is with these methods that the multiple subsystems of a computer sense their environment and configure themselves to meet system-wide goals. To achieve the goal of intelligent systems, this dissertation makes a series of contributions, each building on the previous. First, it introduces the use of formal MIMO (Multiple Input Multiple Output) control for processors, to simultaneously optimize many goals like performance, power, and temperature. Second, it develops the Yukta control system, which uses coordinated formal controllers in different layers of the stack (hardware and operating system). Third, it uses robust control to develop a fast, globally coordinated and decentralized control framework called Tangram, for heterogeneous computers. Finally, it presents Maya, a defense against power side-channel attacks that uses formal control to reshape the power dissipated by a computer, confusing the attacker. The ideas in the dissertation have been demonstrated successfully with several prototypes, including one built along with AMD (Advanced Micro Devices, Inc.) engineers. These designs significantly outperformed the state of the art. The research in this dissertation brought formal control closer to computer architecture and has been well-received in both domains. It has the first application of full-fledged MIMO control for processors, the first use of robust control in computer systems, and the first application of formal control for side-channel defense. It makes a significant stride towards intelligent systems that are efficient, secure and reliable

Pem fuel cell modeling and converters design for a 48 v dc power bus

Fuel cells (FC) are electrochemical devices that directly convert the chemical energy of a fuel into electricity. Power systems based on proton exchange membrane fuel cell (PEMFC) technology have been the object of increasing attention in recent years as they appear very promising in both stationary and mobile applications due to their high efficiency, low operating temperature allowing fast startup, high power density, solid electrolyte, long cell and stack life, low corrosion, excellent dynamic response with respect to the other FCs, and nonpolluting emissions to the environment if the hydrogen is obtained from renewable sources. The output-voltage characteristic in a PEMFC is limited by the mechanical devices which are used for regulating the air flow in its cathode, the hydrogen flow in its anode, its inner temperature, and the humidity of the air supplied to it. Usually, the FC time constants are dominated by the fuel delivery system, in particular by the slow dynamics of the compressor responsible for supplying the oxygen. As a consequence, a fast load transient demand could cause a high voltage drop in a short time known as oxygen starvation phenomenon that is harmful for the FC. Thus, FCs are considered as a slow dynamic response equipment with respect to the load transient requirements. Therefore, batteries, ultracapacitors or other auxiliary power sources are needed to support the operation of the FC in order to ensure a fast response to any load power transient. The resulting systems, known as FC hybrid systems, can limit the slope of the current or the power generated by the FC with the use of current-controlled dc-dc converters. In this way, the reactant gas starvation phenomena can be avoided and the system can operate with higher efficiency. The purpose of this thesis is the design of a DC-DC converter suitable to interconnect all the different elements in a PEMFC-hybrid 48-V DC bus. Since the converter could be placed between elements with very different voltage levels, a buck-boost structure has been selected. Especially to fulfill the low ripple requirements of the PEMFCs, but also those of the auxiliary storage elements and loads, our structure has inductors in series at both its input and its output. Magnetically coupling these inductors and adding a damping network to its intermediate capacitor we have designed an easily controllable converter with second-order-buck-like dominant dynamics. This new proposed topology has high efficiency and wide bandwidth acting either as a voltage or as a current regulator. The magnetic coupling allows to control with similar performances the input or the output inductor currents. This characteristic is very useful because the designed current-controlled converter is able to withstand shortcircuits at its output and, when connected to the FC, it facilitates to regulate the current extracted from the FC to avoid the oxygen starvation phenomenon. Testing in a safe way the converter connected to the FC required to build an FC simulator that was subsequently improved by developing an emulator that offered real-time processing and oxygen-starvation indication. To study the developed converters and emulators with different brands of PEMFCs it was necessary to reactivate long-time inactive Palcan FCs. Since the results provided by the manual reactivation procedure were unsatisfactory, an automatic reactivation system has been developed as a complementary study of the thesis.En esta tesis se avanzo en el diseño de un bus DC de 48 V que utiliza como elemento principal de generación de energía eléctrica una pila de combustible. Debido a que la dinámica de las pilas de combustible están limitadas por sus elementos mecánicos auxiliares de control una variación rápida de una carga conectada a ella puede ocasionar daños. Es por esto que es necesario utilizar elementos almacenadores de energía que puedan suministrar estas rápidas variaciones de carga y convertidores para que gestionen de una forma controlada la potencia del bus DC. Durante la realización de pruebas de los convertidores es de gran importancia utilizar emuladores o simuladores de pilas de combustibles, esto nos permite de una forma económica y segura realizar pruebas criticas antes de conectar los convertidores a la pila. Adicionalmente una nueva topologia de convertidor fue presentada y ésta gestionará la potencia en el bu