source: doc/papers/ibm_CASCON19/ThreadingModels.svg@ 2a658e9

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since 2a658e9 was 487198c, checked in by Thierry Delisle <tdelisle@…>, 6 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.