noah/Synchronous_Firing
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Adding new content for E/S ratio

Browse Source
This commit is contained in:
Noah L. Schrick 2022-12-12 09:12:59 -06:00
parent 178ea02877
commit d8b52e48ad
5 changed files with 45 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
OJ_Template/Schrick-Noah_AG-CG-SyncFire.aux
View File

@ -50,23 +50,23 @@
\newlabel{sec:theo_res}{{1}{5}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Synchronous Firing on Runtime}}{6}{}\protected@file@percent }
\newlabel{fig:Sync-RT}{{4}{6}}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Results for the Non-Synchronous Firing Testing}}{6}{}\protected@file@percent }
\newlabel{table:NS-Table}{{1}{6}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2}Results for a Grouped Environment}{6}{}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Bar Graph and Line Graph Representations of Synchronous Firing on State Space}}{6}{}\protected@file@percent }
\newlabel{fig:Sync-State}{{5}{6}}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Speedup (Amdahl's) Obtained When Using Synchronous Firing}}{6}{}\protected@file@percent }
\newlabel{fig:Sync-Spd}{{6}{6}}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Results for the Non-Synchronous Firing Testing}}{6}{}\protected@file@percent }
\newlabel{table:NS-Table}{{1}{6}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2}Results for a Grouped Environment}{6}{}\protected@file@percent }
\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces Results for the Synchronous Firing Testing}}{7}{}\protected@file@percent }
\newlabel{table:S-Table}{{2}{7}}
\@writefile{lot}{\contentsline {table}{\numberline {3}{\ignorespaces Results for the Comprehensive Services without Synchronous Firing}}{7}{}\protected@file@percent }
\newlabel{table:Non-Sync-Comp-Table}{{3}{7}}
\@writefile{lot}{\contentsline {table}{\numberline {4}{\ignorespaces Results for the Comprehensive Services with Synchronous Firing}}{7}{}\protected@file@percent }
\newlabel{table:Sync-Comp-Table}{{4}{7}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Synchronous Firing on Runtime}}{7}{}\protected@file@percent }
\newlabel{fig:Comp-Sync-RT}{{7}{7}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Bar Graph and Line Graph Representations of Synchronous Firing with Comprehensive Services on State Space}}{7}{}\protected@file@percent }
\newlabel{fig:Comp-Sync-State}{{8}{7}}
\@writefile{lot}{\contentsline {table}{\numberline {4}{\ignorespaces Results for the Comprehensive Services with Synchronous Firing}}{7}{}\protected@file@percent }
\newlabel{table:Sync-Comp-Table}{{4}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {VI}Future Works}{7}{}\protected@file@percent }
\newlabel{sec:fw}{{VI}{7}}
\bibdata{Bibliography}
\bibcite{phillips_graph-based_1998}{1}
\bibcite{schneier_modeling_1999}{2}
@ -82,10 +82,10 @@
\bibcite{sheyner_automated_2002}{12}
\bibcite{zhang_boosting_2017}{13}
\bibcite{Monotonicity}{14}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Bar Graph and Line Graph Representations of Synchronous Firing with Comprehensive Services on State Space}}{8}{}\protected@file@percent }
\newlabel{fig:Comp-Sync-State}{{8}{8}}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces Speedup (Amdahl's) Obtained When Using Synchronous Firing with Comprehensive Services}}{8}{}\protected@file@percent }
\newlabel{fig:Comp-Sync-Spd}{{9}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {VI}Future Works}{8}{}\protected@file@percent }
\newlabel{sec:fw}{{VI}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {VII}Conclusion}{8}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{REFERENCES}{8}{}\protected@file@percent }
\bibcite{TVA}{15}

29
OJ_Template/Schrick-Noah_AG-CG-SyncFire.log
View File

