snp-lab-code/P08_Sync/sequence_graph.svg

65 lines
3.9 KiB
XML
Raw Permalink Normal View History

2022-02-17 11:45:11 +01:00
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE svg PUBLIC '-//W3C//DTD SVG 1.0//EN'
'http://www.w3.org/TR/2001/REC-SVG-20010904/DTD/svg10.dtd'>
<svg fill-opacity="1" xmlns:xlink="http://www.w3.org/1999/xlink" color-rendering="auto" color-interpolation="auto" text-rendering="auto" stroke="black" stroke-linecap="square" width="520" stroke-miterlimit="10" shape-rendering="auto" stroke-opacity="1" fill="black" stroke-dasharray="none" font-weight="normal" stroke-width="1" viewBox="80 260 520 150" height="150" xmlns="http://www.w3.org/2000/svg" font-family="'Dialog'" font-style="normal" stroke-linejoin="miter" font-size="12px" stroke-dashoffset="0" image-rendering="auto"
><!--Generated by the Batik Graphics2D SVG Generator--><defs id="genericDefs"
/><g
><defs id="defs1"
><clipPath clipPathUnits="userSpaceOnUse" id="clipPath1"
><path d="M0 0 L2147483647 0 L2147483647 2147483647 L0 2147483647 L0 0 Z"
/></clipPath
><clipPath clipPathUnits="userSpaceOnUse" id="clipPath2"
><path d="M0 0 L0 110 L150 110 L150 0 Z"
/></clipPath
><clipPath clipPathUnits="userSpaceOnUse" id="clipPath3"
><path d="M0 0 L0 40 L200 40 L200 0 Z"
/></clipPath
></defs
><g font-family="sans-serif" font-size="14px" transform="translate(430,280)"
><text x="5" xml:space="preserve" y="17.9688" clip-path="url(#clipPath2)" stroke="none"
>while (1) {</text
><text x="5" xml:space="preserve" y="33.9375" clip-path="url(#clipPath2)" stroke="none"
> ...</text
><text x="5" xml:space="preserve" y="49.9062" clip-path="url(#clipPath2)" stroke="none"
> sem_post(coin);</text
><text x="5" xml:space="preserve" y="65.875" clip-path="url(#clipPath2)" stroke="none"
> sem_wait(coffee);</text
><text x="5" xml:space="preserve" y="81.8438" clip-path="url(#clipPath2)" stroke="none"
> ...</text
><text x="5" xml:space="preserve" y="97.8125" clip-path="url(#clipPath2)" stroke="none"
>}</text
></g
><g font-family="sans-serif" font-size="14px" transform="translate(100,280)"
><text x="5" xml:space="preserve" y="17.9688" clip-path="url(#clipPath2)" stroke="none"
>while (1) {</text
><text x="5" xml:space="preserve" y="33.9375" clip-path="url(#clipPath2)" stroke="none"
> ...</text
><text x="5" xml:space="preserve" y="49.9062" clip-path="url(#clipPath2)" stroke="none"
> sem_wait(coin);</text
><text x="5" xml:space="preserve" y="65.875" clip-path="url(#clipPath2)" stroke="none"
> sem_post(coffee);</text
><text x="5" xml:space="preserve" y="81.8438" clip-path="url(#clipPath2)" stroke="none"
> ...</text
><text x="5" xml:space="preserve" y="97.8125" clip-path="url(#clipPath2)" stroke="none"
>}</text
></g
><g stroke-dasharray="8,5" stroke-miterlimit="5" transform="translate(240,320)" stroke-linecap="butt"
><path fill="none" d="M179.5 20.5 L10.5 20.5" clip-path="url(#clipPath3)"
/><path fill="none" stroke-miterlimit="10" stroke-dasharray="none" d="M168.7417 14 L180 20.5 L168.7417 27" clip-path="url(#clipPath3)" stroke-linecap="square"
/></g
><g font-family="sans-serif" font-size="14px" transform="translate(240,320)"
><text x="75.9312" xml:space="preserve" y="16" clip-path="url(#clipPath3)" stroke="none"
>coffee</text
></g
><g stroke-dasharray="8,5" stroke-miterlimit="5" transform="translate(240,300)" stroke-linecap="butt"
><path fill="none" d="M11.5 20.5 L180.5 20.5" clip-path="url(#clipPath3)"
/><path fill="none" stroke-miterlimit="10" stroke-dasharray="none" d="M22.2583 27 L11 20.5 L22.2583 14" clip-path="url(#clipPath3)" stroke-linecap="square"
/></g
><g font-family="sans-serif" font-size="14px" transform="translate(240,300)"
><text x="82.1587" xml:space="preserve" y="16" clip-path="url(#clipPath3)" stroke="none"
>coin</text
></g
></g
></svg
>