1 / 5

Green Computing Assignment: Algorithm Development and Formal Modeling Techniques

This assignment focuses on developing a robust algorithm for managing core temperature in computing systems, using an approach that incorporates power profiling and formal modeling. Students will specify an algorithm that throttles frequency based on temperature readings and implement a hybrid system representation. Additionally, students will conduct reachability analysis through pseudo code and simulate various job configurations to assess temperature responses. Emphasis is placed on applying theoretical concepts to real-world scenarios in green computing.

doria
Télécharger la présentation

Green Computing Assignment: Algorithm Development and Formal Modeling Techniques

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Quiz on Assignment CSE 591 – Green Computing

  2. Assignment steps • Power profile – spec power • Algorithm development • Formal modeling • Reachability analysis

  3. Question 1 • Develop an algorithm for managing the temperature of the core. 1. Run a job at the given frequency 2. Check whether temperature goes above redline 3. Throttle the frequency and check again. 4. If the temperature still goes above redline, increase the cooling

  4. Question 2 • Develop the formal model for the given algorithm Hybrid system representation f = f2 f1 f2 Eq1 Eq2 T>Tred or f=f1 f = f1 T > Tred or f = f2 f3 f = f3 Eq3

  5. Question 3 • Write the reachability analysis pseudo code • Create a list of possible combinations of the jobs • For each job configuration • Initiate the simulation counter • Select initial state • For each time stamp • Simulate the dynamic equations for each time index • Check for temperature rise • If temperature above redline • Simulate a state transition to lower frequency state • If no lower frequency state is available • Simulate the job in the current frequency state • Go to step (a) • Check for job events • Simulate state transition according to job events • Go to step (a)

More Related