This commit is contained in:
Noah L. Schrick 2023-04-25 00:41:20 -05:00
parent 2b91c7b6f1
commit a5f84f51ff
11 changed files with 5662 additions and 24 deletions

3047
Data/frontier.csv Normal file

File diff suppressed because it is too large Load Diff

BIN
Data/frontier.ods Normal file

Binary file not shown.

2564
Data/frontrestart.csv Normal file

File diff suppressed because it is too large Load Diff

BIN
Data/frontrestart.ods Normal file

Binary file not shown.

View File

@ -54,10 +54,16 @@
\@writefile{toc}{\contentsline {subsubsection}{\numberline {\mbox {III-A}3}Portability}{3}{subsubsection.3.1.3}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {III-B}}Restarting}{3}{subsection.3.2}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {IV}Results}{3}{section.4}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {V}Conclusions and Future Work}{3}{section.5}\protected@file@percent }
\citation{CR-Simple}
\bibdata{Bibliography}
\bibcite{schneier_modeling_1999}{1}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Time Taken to Checkpoint as the Size of the Instance Grows}}{4}{figure.2}\protected@file@percent }
\newlabel{fig:inst-time}{{2}{4}{Time Taken to Checkpoint as the Size of the Instance Grows}{figure.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Time Taken to Checkpoint as the Size of the Frontier Grows}}{4}{figure.3}\protected@file@percent }
\newlabel{fig:front-chk-time}{{3}{4}{Time Taken to Checkpoint as the Size of the Frontier Grows}{figure.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Time Taken to Restart as the Size of the Frontier Grows}}{4}{figure.4}\protected@file@percent }
\newlabel{fig:front-rest-time}{{4}{4}{Time Taken to Restart as the Size of the Frontier Grows}{figure.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {V}Conclusions and Future Work}{4}{section.5}\protected@file@percent }
\bibcite{j_hale_compliance_nodate}{2}
\bibcite{cook_rage_2018}{3}
\bibcite{berry_graph_2007}{4}
@ -74,5 +80,5 @@
\bibcite{li_combining_2019}{15}
\bibcite{CR-Simple}{16}
\bibstyle{ieeetr}
\@writefile{toc}{\contentsline {section}{References}{4}{section*.1}\protected@file@percent }
\gdef \@abspage@last{4}
\@writefile{toc}{\contentsline {section}{References}{5}{section*.1}\protected@file@percent }
\gdef \@abspage@last{5}

View File

