Changeset 5a801444

Timestamp:

Apr 11, 2019, 9:48:23 PM (6 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

0e54654

Parents:

ab3a69c

Message:

thesis: fix C layout citation

Location:

doc

Files:

• bibliography/pl.bib (modified) (1 diff)
• theses/aaron_moss_PhD/phd/generic-types.tex (modified) (1 diff)

doc/bibliography/pl.bib

@@ -7304 +7304 @@
 }
 
+@article{SysVABI,
+  keywords = {System V ABI},
+  contributer = {a3moss@uwaterloo.ca},
+  title={System {V} application binary interface},
+  author={Matz, Michael and Hubicka, Jan and Jaeger, Andreas and Mitchell, Mark},
+  journal={AMD64 Architecture Processor Supplement, Draft v0},
+  volume={99},
+  year={2013}
+}
+
 % T
 

doc/theses/aaron_moss_PhD/phd/generic-types.tex

@@ -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. 
 
-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{}. 
+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{}. 
 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. 
 Since \CFACC{} generates a distinct layout function for each type, constant-folding and loop unrolling are applied.