@ -1,4 +1,4 @@
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Arch Linux) (preloaded format=pdflatex 2022.11.8) 9 NOV 2022 10:44
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Arch Linux) (preloaded format=pdflatex 2022.11.8) 12 DEC 2022 09:02
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
@ -479,9 +479,6 @@ File: ./images/schri8.png Graphic file (type png)
Package pdftex.def Info: ./images/schri8.png used on input line 221.
(pdftex.def) Requested size: 238.49121pt x 105.68184pt.
Underfull \vbox (badness 10000) has occurred while \output is active []
Overfull \vbox (11.34346pt too high) has occurred while \output is active []
@ -514,19 +511,18 @@ File: ./images/schri13.png Graphic file (type png)
<use ./images/schri13.png>
Package pdftex.def Info: ./images/schri13.png used on input line 349.
(pdftex.def) Requested size: 238.49121pt x 105.68184pt.
File: OJIM.png Graphic file (type png)
<use OJIM.png>
Package pdftex.def Info: OJIM.png used on input line 359.
(pdftex.def) Requested size: 75.09589pt x 28.0pt.
Underfull \vbox (badness 10000) has occurred while \output is active []
File: OJIM.png Graphic file (type png)
<use OJIM.png>
Package pdftex.def Info: OJIM.png used on input line 357.
(pdftex.def) Requested size: 75.09589pt x 28.0pt.
Overfull \vbox (8.45pt too high) has occurred while \output is active []
[7 <./images/schri9.png> <./images/schri10.png> <./images/schri11.png> <./imag
es/schri12.png>]
Underfull \vbox (badness 10000) has occurred while \output is active []
[7 <./images/schri9.png> <./images/schri10.png>]
Underfull \vbox (badness 6859) has occurred while \output is active []
(./Schrick-Noah_AG-CG-SyncFire.bbl
@ -535,7 +531,7 @@ Overfull \vbox (11.34346pt too high) has occurred while \output is active []
Overfull \vbox (11.2pt too high) has occurred while \output is active []
[8 <./images/schri13.png>])
[8 <./images/schri11.png> <./images/schri12.png> <./images/schri13.png>])
File: OJIM.png Graphic file (type png)
<use OJIM.png>
Package pdftex.def Info: OJIM.png used on input line 368.
@ -554,15 +550,18 @@ Overfull \vbox (8.45pt too high) has occurred while \output is active []
LaTeX Font Warning: Size substitutions with differences
(Font) up to 1.7pt have occurred.
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
)
Here is how much of TeX's memory you used:
4284 strings out of 478238
67861 string characters out of 5850456
373145 words of memory out of 5000000
376144 words of memory out of 5000000
22438 multiletter control sequences out of 15000+600000
528290 words of font info for 140 fonts, out of 8000000 for 9000
1141 hyphenation exceptions out of 8191
55i,14n,62p,1197b,322s stack positions out of 5000i,500n,10000p,200000b,80000s
55i,14n,62p,1470b,322s stack positions out of 5000i,500n,10000p,200000b,80000s
{/usr/share/texmf-dist/fonts/enc/dvips/base/8r.enc}</usr/share/texmf-dist/fon
ts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/publi
c/amsfonts/cm/cmr10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/c
@ -573,7 +572,7 @@ vetic/uhvb8a.pfb></usr/share/texmf-dist/fonts/type1/urw/helvetic/uhvbo8a.pfb></
usr/share/texmf-dist/fonts/type1/urw/helvetic/uhvr8a.pfb></usr/share/texmf-dist
/fonts/type1/urw/times/utmb8a.pfb></usr/share/texmf-dist/fonts/type1/urw/times/
utmr8a.pfb></usr/share/texmf-dist/fonts/type1/urw/times/utmri8a.pfb>
Output written on Schrick-Noah_AG-CG-SyncFire.pdf (9 pages, 2360480 bytes).
Output written on Schrick-Noah_AG-CG-SyncFire.pdf (9 pages, 2360840 bytes).
PDF statistics:
124 PDF objects out of 1000 (max. 8388607)
60 compressed objects within 1 object stream

BIN
OJ_Template/Schrick-Noah_AG-CG-SyncFire.pdf
View File

Binary file not shown.

2
OJ_Template/Schrick-Noah_AG-CG-SyncFire.tex
View File

@ -194,7 +194,7 @@ The compliance checks are as follows:
\subsection{Results and Analysis}
\subsubsection{Results for the Theoretical Environment} \label{sec:theo_res}
Using the experimental setup described in Section \ref{sec:test-platform} on the platform described at the beginning of Section \ref{sec:test-platform}, results were collected in regards to the effect of synchronous firing on both state space and runtime. The graphs' edge to state ratio (E/S Ratio) was computed as well. These results can be seen in Figures \ref{fig:Sync-RT} and \ref{fig:Sync-State}. The respective tables are seen in Tables \ref{table:NS-Table} and \ref{table:S-Table}. Both figures show a decrease in the number of states and a decrease in the runtime when synchronous firing is utilized. Since synchronous firing prevents the generation of unattainable states, there is no meaningful information loss that occurs in the graphs generated with the synchronous firing feature. Since the resulting number of states was also reduced, there will be increased justification for the synchronous firing approach due to a reduced runtime for the analysis process. Fig. \ref{fig:Sync-Spd} displays the speedup (according to Amdahl's Law) obtained when using synchronous firing instead of non-synchronous firing for identical setups.
Using the experimental setup described in Section \ref{sec:test-platform} on the platform described at the beginning of Section \ref{sec:test-platform}, results were collected in regards to the effect of synchronous firing on both state space and runtime. The graphs' edge to state ratio (E/S Ratio) was computed as well. The inclusion of this ratio allows for a comparison to be drawn regarding the usage of the synchronous firing feature. Examining this ratio can provide additional insight on how the graph's underlying topological structures change when using or not using synchronous firing. The results can be seen in Figures \ref{fig:Sync-RT} and \ref{fig:Sync-State}. The respective tables are seen in Tables \ref{table:NS-Table} and \ref{table:S-Table}. Both figures show a decrease in the number of states and a decrease in the runtime when synchronous firing is utilized. Since synchronous firing prevents the generation of unattainable states, there is no meaningful information loss that occurs in the graphs generated with the synchronous firing feature. Since the resulting number of states was also reduced, there will be increased justification for the synchronous firing approach due to a reduced runtime for the analysis process. Fig. \ref{fig:Sync-Spd} displays the speedup (according to Amdahl's Law) obtained when using synchronous firing instead of non-synchronous firing for identical setups.
When examining the E/S Ratio for the non-synchronous graphs, it is both expected and observed that the ratio slightly increases as the number of services increases. When more applicable exploits are used during the generation process, the number of permutations increases, which corresponds with the growing number of states and edges. However, the increase in the number of services also increases the relation between states and the new permutations.

21
OJ_Template/texput.log Normal file
View File

@ -0,0 +1,21 @@
This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022/Arch Linux) (preloaded format=pdflatex 2022.11.8) 12 DEC 2022 09:02
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
**
! Emergency stop.
<*>
End of file on the terminal!
Here is how much of TeX's memory you used:
4 strings out of 478238
135 string characters out of 5850456
289994 words of memory out of 5000000
18344 multiletter control sequences out of 15000+600000
469259 words of font info for 28 fonts, out of 8000000 for 9000
1141 hyphenation exceptions out of 8191
0i,0n,0p,1b,6s stack positions out of 5000i,500n,10000p,200000b,80000s
! ==> Fatal error occurred, no output PDF file produced!