Changes in / [0e54654:320e72a2]
- Location:
- doc
- Files:
-
- 6 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/bibliography/pl.bib
r0e54654 r320e72a2 7304 7304 } 7305 7305 7306 @article{SysVABI,7307 keywords = {System V ABI},7308 contributer = {a3moss@uwaterloo.ca},7309 title={System {V} application binary interface},7310 author={Matz, Michael and Hubicka, Jan and Jaeger, Andreas and Mitchell, Mark},7311 journal={AMD64 Architecture Processor Supplement, Draft v0},7312 volume={99},7313 year={2013}7314 }7315 7316 7306 % T 7317 7307 -
doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.dat
r0e54654 r320e72a2 18 18 "\\textsc{co-dca-inc}" 101 50 2824 2 19 19 "\\textsc{co-dca-per}" 103 12 1339 2 20 "\\textsc{td-def-bas}" 67 18 189 3 21 "\\textsc{td-def-inc}" 66 40 263 3 20 22 "\\textsc{td-imm-bas}" 64 125 2620 3 21 23 "\\textsc{td-imm-inc}" 62 322 2717 3 22 "\\textsc{td-def-bas}" 67 18 189 323 "\\textsc{td-def-inc}" 66 40 263 324 24 "\\textsc{td-dca-bas}" 67 18 191 3 25 25 "\\textsc{td-dca-inc}" 66 40 258 3 -
doc/theses/aaron_moss_PhD/phd/evaluation/algo-summary.gp
r0e54654 r320e72a2 48 48 set yrange [0:80] 49 49 50 set label "125" at 18.25,8251 set label "322" at 19.75,8250 set label "125" at 20.25,82 51 set label "322" at 21.75,82 52 52 plot 'evaluation/algo-summary.dat' using ($5 == 1 ? $3 : 1/0):xtic(1) with boxes, \ 53 53 '' using ($5 == 2 ? $3 : 1/0):xtic(1) with boxes, \ -
doc/theses/aaron_moss_PhD/phd/evaluation/cfa-plots.gp
r0e54654 r320e72a2 6 6 set output BUILD."cfa-time.tex" 7 7 8 set xlabel "\\textsc{cfa-co} runtime ( s)"9 set ylabel "runtime ( s)"8 set xlabel "\\textsc{cfa-co} runtime (ms)" 9 set ylabel "runtime (ms)" 10 10 set logscale xy 11 11 set key outside -
doc/theses/aaron_moss_PhD/phd/evaluation/per-prob-scatter.gp
r0e54654 r320e72a2 42 42 set output BUILD."per-prob-assns.tex" 43 43 44 set xlabel "assertions satisfied"44 set xlabel "assertions resolved" 45 45 46 46 plot for [i=1:words(tests)] 'evaluation/per_prob/'.word(tests, i).'-per-prob.csv' using 6:(column(7)/1000) title word(tests, i) -
doc/theses/aaron_moss_PhD/phd/generic-types.tex
r0e54654 r320e72a2 350 350 Similarly, the layout function can only safely be called from a context where the generic type definition is visible, because otherwise the caller does not know how large to allocate the array of member offsets. 351 351 352 The C standard does not specify a memory layout for structs, but the System V ABI \cite{SysVABI} does; this memory layout is common for C implementations, but is a platform-specific issue for porting \CFA{}.352 The C standard does not specify a memory layout for structs, but the POSIX ABI for x86 \cite{POSIX08} does; this memory layout is common for C implementations, but is a platform-specific issue for porting \CFA{}. 353 353 This algorithm, sketched below in pseudo-\CFA{}, is a straightforward mapping of consecutive fields into the first properly-aligned offset in the !struct! layout; layout functions for !union! types omit the offset array and simply calculate the maximum size and alignment over all union variants. 354 354 Since \CFACC{} generates a distinct layout function for each type, constant-folding and loop unrolling are applied.
Note: See TracChangeset
for help on using the changeset viewer.