From 612923de1349cd9c1fb72a773e1daaddfce9ec83 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 21 Nov 2023 14:45:31 +0100 Subject: Add other changes --- chapters/scheduling.tex | 28 ++++++++++++++++------------ figures/timing-1.pdf | Bin 24532 -> 26415 bytes figures/timing-2.pdf | Bin 24881 -> 26766 bytes figures/timing-3.pdf | Bin 22448 -> 23398 bytes lsr_env.tex | 10 ++++++++-- 5 files changed, 24 insertions(+), 14 deletions(-) diff --git a/chapters/scheduling.tex b/chapters/scheduling.tex index de83ed2..c012ff3 100644 --- a/chapters/scheduling.tex +++ b/chapters/scheduling.tex @@ -7,18 +7,22 @@ \section[introduction]{Introduction} -\oindex{static scheduling}The use of multicore processors has been increasing drastically, thereby -making parallelising compilers ever more important. In addition to that, the need for custom -hardware accelerators is also increasing, as traditional processors are not always the best choice -for all applications. Compilers that support optimisations which can automatically parallelise its -input programs are therefore also becoming more important, as these back ends all benefit from -it. For processors, one wants to optimise the pipeline usage as much as possible, whereas in -hardware one can create custom pipelines, as well as making more use out of the spacial properties -that hardware offers, making instruction parallelism important as well as speculative -execution. However, with more powerful optimisations there is a greater chance to make mistakes in -the compiler, making it possible to generate programs that behave differently to the input -program. An important step towards making compilers more reliable is to formally verify these -optimisations so that it can be guaranteed that bugs are not introduced. +\oindex{static scheduling}The use of multicore processors has been increasing +drastically, thereby making parallelising compilers ever more important. In +addition to that, the need for custom hardware accelerators is also increasing, +as traditional processors are not always the best choice for all +applications. Compilers that support optimisations which can automatically +parallelise its input programs are therefore also becoming more important, as +these back ends all benefit from it. For processors, one wants to optimise the +pipeline usage as much as possible, whereas in hardware one can create custom +pipelines, as well as making more use out of the spacial properties that +hardware offers, making instruction parallelism important as well as speculative +execution. However, with more powerful optimisations there is a greater chance +to make mistakes in the compiler, making it possible to generate programs that +behave differently to the input program. An important step towards making +compilers more reliable is to formally verify these optimisations, so taoirenst +arsntoi earsite naoriestn aoirsten aorsnt ot so that it can be guaranteed that +bugs are not introduced. A popular optimisation for processors increasing the instruction parallelism of the resulting program is to use scheduling. This is an optimisation that is especially important for processors diff --git a/figures/timing-1.pdf b/figures/timing-1.pdf index eb9552c..e223daf 100644 Binary files a/figures/timing-1.pdf and b/figures/timing-1.pdf differ diff --git a/figures/timing-2.pdf b/figures/timing-2.pdf index 28b063d..9470412 100644 Binary files a/figures/timing-2.pdf and b/figures/timing-2.pdf differ diff --git a/figures/timing-3.pdf b/figures/timing-3.pdf index 6020e4b..5835c11 100644 Binary files a/figures/timing-3.pdf and b/figures/timing-3.pdf differ diff --git a/lsr_env.tex b/lsr_env.tex index efc3d43..434b2b4 100644 --- a/lsr_env.tex +++ b/lsr_env.tex @@ -31,12 +31,18 @@ % ========================================================================== \setuppapersize[A4][A4] -\definefontfeature[default][default][protrusion=quality,expansion=quality] +\definefontfeature[default] + [mode=node,kern=yes, + liga=yes,tlig=yes,dlig=yes,hlig=no,calt=yes, + ccmp=yes,language=dflt, + protrusion=quality, + expansion=quality] + \setupalign[hz,hanging,lesshyphenation,verytolerant] \startnotmode[nolmtx]\setupbodyfont[lsrfont,11pt]\stopnotmode \startmode[nolmtx]\setupbodyfont[pagella,11pt]\stopmode %\setupalign[hz,hanging,nothyphenated] -\setupinterlinespace[big] + \setupinterlinespace[big] \setuppagenumbering[location=none] -- cgit