OPEN PROBLEMS IN MULTI-MODAL SCHEDULING THEORY FOR THERMAL-RESILIENT MULTICORE SYSTEMS Nathan Fisher, Masud Ahmed, and Pradeep Hettiarachchi Department.

Slides:

Advertisements

Similar presentations

Real-Time Competitive Environments: Truthful Mechanisms for Allocating a Single Processor to Sporadic Tasks Anwar Mohammadi, Nathan Fisher, and Daniel.

Advertisements

1 Advancing Supercomputer Performance Through Interconnection Topology Synthesis Yi Zhu, Michael Taylor, Scott B. Baden and Chung-Kuan Cheng Department.

Techniques for Multicore Thermal Management Field Cady, Bin Fu and Kai Ren.

Lecture Objectives: 1)Explain the limitations of flash memory. 2)Define wear leveling. 3)Define the term IO Transaction 4)Define the terms synchronous.

RUN: Optimal Multiprocessor Real-Time Scheduling via Reduction to Uniprocessor Paul Regnier † George Lima † Ernesto Massa † Greg Levin ‡ Scott Brandt ‡

Real-Time Scheduling CIS700 Insup Lee October 3, 2005 CIS 700.

On Schedulability and Time Composability of Data Aggregation Networks Fatemeh Saremi *, Praveen Jayachandran †, Forrest Iandola *, Md Yusuf Sarwar Uddin.

Sporadic Server Scheduling in Linux Theory vs. Practice Mark Stanovich Theodore Baker Andy Wang.

SIGMETRICS 2008: Introduction to Control Theory. Abdelzaher, Diao, Hellerstein, Lu, and Zhu. CPU Utilization Control in Distributed Real-Time Systems Chenyang.

26 April A Compositional Framework for Real-Time Guarantees Insik Shin and Insup Lee Real-time Systems Group Systems Design Research Lab Dept. of.

Chess Review May 11, 2005 Berkeley, CA Composable Code Generation for Distributed Giotto Tom Henzinger Christoph Kirsch Slobodan Matic.

Performance and Energy Bounds for Multimedia Applications on Dual-processor Power-aware SoC Platforms Weng-Fai WONG 黄荣辉 Dept. of Computer Science National.

Selfishness in Transactional Memory Raphael Eidenbenz, Roger Wattenhofer Distributed Computing Group Game Theory meets Multicore Architecture.

Simulation Relations, Interface Complexity, and Resource Optimality for Real-Time Hierarchical Systems Insup Lee PRECISE Center Department of Computer.

Chapter 1: Overview of Workflow Management Dr. Shiyong Lu Department of Computer Science Wayne State University.

Magnetic Components in Electric Circuits Understanding thermal behaviour and stress Peter R. Wilson, University of Southampton.

October 3, 2005CIS 7001 Compositional Real-Time Scheduling Framework Insik Shin.

©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 15 Slide 1 Real-time Systems 1.

Multiprocessor Real- Time Scheduling Aaron Harris CSE 666 Prof. Ganesan.

Advances in Language Design

Towards a Contract-based Fault-tolerant Scheduling Framework for Distributed Real-time Systems Abhilash Thekkilakattil, Huseyin Aysan and Sasikumar Punnekkat.

The Design of an EDF- Scheduled Resource-Sharing Open Environment Nathan Fisher Wayne State University Marko Bertogna Scuola Superiore Santa’Anna of Pisa.

Sensor-Based Fast Thermal Evaluation Model For Energy Efficient High-Performance Datacenters Q. Tang, T. Mukherjee, Sandeep K. S. Gupta Department of Computer.

Copyright © 2008 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 3: Operating Systems Computer Science: An Overview Tenth Edition.

Power and Performance Modeling in a Virtualized Server System M. Pedram and I. Hwang Department of Electrical Engineering Univ. of Southern California.

1 Performance Evaluation of Computer Systems and Networks Introduction, Outlines, Class Policy Instructor: A. Ghasemi Many thanks to Dr. Behzad Akbari.

