diff options
author | Jonathan Herman <hermanjl@cs.unc.edu> | 2013-04-23 17:28:12 -0400 |
---|---|---|
committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2013-04-23 17:28:12 -0400 |
commit | 2ceaa6c607ef85bde4f14017634d9d1621efca29 (patch) | |
tree | c85e755e59907a48ff762fd56473449f33c23894 /gen/mc_generators.py | |
parent | a0e4b9fe9d7fab9a50a626cfeda3c614a9a6af5d (diff) | |
parent | 7545402506aa76261e18d85af585ff0ac1cf05c1 (diff) |
Merge branch 'master' into wip-color-mc
Conflicts:
gen/generator.py
parse/sched.py
parse_exps.py
Diffstat (limited to 'gen/mc_generators.py')
-rw-r--r-- | gen/mc_generators.py | 82 |
1 files changed, 64 insertions, 18 deletions
diff --git a/gen/mc_generators.py b/gen/mc_generators.py index 704bcc3..8f5bd84 100644 --- a/gen/mc_generators.py +++ b/gen/mc_generators.py | |||
@@ -1,8 +1,10 @@ | |||
1 | import gen.rv as rv | 1 | import gen.rv as rv |
2 | 2 | ||
3 | from color import get_cache_info,CacheInfo,BlockColorScheme,RandomColorScheme,EvilColorScheme | 3 | from color import get_cache_info,CacheInfo,BlockColorScheme,RandomColorScheme,EvilColorScheme |
4 | from common import try_get_config_option | 4 | from common import try_get_config_option, log_once |
5 | from gen.generator import GenOption,Generator,NAMED_UTILIZATIONS,NAMED_PERIODS | 5 | from gen.generator import GenOption,Generator,NAMED_UTILIZATIONS,NAMED_PERIODS |
6 | from parse.col_map import ColMap | ||
7 | from parse.tuple_table import TupleTable | ||
6 | 8 | ||
7 | 9 | ||
8 | NAMED_SHARES = { | 10 | NAMED_SHARES = { |
@@ -188,24 +190,24 @@ class McGenerator(Generator): | |||
188 | 190 | ||
189 | return self._create_taskset(params, periods, utils, max_util) | 191 | return self._create_taskset(params, periods, utils, max_util) |
190 | 192 | ||
191 | def _customize(self, task_system, params): | 193 | def _get_tasks(self, params): |
192 | pass | 194 | return {'lvla': self.__create_lvla_sched(params), |
195 | 'lvlb': self.__create_lvlb_sched(params), | ||
196 | 'lvlc': self.__create_lvlc_sched(params)} | ||
193 | 197 | ||
194 | def _create_exp(self, params): | 198 | def _create_exp(self, params): |
195 | # Ugly way of doing it | 199 | # Ugly way of doing it |
196 | self.shares = self._create_dist('shares', params['shares'], | 200 | self.shares = self._create_dist('shares', params['shares'], |
197 | NAMED_SHARES) | 201 | NAMED_SHARES) |
198 | 202 | ||
199 | tasks = {'lvla': self.__create_lvla_sched(params), | 203 | tasks = self._get_tasks(params) |
200 | 'lvlb': self.__create_lvlb_sched(params), | ||
201 | 'lvlc': self.__create_lvlc_sched(params)} | ||
202 | 204 | ||
203 | conf_options = {MC_OPT : 'y'} | 205 | conf_options = {MC_OPT : 'y'} |
204 | if params['timer_merging']: | 206 | if params['timer_merging']: |
205 | conf_options[TM_OPT] = 'y' | 207 | conf_options[TM_OPT] = 'y' |
206 | if params['redirect']: | 208 | if params['redirect']: |
207 | if not params['release_master']: | 209 | if not params['release_master']: |
208 | print("Forcing release master option to enable redirection.") | 210 | log_once("Forcing release master option to enable redirection.") |
209 | params['release_master'] = 'y' | 211 | params['release_master'] = 'y' |
210 | conf_options[RD_OPT] = 'y' | 212 | conf_options[RD_OPT] = 'y' |
211 | if params['slack_stealing']: | 213 | if params['slack_stealing']: |
@@ -241,8 +243,11 @@ TP_TYPE = """#if $type != 'unmanaged' | |||
241 | /proc/sys/litmus/color/preempt_cache{0} | 243 | /proc/sys/litmus/color/preempt_cache{0} |
242 | #end if""" | 244 | #end if""" |
243 | 245 | ||
246 | # Always add some pages | ||
247 | TP_ADD = """/proc/sys/litmus/color/add_pages{1}""" | ||
248 | |||
244 | # Use special spin for color tasks | 249 | # Use special spin for color tasks |
245 | TP_COLOR_BASE = """colorspin -y $t.id -x $t.colorcsv """ | 250 | TP_COLOR_BASE = """colorspin -y $t.id -x $t.colorcsv -q $t.wss -l $t.loops """ |
246 | 251 | ||
247 | TP_COLOR_B = TP_BASE.format("b", TP_COLOR_BASE + "-p $t.cpu ") | 252 | TP_COLOR_B = TP_BASE.format("b", TP_COLOR_BASE + "-p $t.cpu ") |
248 | TP_COLOR_C = TP_BASE.format("c", TP_COLOR_BASE) | 253 | TP_COLOR_C = TP_BASE.format("c", TP_COLOR_BASE) |
@@ -255,12 +260,16 @@ TP_CHUNK = """#if $chunk_size > 0 | |||
255 | COLOR_TYPES = ['scheduling', 'locking', 'unmanaged'] | 260 | COLOR_TYPES = ['scheduling', 'locking', 'unmanaged'] |
256 | 261 | ||
257 | class ColorMcGenerator(McGenerator): | 262 | class ColorMcGenerator(McGenerator): |
263 | __SINGLE_PAGE_LOOP_MS = {'ringo': .023} | ||
264 | |||
258 | def __init__(self, params = {}): | 265 | def __init__(self, params = {}): |
259 | super(ColorMcGenerator, self).__init__("MC", | 266 | super(ColorMcGenerator, self).__init__("MC", |
260 | templates=[TP_TYPE, TP_CHUNK, TP_COLOR_B, TP_COLOR_C], | 267 | templates=[TP_ADD, TP_TYPE, TP_CHUNK, TP_COLOR_B, TP_COLOR_C], |
261 | options=self.__make_options(), | 268 | options=self.__make_options(), |
262 | params=self.__extend_params(params)) | 269 | params=self.__extend_params(params)) |
263 | 270 | ||
271 | self.tasksets = None | ||
272 | |||
264 | def __extend_params(self, params): | 273 | def __extend_params(self, params): |
265 | '''Add in fixed mixed-criticality parameters.''' | 274 | '''Add in fixed mixed-criticality parameters.''' |
266 | params['levels'] = 2 | 275 | params['levels'] = 2 |
@@ -278,6 +287,10 @@ class ColorMcGenerator(McGenerator): | |||
278 | 287 | ||
279 | return params | 288 | return params |
280 | 289 | ||
290 | def __get_system_name(self): | ||
291 | import socket | ||
292 | return socket.gethostname().split(".")[0] | ||
293 | |||
281 | def __make_system_info(self): | 294 | def __make_system_info(self): |
282 | info = get_cache_info() | 295 | info = get_cache_info() |
283 | 296 | ||
@@ -298,20 +311,32 @@ class ColorMcGenerator(McGenerator): | |||
298 | info = CacheInfo(cache, line=line, page=page, | 311 | info = CacheInfo(cache, line=line, page=page, |
299 | ways=ways, sets=sets, colors=colors) | 312 | ways=ways, sets=sets, colors=colors) |
300 | 313 | ||
301 | self.system = info | 314 | self.cache = info |
315 | |||
316 | hostname = self.__get_system_name() | ||
317 | if hostname not in self.__SINGLE_PAGE_LOOP_MS: | ||
318 | first_host = self.__SINGLE_PAGE_LOOP_MS.keys()[0] | ||
319 | log_once("hostname", "No timing info for host %s" % hostname + | ||
320 | ", needed to calculate work done per task. Please get the " | ||
321 | "timing info and add to __SINGLE_PAGE_LOOP_MS in " + | ||
322 | "mc_generators.py. Assuming host %s." % first_host) | ||
323 | hostname = first_host | ||
324 | self.host = hostname | ||
302 | 325 | ||
303 | def __make_options(self): | 326 | def __make_options(self): |
304 | self.__make_system_info() | 327 | self.__make_system_info() |
305 | 328 | ||
306 | return [GenOption('type', COLOR_TYPES, COLOR_TYPES, | 329 | return [GenOption('type', COLOR_TYPES, COLOR_TYPES, |
307 | 'Cache management type.'), | 330 | 'Cache management type.'), |
308 | GenOption('chunk_size', float, [0], 'Chunk size.'), | 331 | GenOption('host', self.__SINGLE_PAGE_LOOP_MS.keys(), self.host, |
309 | GenOption('ways', int, [self.system.ways], 'Ways (associativity).'), | 332 | 'System experiment will run on (for calculating work).'), |
310 | GenOption('colors', int, [self.system.colors], | 333 | GenOption('chunk_size_ns', float, 0, 'Chunk size. 0 = no chunking.'), |
334 | GenOption('ways', int, self.cache.ways, 'Ways (associativity).'), | ||
335 | GenOption('colors', int, self.cache.colors, | ||
311 | 'System colors (cache size / ways).'), | 336 | 'System colors (cache size / ways).'), |
312 | GenOption('page_size', int, [self.system.page], | 337 | GenOption('page_size', int, self.cache.page, |
313 | 'System page size.'), | 338 | 'System page size.'), |
314 | GenOption('wss', [float, int], [.5], | 339 | GenOption('wss', [float, int], .5, |
315 | 'Task working set sizes. Can be expressed as a fraction ' + | 340 | 'Task working set sizes. Can be expressed as a fraction ' + |
316 | 'of the cache.')] | 341 | 'of the cache.')] |
317 | 342 | ||
@@ -346,14 +371,37 @@ class ColorMcGenerator(McGenerator): | |||
346 | for color, replicas in task.colors.iteritems(): | 371 | for color, replicas in task.colors.iteritems(): |
347 | f.write("%d, %d\n" % (color, replicas)) | 372 | f.write("%d, %d\n" % (color, replicas)) |
348 | 373 | ||
374 | def __get_loops(self, task, pages, system): | ||
375 | all_pages_loop = self.__SINGLE_PAGE_LOOP_MS[system] * pages | ||
376 | return int(task.cost / all_pages_loop) + 1 | ||
377 | |||
378 | def _get_tasks(self, params): | ||
379 | # Share tasksets amongst experiments with different types but | ||
380 | # identical other parameters for proper comparisons | ||
381 | if self.tasksets == None: | ||
382 | fields = params.keys() | ||
383 | fields.remove("type") | ||
384 | self.tasksets = TupleTable( ColMap(fields), lambda:None ) | ||
385 | |||
386 | if params not in self.tasksets: | ||
387 | ts = super(ColorMcGenerator, self)._get_tasks(params) | ||
388 | self.tasksets[params] = ts | ||
389 | |||
390 | return self.tasksets[params] | ||
391 | |||
349 | def _customize(self, task_system, params): | 392 | def _customize(self, task_system, params): |
350 | '''Add coloring properties to the mixed-criticality task system.''' | 393 | '''Add coloring properties to the mixed-criticality task system.''' |
394 | pages_needed = self.__get_wss_pages(params) | ||
395 | real_wss = params['page_size'] * pages_needed | ||
396 | |||
351 | # Every task needs a unique id for coloring and wss walk order | 397 | # Every task needs a unique id for coloring and wss walk order |
352 | all_tasks = [] | 398 | all_tasks = [] |
353 | for level, tasks in task_system.iteritems(): | 399 | for level, tasks in task_system.iteritems(): |
354 | all_tasks += tasks | 400 | all_tasks += tasks |
355 | for i, task in enumerate(all_tasks): | 401 | for i, task in enumerate(all_tasks): |
356 | task.id = i | 402 | task.id = i |
403 | task.wss = real_wss | ||
404 | task.loops = self.__get_loops(task, pages_needed, params['host']) | ||
357 | 405 | ||
358 | c = params['colors'] | 406 | c = params['colors'] |
359 | w = params['ways'] | 407 | w = params['ways'] |
@@ -365,8 +413,6 @@ class ColorMcGenerator(McGenerator): | |||
365 | srt_colorer = RandomColorScheme(c, w) | 413 | srt_colorer = RandomColorScheme(c, w) |
366 | hrt_colorer = BlockColorScheme(c, w, way_first=True) | 414 | hrt_colorer = BlockColorScheme(c, w, way_first=True) |
367 | 415 | ||
368 | pages_needed = self.__get_wss_pages(params) | ||
369 | |||
370 | hrt_colorer.color(task_system['lvlb'], pages_needed) | 416 | hrt_colorer.color(task_system['lvlb'], pages_needed) |
371 | srt_colorer.color(task_system['lvlc'], pages_needed) | 417 | srt_colorer.color(task_system['lvlc'], pages_needed) |
372 | 418 | ||