A Cache System Design for CMPs with Built-In Coherence Verification

<div>Functioning of the <svg height="12.0758pt" id="M393" style="vertical-align:-3.3094pt" version="1.1" viewbox="-0.0498162 -8.7664 88.991 12.0758" width="88.991pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M614 175C564 76 510 21 408 21C256 21 146 149 146 336C146 488 235 629 402 629C510 629 570 586 597 480L626 488C620 541 614 582 606 638C578 643 510 665 429 665C206 665 44 527 44 316C44 157 153 -15 402 -15C474 -15 558 5 586 11C604 45 629 119 643 165L614 175Z" id="g121-65"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="665" vert-adv-y="665"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,8.645,0)"><path d="M673 0V28C608 34 594 43 563 129C499 303 432 494 370 665L339 656L132 132C98 43 84 37 20 28V0H238V28C162 35 154 45 175 108C188 150 203 192 219 237H432C454 176 474 122 487 83S491 36 428 28V0H673ZM418 280H234C265 362 296 450 328 535H330L418 280Z" id="g121-63"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="691" vert-adv-y="691"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,16.362,0)"><path d="M687 650H462V622C543 612 549 605 530 547C498 447 422 252 372 126H370C302 298 229 492 204 563C188 607 191 615 262 622V650H17V622C77 616 93 608 122 534C180 389 262 172 329 -11H360C436 196 541 450 568 516C606 605 619 614 687 622V650Z" id="g121-84"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="703" vert-adv-y="703"></glyph.data></g><g transform="matrix(.013,0,0,-0.013,25.501,0)"><path d="M716 650H478V622C549 617 570 605 575 566C579 535 582 493 582 401V326C582 161 537 40 393 40C269 40 205 133 205 294V521C205 611 213 617 291 622V650H33V622C111 615 120 611 120 521V272C120 154 148 80 208 34C252 0 309 -14 368 -14C434 -14 501 7 548 55C605 116 623 201 623 319V401C623 493 626 536 629 563C633 605 656 618 716 622V650Z" id="g121-83"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="736" vert-adv-y="736"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,35.206,3.132)"><path d="M729 650H468V622C546 615 554 610 554 527V365H213V527C213 610 221 616 297 622V650H38V622C120 616 128 611 128 527V123C128 39 120 34 40 28V0H303V28C221 34 213 40 213 123V322H554V123C554 39 546 34 460 28V0H728V28C647 34 639 39 639 123V527C639 610 647 615 729 622V650Z" id="g190-73"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="766" vert-adv-y="766"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,42.176,3.132)"><path d="M303 0V28C221 34 213 39 213 125V525C213 610 221 616 303 622V650H38V622C120 616 128 610 128 525V125C128 40 120 34 38 28V0H303Z" id="g190-74"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="341" vert-adv-y="341"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,45.17,3.132)"><path d="M692 302H438V274C537 267 543 260 543 188V103C543 61 531 48 511 37C489 26 458 20 424 20C231 20 146 188 146 333C146 517 258 630 411 630C507 630 582 597 606 474L634 480C627 546 622 601 619 636C586 643 510 665 426 665C230 665 44 552 44 321C44 122 191 -15 411 -15C491 -15 573 7 635 21C629 49 628 81 628 116V202C628 261 632 266 692 274V302Z" id="g190-72"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="715" vert-adv-y="715"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,51.676,3.132)"><path d="M729 650H468V622C546 615 554 610 554 527V365H213V527C213 610 221 616 297 622V650H38V622C120 616 128 611 128 527V123C128 39 120 34 40 28V0H303V28C221 34 213 40 213 123V322H554V123C554 39 546 34 460 28V0H728V28C647 34 639 39 639 123V527C639 610 647 615 729 622V650Z" id="g190-73"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="766" vert-adv-y="766"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,58.647,3.132)"><path d="M300 253H71L57 198H286L300 253Z" id="g190-46"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="356" vert-adv-y="356"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,61.886,3.132)"><path d="M409 504C401 567 396 607 392 642C354 654 312 665 266 665C137 665 60 583 60 487C60 374 161 325 225 290C300 250 355 215 355 141C355 68 311 21 235 21C131 21 86 122 71 183L41 176C48 128 61 42 68 21C78 16 93 8 118 0C142 -7 175 -15 216 -15C349 -15 438 69 438 174C438 287 344 333 265 374C186 414 138 449 138 522C138 576 172 631 249 631C336 631 363 562 380 499L409 504Z" id="g190-84"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="474" vert-adv-y="474"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,66.09,3.132)"><path d="M46 650V622C120 617 128 613 128 525V125C128 42 120 34 40 28V0H311V28C221 34 212 39 212 124V281L286 262C297 261 316 261 331 263C429 275 526 338 526 468C526 533 501 579 462 609C422 638 364 650 293 650H46ZM212 559C212 588 215 600 223 606C230 613 251 618 279 618C361 618 430 572 430 464C430 337 350 302 285 302C252 302 225 309 212 314V559Z" id="g190-81"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="563" vert-adv-y="563"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,71.168,3.132)"><path d="M517 162C503 123 484 88 467 68C445 42 417 34 341 34C291 34 256 34 237 47C219 59 213 81 213 128V317H308C395 317 402 311 415 240H444V431H415C403 364 398 356 307 356H213V584C213 613 215 616 246 616H322C394 616 421 609 435 587C448 566 458 544 467 502L496 506C493 557 488 625 488 650H42V622C120 616 128 612 128 523V125C128 43 120 35 29 28V0H511C520 31 540 125 546 158L517 162Z" id="g190-70"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="568" vert-adv-y="568"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,76.336,3.132)"><path d="M517 162C503 123 484 88 467 68C445 42 417 34 341 34C291 34 256 34 237 47C219 59 213 81 213 128V317H308C395 317 402 311 415 240H444V431H415C403 364 398 356 307 356H213V584C213 613 215 616 246 616H322C394 616 421 609 435 587C448 566 458 544 467 502L496 506C493 557 488 625 488 650H42V622C120 616 128 612 128 523V125C128 43 120 35 29 28V0H511C520 31 540 125 546 158L517 162Z" id="g190-70"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="568" vert-adv-y="568"></glyph.data></g><g transform="matrix(.0091,0,0,-0.0091,81.505,3.132)"><path d="M43 650V622C120 616 128 612 128 526V124C128 39 120 33 34 27V0H270C392 0 492 25 567 83C643 141 690 230 690 350C690 444 655 517 605 565C543 625 450 650 323 650H43ZM213 547C213 587 217 598 226 604C236 612 262 617 304 617C371 617 429 604 474 576C554 529 592 439 592 336C592 176 505 36 319 36C246 36 213 55 213 131V547Z" id="g190-69"></path><glyph.data ascent="989" descent="-360" horiz-adv-x="735" vert-adv-y="735"></glyph.data></g></svg>.</div>

VLSI Design

A Cache System Design for CMPs with Built-In Coherence Verification

Figure 14