60 likes | 175 Views
Quiz on Assignment. CSE 591 – Green Computing. Assignment steps. Power profile – spec power Algorithm development Formal modeling Reachability analysis. Question 1. Develop an algorithm for managing the temperature of the core. 1. Run a job at the given frequency
E N D
Quiz on Assignment CSE 591 – Green Computing
Assignment steps • Power profile – spec power • Algorithm development • Formal modeling • Reachability analysis
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
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
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)