design_docs/images/SGX2_alloc_pf.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by Microsoft Visio, SVG Export SGX2-alloc-pf.svg Page-1 -->
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:ev="http://www.w3.org/2001/xml-events"
		width="6.01in" height="4.555in" viewBox="0 0 432.72 327.96" xml:space="preserve" color-interpolation-filters="sRGB"
		class="st16">
	<style type="text/css">
	<![CDATA[
		.st1 {fill:#9ab3d1;fill-opacity:0;stroke:#1f497d;stroke-linecap:round;stroke-linejoin:round;stroke-width:0.72}
		.st2 {fill:#9ab3d1;stroke:#1f497d;stroke-linecap:round;stroke-linejoin:round;stroke-width:0.72}
		.st3 {fill:#000000;font-family:Arial;font-size:0.666664em;font-weight:bold}
		.st4 {fill:#000000;font-family:Arial;font-size:0.666664em}
		.st5 {stroke:#1f497d;stroke-dasharray:5.04,3.6;stroke-linecap:round;stroke-linejoin:round;stroke-width:0.72}
		.st6 {fill:#000000;font-family:Arial;font-size:0.833336em;font-weight:bold}
		.st7 {font-size:1em}
		.st8 {fill:#000000;font-family:Arial;font-size:1.00001em;font-weight:bold}
		.st9 {marker-end:url(#mrkr4-55);stroke:#1f497d;stroke-linecap:round;stroke-linejoin:round;stroke-width:0.25}
		.st10 {fill:#1f497d;fill-opacity:1;stroke:#1f497d;stroke-opacity:1;stroke-width:0.07163323782235}
		.st11 {fill:#ffffff;stroke:none;stroke-linecap:butt;stroke-width:7.2}
		.st12 {fill:#ffffff;stroke:none;stroke-linecap:butt}
		.st13 {marker-end:url(#mrkr3-93);stroke:#1f497d;stroke-dasharray:1.75,1.25;stroke-linecap:round;stroke-linejoin:round;stroke-width:0.25}
		.st14 {marker-end:url(#mrkr3-93);stroke:#1f497d;stroke-linecap:round;stroke-linejoin:round;stroke-width:0.25}
		.st15 {fill:none}
		.st16 {fill:none;fill-rule:evenodd;font-size:12px;overflow:visible;stroke-linecap:square;stroke-miterlimit:3}
	]]>
	</style>

	<defs id="Markers">
		<g id="lend4">
			<path d="M 2 1 L 0 0 L 2 -1 L 2 1 " style="stroke:none"/>
		</g>
		<marker id="mrkr4-55" class="st10" refX="-27.92" orient="auto" markerUnits="strokeWidth" overflow="visible">
			<use xlink:href="#lend4" transform="scale(-13.96,-13.96) "/>
		</marker>
		<g id="lend3">
			<path d="M 2 1 L 0 0 L 2 -1 " style="stroke-linecap:round;stroke-linejoin:round;fill:none"/>
		</g>
		<marker id="mrkr3-93" class="st10" orient="auto" markerUnits="strokeWidth" overflow="visible">
			<use xlink:href="#lend3" transform="scale(-13.96,-13.96) "/>
		</marker>
	</defs>
	<g>
		<title>Page-1</title>
		<g id="group94-1" transform="translate(0.36,-27)">
			<title>Sheet.94</title>
			<g id="group61-2" transform="translate(18,-43.2)">
				<title>Loop fragment.61</title>
				<g id="shape61-3">
					<rect x="0" y="201.96" width="400.5" height="126" class="st1"/>
				</g>
				<g id="shape62-5" transform="translate(0,-108.396)">
					<title>Sheet.62</title>
					<desc>loop</desc>
					<path d="M0 327.96 L56.8 327.96 L64 320.76 L64 310.36 L0 310.36 L0 327.96 Z" class="st2"/>
					<text x="4" y="321.56" class="st3">loop</text>				</g>
				<g id="shape63-8" transform="translate(0,-90.7929)">
					<title>Sheet.63</title>
					<desc>[for each page]</desc>
					<text x="4" y="321.56" class="st4">[for each page]</text>				</g>
			</g>
			<g id="group1-10" transform="translate(115.11,-271.8)">
				<title>Object lifeline</title>
				<desc>Untrusted runtime</desc>
				<g id="shape2-11" transform="translate(11.25,0)">
					<title>Sheet.2</title>
					<rect x="0" y="302.76" width="54" height="25.2" class="st2"/>
				</g>
				<g id="shape3-13" transform="translate(29.25,-28.8)">
					<title>Sheet.3</title>
					<path d="M9 327.96 a0 0 0 1 1 0 0 a0 0 0 1 1 0 0 Z" class="st2"/>
				</g>
				<g id="shape4-15" transform="translate(25.5,280.8)">
					<title>Sheet.4</title>
				</g>
				<g id="shape5-17" transform="translate(366.21,327.96) rotate(90)">
					<title>Sheet.5</title>
					<path d="M0 327.96 L262.8 327.96" class="st5"/>
				</g>
				<g id="shape1-20">
					<rect x="0" y="302.76" width="76.5" height="25.2" class="st2"/>
					<text x="14.64" y="312.36" class="st6">Untrusted <tspan x="19.92" dy="1.2em" class="st7">runtime</tspan></text>				</g>
			</g>
			<g id="group6-24" transform="translate(256.86,-271.8)">
				<title>Object lifeline.6</title>
				<desc>kernel</desc>
				<g id="shape7-25">
					<title>Sheet.7</title>
					<rect x="0" y="302.76" width="54" height="25.2" class="st2"/>
				</g>
				<g id="shape8-27" transform="translate(18,-28.8)">
					<title>Sheet.8</title>
					<path d="M9 327.96 a0 0 0 1 1 0 0 a0 0 0 1 1 0 0 Z" class="st2"/>
				</g>
				<g id="shape9-29" transform="translate(18,280.8)">
					<title>Sheet.9</title>
				</g>
				<g id="shape10-31" transform="translate(354.96,327.96) rotate(90)">
					<title>Sheet.10</title>
					<path d="M0 327.96 L262.8 327.96" class="st5"/>
				</g>
				<g id="shape6-34">
					<rect x="0" y="302.76" width="54" height="25.2" class="st2"/>
					<text x="9.32" y="318.96" class="st8">kernel</text>				</g>
			</g>
			<g id="group11-37" transform="translate(355.86,-271.8)">
				<title>Object lifeline.11</title>
				<desc>CPU-sgx</desc>
				<g id="shape12-38" transform="translate(6.75,0)">
					<title>Sheet.12</title>
					<rect x="0" y="302.76" width="54" height="25.2" class="st2"/>
				</g>
				<g id="shape13-40" transform="translate(24.75,-28.8)">
					<title>Sheet.13</title>
					<path d="M9 327.96 a0 0 0 1 1 0 0 a0 0 0 1 1 0 0 Z" class="st2"/>
				</g>
				<g id="shape14-42" transform="translate(22.5,280.8)">
					<title>Sheet.14</title>
				</g>
				<g id="shape15-44" transform="translate(361.71,327.96) rotate(90)">
					<title>Sheet.15</title>
					<path d="M0 327.96 L262.8 327.96" class="st5"/>
				</g>
				<g id="shape11-47">
					<rect x="0" y="302.76" width="67.5" height="25.2" class="st2"/>
					<text x="8.75" y="318.96" class="st8">CPU-sgx</text>				</g>
			</g>
			<g id="shape16-50" transform="translate(153.36,-208.8)">
				<title>Message.50</title>
				<desc>mmap(addr, len, PROT_READ | PROT_WRITE, MAP_SHARED|MAP_FIXED ...</desc>
				<path d="M0 318.96 L123.52 318.96" class="st9"/>
				<rect x="7.95558" y="279.06" width="110.089" height="38.3997" class="st11"/>
				<text x="33.88" y="286.26" class="st4">mmap(addr, len,  <tspan x="7.96" dy="1.2em" class="st7">PROT</tspan>_READ | PROT_WRITE, <tspan
							x="11.73" dy="1.2em" class="st7">MAP</tspan>_SHARED|MAP_FIXED <tspan x="56.11" dy="1.2em" class="st7">, </tspan>fd)</text>			</g>
			<g id="group24-61" transform="translate(9.36,-271.8)">
				<title>Object lifeline.24</title>
				<desc>Enclave</desc>
				<g id="shape25-62">
					<title>Sheet.25</title>
					<rect x="0" y="302.76" width="54" height="25.2" class="st2"/>
				</g>
				<g id="shape26-64" transform="translate(18,-28.8)">
					<title>Sheet.26</title>
					<path d="M9 327.96 a0 0 0 1 1 0 0 a0 0 0 1 1 0 0 Z" class="st2"/>
				</g>
				<g id="shape27-66" transform="translate(18,298.8)">
					<title>Sheet.27</title>
				</g>
				<g id="shape28-68" transform="translate(354.96,327.96) rotate(90)">
					<title>Sheet.28</title>
					<path d="M0 327.96 L280.8 327.96" class="st5"/>
				</g>
				<g id="shape24-71">
					<rect x="0" y="302.76" width="54" height="25.2" class="st2"/>
					<text x="4.32" y="318.96" class="st8">Enclave</text>				</g>
			</g>
			<g id="shape29-74" transform="translate(36.36,-244.8)">
				<title>Message.29</title>
				<desc>OCALL_mmap</desc>
				<path d="M0 318.96 L110.02 318.96" class="st9"/>
				<rect x="32.045" y="314.16" width="52.9099" height="9.59985" class="st12"/>
				<text x="32.05" y="321.36" class="st4">OCALL_mmap</text>			</g>
			<g id="shape30-81" transform="translate(283.5,-99)">
				<title>Message.30</title>
				<desc>EAUG</desc>
				<path d="M0 318.96 L98.77 318.96" class="st9"/>
				<rect x="41.5391" y="314.16" width="22.6717" height="9.59985" class="st11"/>
				<text x="41.54" y="321.36" class="st4">EAUG</text>			</g>
			<g id="shape32-88" transform="translate(283.86,-172.8)">
				<title>Return Message.32</title>
				<desc>address</desc>
				<path d="M0 318.96 L-130.5 318.96" class="st13"/>
				<rect x="-79.4805" y="314.16" width="28.4612" height="9.59985" class="st11"/>
				<text x="-79.48" y="321.36" class="st4">address</text>			</g>
			<g id="shape33-96" transform="translate(36,-124.2)">
				<title>Message.33</title>
				<desc>EACCEPT</desc>
				<path d="M0 318.96 L346.27 318.96" class="st9"/>
				<rect x="157.733" y="314.16" width="37.7847" height="9.59985" class="st11"/>
				<text x="157.73" y="321.36" class="st4">EACCEPT</text>			</g>
			<g id="shape64-103" transform="translate(27,-36)">
				<title>Self Message.52</title>
				<desc>use the new pages</desc>
				<path d="M9 327.96 L27 327.96 L27 363.96 L15.98 363.96" class="st9"/>
				<rect x="-2.07988" y="342.96" width="67.1597" height="9.59985" class="st11"/>
				<text x="-2.08" y="350.16" class="st4">use the new pages</text>			</g>
			<g id="shape66-110" transform="translate(389.25,-117)">
				<title>Asynchronous Message.55</title>
				<desc>#PF</desc>
				<path d="M0 318.96 L-105.75 318.96" class="st14"/>
				<rect x="-60.2108" y="314.16" width="14.6717" height="9.59985" class="st11"/>
				<text x="-60.21" y="321.36" class="st4">#PF</text>			</g>
			<g id="shape68-117" transform="translate(389.25,-45)">
				<title>Return Message.53</title>
				<path d="M0 318.96 L-353.25 318.96" class="st13"/>
			</g>
			<g id="shape79-122" transform="translate(153,-63)">
				<title>Message.79</title>
				<desc>ERESUME</desc>
				<path d="M0 318.96 L229.27 318.96" class="st9"/>
				<rect x="98.3439" y="314.16" width="39.562" height="9.59985" class="st11"/>
				<text x="98.34" y="321.36" class="st4">ERESUME</text>			</g>
			<g id="shape80-129" transform="translate(283.5,-81)">
				<title>Return Message.80</title>
				<desc>return to AEP trampoline</desc>
				<path d="M0 318.96 L-130.5 318.96" class="st13"/>
				<rect x="-109.048" y="314.16" width="87.5965" height="9.59985" class="st11"/>
				<text x="-109.05" y="321.36" class="st4">return to AEP trampoline</text>			</g>
			<g id="shape83-136" transform="translate(153.36,-172.8)">
				<title>Return Message.83</title>
				<path d="M0 318.96 L-117 318.96" class="st13"/>
			</g>
			<g id="shape93-141" transform="translate(0,-40.5)">
				<title>Interaction operand</title>
				<desc>[Kernel decides to EAUG on #PF, otherwise this reduces to dir...</desc>
				<path d="M0 327.96 L432 327.96 L432 159.92 L0 159.92 L0 327.96 Z" class="st15"/>
				<path d="M432 159.92 L0 159.92" class="st5"/>
				<text x="4" y="171.12" class="st4">[Kernel decides to EAUG on #PF, otherwise this reduces to direct allocation flow with MAP_POPULATE]</text>			</g>
		</g>
	</g>
</svg>