diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-11-21 14:45:31 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-11-21 14:45:31 +0100 |
commit | 612923de1349cd9c1fb72a773e1daaddfce9ec83 (patch) | |
tree | 2741b683dfb617bce0baae5a97c49b380f6a861d | |
parent | d72c3803acff210789a1d7dc7ccb710886840451 (diff) | |
download | lsr22_fvhls-master.tar.gz lsr22_fvhls-master.zip |
-rw-r--r-- | chapters/scheduling.tex | 28 | ||||
-rw-r--r-- | figures/timing-1.pdf | bin | 24532 -> 26415 bytes | |||
-rw-r--r-- | figures/timing-2.pdf | bin | 24881 -> 26766 bytes | |||
-rw-r--r-- | figures/timing-3.pdf | bin | 22448 -> 23398 bytes | |||
-rw-r--r-- | 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 Binary files differindex eb9552c..e223daf 100644 --- a/figures/timing-1.pdf +++ b/figures/timing-1.pdf diff --git a/figures/timing-2.pdf b/figures/timing-2.pdf Binary files differindex 28b063d..9470412 100644 --- a/figures/timing-2.pdf +++ b/figures/timing-2.pdf diff --git a/figures/timing-3.pdf b/figures/timing-3.pdf Binary files differindex 6020e4b..5835c11 100644 --- a/figures/timing-3.pdf +++ b/figures/timing-3.pdf 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] |