source: doc/papers/ibm_CASCON19/ThreadingModels.svg @ 94429f8

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 94429f8 was 487198c, checked in by Thierry Delisle <tdelisle@…>, 5 years ago

Apparently forgot to commit the CASCON19 presentation
  • Property mode set to 100644
File size: 19.3 KB
RevLine 
[487198c]1<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2<svg
3   xmlns:dc="http://purl.org/dc/elements/1.1/"
4   xmlns:cc="http://creativecommons.org/ns#"
5   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
6   xmlns:svg="http://www.w3.org/2000/svg"
7   xmlns="http://www.w3.org/2000/svg"
8   version="1.1"
9   id="svg4438"
10   viewBox="1188 1041 6669 3331"
11   height="2.8in"
12   width="5.6in">
13  <metadata
14     id="metadata4640">
15    <rdf:RDF>
16      <cc:Work
17         rdf:about="">
18        <dc:format>image/svg+xml</dc:format>
19        <dc:type
20           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
21        <dc:title></dc:title>
22      </cc:Work>
23    </rdf:RDF>
24  </metadata>
25  <defs
26     id="defs4638" />
27  <g
28     transform="translate(185.25001,-26.464286)"
29     id="g4440"
30     style="fill:none;stroke-width:0.025in">
31    <!-- Circle -->
32    <circle
33       id="circle4442"
34       style="stroke:#000000;stroke-width:7"
35       r="150"
36       cy="3300"
37       cx="2700" />
38    <!-- Circle -->
39    <circle
40       id="circle4444"
41       style="stroke:#000000;stroke-width:7"
42       r="150"
43       cy="3300"
44       cx="3150" />
45    <!-- Circle -->
46    <circle
47       id="circle4446"
48       style="stroke:#000000;stroke-width:7"
49       r="150"
50       cy="3300"
51       cx="4050" />
52    <!-- Circle -->
53    <circle
54       id="circle4448"
55       style="stroke:#000000;stroke-width:7"
56       r="150"
57       cy="3300"
58       cx="4500" />
59    <!-- Circle -->
60    <circle
61       id="circle4450"
62       style="stroke:#000000;stroke-width:7"
63       r="150"
64       cy="3300"
65       cx="4950" />
66    <!-- Circle -->
67    <circle
68       id="circle4452"
69       style="stroke:#000000;stroke-width:7"
70       r="150"
71       cy="3300"
72       cx="5400" />
73    <!-- Circle -->
74    <circle
75       id="circle4454"
76       style="stroke:#000000;stroke-width:7"
77       r="150"
78       cy="3300"
79       cx="5850" />
80    <!-- Circle -->
81    <circle
82       id="circle4456"
83       style="stroke:#000000;stroke-width:7"
84       r="150"
85       cy="3300"
86       cx="3600" />
87    <!-- Circle -->
88    <circle
89       id="circle4458"
90       style="fill:#bfbfbf;stroke:#000000;stroke-width:7"
91       r="100"
92       cy="3150"
93       cx="6450" />
94    <!-- Circle -->
95    <circle
96       id="circle4460"
97       style="stroke:#000000;stroke-width:7;stroke-dasharray:40, 40"
98       r="150"
99       cy="2175"
100       cx="1800" />
101    <!-- Circle -->
102    <circle
103       id="circle4462"
104       style="stroke:#000000;stroke-width:7;stroke-dasharray:40, 40"
105       r="150"
106       cy="2175"
107       cx="3000" />
108    <!-- Circle -->
109    <circle
110       id="circle4464"
111       style="stroke:#000000;stroke-width:7;stroke-dasharray:40, 40"
112       r="150"
113       cy="2175"
114       cx="3450" />
115    <!-- Circle -->
116    <circle
117       id="circle4466"
118       style="stroke:#000000;stroke-width:7;stroke-dasharray:40, 40"
119       r="150"
120       cy="2175"
121       cx="3900" />
122    <!-- Circle -->
123    <circle
124       id="circle4468"
125       style="stroke:#000000;stroke-width:7;stroke-dasharray:40, 40"
126       r="150"
127       cy="2175"
128       cx="5100" />
129    <!-- Circle -->
130    <circle
131       id="circle4470"
132       style="stroke:#000000;stroke-width:7;stroke-dasharray:40, 40"
133       r="150"
134       cy="2175"
135       cx="6300" />
136    <!-- Circle -->
137    <circle
138       id="circle4472"
139       style="stroke:#000000;stroke-width:7;stroke-dasharray:40, 40"
140       r="150"
141       cy="2175"
142       cx="6750" />
143    <!-- Circle -->
144    <circle
145       id="circle4474"
146       style="stroke:#000000;stroke-width:7;stroke-dasharray:40, 40"
147       r="150"
148       cy="2175"
149       cx="7200" />
150    <!-- Circle -->
151    <circle
152       id="circle4476"
153       style="fill:#bfbfbf;stroke:#000000;stroke-width:7"
154       r="100"
155       cy="2175"
156       cx="1800" />
157    <!-- Circle -->
158    <circle
159       id="circle4478"
160       style="fill:#bfbfbf;stroke:#000000;stroke-width:7"
161       r="100"
162       cy="2175"
163       cx="3000" />
164    <!-- Circle -->
165    <circle
166       id="circle4480"
167       style="fill:#bfbfbf;stroke:#000000;stroke-width:7"
168       r="100"
169       cy="2175"
170       cx="3450" />
171    <!-- Circle -->
172    <circle
173       id="circle4482"
174       style="fill:#bfbfbf;stroke:#000000;stroke-width:7"
175       r="100"
176       cy="2175"
177       cx="3900" />
178    <!-- Circle -->
179    <circle
180       id="circle4484"
181       style="fill:#bfbfbf;stroke:#000000;stroke-width:7"
182       r="100"
183       cy="1425"
184       cx="4650" />
185    <!-- Circle -->
186    <circle
187       id="circle4486"
188       style="fill:#bfbfbf;stroke:#000000;stroke-width:7"
189       r="100"
190       cy="1425"
191       cx="4950" />
192    <!-- Circle -->
193    <circle
194       id="circle4488"
195       style="fill:#bfbfbf;stroke:#000000;stroke-width:7"
196       r="100"
197       cy="1425"
198       cx="5250" />
199    <!-- Circle -->
200    <circle
201       id="circle4490"
202       style="fill:#bfbfbf;stroke:#000000;stroke-width:7"
203       r="100"
204       cy="1425"
205       cx="5550" />
206    <!-- Circle -->
207    <circle
208       id="circle4492"
209       style="fill:#bfbfbf;stroke:#000000;stroke-width:7"
210       r="100"
211       cy="1425"
212       cx="6300" />
213    <!-- Circle -->
214    <circle
215       id="circle4494"
216       style="fill:#bfbfbf;stroke:#000000;stroke-width:7"
217       r="100"
218       cy="1425"
219       cx="6600" />
220    <!-- Circle -->
221    <circle
222       id="circle4496"
223       style="fill:#bfbfbf;stroke:#000000;stroke-width:7"
224       r="100"
225       cy="1425"
226       cx="6900" />
227    <!-- Circle -->
228    <circle
229       id="circle4498"
230       style="fill:#bfbfbf;stroke:#000000;stroke-width:7"
231       r="100"
232       cy="1425"
233       cx="7200" />
234    <!-- Circle -->
235    <circle
236       id="circle4500"
237       style="stroke:#000000;stroke-width:7"
238       r="150"
239       cy="3600"
240       cx="6450" />
241    <!-- Circle -->
242    <circle
243       id="circle4502"
244       style="stroke:#000000;stroke-width:7;stroke-dasharray:40, 40"
245       r="100"
246       cy="3600"
247       cx="6450" />
248    <!-- Line -->
249    <polyline
250       id="polyline4504"
251       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
252       points="1800,2175 2700,3300 " />
253    <!-- Line -->
254    <polyline
255       id="polyline4506"
256       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
257       points="3000,2175 3150,3300 " />
258    <!-- Line -->
259    <polyline
260       id="polyline4508"
261       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
262       points="3450,2175 3600,3300 " />
263    <!-- Line -->
264    <polyline
265       id="polyline4510"
266       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
267       points="3900,2175 4050,3300 " />
268    <!-- Line -->
269    <polyline
270       id="polyline4512"
271       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
272       points="4500,3300 5100,2175 " />
273    <!-- Line -->
274    <polyline
275       id="polyline4514"
276       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
277       points="4950,3300 6300,2175 " />
278    <!-- Line -->
279    <polyline
280       id="polyline4516"
281       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
282       points="5400,3300 6750,2175 " />
283    <!-- Line -->
284    <polyline
285       id="polyline4518"
286       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
287       points="5850,3300 7200,2175 " />
288    <!-- Line -->
289    <polyline
290       id="polyline4520"
291       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
292       points="2775,3450 3825,3675 " />
293    <!-- Line -->
294    <polyline
295       id="polyline4522"
296       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
297       points="3225,3450 3900,3600 " />
298    <!-- Line -->
299    <polyline
300       id="polyline4524"
301       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
302       points="3675,3450 4050,3600 " />
303    <!-- Line -->
304    <polyline
305       id="polyline4526"
306       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
307       points="4125,3450 4200,3600 " />
308    <!-- Line -->
309    <polyline
310       id="polyline4528"
311       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
312       points="4500,3450 4350,3600 " />
313    <!-- Line -->
314    <polyline
315       id="polyline4530"
316       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
317       points="4950,3450 4500,3600 " />
318    <!-- Line -->
319    <polyline
320       id="polyline4532"
321       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
322       points="5400,3450 4650,3600 " />
323    <!-- Line -->
324    <polyline
325       id="polyline4534"
326       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
327       points="5850,3450 4725,3675 " />
328    <!-- Line -->
329    <polyline
330       id="polyline4536"
331       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
332       points="3825,3750 3375,3900 " />
333    <!-- Line -->
334    <polyline
335       id="polyline4538"
336       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
337       points="4200,3750 3975,3900 " />
338    <!-- Line -->
339    <polyline
340       id="polyline4540"
341       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
342       points="4350,3750 4575,3900 " />
343    <!-- Line -->
344    <polyline
345       id="polyline4542"
346       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
347       points="4650,3750 5175,3900 " />
348    <!-- Line: box -->
349    <rect
350       id="rect4544"
351       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
352       rx="0"
353       height="300"
354       width="300"
355       y="3900"
356       x="3225" />
357    <!-- Line: box -->
358    <rect
359       id="rect4546"
360       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
361       rx="0"
362       height="300"
363       width="300"
364       y="3900"
365       x="3825" />
366    <!-- Line: box -->
367    <rect
368       id="rect4548"
369       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
370       rx="0"
371       height="300"
372       width="300"
373       y="3900"
374       x="4425" />
375    <!-- Line: box -->
376    <rect
377       id="rect4550"
378       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
379       rx="0"
380       height="300"
381       width="300"
382       y="3900"
383       x="5025" />
384    <!-- Line: box -->
385    <rect
386       id="rect4552"
387       style="stroke:#ff0000;stroke-width:15;stroke-linecap:butt;stroke-linejoin:miter"
388       rx="0"
389       height="1350"
390       width="3750"
391       y="3000"
392       x="2400" />
393    <!-- Line: box -->
394    <rect
395       id="rect4554"
396       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
397       rx="0"
398       height="300"
399       width="300"
400       y="3975"
401       x="6300" />
402    <!-- Line -->
403    <polyline
404       id="polyline4556"
405       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
406       points="4950,1500 5100,1650 " />
407    <!-- Line -->
408    <polyline
409       id="polyline4558"
410       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
411       points="5250,1500 5100,1650 " />
412    <!-- Line -->
413    <polyline
414       id="polyline4560"
415       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
416       points="4650,1500 4875,1650 " />
417    <!-- Line -->
418    <polyline
419       id="polyline4562"
420       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
421       points="5550,1500 5325,1650 " />
422    <!-- Line -->
423    <polyline
424       id="polyline4564"
425       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
426       points="5100,1800 5100,2025 " />
427    <!-- Line -->
428    <polyline
429       id="polyline4566"
430       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
431       points="6600,1500 6750,1650 " />
432    <!-- Line -->
433    <polyline
434       id="polyline4568"
435       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
436       points="6900,1500 6750,1650 " />
437    <!-- Line -->
438    <polyline
439       id="polyline4570"
440       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
441       points="6300,1500 6525,1650 " />
442    <!-- Line -->
443    <polyline
444       id="polyline4572"
445       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
446       points="7200,1500 6975,1650 " />
447    <!-- Line -->
448    <polyline
449       id="polyline4574"
450       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
451       points="6750,1800 6750,2025 " />
452    <!-- Line: box -->
453    <rect
454       id="rect4576"
455       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
456       rx="0"
457       height="1125"
458       width="1200"
459       y="1275"
460       x="4500" />
461    <!-- Line: box -->
462    <rect
463       id="rect4578"
464       style="stroke:#ff0000;stroke-width:15;stroke-linecap:butt;stroke-linejoin:miter"
465       rx="0"
466       height="1125"
467       width="1500"
468       y="1275"
469       x="6000" />
470    <!-- Line: box -->
471    <rect
472       id="rect4580"
473       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
474       rx="0"
475       height="1125"
476       width="1500"
477       y="1275"
478       x="2700" />
479    <!-- Line: box -->
480    <rect
481       id="rect4582"
482       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
483       rx="0"
484       height="1125"
485       width="1200"
486       y="1275"
487       x="1200" />
488    <!-- Line -->
489    <polyline
490       id="polyline4584"
491       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
492       points="6600,1800 6300,2025 " />
493    <!-- Line -->
494    <polyline
495       id="polyline4586"
496       style="stroke:#000000;stroke-width:7;stroke-linecap:butt;stroke-linejoin:miter"
497       points="6900,1800 7200,2025 " />
498    <!-- Text -->
499    <text
500       style="font-style:normal;font-weight:normal;font-size:144px;font-family:Times;text-anchor:middle;fill:#000000"
501       id="text4588"
502       font-size="144"
503       font-weight="normal"
504       font-style="normal"
505       y="2775"
506       x="1800"
507       xml:space="preserve">1:1</text>
508    <!-- Text -->
509    <text
510       style="font-style:normal;font-weight:normal;font-size:144px;font-family:Times;text-anchor:middle;fill:#000000"
511       id="text4590"
512       font-size="144"
513       font-weight="normal"
514       font-style="normal"
515       y="2775"
516       x="3450"
517       xml:space="preserve">3:3</text>
518    <!-- Text -->
519    <text
520       style="font-style:normal;font-weight:normal;font-size:144px;font-family:Times;text-anchor:middle;fill:#000000"
521       id="text4592"
522       font-size="144"
523       font-weight="normal"
524       font-style="normal"
525       y="2775"
526       x="5100"
527       xml:space="preserve">4:1</text>
528    <!-- Text -->
529    <text
530       style="font-style:normal;font-weight:normal;font-size:144px;font-family:Times;text-anchor:middle;fill:#000000"
531       id="text4594"
532       font-size="144"
533       font-weight="normal"
534       font-style="normal"
535       y="2775"
536       x="6750"
537       xml:space="preserve">4:3</text>
538    <!-- Text -->
539    <text
540       style="font-style:normal;font-weight:normal;font-size:144px;font-family:Times;text-anchor:end;fill:#000000"
541       id="text4596"
542       font-size="144"
543       font-weight="normal"
544       font-style="normal"
545       y="3975"
546       x="2250"
547       xml:space="preserve">System</text>
548    <!-- Text -->
549    <text
550       style="font-style:normal;font-weight:normal;font-size:144px;font-family:Times;text-anchor:end;fill:#000000"
551       id="text4598"
552       font-size="144"
553       font-weight="normal"
554       font-style="normal"
555       y="3750"
556       x="2250"
557       xml:space="preserve">Operating</text>
558    <!-- Text -->
559    <text
560       style="font-style:normal;font-weight:normal;font-size:144px;font-family:Times;text-anchor:middle;fill:#000000"
561       id="text4600"
562       font-size="144"
563       font-weight="normal"
564       font-style="normal"
565       y="3750"
566       x="4275"
567       xml:space="preserve">scheduler</text>
568    <!-- Text -->
569    <text
570       style="font-style:normal;font-weight:normal;font-size:144px;font-family:Times;text-anchor:start;fill:#000000"
571       id="text4602"
572       font-size="144"
573       font-weight="normal"
574       font-style="normal"
575       y="3225"
576       x="6750"
577       xml:space="preserve">user thread</text>
578    <!-- Text -->
579    <text
580       style="font-style:normal;font-weight:normal;font-size:144px;font-family:Times;text-anchor:start;fill:#000000"
581       id="text4604"
582       font-size="144"
583       font-weight="normal"
584       font-style="normal"
585       y="3675"
586       x="6750"
587       xml:space="preserve">kernel thread</text>
588    <!-- Text -->
589    <text
590       style="font-style:normal;font-weight:normal;font-size:144px;font-family:Times;text-anchor:start;fill:#000000"
591       id="text4606"
592       font-size="144"
593       font-weight="normal"
594       font-style="normal"
595       y="4200"
596       x="6750"
597       xml:space="preserve">CPU</text>
598    <!-- Text -->
599    <text
600       style="font-style:normal;font-weight:normal;font-size:144px;font-family:Times;text-anchor:middle;fill:#000000"
601       id="text4608"
602       font-size="144"
603       font-weight="normal"
604       font-style="normal"
605       y="1200"
606       x="1800"
607       xml:space="preserve">Process<tspan
608   style="font-size:96px"
609   id="tspan4610"
610   dy="35"
611   font-size="96">1</tspan><tspan
612   id="tspan4612"
613   dy="-35" /></text>
614    <!-- Text -->
615    <text
616       style="font-style:normal;font-weight:normal;font-size:144px;font-family:Times;text-anchor:middle;fill:#000000"
617       id="text4614"
618       font-size="144"
619       font-weight="normal"
620       font-style="normal"
621       y="1200"
622       x="3450"
623       xml:space="preserve">Process<tspan
624   style="font-size:96px"
625   id="tspan4616"
626   dy="35"
627   font-size="96">2</tspan><tspan
628   id="tspan4618"
629   dy="-35" /></text>
630    <!-- Text -->
631    <text
632       style="font-style:normal;font-weight:normal;font-size:144px;font-family:Times;text-anchor:middle;fill:#000000"
633       id="text4620"
634       font-size="144"
635       font-weight="normal"
636       font-style="normal"
637       y="1200"
638       x="5100"
639       xml:space="preserve">Process<tspan
640   style="font-size:96px"
641   id="tspan4622"
642   dy="35"
643   font-size="96">3</tspan><tspan
644   id="tspan4624"
645   dy="-35" /></text>
646    <!-- Text -->
647    <text
648       style="font-style:normal;font-weight:normal;font-size:144px;font-family:Times;text-anchor:middle;fill:#000000"
649       id="text4626"
650       font-size="144"
651       font-weight="normal"
652       font-style="normal"
653       y="1200"
654       x="6750"
655       xml:space="preserve">Process<tspan
656   style="font-size:96px"
657   id="tspan4628"
658   dy="35"
659   font-size="96">4</tspan><tspan
660   id="tspan4630"
661   dy="-35" /></text>
662    <!-- Text -->
663    <text
664       style="font-style:normal;font-weight:normal;font-size:132px;font-family:Times;text-anchor:middle;fill:#000000"
665       id="text4632"
666       font-size="132"
667       font-weight="normal"
668       font-style="normal"
669       y="1800"
670       x="5100"
671       xml:space="preserve">scheduler</text>
672    <!-- Text -->
673    <text
674       style="font-style:normal;font-weight:normal;font-size:132px;font-family:Times;text-anchor:middle;fill:#000000"
675       id="text4634"
676       font-size="132"
677       font-weight="normal"
678       font-style="normal"
679       y="1800"
680       x="6750"
681       xml:space="preserve">scheduler</text>
682  </g>
683</svg>
Note: See TracBrowser for help on using the repository browser.