@ -1,4 +1,4 @@
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux) (preloaded format=pdflatex 2023.4.3) 23 APR 2023 17:48
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux) (preloaded format=pdflatex 2023.4.3) 25 APR 2023 00:40
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
@ -536,22 +536,41 @@ Underfull \hbox (badness 4660) in paragraph at lines 125--130
ess is greatly
[]
[3]
<./images/instance_time.png, id=116, 606.265pt x 341.275pt>
File: ./images/instance_time.png Graphic file (type png)
<use ./images/instance_time.png>
Package pdftex.def Info: ./images/instance_time.png used on input line 141.
(pdftex.def) Requested size: 252.0pt x 141.8556pt.
<./images/frontier_checkpoint_time.png, id=118, 607.26875pt x 341.275pt>
File: ./images/frontier_checkpoint_time.png Graphic file (type png)
<use ./images/frontier_checkpoint_time.png>
Package pdftex.def Info: ./images/frontier_checkpoint_time.png used on input l
ine 150.
(pdftex.def) Requested size: 252.0pt x 141.61606pt.
<./images/frontier_restart_time.png, id=120, 606.265pt x 341.275pt>
File: ./images/frontier_restart_time.png Graphic file (type png)
<use ./images/frontier_restart_time.png>
Package pdftex.def Info: ./images/frontier_restart_time.png used on input line
159.
(pdftex.def) Requested size: 252.0pt x 141.8556pt.
Underfull \hbox (badness 1622) in paragraph at lines 137--138
Underfull \hbox (badness 1622) in paragraph at lines 165--166
\OT1/ptm/m/n/10 function calls or snapshots that are required. The C/R
[]
[3]
Underfull \hbox (badness 2150) in paragraph at lines 139--140
Underfull \hbox (badness 2150) in paragraph at lines 167--168
\OT1/ptm/m/n/10 checkpoint times and sizes, as well as time taken to
[]
Underfull \hbox (badness 1565) in paragraph at lines 139--140
Underfull \hbox (badness 1565) in paragraph at lines 167--168
\OT1/ptm/m/n/10 settings to alter or enable, or communication strategies
[]
(./Schrick-Noah_AG-CG-CR.bbl
(./Schrick-Noah_AG-CG-CR.bbl [4 <./images/instance_time.png> <./images/frontier
_checkpoint_time.png> <./images/frontier_restart_time.png>]
Underfull \hbox (badness 2351) in paragraph at lines 27--30
[]\OT1/ptm/m/n/8 S. Ainsworth and T. M. Jones, ``Graph prefetching using data
[]
@ -579,18 +598,20 @@ Before submitting the final camera ready copy, remember to:
uses only Type 1 fonts and that every step in the generation
process uses the appropriate paper size.
[4] (./Schrick-Noah_AG-CG-CR.aux)
[5
] (./Schrick-Noah_AG-CG-CR.aux)
Package rerunfilecheck Info: File `Schrick-Noah_AG-CG-CR.out' has not changed.
(rerunfilecheck) Checksum: CC85FF3DB94FE8393E2ED734D36908F3;1379.
)
Here is how much of TeX's memory you used:
12044 strings out of 476025
190434 string characters out of 5796533
12075 strings out of 476025
191404 string characters out of 5796533
1871388 words of memory out of 5000000
32306 multiletter control sequences out of 15000+600000
32330 multiletter control sequences out of 15000+600000
544489 words of font info for 89 fonts, out of 8000000 for 9000
1141 hyphenation exceptions out of 8191
75i,8n,76p,1314b,453s stack positions out of 5000i,500n,10000p,200000b,80000s
75i,8n,76p,1314b,588s stack positions out of 5000i,500n,10000p,200000b,80000s
</usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/
texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texmf-dist/font
s/type1/public/amsfonts/cm/cmr7.pfb></usr/share/texmf-dist/fonts/type1/public/a
@ -598,10 +619,10 @@ msfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fonts/type1/urw/times/utmb8a.pfb><
/usr/share/texmf-dist/fonts/type1/urw/times/utmbi8a.pfb></usr/share/texmf-dist/
fonts/type1/urw/times/utmr8a.pfb></usr/share/texmf-dist/fonts/type1/urw/times/u
tmri8a.pfb>
Output written on Schrick-Noah_AG-CG-CR.pdf (4 pages, 135615 bytes).
Output written on Schrick-Noah_AG-CG-CR.pdf (5 pages, 208691 bytes).
PDF statistics:
165 PDF objects out of 1000 (max. 8388607)
139 compressed objects within 2 object streams
33 named destinations out of 1000 (max. 500000)
94 words of extra memory for PDF output out of 10000 (max. 10000000)
184 PDF objects out of 1000 (max. 8388607)
151 compressed objects within 2 object streams
37 named destinations out of 1000 (max. 500000)
109 words of extra memory for PDF output out of 10000 (max. 10000000)

Binary file not shown.

View File

@ -134,7 +134,7 @@ The restarting process for attack and compliance graph generation requires only
\section{Results}
Results were collected to measure the checkpointing time as a function of the instance size in bytes, as well as the frontier size in bytes. The restart results were collected to measure the time taken to restart as a function of the frontier size in bytes. In order to mitigate the non-deterministic effects of networking as much as possible, the checkpointing and restarting processes were called by a compute node that was also running the PostgreSQL instance.
Figure \ref{fig:inst-time} displays the time taken to checkpoint as the instance size grows. The size of the instance was measured in bytes, to allow for abstracting the number of items in the instance and the size of each item. This figure demonstrates that as the instance grows, the time taken to checkpoint remains
Figure \ref{fig:inst-time} displays the time taken to checkpoint as the instance size grows. The size of the instance was measured in bytes to allow for abstracting the number of items in the instance and the size of each item. This figure demonstrates that as the instance grows, the time taken to checkpoint remains linear. This figure includes two trendlines - one for a linear fit, and one for a logarithmic fit. Though the logarithmic fit appears to match the data better than the linear fit when the instance size is less than 20MB, the accuracy begins to decrease after this size. Based on the timing data obtained, the logarithmic fit predicts higher than the actual data for smaller instances, and the linear fit predicts lower than the actual data.
\begin{figure}[htp]
\centering
@ -143,22 +143,22 @@ Figure \ref{fig:inst-time} displays the time taken to checkpoint as the instance
\label{fig:inst-time}
\end{figure}
Figure \ref{fig:front-chk-time} displays the time taken to checkpoint as the frontier size grows. Similar to the instance size, the frontier was also measured in bytes for consistency. This figure illustrates that as the frontier grows, the checkpoint time also remains
Figure \ref{fig:front-chk-time} displays the time taken to checkpoint as the frontier size grows. Similar to the instance size, the frontier was also measured in bytes for consistency. This figure illustrates that as the frontier grows, the checkpoint time also remains linear. Compared to the time taken to checkpoint the instance, the frontier requires less time. Since the graph instance contains various topological information such as edges and edge labels, additional time is required compared to the frontier.
\begin{figure}[htp]
\centering
\includegraphics[width=\linewidth]{"./images/frontier_checkpoint_time.png"}
\caption{Time Taken to Checkpoint as the Size of the Frontier Grows}
\label{fig:inst-time}
\label{fig:front-chk-time}
\end{figure}
Figure \ref{fig:front-rest-time} displays the time taken to restart as the frontier size grows. The frontier was again measured in bytes. This figure, like the previous two, illustrates that the restart time remains X as the size of the frontier grows.
Figure \ref{fig:front-rest-time} displays the time taken to restart as the frontier size grows. The frontier was again measured in bytes. This figure illustrates that the restart time remains linear as the size of the frontier grows. This figure shows that there is less time taken to restart due to the limited amount of information needed to restart compared to the information needed to checkpoint. Since the checkpointing process involves saving the graph instance and the frontier, extra time is required compared to the restart process which only requires the queue of unexplored states.
\begin{figure}[htp]
\centering
\includegraphics[width=\linewidth]{"./images/frontier_restart_time.png"}
\caption{Time Taken to Restart as the Size of the Frontier Grows}
\label{fig:inst-time}
\label{fig:front-rest-time}
\end{figure}
\section{Conclusions and Future Work}

Binary file not shown.

After

Width:  |  Height:  |  Size: 29 KiB

Binary file not shown.

After

Width:  |  Height:  |  Size: 29 KiB

Binary file not shown.

Before

Width:  |  Height:  |  Size: 39 KiB

After

Width:  |  Height:  |  Size: 39 KiB