Computer Science and Engineering Parallel and Distributed Processing CSE 8380 March 01, 2005 Session 14.

Quantifying the Sub-optimality of Non-preemptive Real-time Scheduling Abhilash Thekkilakattil, Radu Dobrin and Sasikumar Punnekkat.

Chapter 1: Overview of Workflow Management Dr. Shiyong Lu Department of Computer Science Wayne State University.

An Analysis of Efficient Multi-Core Global Power Management Policies: Maximizing Performance for a Given Power Budget Represented by: Majid Malaika Authors:

1 Reducing Queue Lock Pessimism in Multiprocessor Schedulability Analysis Yang Chang, Robert Davis and Andy Wellings Real-time Systems Research Group University.

Frank Casilio Computer Engineering May 15, 1997 Multithreaded Processors.

Operating Systems. Definition An operating system is a collection of programs that manage the resources of the system, and provides a interface between.

Euro-Par, A Resource Allocation Approach for Supporting Time-Critical Applications in Grid Environments Qian Zhu and Gagan Agrawal Department of.

Real-Time Systems Mark Stanovich. Introduction System with timing constraints (e.g., deadlines) What makes a real-time system different? – Meeting timing.

April 26, CSE8380 Parallel and Distributed Processing Presentation Hong Yue Department of Computer Science & Engineering Southern Methodist University.

Reference: Ian Sommerville, Chap 15  Systems which monitor and control their environment.  Sometimes associated with hardware devices ◦ Sensors: Collect.

BOF: Megajobs Gracie: Grid Resource Virtualization and Customization Infrastructure How to execute hundreds of thousands tasks concurrently on distributed.

Analysis of Real-Time Multi-Modal FP-Scheduled Systems with Non-Preemptible Regions Authors: Masud Ahmed (presenting) Pradeep Hettiarachchi Nathan Fisher.

Hardware. Control Process Unit(CPU) Contents Introduction Definition CPU Components of CPU Stages of the work of CPU CPU frequency CPU Cooling Conclusion.

The Global Limited Preemptive Earliest Deadline First Feasibility of Sporadic Real-time Tasks Abhilash Thekkilakattil, Sanjoy Baruah, Radu Dobrin and Sasikumar.

Object-Oriented Design and Implementation of the OE-Scheduler in Real-time Environments Ilhyun Lee Cherry K. Owen Haesun K. Lee The University of Texas.

CUHK Learning-Based Power Management for Multi-Core Processors YE Rong Nov 15, 2011.

Real-time Software Design King Saud University College of Computer and Information Sciences Department of Computer Science Dr. S. HAMMAMI.

Energy-Aware Scheduling for Aperiodic Tasks on Multi-core Processors Dawei Li and Jie Wu Department of Computer and Information Sciences Temple University,

Real-Time Scheduling II: Compositional Scheduling Framework Insik Shin Dept. of Computer Science KAIST.

1 Thermal Management of Datacenter Qinghui Tang. 2 Preliminaries What is data center What is thermal management Why does Intel Care Why Computer Science.

ECE555 Topic Presentation Energy-efficient real-time scheduling Xing Fu 20 September 2008 Acknowledge Dr. Jian-Jia Chen from ETH providing PPT Slides for.

Multiprocessor Fixed Priority Scheduling with Limited Preemptions Abhilash Thekkilakattil, Rob Davis, Radu Dobrin, Sasikumar Punnekkat and Marko Bertogna.

Performance Performance is about time and the software system’s ability to meet timing requirements.

HPC HPC-5 Systems Integration High Performance Computing 1 Application Resilience: Making Progress in Spite of Failure Nathan A. DeBardeleben and John.

Xi He Golisano College of Computing and Information Sciences Rochester Institute of Technology Rochester, NY THERMAL-AWARE RESOURCE.

McGraw-Hill©The McGraw-Hill Companies, Inc., 2000 OS 1.

System Architecture Directions for Networked Sensors.

Mok & friends. Resource partition for real- time systems (RTAS 2001)

