diff options
-rwxr-xr-x | plot.py | 45 |
1 files changed, 31 insertions, 14 deletions
@@ -350,26 +350,43 @@ class SchedPlotter(defapp.App): | |||
350 | 350 | ||
351 | if not self.setup_png(p): | 351 | if not self.setup_png(p): |
352 | # eps or pdf | 352 | # eps or pdf |
353 | p.rounded_caps = True | 353 | if self.options.slides: |
354 | p.font = 'Helvetica' | 354 | # for Jim's slides |
355 | if self.options.format == 'eps': | ||
356 | p.font_size = 'large' | ||
357 | p.dashed_lines = False | ||
358 | p.monochrome = False | ||
359 | p.rounded_caps = True | ||
360 | p.default_style = 'lines lw 10' | ||
361 | p.xticks = (0, 1) | ||
362 | p.yticks = (0, 0.1) | ||
363 | p.yrange = (-0.05, 1.05) | ||
364 | p.key = 'below' | ||
365 | p.xlabel = "task set utilization cap (prior to overhead accounting)" | ||
366 | else: | ||
367 | p.rounded_caps = True | ||
368 | p.font = 'Helvetica' | ||
355 | 369 | ||
356 | p.font_size = '10' | 370 | p.font_size = '10' |
357 | p.size = ('20cm', '10cm') | 371 | p.size = ('20cm', '10cm') |
358 | p.monochrome = False | 372 | p.monochrome = False |
359 | p.dashed_lines = False | 373 | p.dashed_lines = True |
360 | p.key = 'below' | 374 | p.key = 'below' |
361 | 375 | ||
362 | p.xticks = (0, 1) | 376 | p.xticks = (0, 1) |
363 | p.yrange = (-0.05, 1.05) | 377 | p.yrange = (-0.05, 1.05) |
364 | p.yticks = (0, 0.1) | 378 | p.yticks = (0, 0.1) |
365 | p.xlabel = "ucap (prior to inflation)" | 379 | p.xlabel = "ucap (prior to inflation)" |
366 | p.default_style = 'linespoints lw 5' | 380 | p.default_style = 'lines lw 6' |
367 | 381 | ||
368 | p.ylabel = "schedulability " + (' [soft]' if 'soft' in conf else ' [hard]') | 382 | p.ylabel = "schedulability " + (' [soft]' if 'soft' in conf else ' [hard]') |
369 | p.xrange = (0.5, 32.5) | 383 | if self.options.alternate: |
384 | p.xrange = (0.5, 32.5) | ||
385 | else: | ||
386 | p.xrange = (0.5, 32.5) | ||
370 | 387 | ||
371 | p.title = scenario_heading(conf, True) | 388 | p.title = scenario_heading(conf, True) |
372 | if not self.options.paper: | 389 | if not (self.options.paper or self.options.slides): |
373 | p.title = "RTSS'08 " + p.title | 390 | p.title = "RTSS'08 " + p.title |
374 | 391 | ||
375 | if self.options.save_script: | 392 | if self.options.save_script: |