Skip to content

Commit

Permalink
Added fixes to errors found by Deepro
Browse files Browse the repository at this point in the history
  • Loading branch information
OliverKillane committed Apr 27, 2022
1 parent 1ef30fe commit 467fb45
Show file tree
Hide file tree
Showing 6 changed files with 2 additions and 2 deletions.
Binary file modified 50004 - Operating Systems/50004 - Operating Systems full notes.pdf
Binary file not shown.
Binary file not shown.
Original file line number Diff line number Diff line change
Expand Up @@ -88,7 +88,7 @@ \subsection*{Working Set Model}
\compenum{
\item Calculate age.
\item If $age < w$ (working set age) continue (page is in working set).
\item If $age > w$, if page clean, replace, else write back and replace.
\item If $age > w$, if page clean, replace, else start write back and continue to find another page (once the write-back of the frame is complete the page is marked as free \& clean - we dont want to halt while waiting for the page to be written back to disk)
}
}
\end{enumerate}
Expand Down
Binary file not shown.
Original file line number Diff line number Diff line change
Expand Up @@ -117,7 +117,7 @@ \subsection*{Hoisting Instructions}
}
\bullpara{There can only be one definition of $t$}{\\ Count the definitions.}
\bullpara{$t$ cannot be liveout from the loop's pre-header}{
\\ If $t$ is live out from the pre-header, it means that $t$ is used somewhere in the loop, and $t$ is also defined in the loop. Hence we cannot hoist it.
\\ If $t$ is live out from the pre-header, it means that $t$ is used somewhere in the loop ($t$ is also defined in the loop), or the value of $t$ from the pre-header is used after the loop (e.g a while loop when no iterations are run). Hence we cannot hoist it.
Use \keyword{live range} analysis for this.
}
}
Expand Down
Binary file modified 50006 - Compilers/50006 - Compilers full notes.pdf
Binary file not shown.

0 comments on commit 467fb45

Please sign in to comment.