Euro-Par, HASTE: An Adaptive Middleware for Supporting Time-Critical Event Handling in Distributed Environments ICAC 2008 Conference June 2 nd,

Kriging for Estimation of Mineral Resources GISELA/EPIKH School Exequiel Sepúlveda Department of Mining Engineering, University of Chile, Chile ALGES Laboratory,

Heterogeneous Processing KYLE ADAMSKI. Overview What is heterogeneous processing? Why it is necessary Issues with heterogeneity CPU’s vs. GPU’s Heterogeneous.

Distributed and Parallel Processing George Wells.

OPERATING SYSTEMS CS 3502 Fall 2017

OPERATING SYSTEMS CS 3502 Fall 2017

Chapter1 Fundamental of Computer Design

Operating Systems (CS 340 D)

CSE8380 Parallel and Distributed Processing Presentation

Operating Systems (CS 340 D)

Sorin Manolache, Petru Eles, Zebo Peng {sorma, petel,

Operating System Introduction.

Internal components of a computer.

Leonie Ahrendts, Sophie Quinton, Thomas Boroske, Rolf Ernst

Presentation transcript:

OPEN PROBLEMS IN MULTI-MODAL SCHEDULING THEORY FOR THERMAL-RESILIENT MULTICORE SYSTEMS Nathan Fisher, Masud Ahmed, and Pradeep Hettiarachchi Department of Computer Science Wayne State University 1

Thermal Resiliency [Motivation]: 2 Heart Regulate Status Transmit Data Log Extensive Exercises When surrounding temperature increases:  Reduce CPU thermal dissipation for the device safety.  Drop non-essential tasks on demand.

Control Framework [Multi-Modal Overview] 3 System Hardware SpecificationSystem Software Specification M1M1 M3M3 M4M4 M2M2 M5M5 Temperature/Power and Workload ModelsControl System Design (Task 1) (Task 2) (Task 5) (Task 4) (Task 3) Priority vary over time High Priority Less Priority Critical Less Priority Need formal models for mode changes in software and hardware.

Control Framework [Modes]  Real-time performance modes: M (1),…,M (q)  Each M (i) is a collection of sporadic tasks { τ (i) j } j=1…n and a periodic resource  (i) =(  (i),  (i) ).  Possible to model processor with two power levels  P act : active power  P inc : inactive power Π (i) Θ (i) time

Control Framework [Mode-Change Requests] 5 M (i) M (j) M (k) mcr k Mode-Change Request Transition time Transition time mcr k-1 Mode: … Tasks: Resource: … … Assumption: Mode-change request occurs at period boundaries

Control Framework [Task Mode-Change Semantics] 6 t k-1 + tktk M (j) M (k) Immediately Aborted Tasks α (ij) Non-Aborted Tasks Unchanged Tasks τ (ij). X X

Control Framework [Multi-Modal Schedulability Analysis] 7 MjMj MiMi Busy Interval “BI 5 ” Busy Interval “BI 1 ” Busy Interval “BI 2 ” Busy Interval “BI 3 ” Busy Interval “BI 4 ” Intra-Mode Schedulability Conditions Inter-Mode Schedulability Conditions

Control Framework [Schedulability Analysis] 8 MjMj MiMi

Multiprocessor Compositional Resource Models 9  Potential Models:  Multiprocessor Periodic Resource (MPR) Model: each resource characterized  (i) =(  (i),  (i), m (i) ) [Shin et al, ECRTS ‘08]  Parallel Supply Function (PSF) Model [Bini et al, RTSS ‘09] Maximum Concurrency Π (i) time P1P1 P2P2... P m -1 (i) P m +1 (i) PmPm Θ (i)

Challenges/Issues  Transient backlog over multiple mode changes.  “Carry In/Out” calculations.  Time Complexity.  Relation to mixed-criticality scheduling?  “Optimal” resource parameters:  What is a good definition for thermal resiliency?  How do you calculate efficiently? 10

Thank You! Questions? 11