| <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
| <!-- Generated by graphviz version 2.36.0 (20140111.2315) |
| --> |
| |
| <!-- Title: G Pages: 1 --> |
| |
| <svg |
| xmlns:dc="http://purl.org/dc/elements/1.1/" |
| xmlns:cc="http://creativecommons.org/ns#" |
| xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" |
| xmlns:svg="http://www.w3.org/2000/svg" |
| xmlns="http://www.w3.org/2000/svg" |
| xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" |
| xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" |
| width="541.18195" |
| height="168.86322" |
| viewBox="0 0 433.6732 135.50624" |
| id="svg2" |
| version="1.1" |
| inkscape:version="0.48.4 r9939" |
| sodipodi:docname="fr.svg"> |
| <metadata |
| id="metadata92"> |
| <rdf:RDF> |
| <cc:Work |
| rdf:about=""> |
| <dc:format>image/svg+xml</dc:format> |
| <dc:type |
| rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> |
| <dc:title /> |
| </cc:Work> |
| </rdf:RDF> |
| </metadata> |
| <defs |
| id="defs90"> |
| <marker |
| inkscape:stockid="Arrow2Lend" |
| orient="auto" |
| refY="0" |
| refX="0" |
| id="Arrow2Lend" |
| style="overflow:visible"> |
| <path |
| id="path4240" |
| style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round" |
| d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" |
| transform="matrix(-1.1,0,0,-1.1,-1.1,0)" |
| inkscape:connector-curvature="0" /> |
| </marker> |
| </defs> |
| <sodipodi:namedview |
| pagecolor="#ffffff" |
| bordercolor="#666666" |
| borderopacity="1" |
| objecttolerance="10" |
| gridtolerance="10" |
| guidetolerance="10" |
| inkscape:pageopacity="0" |
| inkscape:pageshadow="2" |
| inkscape:window-width="991" |
| inkscape:window-height="585" |
| id="namedview88" |
| showgrid="false" |
| fit-margin-left="5" |
| fit-margin-top="5" |
| fit-margin-right="5" |
| fit-margin-bottom="5" |
| inkscape:zoom="1.6426279" |
| inkscape:cx="270.42941" |
| inkscape:cy="84.431607" |
| inkscape:window-x="929" |
| inkscape:window-y="615" |
| inkscape:window-maximized="0" |
| inkscape:current-layer="svg2" /> |
| <rect |
| style="fill:#00ff00;fill-opacity:1;stroke:#000000;stroke-width:1.60492313;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0" |
| id="rect3077" |
| width="389.51685" |
| height="99.020714" |
| x="38.393963" |
| y="4.8147702" /> |
| <text |
| xml:space="preserve" |
| style="font-size:9.62953854px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" |
| x="110.06019" |
| y="20.869865" |
| id="text3901" |
| sodipodi:linespacing="125%"><tspan |
| sodipodi:role="line" |
| id="tspan3903" |
| x="110.06019" |
| y="20.869865">WRITE_ONCE(x, 1);</tspan></text> |
| <path |
| style="fill:none;stroke:#000000;stroke-width:0.80246156px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" |
| d="m 38.267539,4.4135386 389.254231,0" |
| id="path3925" |
| inkscape:connector-curvature="0" /> |
| <path |
| style="fill:#c8c8ff;fill-opacity:1;stroke:#000000;stroke-width:0.80246156px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" |
| d="m 150.38198,4.6726679 174.68139,98.8220121 102.45841,0.059 0.47752,-99.0607797 z" |
| id="path4056" |
| inkscape:connector-curvature="0" |
| sodipodi:nodetypes="ccccc" /> |
| <path |
| style="fill:none;stroke:#000000;stroke-width:0.80246156px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" |
| d="m 37.992735,54.325126 389.254245,0" |
| id="path3925-5" |
| inkscape:connector-curvature="0" /> |
| <path |
| style="fill:none;stroke:#000000;stroke-width:0.80246156px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" |
| d="m 38.267539,29.369332 389.254241,0" |
| id="path3925-6" |
| inkscape:connector-curvature="0" /> |
| <path |
| style="fill:none;stroke:#000000;stroke-width:0.80246156px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" |
| d="m 38.267539,79.280919 389.254241,0" |
| id="path3925-2" |
| inkscape:connector-curvature="0" /> |
| <path |
| style="fill:none;stroke:#000000;stroke-width:0.80246156px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" |
| d="m 38.267539,104.23672 389.254241,0" |
| id="path3925-9" |
| inkscape:connector-curvature="0" /> |
| <text |
| xml:space="preserve" |
| style="font-size:9.62953854px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" |
| x="17.56749" |
| y="21.179537" |
| id="text3966" |
| sodipodi:linespacing="125%"><tspan |
| sodipodi:role="line" |
| id="tspan3968" |
| x="17.56749" |
| y="21.179537">CPU 0</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:9.62953854px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" |
| x="17.816694" |
| y="45.679585" |
| id="text3966-1" |
| sodipodi:linespacing="125%"><tspan |
| sodipodi:role="line" |
| id="tspan3968-2" |
| x="17.816694" |
| y="45.679585">CPU 1</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:9.62953854px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" |
| x="17.891924" |
| y="70.710228" |
| id="text3966-1-7" |
| sodipodi:linespacing="125%"><tspan |
| sodipodi:role="line" |
| id="tspan3968-2-0" |
| x="17.891924" |
| y="70.710228">CPU 2</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:9.62953854px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" |
| x="17.699144" |
| y="94.088783" |
| id="text3966-1-7-9" |
| sodipodi:linespacing="125%"><tspan |
| sodipodi:role="line" |
| id="tspan3968-2-0-3" |
| x="17.699144" |
| y="94.088783">CPU 3</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:9.62953854px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" |
| x="220.86221" |
| y="93.927429" |
| id="text3901-6" |
| sodipodi:linespacing="125%"><tspan |
| sodipodi:role="line" |
| id="tspan3903-0" |
| x="220.86221" |
| y="93.927429">r1 = READ_ONCE(x) == 0;</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:9.62953854px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" |
| x="21.916092" |
| y="99.07756" |
| id="text4058" |
| sodipodi:linespacing="125%" |
| transform="matrix(0.77178659,-0.63588164,0.63588164,0.77178659,0,0)"><tspan |
| sodipodi:role="line" |
| id="tspan4060" |
| x="21.916092" |
| y="99.07756" |
| style="font-size:16.04923058px;font-weight:bold;fill:#646400;fill-opacity:1;-inkscape-font-specification:Sans Bold">x = 0</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:9.62953854px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" |
| x="219.21199" |
| y="232.05186" |
| id="text4058-6" |
| sodipodi:linespacing="125%" |
| transform="matrix(0.77178659,-0.63588164,0.63588164,0.77178659,0,0)"><tspan |
| sodipodi:role="line" |
| id="tspan4060-2" |
| x="219.21199" |
| y="232.05186" |
| style="font-size:16.04923058px;font-weight:bold;fill:#646400;fill-opacity:1;-inkscape-font-specification:Sans Bold">x = 1</tspan></text> |
| <path |
| style="fill:none;stroke:#000000;stroke-width:1.60492313;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow2Lend)" |
| d="m 38.317614,114.21298 389.254006,0" |
| id="path3925-9-5" |
| inkscape:connector-curvature="0" /> |
| <text |
| xml:space="preserve" |
| style="font-size:9.62953854px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" |
| x="233.95375" |
| y="131.26668" |
| id="text4659" |
| sodipodi:linespacing="125%"><tspan |
| sodipodi:role="line" |
| id="tspan4661" |
| x="233.95375" |
| y="131.26668" |
| style="font-size:16.04923058px;font-weight:bold">Time</tspan></text> |
| <path |
| style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend)" |
| d="M 261.03708,104.45147 145.46576,31.102212" |
| id="path3835" |
| inkscape:connector-curvature="0" |
| transform="matrix(0.80246154,0,0,0.80246154,-0.30224924,0)" /> |
| <text |
| xml:space="preserve" |
| style="font-size:9.62953854px;font-style:normal;font-weight:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans" |
| x="158.21875" |
| y="47.216297" |
| id="text4019" |
| sodipodi:linespacing="125%"><tspan |
| sodipodi:role="line" |
| id="tspan4021" |
| x="158.21875" |
| y="47.216297">fr</tspan></text> |
| </svg> |
