{:highlights [{:id #uuid "642a452b-2dc9-4566-b8a8-95f0caa7b8e3", :page 1, :position {:bounding {:x1 285.6160888671875, :y1 594.2767944335938, :x2 609.3492279052734, :y2 615.4196472167969, :width 864, :height 1296}, :rects ({:x1 285.6160888671875, :y1 594.2767944335938, :x2 609.3492279052734, :y2 615.4196472167969, :width 864, :height 1296} {:x1 384.7857208251953, :y1 597.1339416503906, :x2 609.3492279052734, :y2 613.0714416503906, :width 864, :height 1296}), :page 1}, :content {:text "virtualization, concurrency, and persistence"}, :properties {:color "yellow"}} {:id #uuid "642a7c33-ca04-447a-a357-88236d0b9360", :page 2, :position {:bounding {:x1 344.79808044433594, :y1 220.16965866088867, :x2 403.0172882080078, :y2 241.3125114440918, :width 864, :height 1296}, :rects ({:x1 344.79808044433594, :y1 220.16965866088867, :x2 403.0172882080078, :y2 241.3125114440918, :width 864, :height 1296}), :page 2}, :content {:text "didactic "}, :properties {:color "green"}} {:id #uuid "642a80b7-43a1-40ba-ad01-815cb171572f", :page 3, :position {:bounding {:x1 614.7678909301758, :y1 513.0803680419922, :x2 695.968147277832, :y2 534.2232284545898, :width 864, :height 1296}, :rects ({:x1 614.7678909301758, :y1 513.0803680419922, :x2 695.968147277832, :y2 534.2232284545898, :width 864, :height 1296}), :page 3}, :content {:text "Cramming "}, :properties {:color "green"}} {:id #uuid "642a80ef-5f31-422a-8227-3842faa4eb8d", :page 4, :position {:bounding {:x1 346.86368560791016, :y1 254.06251525878906, :x2 379.3804702758789, :y2 275.2053680419922, :width 864, :height 1296}, :rects ({:x1 346.86368560791016, :y1 254.06251525878906, :x2 379.3804702758789, :y2 275.2053680419922, :width 864, :height 1296}), :page 4}, :content {:text "fond"}, :properties {:color "green"}} {:id #uuid "642bb88b-f481-4af6-afb6-7375d37654ce", :page 25, :position {:bounding {:x1 233.31765747070312, :y1 675.7411193847656, :x2 576.4196624755859, :y2 699.169677734375, :width 864, :height 1296}, :rects ({:x1 438.43751525878906, :y1 675.7411193847656, :x2 567.4583892822266, :y2 699.169677734375, :width 864, :height 1296} {:x1 233.31765747070312, :y1 677.4018249511719, :x2 576.4196624755859, :y2 695.3303833007812, :width 864, :height 1296}), :page 25}, :content {:text " the operating system as a virtual machine."}, :properties {:color "yellow"}} {:id #uuid "642bb978-1efe-418e-8894-8493bfd4f6bb", :page 27, :position {:bounding {:x1 375.3660888671875, :y1 660.044677734375, :x2 439.12901306152344, :y2 683.4732513427734, :width 864, :height 1296}, :rects ({:x1 375.3660888671875, :y1 660.044677734375, :x2 439.12901306152344, :y2 683.4732513427734, :width 864, :height 1296}), :page 27}, :content {:text "illusion"}, :properties {:color "green"}} {:id #uuid "642bb9c2-efb8-4960-a7bd-36afe1cc0b1d", :page 27, :position {:bounding {:x1 573.9821624755859, :y1 719.8214721679688, :x2 743.2751312255859, :y2 743.2500457763672, :width 864, :height 1296}, :rects ({:x1 573.9821624755859, :y1 719.8214721679688, :x2 743.2751312255859, :y2 743.2500457763672, :width 864, :height 1296}), :page 27}, :content {:text "virtualizing the CPU"}, :properties {:color "yellow"}} {:id #uuid "642bbaae-582b-4b1c-bc60-e709931085e7", :page 29, :position {:bounding {:x1 0, :y1 510.2857360839844, :x2 747.7791748046875, :y2 860.7589721679688, :width 864, :height 1296}, :rects ({:x1 0, :y1 510.2857360839844, :x2 0, :y2 529.7143096923828, :width 864, :height 1296} {:x1 672.044677734375, :y1 817.4018249511719, :x2 747.7791748046875, :y2 840.8303833007812, :width 864, :height 1296} {:x1 171.89286041259766, :y1 837.3303833007812, :x2 270.61260986328125, :y2 860.7589721679688, :width 864, :height 1296} {:x1 171.89286041259766, :y1 840.1875305175781, :x2 270.61260986328125, :y2 858.1161193847656, :width 864, :height 1296}), :page 29}, :content {:text "virtualizing memory"}, :properties {:color "yellow"}} {:id #uuid "642bbca9-67e2-45d3-a131-968df46c0cef", :page 33, :position {:bounding {:x1 274.0486602783203, :y1 862.6964721679688, :x2 352.6336669921875, :y2 880.4107666015625, :width 864, :height 1296}, :rects ({:x1 274.0486602783203, :y1 862.6964721679688, :x2 352.6336669921875, :y2 880.4107666015625, :width 864, :height 1296}), :page 33}, :content {:text "intricate "}, :properties {:color "green"}} {:id #uuid "642bc0e8-ee33-46a6-bf83-407cc1e64737", :page 39, :position {:bounding {:x1 357.4788818359375, :y1 928.8750610351562, :x2 416.5377502441406, :y2 946.58935546875, :width 864, :height 1296}, :rects ({:x1 357.4788818359375, :y1 928.8750610351562, :x2 416.5377502441406, :y2 946.58935546875, :width 864, :height 1296}), :page 39}, :content {:text " heyday"}, :properties {:color "green"}} {:id #uuid "642bc1b3-459e-4e76-b36c-406daba96726", :page 45, :position {:bounding {:x1 267.3140335083008, :y1 570.2678680419922, :x2 351.4015884399414, :y2 587.9821624755859, :width 864, :height 1296}, :rects ({:x1 267.3140335083008, :y1 570.2678680419922, :x2 351.4015884399414, :y2 587.9821624755859, :width 864, :height 1296}), :page 45}, :content {:text "incredulous"}, :properties {:color "green"}} {:id #uuid "642bc39c-f56a-488f-a751-1532e413d474", :page 47, :position {:bounding {:x1 0, :y1 46.28570556640625, :x2 690.9068222045898, :y2 516.4107208251953, :width 864, :height 1296}, :rects ({:x1 0, :y1 46.28570556640625, :x2 0, :y2 65.71426391601562, :width 864, :height 1296} {:x1 429.23583221435547, :y1 474.7232208251953, :x2 690.9068222045898, :y2 492.43750762939453, :width 864, :height 1296} {:x1 334.0178756713867, :y1 492.9821548461914, :x2 474.06710052490234, :y2 516.4107208251953, :width 864, :height 1296} {:x1 116.09822082519531, :y1 494.6428680419922, :x2 474.06710052490234, :y2 512.5714416503906, :width 864, :height 1296}), :page 47}, :content {:text "The definition of a process, informally, is quite simple: it is a running program"}, :properties {:color "yellow"}} {:id #uuid "642bc417-a3af-4132-b4b9-9fec9749fc9b", :page 47, :position {:bounding {:x1 0, :y1 430.2857360839844, :x2 689.8602714538574, :y2 1077.0357666015625, :width 864, :height 1296}, :rects ({:x1 0, :y1 430.2857360839844, :x2 0, :y2 449.71429443359375, :width 864, :height 1296} {:x1 0, :y1 446.2857360839844, :x2 0, :y2 465.71429443359375, :width 864, :height 1296} {:x1 140.01786422729492, :y1 1019.2589721679688, :x2 689.8602714538574, :y2 1036.9732666015625, :width 864, :height 1296} {:x1 116.09822082519531, :y1 1039.1786193847656, :x2 689.7599029541016, :y2 1057.107177734375, :width 864, :height 1296} {:x1 116.09822082519531, :y1 1059.107177734375, :x2 195.91397094726562, :y2 1077.0357666015625, :width 864, :height 1296}), :page 47}, :content {:text "To implement virtualization of the CPU, and to implement it well, the OS will need both some low-level machinery and some high-level intelligence."}, :properties {:color "yellow"}} {:id #uuid "642bc41d-8b68-46d9-908e-ab14b53a859b", :page 47, :position {:bounding {:x1 0, :y1 462.2857360839844, :x2 691.5204086303711, :y2 1116.6607666015625, :width 864, :height 1296}, :rects ({:x1 0, :y1 462.2857360839844, :x2 0, :y2 481.71429443359375, :width 864, :height 1296} {:x1 0, :y1 478.2857360839844, :x2 0, :y2 497.71429443359375, :width 864, :height 1296} {:x1 479.2053756713867, :y1 1057.4464721679688, :x2 580.8191757202148, :y2 1080.8750610351562, :width 864, :height 1296} {:x1 217.62262725830078, :y1 1059.107177734375, :x2 691.5204086303711, :y2 1077.0357666015625, :width 864, :height 1296} {:x1 116.09822082519531, :y1 1079.0179138183594, :x2 689.7547149658203, :y2 1096.9464721679688, :width 864, :height 1296} {:x1 116.09822082519531, :y1 1098.9464721679688, :x2 225.9590835571289, :y2 1116.6607666015625, :width 864, :height 1296}), :page 47}, :content {:text "e call the low-level machinery mechanisms; mechanisms are low-level methods or protocols that implement a needed piece of functionality."}, :properties {:color "yellow"}} {:id #uuid "642bc579-a1cc-4b67-a8c5-5a33f274c634", :page 48, :position {:bounding {:x1 0, :y1 222.2857208251953, :x2 746.4808959960938, :y2 525.1607360839844, :width 864, :height 1296}, :rects ({:x1 0, :y1 222.2857208251953, :x2 0, :y2 241.71429443359375, :width 864, :height 1296} {:x1 414.68109130859375, :y1 487.51788330078125, :x2 746.4808959960938, :y2 505.2321472167969, :width 864, :height 1296} {:x1 171.90178680419922, :y1 507.4464416503906, :x2 421.31090545654297, :y2 525.1607360839844, :width 864, :height 1296}), :page 48}, :content {:text "Policies are algorithms for making some kind of decision within the OS"}, :properties {:color "yellow"}} {:id #uuid "642bc8a9-1a7d-4236-86ce-65b0498e9e01", :page 48, :position {:bounding {:x1 171.89286041259766, :y1 777.2768249511719, :x2 246.3972930908203, :y2 794.9911193847656, :width 864, :height 1296}, :rects ({:x1 171.89286041259766, :y1 777.2768249511719, :x2 246.3972930908203, :y2 794.9911193847656, :width 864, :height 1296}), :page 48}, :content {:text "inventory "}, :properties {:color "green"}} {:id #uuid "642bd104-6b57-44f2-9f10-e5107a926079", :page 51, :position {:bounding {:x1 368.2170639038086, :y1 932.1697082519531, :x2 608.1073532104492, :y2 948.7411193847656, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 368.2170639038086, :y1 932.1697082519531, :x2 608.1073532104492, :y2 948.7411193847656, :width 806.3999999999999, :height 1209.6}), :page 51}, :content {:text "ocess can be in one of three states:"}, :properties {:color "yellow"}} {:id #uuid "642c279e-0187-4175-abfb-5fcf4e534ae8", :page 55, :position {:bounding {:x1 481.9228515625, :y1 737.21875, :x2 566.9993286132812, :y2 755.21875, :width 864, :height 1296}, :rects ({:x1 481.9228515625, :y1 737.21875, :x2 566.9993286132812, :y2 755.21875, :width 864, :height 1296}), :page 55}, :content {:text "tty-gritty"}, :properties {:color "green"}} {:id #uuid "642c27e3-d7d6-41d8-9832-73674615a246", :page 56, :position {:bounding {:x1 403.2196960449219, :y1 194.015625, :x2 575.09716796875, :y2 212.015625, :width 864, :height 1296}, :rects ({:x1 403.2196960449219, :y1 194.015625, :x2 575.09716796875, :y2 212.015625, :width 864, :height 1296}), :page 56}, :content {:text " KEY PROCESS TERMS"}, :properties {:color "yellow"}} {:id #uuid "642cc7d2-cd33-4dd6-879f-72f1070ed96d", :page 60, :position {:bounding {:x1 404.16966247558594, :y1 343.8303680419922, :x2 691.9583587646484, :y2 381.54466247558594, :width 864, :height 1296}, :rects ({:x1 404.16966247558594, :y1 343.8303680419922, :x2 691.9583587646484, :y2 381.54466247558594, :width 864, :height 1296}), :page 60}, :content {:text "Interlude: Process API"}, :properties {:color "yellow"}} {:id #uuid "642cc975-cf26-431c-8c38-617da01d89ee", :page 65, :position {:bounding {:x1 0, :y1 46.28571605682373, :x2 746.3800811767578, :y2 272.88393688201904, :width 864, :height 1296}, :rects ({:x1 0, :y1 46.28571605682373, :x2 0, :y2 65.71428966522217, :width 864, :height 1296} {:x1 301.4553680419922, :y1 233.58928966522217, :x2 393.60862731933594, :y2 257.01787853240967, :width 864, :height 1296} {:x1 393.5982208251953, :y1 235.25001049041748, :x2 746.3800811767578, :y2 253.17858409881592, :width 864, :height 1296} {:x1 171.8928680419922, :y1 255.1696424484253, :x2 367.95936584472656, :y2 272.88393688201904, :width 864, :height 1296}), :page 65}, :content {:text "Get it right. Neither abstraction nor simplicity is a substitute for getting it righ"}, :properties {:color "yellow"}} {:id #uuid "642ccc92-baa5-4b54-8525-9a664698c669", :page 65, :position {:bounding {:x1 0, :y1 334.2857208251953, :x2 747.6986846923828, :y2 766.8035888671875, :width 864, :height 1296}, :rects ({:x1 0, :y1 334.2857208251953, :x2 0, :y2 353.71429443359375, :width 864, :height 1296} {:x1 0, :y1 350.2857208251953, :x2 0, :y2 369.7142868041992, :width 864, :height 1296} {:x1 0, :y1 366.2857208251953, :x2 0, :y2 385.7142868041992, :width 864, :height 1296} {:x1 419.60740661621094, :y1 689.3303680419922, :x2 747.6986846923828, :y2 707.2589416503906, :width 864, :height 1296} {:x1 171.8928680419922, :y1 709.2589416503906, :x2 747.6194000244141, :y2 727.1875152587891, :width 864, :height 1296} {:x1 171.8928680419922, :y1 729.1696624755859, :x2 747.0166168212891, :y2 747.0982360839844, :width 864, :height 1296} {:x1 171.8928680419922, :y1 749.0893096923828, :x2 532.4863128662109, :y2 766.8035888671875, :width 864, :height 1296}), :page 65}, :content {:text "the separation of fork() and exec() is essential in building a UNIX shell, because it lets the shell run code after the call to fork() but before the call to exec(); this code can alter the environment of the about-to-be-run program, "}, :properties {:color "yellow"}} {:id #uuid "642ccf62-0b5a-41db-899e-3e99a69c2eac", :page 67, :position {:bounding {:x1 500.46167755126953, :y1 898.3482360839844, :x2 588.625373840332, :y2 916.0625305175781, :width 864, :height 1296}, :rects ({:x1 500.46167755126953, :y1 898.3482360839844, :x2 588.625373840332, :y2 916.0625305175781, :width 864, :height 1296}), :page 67}, :content {:text "imperatives"}, :properties {:color "green"}} {:id #uuid "642cd11a-eea5-48f8-b4d1-b225f37ccdb4", :page 67, :position {:bounding {:x1 315.2972640991211, :y1 938.2054138183594, :x2 363.1093215942383, :y2 955.919677734375, :width 864, :height 1296}, :rects ({:x1 315.2972640991211, :y1 938.2054138183594, :x2 363.1093215942383, :y2 955.919677734375, :width 864, :height 1296}), :page 67}, :content {:text " signa"}, :properties {:color "yellow"}} {:id #uuid "642cd1eb-c058-484a-ac25-782e37082bc6", :page 74, :position {:bounding {:x1 285.3382987976074, :y1 938.2500305175781, :x2 524.2904014587402, :y2 959.9642944335938, :width 864, :height 1296}, :rects ({:x1 285.3382987976074, :y1 938.2500305175781, :x2 524.2904014587402, :y2 959.9642944335938, :width 864, :height 1296}), :page 74}, :content {:text "Limited Direct Execution"}, :properties {:color "yellow"}} {:id #uuid "642cd2f2-c565-4309-951a-1f809da9beff", :page 75, :position {:bounding {:x1 171.8928680419922, :y1 775.9822082519531, :x2 236.6775360107422, :y2 793.6964416503906, :width 864, :height 1296}, :rects ({:x1 171.8928680419922, :y1 775.9822082519531, :x2 236.6775360107422, :y2 793.6964416503906, :width 864, :height 1296}), :page 75}, :content {:text "aspiring"}, :properties {:color "green"}} {:id #uuid "642cd3e3-3fa6-43a6-a37a-cae62c634654", :page 76, :position {:bounding {:x1 197.56250381469727, :y1 792.107177734375, :x2 282.93234634399414, :y2 815.5357360839844, :width 864, :height 1296}, :rects ({:x1 197.56250381469727, :y1 792.107177734375, :x2 282.93234634399414, :y2 815.5357360839844, :width 864, :height 1296}), :page 76}, :content {:text "user mode"}, :properties {:color "yellow"}} {:id #uuid "642cd6be-083b-4ecd-b220-aafef97a8b65", :page 78, :position {:bounding {:x1 309.4553680419922, :y1 972.6250610351562, :x2 586.8960418701172, :y2 996.0536193847656, :width 864, :height 1296}, :rects ({:x1 309.4553680419922, :y1 972.6250610351562, :x2 586.8960418701172, :y2 996.0536193847656, :width 864, :height 1296}), :page 78}, :content {:text "Limited Direct Execution Protocol"}, :properties {:color "yellow"}} {:id #uuid "642cd6e9-21fc-49c7-b0bb-0c9ba3b7a524", :page 79, :position {:bounding {:x1 313.4107360839844, :y1 195.0178680419922, :x2 363.1207580566406, :y2 212.9464340209961, :width 864, :height 1296}, :rects ({:x1 313.4107360839844, :y1 195.0178680419922, :x2 363.1207580566406, :y2 212.9464340209961, :width 864, :height 1296}), :page 79}, :content {:text "WARY"}, :properties {:color "green"}} {:id #uuid "642cd90e-ab6b-4d4d-8312-cd8c69efdac8", :page 80, :position {:bounding {:x1 240.1057357788086, :y1 411.30360412597656, :x2 519.1290512084961, :y2 433.0178909301758, :width 864, :height 1296}, :rects ({:x1 240.1057357788086, :y1 411.30360412597656, :x2 519.1290512084961, :y2 433.0178909301758, :width 864, :height 1296}), :page 80}, :content {:text "Switching Between Processes"}, :properties {:color "yellow"}} {:id #uuid "642cdc2e-329c-423e-a65a-0a53fb6eaa76", :page 81, :position {:bounding {:x1 336.91209411621094, :y1 1022.8215026855469, :x2 423.3618927001953, :y2 1040.5357818603516, :width 864, :height 1296}, :rects ({:x1 336.91209411621094, :y1 1022.8215026855469, :x2 423.3618927001953, :y2 1040.5357818603516, :width 864, :height 1296}), :page 81}, :content {:text "malfeasance"}, :properties {:color "green"}} {:id #uuid "642ce319-8087-4252-b51d-42f749f7c283", :page 83, :position {:bounding {:x1 241.65673828125, :y1 254.54465866088867, :x2 288.17628479003906, :y2 272.25893783569336, :width 864, :height 1296}, :rects ({:x1 241.65673828125, :y1 254.54465866088867, :x2 288.17628479003906, :y2 272.25893783569336, :width 864, :height 1296}), :page 83}, :content {:text "coff a"}, :properties {:color "green"}} {:id #uuid "642ce357-9914-417b-8036-35ae44ac7283", :page 83, :position {:bounding {:x1 537.6926574707031, :y1 462.4286003112793, :x2 579.2625122070312, :y2 480.1428642272949, :width 864, :height 1296}, :rects ({:x1 537.6926574707031, :y1 462.4286003112793, :x2 579.2625122070312, :y2 480.1428642272949, :width 864, :height 1296}), :page 83}, :content {:text " enac"}, :properties {:color "green"}} {:id #uuid "642cef47-0c2f-482f-8b61-9a715e5438e5", :page 84, :position {:bounding {:x1 164.6323013305664, :y1 1059.1072082519531, :x2 205.6727066040039, :y2 1076.8215026855469, :width 864, :height 1296}, :rects ({:x1 164.6323013305664, :y1 1059.1072082519531, :x2 205.6727066040039, :y2 1076.8215026855469, :width 864, :height 1296}), :page 84}, :content {:text "whet "}, :properties {:color "green"}} {:id #uuid "642cf0c1-59a2-410e-8f45-517f66ef47f9", :page 86, :position {:bounding {:x1 187.13980865478516, :y1 734.4018096923828, :x2 265.6998596191406, :y2 752.1161041259766, :width 864, :height 1296}, :rects ({:x1 187.13980865478516, :y1 734.4018096923828, :x2 265.6998596191406, :y2 752.1161041259766, :width 864, :height 1296}), :page 86}, :content {:text "analogous "}, :properties {:color "green"}} {:id #uuid "642cf292-4464-4c8f-8639-3a194484d4c0", :page 90, :position {:bounding {:x1 173.84801483154297, :y1 1038.8928833007812, :x2 359.95592498779297, :y2 1056.607177734375, :width 864, :height 1296}, :rects ({:x1 173.84801483154297, :y1 1038.8928833007812, :x2 359.95592498779297, :y2 1056.607177734375, :width 864, :height 1296}), :page 90}, :content {:text "workload assumptions w"}, :properties {:color "yellow"}} {:id #uuid "642cf48d-b312-4af1-a2ff-d55cf9f32e48", :page 91, :position {:bounding {:x1 0, :y1 270.2857208251953, :x2 747.7616271972656, :y2 625.1696624755859, :width 864, :height 1296}, :rects ({:x1 0, :y1 270.2857208251953, :x2 0, :y2 289.71429443359375, :width 864, :height 1296} {:x1 615.4732360839844, :y1 581.8125305175781, :x2 747.7616271972656, :y2 605.2410888671875, :width 864, :height 1296} {:x1 615.4472351074219, :y1 583.4732360839844, :x2 747.7616271972656, :y2 601.1875305175781, :width 864, :height 1296} {:x1 171.8928680419922, :y1 601.7410888671875, :x2 192.8222198486328, :y2 625.1696624755859, :width 864, :height 1296}), :page 91}, :content {:text "scheduling metric"}, :properties {:color "yellow"}} {:id #uuid "642cf4c4-d246-48f2-a6ef-f14c77684ad9", :page 91, :position {:bounding {:x1 551.5064392089844, :y1 929.8125, :x2 635.8687438964844, :y2 947.5267944335938, :width 864, :height 1296}, :rects ({:x1 551.5064392089844, :y1 929.8125, :x2 635.8687438964844, :y2 947.5267944335938, :width 864, :height 1296}), :page 91}, :content {:text "conundrum "}, :properties {:color "green"}} {:id #uuid "642cf4f9-4afd-4240-ac76-5522285fa1eb", :page 91, :position {:bounding {:x1 0, :y1 574.2857666015625, :x2 747.7544326782227, :y2 1081.6161346435547, :width 864, :height 1296}, :rects ({:x1 0, :y1 574.2857666015625, :x2 0, :y2 593.7143249511719, :width 864, :height 1296} {:x1 643.7589492797852, :y1 1038.2589950561523, :x2 747.7544326782227, :y2 1061.6875686645508, :width 864, :height 1296} {:x1 643.7497329711914, :y1 1039.9197082519531, :x2 747.7544326782227, :y2 1057.6339950561523, :width 864, :height 1296} {:x1 171.8928680419922, :y1 1058.1875686645508, :x2 258.0138168334961, :y2 1081.6161346435547, :width 864, :height 1296} {:x1 171.8928680419922, :y1 1061.0447082519531, :x2 266.54952239990234, :y2 1078.9732818603516, :width 864, :height 1296}), :page 91}, :content {:text "First In, First Out (FIFO)"}, :properties {:color "yellow"}} {:id #uuid "642cf705-4a47-4daa-a542-43c4ae6f239e", :page 93, :position {:bounding {:x1 171.8928680419922, :y1 570.7500419616699, :x2 333.2419891357422, :y2 592.4643363952637, :width 864, :height 1296}, :rects ({:x1 171.8928680419922, :y1 570.7500419616699, :x2 333.2419891357422, :y2 592.4643363952637, :width 864, :height 1296}), :page 93}, :content {:text "Shortest Job First"}, :properties {:color "yellow"}} {:id #uuid "642cfce4-67f5-4315-bf81-445922b8ae54", :page 94, :position {:bounding {:x1 116.09822082519531, :y1 998.1607666015625, :x2 518.0627288818359, :y2 1019.8750610351562, :width 864, :height 1296}, :rects ({:x1 116.09822082519531, :y1 998.1607666015625, :x2 518.0627288818359, :y2 1019.8750610351562, :width 864, :height 1296}), :page 94}, :content {:text "Shortest Time-to-Completion First (STCF)"}, :properties {:color "yellow"}} {:id #uuid "642e41ac-3b8f-4fe3-a9ef-e2adeeadfe9d", :page 95, :position {:bounding {:x1 237.4654541015625, :y1 765.15625, :x2 467.0165100097656, :y2 787.15625, :width 864, :height 1296}, :rects ({:x1 237.4654541015625, :y1 765.15625, :x2 467.0165100097656, :y2 787.15625, :width 864, :height 1296}), :page 95}, :content {:text "Metric: Response Time"}, :properties {:color "yellow"}} {:id #uuid "642e435d-7116-4d2c-9ec3-889558ba2dca", :page 96, :position {:bounding {:x1 331.75, :y1 977.671875, :x2 497.38836669921875, :y2 1002.671875, :width 921.6, :height 1382.4}, :rects ({:x1 331.75, :y1 977.671875, :x2 497.38836669921875, :y2 1002.671875, :width 921.6, :height 1382.4}), :page 96}, :content {:text "Round-Robin (RR)"}, :properties {:color "yellow"}} {:id #uuid "642e4473-4162-4320-91af-fba22e79be25", :page 97, :position {:bounding {:x1 413.328125, :y1 227.546875, :x2 524.9400024414062, :y2 252.546875, :width 921.6, :height 1382.4}, :rects ({:x1 413.328125, :y1 227.546875, :x2 524.9400024414062, :y2 252.546875, :width 921.6, :height 1382.4}), :page 97}, :content {:text "amortization"}, :properties {:color "green"}} {:id #uuid "642e4a5d-37c1-4484-b2ac-913e40d8a2dc", :page 97, :position {:bounding {:x1 629.3007202148438, :y1 1043.421875, :x2 696.6312866210938, :y2 1062.421875, :width 921.6, :height 1382.4}, :rects ({:x1 629.3007202148438, :y1 1043.421875, :x2 696.6312866210938, :y2 1062.421875, :width 921.6, :height 1382.4}), :page 97}, :content {:text "pessimal"}, :properties {:color "green"}} {:id #uuid "642e4ed2-7674-4a5f-bb65-67541b97db95", :page 98, :position {:bounding {:x1 123.8117446899414, :y1 584.28125, :x2 311.8699645996094, :y2 607.28125, :width 921.6, :height 1382.4}, :rects ({:x1 123.8117446899414, :y1 584.28125, :x2 311.8699645996094, :y2 607.28125, :width 921.6, :height 1382.4}), :page 98}, :content {:text "Incorporating I/O"}, :properties {:color "yellow"}} {:id #uuid "642e5117-90c3-41db-9f15-45f3ba9edf91", :page 103, :position {:bounding {:x1 363.5907287597656, :y1 569.421875, :x2 672.5271606445312, :y2 588.421875, :width 921.6, :height 1382.4}, :rects ({:x1 363.5907287597656, :y1 569.421875, :x2 672.5271606445312, :y2 588.421875, :width 921.6, :height 1382.4}), :page 103}, :content {:text "Multi-level Feedback Queue (MLFQ)"}, :properties {:color "yellow"}} {:id #uuid "642ec9be-dd64-4a66-ab7a-3f0ee376e055", :page 105, :position {:bounding {:x1 472.18408203125, :y1 818.171875, :x2 573.0543212890625, :y2 837.171875, :width 921.6, :height 1382.4}, :rects ({:x1 472.18408203125, :y1 818.171875, :x2 573.0543212890625, :y2 837.171875, :width 921.6, :height 1382.4}), :page 105}, :content {:text "relinquish "}, :properties {:color "green"}} {:id #uuid "642ecc9e-b28b-4951-aaf6-1191e867b34f", :page 104, :position {:bounding {:x1 474.0478820800781, :y1 727.265625, :x2 656.4044799804688, :y2 746.265625, :width 921.6, :height 1382.4}, :rects ({:x1 474.0478820800781, :y1 727.265625, :x2 656.4044799804688, :y2 746.265625, :width 921.6, :height 1382.4}), :page 104}, :content {:text " basic rules for MLFQ:"}, :properties {:color "yellow"}} {:id #uuid "642ecd09-c81b-4127-8bfa-e1fbb78ba583", :page 105, :position {:bounding {:x1 0, :y1 400, :x2 738.1038208007812, :y2 900.9375, :width 921.6, :height 1382.4}, :rects ({:x1 0, :y1 400, :x2 0, :y2 416, :width 921.6, :height 1382.4} {:x1 670.8447265625, :y1 860.6875, :x2 738.1038208007812, :y2 879.6875, :width 921.6, :height 1382.4} {:x1 123.828125, :y1 881.9375, :x2 312.0516662597656, :y2 900.9375, :width 921.6, :height 1382.4}), :page 105}, :content {:text "riorityadjustment algorithm:"}, :properties {:color "yellow"}} {:id #uuid "642ece05-2fa8-4a24-88e2-f2550cfdd2ed", :page 107, :position {:bounding {:x1 0, :y1 160, :x2 738.0860595703125, :y2 685.625, :width 921.6, :height 1382.4}, :rects ({:x1 0, :y1 160, :x2 0, :y2 176, :width 921.6, :height 1382.4} {:x1 0, :y1 176, :x2 0, :y2 192, :width 921.6, :height 1382.4} {:x1 0, :y1 192, :x2 0, :y2 208, :width 921.6, :height 1382.4} {:x1 0, :y1 208, :x2 0, :y2 224, :width 921.6, :height 1382.4} {:x1 0, :y1 224, :x2 0, :y2 240, :width 921.6, :height 1382.4} {:x1 590.8765258789062, :y1 560.359375, :x2 738.0640869140625, :y2 579.359375, :width 921.6, :height 1382.4} {:x1 123.828125, :y1 581.609375, :x2 738.0743408203125, :y2 600.734375, :width 921.6, :height 1382.4} {:x1 123.828125, :y1 602.859375, :x2 738.0860595703125, :y2 621.984375, :width 921.6, :height 1382.4} {:x1 123.828125, :y1 624.125, :x2 738.0825805664062, :y2 643.25, :width 921.6, :height 1382.4} {:x1 123.828125, :y1 645.375, :x2 738.058837890625, :y2 664.5, :width 921.6, :height 1382.4} {:x1 123.828125, :y1 666.625, :x2 738.0640258789062, :y2 685.625, :width 921.6, :height 1382.4}), :page 107}, :content {:text "one of the major goals of the algorithm: because it doesn’t know whether a job will be a short job or a long-running job, it first assumes it might be a short job, thus giving the job high priority. If it actually is a short job, it will run quickly and complete; if it is not a short job, it will slowly move down the queues, and thus soon prove itself to be a long-running more batch-like process."}, :properties {:color "yellow"}} {:id #uuid "642ed47c-9ba8-4451-b6b3-6ca6ee1dbdda", :page 109, :position {:bounding {:x1 265.6994323730469, :y1 534.734375, :x2 466.90966796875, :y2 558.734375, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 265.6994323730469, :y1 534.734375, :x2 466.90966796875, :y2 558.734375, :width 979.1999999999999, :height 1468.8}), :page 109}, :content {:text "The Priority Boost"}, :properties {:color "yellow"}} {:id #uuid "642ed5f6-2a74-4a24-9f69-a472cf644fc9", :page 110, :position {:bounding {:x1 333.4051818847656, :y1 551.15625, :x2 529.7739868164062, :y2 575.15625, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 333.4051818847656, :y1 551.15625, :x2 529.7739868164062, :y2 575.15625, :width 979.1999999999999, :height 1468.8}), :page 110}, :content {:text "Better Accounting"}, :properties {:color "yellow"}} {:id #uuid "642ed5fe-3314-4020-a4fc-b1b75ea987b9", :page 110, :position {:bounding {:x1 431.2640075683594, :y1 611.03125, :x2 506.947021484375, :y2 631.03125, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 431.2640075683594, :y1 611.03125, :x2 506.947021484375, :y2 631.03125, :width 979.1999999999999, :height 1468.8}), :page 110}, :content {:text "culprit "}, :properties {:color "green"}} {:id #uuid "642ed6a2-c04b-4f03-a86f-1d70933c0d42", :page 110, :position {:bounding {:x1 264.578125, :y1 1129.921875, :x2 385.41986083984375, :y2 1156.921875, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 264.578125, :y1 1129.921875, :x2 385.41986083984375, :y2 1156.921875, :width 979.1999999999999, :height 1468.8}), :page 110}, :content {:text "parameterize"}, :properties {:color "yellow"}} {:id #uuid "642ed799-d933-441a-a043-06e47877c0d9", :page 109, :position {:bounding {:x1 610.84375, :y1 1152.515625, :x2 779.1224975585938, :y2 1179.515625, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 610.84375, :y1 1152.515625, :x2 779.1224975585938, :y2 1179.515625, :width 979.1999999999999, :height 1468.8}), :page 109}, :content {:text "voo-doo constants"}, :properties {:color "yellow"}} {:id #uuid "642eda22-bd34-42e4-b7e4-1107636d1fbc", :page 115, :position {:bounding {:x1 131.578125, :y1 537.53125, :x2 305.513671875, :y2 564.53125, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 131.578125, :y1 537.53125, :x2 305.513671875, :y2 564.53125, :width 979.1999999999999, :height 1468.8}), :page 115}, :content {:text "proportional-share"}, :properties {:color "yellow"}} {:id #uuid "642edaa2-78d2-4fde-8b14-584b7d39fa24", :page 115, :position {:bounding {:x1 660.953125, :y1 1016.96875, :x2 721.9077758789062, :y2 1043.96875, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 660.953125, :y1 1016.96875, :x2 721.9077758789062, :y2 1043.96875, :width 979.1999999999999, :height 1468.8}), :page 115}, :content {:text "tickets"}, :properties {:color "yellow"}} {:id #uuid "642edb1d-7740-4459-bb42-0c6a84156475", :page 115, :position {:bounding {:x1 158.6875, :y1 1177.734375, :x2 334.8990478515625, :y2 1197.734375, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 158.6875, :y1 1177.734375, :x2 334.8990478515625, :y2 1197.734375, :width 979.1999999999999, :height 1468.8}), :page 115}, :content {:text "Lottery scheduling a"}, :properties {:color "yellow"}} {:id #uuid "642edc09-1329-4eca-95ad-7f62b48875e2", :page 117, :position {:bounding {:x1 263.796875, :y1 543.09375, :x2 401.43524169921875, :y2 570.09375, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 263.796875, :y1 543.09375, :x2 401.43524169921875, :y2 570.09375, :width 979.1999999999999, :height 1468.8}), :page 117}, :content {:text "ticket currency"}, :properties {:color "yellow"}} {:id #uuid "642edc0f-464d-4616-9313-92b640cecec5", :page 117, :position {:bounding {:x1 425.625, :y1 881.515625, :x2 554.5306396484375, :y2 908.515625, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 425.625, :y1 881.515625, :x2 554.5306396484375, :y2 908.515625, :width 979.1999999999999, :height 1468.8}), :page 117}, :content {:text "ticket transfer"}, :properties {:color "yellow"}} {:id #uuid "642edc14-74d6-4758-a21f-d615d2ee51c9", :page 117, :position {:bounding {:x1 232.42788696289062, :y1 1062.171875, :x2 371.2756042480469, :y2 1089.171875, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 232.4375, :y1 1062.171875, :x2 371.2756042480469, :y2 1089.171875, :width 979.1999999999999, :height 1468.8} {:x1 232.42788696289062, :y1 1064.828125, :x2 232.44110107421875, :y2 1084.828125, :width 979.1999999999999, :height 1468.8}), :page 117}, :content {:text "ticket inflation"}, :properties {:color "yellow"}} {:id #uuid "642eded0-39d0-40aa-8b28-c273d39f90c2", :page 119, :position {:bounding {:x1 403.46875, :y1 581.546875, :x2 612.3668823242188, :y2 608.546875, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 403.46875, :y1 581.546875, :x2 612.3668823242188, :y2 608.546875, :width 979.1999999999999, :height 1468.8}), :page 119}, :content {:text "Lottery Fairness Study"}, :properties {:color "yellow"}} {:id #uuid "642edf4f-7c7f-477f-acae-0969da13731e", :page 120, :position {:bounding {:x1 221.90625, :y1 620.28125, :x2 376.0361328125, :y2 640.28125, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 221.90625, :y1 620.28125, :x2 376.0361328125, :y2 640.28125, :width 979.1999999999999, :height 1468.8}), :page 120}, :content {:text "Stride scheduling"}, :properties {:color "yellow"}} {:id #uuid "642ee1b9-281d-4589-ab90-e776507dd04f", :page 121, :position {:bounding {:x1 247.94039916992188, :y1 958.640625, :x2 608.69287109375, :y2 982.640625, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 247.94039916992188, :y1 958.640625, :x2 608.69287109375, :y2 982.640625, :width 979.1999999999999, :height 1468.8}), :page 121}, :content {:text "Completely Fair Scheduler (CFS)"}, :properties {:color "yellow"}} {:id #uuid "642ee242-d382-4685-86b4-b3169fcc4fcf", :page 122, :position {:bounding {:x1 0, :y1 109, :x2 847.4393920898438, :y2 513.40625, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 0, :y1 109, :x2 0, :y2 131, :width 979.1999999999999, :height 1468.8} {:x1 694.8699951171875, :y1 470.8125, :x2 847.4393920898438, :y2 490.8125, :width 979.1999999999999, :height 1468.8} {:x1 194.8125, :y1 493.40625, :x2 592.07373046875, :y2 513.40625, :width 979.1999999999999, :height 1468.8}), :page 122}, :content {:text "to fairly divide a CPU evenly among all competing processes. "}, :properties {:color "yellow"}} {:id #uuid "642ee25b-1f3a-4b7c-a721-fa60f5fa5d2f", :page 122, :position {:bounding {:x1 524.046875, :y1 513.34375, :x2 665.7717895507812, :y2 540.34375, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 524.046875, :y1 513.34375, :x2 665.7717895507812, :y2 540.34375, :width 979.1999999999999, :height 1468.8}), :page 122}, :content {:text "virtual runtime"}, :properties {:color "yellow"}} {:id #uuid "642ee303-c289-4e55-a0c5-bc4f534fa882", :page 122, :position {:bounding {:x1 256.015625, :y1 812.984375, :x2 409.7081298828125, :y2 833.3125, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 256.015625, :y1 812.984375, :x2 409.7081298828125, :y2 833.3125, :width 979.1999999999999, :height 1468.8}), :page 122}, :content {:text "sched latency"}, :properties {:color "yellow"}} {:id #uuid "642ee3d6-827b-4d80-b6c3-9cb8253a16d6", :page 122, :position {:bounding {:x1 673.3125, :y1 1222.875, :x2 851.4118041992188, :y2 1243.203125, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 673.3125, :y1 1222.875, :x2 851.4118041992188, :y2 1243.203125, :width 979.1999999999999, :height 1468.8}), :page 122}, :content {:text "min granularity"}, :properties {:color "yellow"}} {:id #uuid "642ee44f-5fca-4d7d-b688-ff4ac22be23a", :page 123, :position {:bounding {:x1 131.578125, :y1 576.9375, :x2 352.4835205078125, :y2 606.9375, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 131.578125, :y1 576.9375, :x2 352.4835205078125, :y2 606.9375, :width 979.1999999999999, :height 1468.8}), :page 123}, :content {:text "Weighting (Niceness)"}, :properties {:color "yellow"}} {:id #uuid "642ee5dd-9183-4122-9dee-06ff7fb9be46", :page 126, :position {:bounding {:x1 480.874755859375, :y1 266.1875, :x2 561.3439331054688, :y2 286.1875, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 480.874755859375, :y1 266.1875, :x2 561.3439331054688, :y2 286.1875, :width 979.1999999999999, :height 1468.8}), :page 126}, :content {:text "hallmark "}, :properties {:color "green"}} {:id #uuid "642ee7e4-20d2-44d5-8407-288a8a2e1769", :page 125, :position {:bounding {:x1 131.578125, :y1 735.765625, :x2 561.9702758789062, :y2 765.765625, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 131.578125, :y1 735.765625, :x2 561.9702758789062, :y2 765.765625, :width 979.1999999999999, :height 1468.8}), :page 125}, :content {:text "Dealing With I/O And Sleeping Processes"}, :properties {:color "yellow"}} {:id #uuid "642ee8c2-89fe-4e7b-bf6d-bb0e379f8fe2", :page 126, :position {:bounding {:x1 387.48431396484375, :y1 796.421875, :x2 451.882080078125, :y2 816.421875, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 387.48431396484375, :y1 796.421875, :x2 451.882080078125, :y2 816.421875, :width 979.1999999999999, :height 1468.8}), :page 126}, :content {:text "panacea"}, :properties {:color "green"}} {:id #uuid "642eeb3a-8803-4c73-84a7-cc48c903f10f", :page 129, :position {:bounding {:x1 530.402587890625, :y1 868.984375, :x2 593.8715209960938, :y2 888.984375, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 530.402587890625, :y1 868.984375, :x2 593.8715209960938, :y2 888.984375, :width 979.1999999999999, :height 1468.8}), :page 129}, :content {:text "remedy "}, :properties {:color "green"}} {:id #uuid "642eeb44-cf62-4cf6-81cb-f1f6423cb66d", :page 129, :position {:bounding {:x1 605.3892822265625, :y1 687.53125, :x2 721.6216430664062, :y2 707.53125, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 605.3892822265625, :y1 687.53125, :x2 721.6216430664062, :y2 707.53125, :width 979.1999999999999, :height 1468.8}), :page 129}, :content {:text "proliferation"}, :properties {:color "green"}} {:id #uuid "642eeb7b-257c-4a7c-8f09-a2429cb16b46", :page 129, :position {:bounding {:x1 592.2553100585938, :y1 1042.859375, :x2 649.8491821289062, :y2 1062.859375, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 592.2553100585938, :y1 1042.859375, :x2 649.8491821289062, :y2 1062.859375, :width 979.1999999999999, :height 1468.8}), :page 129}, :content {:text "swath "}, :properties {:color "green"}} {:id #uuid "642eecc1-d07d-4e48-bcd5-b84db831b241", :page 132, :position {:bounding {:x1 649.811767578125, :y1 364.125, :x2 800.3143920898438, :y2 391.125, :width 979.1999999999999, :height 1468.8}, :rects ({:x1 649.8125, :y1 364.125, :x2 800.3143920898438, :y2 391.125, :width 979.1999999999999, :height 1468.8} {:x1 649.811767578125, :y1 366.78125, :x2 800.3143920898438, :y2 387.109375, :width 979.1999999999999, :height 1468.8}), :page 132}, :content {:text "cache coherence"}, :properties {:color "yellow"}} {:id #uuid "642f878b-44c2-4485-ae98-448032b588da", :page 132, :position {:bounding {:x1 359.7260437011719, :y1 833.890625, :x2 548.6223754882812, :y2 859.890625, :width 1036.8, :height 1555.2}, :rects ({:x1 359.7260437011719, :y1 833.890625, :x2 548.6223754882812, :y2 859.890625, :width 1036.8, :height 1555.2}), :page 132}, :content {:text " Synchronization"}, :properties {:color "yellow"}} {:id #uuid "642f87d0-2e9a-405c-8fa6-689dc492ef52", :page 133, :position {:bounding {:x1 337.5885009765625, :y1 1005.828125, :x2 500.90411376953125, :y2 1031.828125, :width 1036.8, :height 1555.2}, :rects ({:x1 337.5885009765625, :y1 1005.828125, :x2 500.90411376953125, :y2 1031.828125, :width 1036.8, :height 1555.2}), :page 133}, :content {:text "Cache Affinity"}, :properties {:color "yellow"}} {:id #uuid "642f88e3-3f8b-472b-8947-09531409a23b", :page 134, :position {:bounding {:x1 0, :y1 77, :x2 897.30126953125, :y2 385.265625, :width 1036.8, :height 1555.2}, :rects ({:x1 0, :y1 77, :x2 0, :y2 99, :width 1036.8, :height 1555.2} {:x1 830.359375, :y1 332.34375, :x2 897.30126953125, :y2 361.34375, :width 1036.8, :height 1555.2} {:x1 206.265625, :y1 356.265625, :x2 540.1387939453125, :y2 385.265625, :width 1036.8, :height 1555.2} {:x1 206.265625, :y1 360.265625, :x2 540.1387939453125, :y2 381.78125, :width 1036.8, :height 1555.2}), :page 134}, :content {:text "singlequeue multiprocessor scheduling"}, :properties {:color "yellow"}} {:id #uuid "642f90ef-6bf0-42be-8056-188682da8901", :page 135, :position {:bounding {:x1 139.3125, :y1 912.71875, :x2 652.6011962890625, :y2 941.71875, :width 1036.8, :height 1555.2}, :rects ({:x1 139.3125, :y1 912.71875, :x2 533.1480712890625, :y2 941.71875, :width 1036.8, :height 1555.2} {:x1 565.9375, :y1 912.71875, :x2 640.0490112304688, :y2 941.71875, :width 1036.8, :height 1555.2} {:x1 527.78125, :y1 916.71875, :x2 652.6011962890625, :y2 938.234375, :width 1036.8, :height 1555.2}), :page 135}, :content {:text "multi-queue multiprocessor scheduling (or MQMS)."}, :properties {:color "yellow"}} {:id #uuid "642f914d-502e-4f9d-8878-cf331e7f3fc3", :page 136, :position {:bounding {:x1 666.286865234375, :y1 1288.765625, :x2 743.6843872070312, :y2 1309.765625, :width 1036.8, :height 1555.2}, :rects ({:x1 666.286865234375, :y1 1288.765625, :x2 743.6843872070312, :y2 1309.765625, :width 1036.8, :height 1555.2}), :page 136}, :content {:text "sinister "}, :properties {:color "green"}} {:id #uuid "642f934e-0f7b-43de-97a1-fc530b229098", :page 136, :position {:bounding {:x1 0, :y1 237, :x2 897.284423828125, :y2 662.109375, :width 1036.8, :height 1555.2}, :rects ({:x1 0, :y1 237, :x2 0, :y2 259, :width 1036.8, :height 1555.2} {:x1 854.234375, :y1 609.1875, :x2 897.284423828125, :y2 638.1875, :width 1036.8, :height 1555.2} {:x1 206.265625, :y1 633.109375, :x2 307.8766174316406, :y2 662.109375, :width 1036.8, :height 1555.2} {:x1 206.265625, :y1 637.109375, :x2 307.8766174316406, :y2 658.625, :width 1036.8, :height 1555.2}), :page 136}, :content {:text "load imbalance"}, :properties {:color "yellow"}} {:id #uuid "642f9458-c07c-4ef3-a1ec-a14e76ea4b2b", :page 137, :position {:bounding {:x1 336.7445983886719, :y1 242.765625, :x2 435.4749755859375, :y2 263.765625, :width 1036.8, :height 1555.2}, :rects ({:x1 336.7445983886719, :y1 242.765625, :x2 435.4749755859375, :y2 263.765625, :width 1036.8, :height 1555.2}), :page 137}, :content {:text "insidious "}, :properties {:color "green"}} {:id #uuid "642f9564-38b9-4f22-a0af-f4c4f6c8fe76", :page 137, :position {:bounding {:x1 456.296875, :y1 491.78125, :x2 553.1802978515625, :y2 520.78125, :width 1036.8, :height 1555.2}, :rects ({:x1 456.296875, :y1 491.78125, :x2 553.1802978515625, :y2 520.78125, :width 1036.8, :height 1555.2}), :page 137}, :content {:text "migration"}, :properties {:color "yellow"}} {:id #uuid "642f96cb-066e-4ab9-975c-a746e3143062", :page 138, :position {:bounding {:x1 748.4410400390625, :y1 629.421875, :x2 869.3787841796875, :y2 650.421875, :width 1036.8, :height 1555.2}, :rects ({:x1 748.4410400390625, :y1 629.421875, :x2 869.3787841796875, :y2 650.421875, :width 1036.8, :height 1555.2}), :page 138}, :content {:text "dissertation "}, :properties {:color "green"}} {:id #uuid "642f97ac-a4ab-4baf-b039-678c466ea588", :page 138, :position {:bounding {:x1 818.3055419921875, :y1 1203.875, :x2 897.3005981445312, :y2 1224.875, :width 1036.8, :height 1555.2}, :rects ({:x1 818.3055419921875, :y1 1203.875, :x2 897.3005981445312, :y2 1224.875, :width 1036.8, :height 1555.2}), :page 138}, :content {:text "daunting"}, :properties {:color "green"}} {:id #uuid "642f97b5-d203-4998-84f0-21d66f8424b7", :page 138, :position {:bounding {:x1 206.265625, :y1 1251.703125, :x2 304.9924011230469, :y2 1272.703125, :width 1036.8, :height 1555.2}, :rects ({:x1 206.265625, :y1 1251.703125, :x2 304.9924011230469, :y2 1272.703125, :width 1036.8, :height 1555.2}), :page 138}, :content {:text "undertake "}, :properties {:color "green"}} {:id #uuid "642f981d-af29-4cc1-a9da-b445cb964674", :page 138, :position {:bounding {:x1 206.25347900390625, :y1 519.890625, :x2 589.3045043945312, :y2 545.890625, :width 1036.8, :height 1555.2}, :rects ({:x1 206.25347900390625, :y1 519.890625, :x2 589.3045043945312, :y2 545.890625, :width 1036.8, :height 1555.2}), :page 138}, :content {:text "Linux Multiprocessor Schedulers"}, :properties {:color "yellow"}} {:id #uuid "642faf44-5876-46b3-acb4-b786f390716f", :page 141, :position {:bounding {:x1 151.36608123779297, :y1 528.0178985595703, :x2 312.84705352783203, :y2 550.3036041259766, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 151.36608123779297, :y1 528.0178985595703, :x2 312.84705352783203, :y2 550.3036041259766, :width 806.3999999999999, :height 1209.6}), :page 141}, :content {:text "super-linear speedup"}, :properties {:color "yellow"}} {:id #uuid "642fb2f2-b9a4-48f4-b847-2b30d632db32", :page 142, :position {:bounding {:x1 498.49041748046875, :y1 861.4910888671875, :x2 549.4505004882812, :y2 878.0625305175781, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 498.49041748046875, :y1 861.4910888671875, :x2 549.4505004882812, :y2 878.0625305175781, :width 806.3999999999999, :height 1209.6}), :page 142}, :content {:text "paranoid"}, :properties {:color "green"}} {:id #uuid "642fb3d2-e51f-4b9b-8a79-dea9d8e6a7b0", :page 143, :position {:bounding {:x1 641.2160110473633, :y1 464.18752670288086, :x2 665.7519607543945, :y2 480.75893783569336, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 641.2160110473633, :y1 464.18752670288086, :x2 665.7519607543945, :y2 480.75893783569336, :width 806.3999999999999, :height 1209.6}), :page 143}, :content {:text "rage"}, :properties {:color "green"}} {:id #uuid "642fb4c0-5c56-44e9-aac6-396212698309", :page 144, :position {:bounding {:x1 408.4881896972656, :y1 858.1786193847656, :x2 470.48919677734375, :y2 874.7500610351562, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 408.4881896972656, :y1 858.1786193847656, :x2 470.48919677734375, :y2 874.7500610351562, :width 806.3999999999999, :height 1209.6}), :page 144}, :content {:text "inundated "}, :properties {:color "green"}} {:id #uuid "642fb51d-f82c-40b4-82ad-878ee13a2264", :page 145, :position {:bounding {:x1 185.1488800048828, :y1 464.1875228881836, :x2 222.21925354003906, :y2 480.7589340209961, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 185.1488800048828, :y1 464.1875228881836, :x2 222.21925354003906, :y2 480.7589340209961, :width 806.3999999999999, :height 1209.6}), :page 145}, :content {:text "errant"}, :properties {:color "green"}} {:id #uuid "642fb54e-23c4-4667-955d-ad09fbbf6268", :page 146, :position {:bounding {:x1 467.1715717315674, :y1 444.8214416503906, :x2 508.98282051086426, :y2 461.39288330078125, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 467.1715717315674, :y1 444.8214416503906, :x2 508.98282051086426, :y2 461.39288330078125, :width 806.3999999999999, :height 1209.6}), :page 146}, :content {:text "darned"}, :properties {:color "green"}} {:id #uuid "642fb9df-d4c2-4b75-9341-e9ea53d42dcc", :page 148, :position {:bounding {:x1 406.32401275634766, :y1 702.6160888671875, :x2 457.8776626586914, :y2 720.3303833007812, :width 864, :height 1296}, :rects ({:x1 406.32401275634766, :y1 702.6160888671875, :x2 457.8776626586914, :y2 720.3303833007812, :width 864, :height 1296}), :page 148}, :content {:text "pesky "}, :properties {:color "green"}} {:id #uuid "642fbad1-cda0-4ef4-97f7-38c3519042f4", :page 148, :position {:bounding {:x1 328.5535888671875, :y1 740.8035888671875, :x2 439.8475036621094, :y2 764.232177734375, :width 864, :height 1296}, :rects ({:x1 328.5535888671875, :y1 740.8035888671875, :x2 439.8475036621094, :y2 764.232177734375, :width 864, :height 1296}), :page 148}, :content {:text "address space"}, :properties {:color "yellow"}} {:id #uuid "642fbb24-877c-4c90-9e13-4e613e2e23d3", :page 149, :position {:bounding {:x1 658.6038513183594, :y1 977.8750610351562, :x2 690.0156555175781, :y2 995.58935546875, :width 864, :height 1296}, :rects ({:x1 658.6038513183594, :y1 977.8750610351562, :x2 690.0156555175781, :y2 995.58935546875, :width 864, :height 1296}), :page 149}, :content {:text "alas"}, :properties {:color "green"}} {:id #uuid "642fbb6e-9a9a-4ff6-92ea-b36903da1b88", :page 150, :position {:bounding {:x1 116.09821701049805, :y1 440.86608123779297, :x2 176.94826126098633, :y2 458.58040618896484, :width 864, :height 1296}, :rects ({:x1 116.09821701049805, :y1 440.86608123779297, :x2 176.94826126098633, :y2 458.58040618896484, :width 864, :height 1296}), :page 150}, :content {:text "tandem "}, :properties {:color "green"}} {:id #uuid "642fbc3d-d70b-4adb-bb0b-6b7038480589", :page 150, :position {:bounding {:x1 295.0501594543457, :y1 1102.3929138183594, :x2 362.9385566711426, :y2 1116.1072082519531, :width 864, :height 1296}, :rects ({:x1 295.0501594543457, :y1 1102.3929138183594, :x2 362.9385566711426, :y2 1116.1072082519531, :width 864, :height 1296}), :page 150}, :content {:text "stipulated "}, :properties {:color "green"}} {:id #uuid "642fbfcb-7327-44b8-9b25-308728264a81", :page 159, :position {:bounding {:x1 185.8641815185547, :y1 987.4286193847656, :x2 255.6378631591797, :y2 1005.1429138183594, :width 864, :height 1296}, :rects ({:x1 185.8641815185547, :y1 987.4286193847656, :x2 255.6378631591797, :y2 1005.1429138183594, :width 864, :height 1296}), :page 159}, :content {:text "scribble "}, :properties {:color "green"}} {:id #uuid "642fc139-afc3-4ba4-ad01-4cc33d9e535c", :page 155, :position {:bounding {:x1 532.6004333496094, :y1 346.8839416503906, :x2 691.9529724121094, :y2 384.5982360839844, :width 864, :height 1296}, :rects ({:x1 532.6004333496094, :y1 346.8839416503906, :x2 691.9529724121094, :y2 384.5982360839844, :width 864, :height 1296}), :page 155}, :content {:text "Memory API"}, :properties {:color "yellow"}} {:id #uuid "642fc48b-e5bf-4043-b042-218445c2b714", :page 167, :position {:bounding {:x1 171.89286041259766, :y1 642.3482513427734, :x2 300.2626724243164, :y2 664.0625457763672, :width 864, :height 1296}, :rects ({:x1 171.89286041259766, :y1 642.3482513427734, :x2 300.2626724243164, :y2 664.0625457763672, :width 864, :height 1296}), :page 167}, :content {:text "Assumptions"}, :properties {:color "yellow"}} {:id #uuid "642fc65f-1147-459c-8906-5ffca38b1e66", :page 170, :position {:bounding {:x1 108.3486328125, :y1 864.0803985595703, :x2 460.24578857421875, :y2 884.6518249511719, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 108.3486328125, :y1 864.0803985595703, :x2 460.24578857421875, :y2 884.6518249511719, :width 806.3999999999999, :height 1209.6}), :page 170}, :content {:text "Dynamic (Hardware-based) Relocation"}, :properties {:color "yellow"}} {:id #uuid "642fc677-cbd4-47fd-bd90-3ed0cd56cc5b", :page 171, :position {:bounding {:x1 339.95838165283203, :y1 182.0178680419922, :x2 573.7257461547852, :y2 198.5892791748047, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 339.95838165283203, :y1 182.0178680419922, :x2 573.7257461547852, :y2 198.5892791748047, :width 806.3999999999999, :height 1209.6}), :page 171}, :content {:text "SOFTWARE-BASED RELOCATION"}, :properties {:color "yellow"}} {:id #uuid "642fced7-c809-4d1e-bddb-da6474e851b8", :page 172, :position {:bounding {:x1 0, :y1 462.2857360839844, :x2 645.8682518005371, :y2 768.1161193847656, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 0, :y1 462.2857360839844, :x2 0, :y2 481.71429443359375, :width 806.3999999999999, :height 1209.6} {:x1 582.5714378356934, :y1 727.2321472167969, :x2 645.8682518005371, :y2 749.5179138183594, :width 806.3999999999999, :height 1209.6} {:x1 108.35714340209961, :y1 745.8304138183594, :x2 307.23522567749023, :y2 768.1161193847656, :width 806.3999999999999, :height 1209.6} {:x1 108.35714340209961, :y1 748.6875305175781, :x2 307.23522567749023, :y2 765.4286193847656, :width 806.3999999999999, :height 1209.6}), :page 172}, :content {:text "memory management unit (MMU)"}, :properties {:color "yellow"}} {:id #uuid "642fcf85-6cfb-4eb9-aef2-ddcef7027b70", :page 173, :position {:bounding {:x1 594.1667251586914, :y1 801.4464416503906, :x2 631.7198867797852, :y2 818.0178833007812, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 594.1667251586914, :y1 801.4464416503906, :x2 631.7198867797852, :y2 818.0178833007812, :width 806.3999999999999, :height 1209.6}), :page 173}, :content {:text "havoc"}, :properties {:color "green"}} {:id #uuid "642fcf90-3133-4002-b986-4fd8157ab707", :page 173, :position {:bounding {:x1 263.87279510498047, :y1 822.919677734375, :x2 300.8291549682617, :y2 839.4910888671875, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 263.87279510498047, :y1 822.919677734375, :x2 300.8291549682617, :y2 839.4910888671875, :width 806.3999999999999, :height 1209.6}), :page 173}, :content {:text "wreak"}, :properties {:color "green"}} {:id #uuid "642fcfa9-c026-4885-9f50-029ca80ce148", :page 174, :position {:bounding {:x1 295.96537590026855, :y1 470.6607437133789, :x2 344.6133556365967, :y2 487.2321548461914, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 295.96537590026855, :y1 470.6607437133789, :x2 344.6133556365967, :y2 487.2321548461914, :width 806.3999999999999, :height 1209.6}), :page 174}, :content {:text "ghastly"}, :properties {:color "green"}} {:id #uuid "642fcff1-ae71-4756-9847-5ab85c41be06", :page 174, :position {:bounding {:x1 563.5171890258789, :y1 819.3750610351562, :x2 622.2142715454102, :y2 835.9464874267578, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 563.5171890258789, :y1 819.3750610351562, :x2 622.2142715454102, :y2 835.9464874267578, :width 806.3999999999999, :height 1209.6}), :page 174}, :content {:text "junctures"}, :properties {:color "green"}} {:id #uuid "642fd071-db9c-4f0e-886f-b6ba3e5e4f7d", :page 175, :position {:bounding {:x1 263.1218795776367, :y1 857.2053833007812, :x2 331.5805435180664, :y2 873.7768249511719, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 263.1218795776367, :y1 857.2053833007812, :x2 331.5805435180664, :y2 873.7768249511719, :width 806.3999999999999, :height 1209.6}), :page 175}, :content {:text "oblivious "}, :properties {:color "green"}} {:id #uuid "642fd1ed-22a9-4443-b02f-bc35fe42e50b", :page 174, :position {:bounding {:x1 245.77680206298828, :y1 412.4821662902832, :x2 599.3089981079102, :y2 434.76787185668945, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 245.77680206298828, :y1 412.4821662902832, :x2 599.3089981079102, :y2 434.76787185668945, :width 806.3999999999999, :height 1209.6}), :page 174}, :content {:text "Dynamic Relocation: Hardware Requirements"}, :properties {:color "yellow"}} {:id #uuid "642fd1f4-d573-4dbc-9e48-02adacc69e5e", :page 175, :position {:bounding {:x1 258.5803756713867, :y1 304.2589302062988, :x2 690.6892623901367, :y2 326.5446662902832, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 258.5803756713867, :y1 304.2589302062988, :x2 690.6892623901367, :y2 326.5446662902832, :width 806.3999999999999, :height 1209.6}), :page 175}, :content {:text "Dynamic Relocation: Operating System Responsibilities"}, :properties {:color "yellow"}} {:id #uuid "642fd2f3-e05f-453c-8286-15e7807e8e97", :page 178, :position {:bounding {:x1 0, :y1 190.2857208251953, :x2 645.8295669555664, :y2 413.9375457763672, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 0, :y1 190.2857208251953, :x2 0, :y2 209.7142791748047, :width 806.3999999999999, :height 1209.6} {:x1 624.4375381469727, :y1 373.05357360839844, :x2 645.8295669555664, :y2 395.3392791748047, :width 806.3999999999999, :height 1209.6} {:x1 108.35714721679688, :y1 391.6518096923828, :x2 266.05450439453125, :y2 413.9375457763672, :width 806.3999999999999, :height 1209.6} {:x1 108.35714721679688, :y1 394.5089569091797, :x2 266.05450439453125, :y2 411.2500457763672, :width 806.3999999999999, :height 1209.6}), :page 178}, :content {:text "internal fragmentation"}, :properties {:color "yellow"}} {:id #uuid "642fd36e-c0a7-4ead-a3a8-f085d6576229", :page 167, :position {:bounding {:x1 261.12808990478516, :y1 205.67858013510704, :x2 533.4398574829102, :y2 227.96430096030235, :width 806.3999999999999, :height 1209.6}, :rects ({:x1 261.4018020629883, :y1 205.67858013510704, :x2 533.4398574829102, :y2 227.96430096030235, :width 806.3999999999999, :height 1209.6} {:x1 261.12808990478516, :y1 207.41965374350548, :x2 533.4398574829102, :y2 223.99108013510704, :width 806.3999999999999, :height 1209.6}), :page 167}, :content {:text "hardware-based address translation"}, :properties {:color "yellow"}} {:id #uuid "642fd5c3-30f9-4770-8ec5-09555d21c4ab", :page 181, :position {:bounding {:x1 116.09822082519531, :y1 958.7767944335938, :x2 514.5045623779297, :y2 980.4910888671875, :width 864, :height 1296}, :rects ({:x1 116.09822082519531, :y1 958.7767944335938, :x2 514.5045623779297, :y2 980.4910888671875, :width 864, :height 1296}), :page 181}, :content {:text "Segmentation: Generalized Base/Bounds"}, :properties {:color "yellow"}} {:id #uuid "642fda54-4040-4d9b-ab00-13523aeb54c4", :page 185, :position {:bounding {:x1 378.80360412597656, :y1 1097.276840209961, :x2 524.0114593505859, :y2 1120.7054138183594, :width 864, :height 1296}, :rects ({:x1 378.80360412597656, :y1 1097.276840209961, :x2 448.84825134277344, :y2 1120.7054138183594, :width 864, :height 1296} {:x1 443.54466247558594, :y1 1100.1339874267578, :x2 524.0114593505859, :y2 1118.0625610351562, :width 864, :height 1296}), :page 185}, :content {:text "implicit approach,"}, :properties {:color "yellow"}} {:id #uuid "642fdca4-df4b-4515-8e96-ef4b05a7bb62", :page 186, :position {:bounding {:x1 566.0081558227539, :y1 391.0178680419922, :x2 707.7133255004883, :y2 408.73216247558594, :width 864, :height 1296}, :rects ({:x1 566.0081558227539, :y1 391.0178680419922, :x2 707.7133255004883, :y2 408.73216247558594, :width 864, :height 1296}), :page 186}, :content {:text "it grows backwards"}, :properties {:color "yellow"}} {:id #uuid "642fe0dc-7d4b-41af-a136-69164ee77ab4", :page 187, :position {:bounding {:x1 116.09822273254395, :y1 179.01787185668945, :x2 308.1895008087158, :y2 200.73215103149414, :width 864, :height 1296}, :rects ({:x1 116.09822273254395, :y1 179.01787185668945, :x2 308.1895008087158, :y2 200.73215103149414, :width 864, :height 1296}), :page 187}, :content {:text "Support for Sharing"}, :properties {:color "yellow"}} {:id #uuid "6430bfab-9ff7-44cb-ad64-c422796cad71", :page 213, :position {:bounding {:x1 292.1696472167969, :y1 379.9821734428406, :x2 377.8273162841797, :y2 403.41073179244995, :width 864, :height 1296}, :rects ({:x1 292.1696472167969, :y1 379.9821734428406, :x2 377.8273162841797, :y2 403.41073179244995, :width 864, :height 1296}), :page 213}, :content {:text "page table"}, :properties {:color "yellow"}} {:id #uuid "6430c091-bc57-4930-bac1-9e1762b7c3e1", :page 213, :position {:bounding {:x1 0, :y1 270.2857208251953, :x2 691.8273773193359, :y2 538.8392944335938, :width 864, :height 1296}, :rects ({:x1 0, :y1 270.2857208251953, :x2 0, :y2 289.71429443359375, :width 864, :height 1296} {:x1 563.7946624755859, :y1 501.1964416503906, :x2 691.8273773193359, :y2 519.1250305175781, :width 864, :height 1296} {:x1 116.08929061889648, :y1 521.1250305175781, :x2 188.8107566833496, :y2 538.8392944335938, :width 864, :height 1296}), :page 213}, :content {:text " per-process data structure"}, :properties {:color "yellow"}} {:id #uuid "6430c0a5-6e88-455c-8a62-ab6e60fca98f", :page 213, :position {:bounding {:x1 0, :y1 494.2857484817505, :x2 691.7999114990234, :y2 836.2143249511719, :width 864, :height 1296}, :rects ({:x1 0, :y1 494.2857484817505, :x2 0, :y2 513.7143220901489, :width 864, :height 1296} {:x1 430.75001525878906, :y1 792.8661193847656, :x2 653.0842742919922, :y2 816.294677734375, :width 864, :height 1296} {:x1 263.4424133300781, :y1 794.5268249511719, :x2 691.7999114990234, :y2 812.4554138183594, :width 864, :height 1296} {:x1 145.79464721679688, :y1 812.7857666015625, :x2 192.31140899658203, :y2 836.2143249511719, :width 864, :height 1296} {:x1 116.08929061889648, :y1 814.4554138183594, :x2 192.31140899658203, :y2 832.3839721679688, :width 864, :height 1296}), :page 213}, :content {:text "to two components: the virtual page number (VPN), and the offset"}, :properties {:color "yellow"}} {:id #uuid "6430c173-13a7-4bce-9d60-3f1d2a7fb3f4", :page 214, :position {:bounding {:x1 370.9896926879883, :y1 624.6517944335938, :x2 617.3806228637695, :y2 648.0803833007812, :width 864, :height 1296}, :rects ({:x1 371.00894927978516, :y1 624.6517944335938, :x2 609.2644119262695, :y2 648.0803833007812, :width 864, :height 1296} {:x1 370.9896926879883, :y1 626.3125, :x2 617.3806228637695, :y2 644.2410888671875, :width 864, :height 1296}), :page 214}, :content {:text "physical frame number (PFN)"}, :properties {:color "yellow"}} {:id #uuid "6430c18b-cd3f-400d-8414-3b780ed1b4ce", :page 215, :position {:bounding {:x1 336.12825775146484, :y1 768.1964721679688, :x2 414.7227249145508, :y2 785.9107666015625, :width 864, :height 1296}, :rects ({:x1 336.12825775146484, :y1 768.1964721679688, :x2 414.7227249145508, :y2 785.9107666015625, :width 864, :height 1296}), :page 215}, :content {:text "beguiling "}, :properties {:color "green"}} {:id #uuid "6430c51c-591b-4739-921a-ea9e0abbfbaa", :page 216, :position {:bounding {:x1 203.78307342529297, :y1 458.76788330078125, :x2 267.5793685913086, :y2 476.4821472167969, :width 864, :height 1296}, :rects ({:x1 203.78307342529297, :y1 458.76788330078125, :x2 267.5793685913086, :y2 476.4821472167969, :width 864, :height 1296}), :page 216}, :content {:text "gruesome"}, :properties {:color "green"}} {:id #uuid "6430c5f3-3ce3-486d-b7ee-832673fa4d4d", :page 217, :position {:bounding {:x1 182.60790252685547, :y1 1042.7500305175781, :x2 290.69754791259766, :y2 1060.4643249511719, :width 864, :height 1296}, :rects ({:x1 182.60790252685547, :y1 1042.7500305175781, :x2 290.69754791259766, :y2 1060.4643249511719, :width 864, :height 1296}), :page 217}, :content {:text "judiciousness"}, :properties {:color "green"}} {:id #uuid "6430c665-8485-46e6-810a-b2d62b01cf66", :page 215, :position {:bounding {:x1 0, :y1 734.2857513427734, :x2 691.0049819946289, :y2 1056.8929138183594, :width 864, :height 1296}, :rects ({:x1 0, :y1 734.2857513427734, :x2 0, :y2 753.7143249511719, :width 864, :height 1296} {:x1 253.03572845458984, :y1 1017.5982666015625, :x2 442.4459915161133, :y2 1041.0268249511719, :width 864, :height 1296} {:x1 437.19644927978516, :y1 1020.4554138183594, :x2 691.0049819946289, :y2 1038.3840026855469, :width 864, :height 1296} {:x1 116.09821891784668, :y1 1039.1786193847656, :x2 330.14942741394043, :y2 1056.8929138183594, :width 864, :height 1296}), :page 215}, :content {:text "page table entry (PTE) to hold the physical translation plus any other useful stu"}, :properties {:color "yellow"}} {:id #uuid "6430cac6-63c8-4ab7-a402-49097ef24154", :page 219, :position {:bounding {:x1 224.4910888671875, :y1 580.5000381469727, :x2 583.5963134765625, :y2 603.928596496582, :width 864, :height 1296}, :rects ({:x1 321.7232360839844, :y1 580.5000381469727, :x2 583.5963134765625, :y2 603.928596496582, :width 864, :height 1296} {:x1 224.4910888671875, :y1 582.1607437133789, :x2 321.7139892578125, :y2 599.8750381469727, :width 864, :height 1296}), :page 219}, :content {:text "Figure 18.6: Accessing Memory With Paging"}, :properties {:color "yellow"}} {:id #uuid "6430cb48-d435-4bb4-807e-402ee20d0a98", :page 216, :position {:bounding {:x1 0, :y1 429.14288806915283, :x2 747.7490539550781, :y2 857.169677734375, :width 864, :height 1296}, :rects ({:x1 0, :y1 429.14288806915283, :x2 0, :y2 450.2857446670532, :width 864, :height 1296} {:x1 0, :y1 445.14288902282715, :x2 0, :y2 466.2857475280762, :width 864, :height 1296} {:x1 0, :y1 461.1428909301758, :x2 0, :y2 482.2857475280762, :width 864, :height 1296} {:x1 656.2946472167969, :y1 778.0357666015625, :x2 747.7490539550781, :y2 801.4643249511719, :width 864, :height 1296} {:x1 651.5446472167969, :y1 779.6964721679688, :x2 747.7490539550781, :y2 797.6250305175781, :width 864, :height 1296} {:x1 171.8928680419922, :y1 797.9554138183594, :x2 212.7416534423828, :y2 821.3839721679688, :width 864, :height 1296} {:x1 171.8928680419922, :y1 800.8125610351562, :x2 746.8775329589844, :y2 818.7411193847656, :width 864, :height 1296} {:x1 171.8928680419922, :y1 819.544677734375, :x2 745.5410003662109, :y2 837.4732666015625, :width 864, :height 1296} {:x1 171.8928680419922, :y1 839.4554138183594, :x2 608.1875457763672, :y2 857.169677734375, :width 864, :height 1296}), :page 216}, :content {:text " linear page table, which is just an array. The OS indexes the array by the virtual page number (VPN), and looks up the page-table entry (PTE) at that index in order to find the desired physical frame number (PFN)."}, :properties {:color "yellow"}} {:id #uuid "6430cc79-5b7c-4cc3-9d7e-39a44a333c77", :page 226, :position {:bounding {:x1 233.6696548461914, :y1 928.1160888671875, :x2 529.5121078491211, :y2 951.5446472167969, :width 864, :height 1296}, :rects ({:x1 233.6696548461914, :y1 928.1160888671875, :x2 464.1027145385742, :y2 951.5446472167969, :width 864, :height 1296} {:x1 494.61608123779297, :y1 928.1160888671875, :x2 529.5121078491211, :y2 951.5446472167969, :width 864, :height 1296} {:x1 464.08931732177734, :y1 929.7767944335938, :x2 494.60372161865234, :y2 947.7053833007812, :width 864, :height 1296}), :page 226}, :content {:text "translation-lookaside buffer, or TLB"}, :properties {:color "yellow"}} {:id #uuid "6430ccdf-09c2-42e2-aa80-7859bb320b91", :page 227, :position {:bounding {:x1 292.38394927978516, :y1 566.0982666015625, :x2 627.2922592163086, :y2 589.5267944335938, :width 864, :height 1296}, :rects ({:x1 389.60717010498047, :y1 566.0982666015625, :x2 627.2922592163086, :y2 589.5267944335938, :width 864, :height 1296} {:x1 292.38394927978516, :y1 567.7589721679688, :x2 389.5889205932617, :y2 585.4732666015625, :width 864, :height 1296}), :page 227}, :content {:text "Figure 19.1: TLB Control Flow Algorithm"}, :properties {:color "yellow"}} {:id #uuid "6430d370-e99b-4443-bd55-3aa5b941b2c4", :page 228, :position {:bounding {:x1 479.61145782470703, :y1 182.38394165039062, :x2 544.302864074707, :y2 200.09823608398438, :width 864, :height 1296}, :rects ({:x1 479.61145782470703, :y1 182.38394165039062, :x2 544.302864074707, :y2 200.09823608398438, :width 864, :height 1296}), :page 228}, :content {:text "premise "}, :properties {:color "green"}} {:id #uuid "6430d54f-9837-4f82-b4b0-13ab387c9a7a", :page 231, :position {:bounding {:x1 426.67589569091797, :y1 558.3482360839844, :x2 486.1343307495117, :y2 576.0625305175781, :width 864, :height 1296}, :rects ({:x1 426.67589569091797, :y1 558.3482360839844, :x2 486.1343307495117, :y2 576.0625305175781, :width 864, :height 1296}), :page 231}, :content {:text "sneaky "}, :properties {:color "green"}} {:id #uuid "6430d596-d805-4bc8-a3a7-219d6927a503", :page 231, :position {:bounding {:x1 171.89286041259766, :y1 437.2053680419922, :x2 453.11307525634766, :y2 458.9196548461914, :width 864, :height 1296}, :rects ({:x1 171.89286041259766, :y1 437.2053680419922, :x2 453.11307525634766, :y2 458.9196548461914, :width 864, :height 1296}), :page 231}, :content {:text "Who Handles The TLB Miss?"}, :properties {:color "yellow"}} {:id #uuid "6430d5ac-5021-4b2e-a5d7-e3e4988a4a89", :page 231, :position {:bounding {:x1 341.72127532958984, :y1 696.1517944335938, :x2 549.0402755737305, :y2 719.5803833007812, :width 864, :height 1296}, :rects ({:x1 341.74108123779297, :y1 696.1517944335938, :x2 549.0402755737305, :y2 719.5803833007812, :width 864, :height 1296} {:x1 341.72127532958984, :y1 697.8125305175781, :x2 549.0402755737305, :y2 715.5267944335938, :width 864, :height 1296}), :page 231}, :content {:text "hardware-managed TLBs"}, :properties {:color "yellow"}} {:id #uuid "6430d5be-7a59-4ef2-9ba3-94e8298f4e47", :page 231, :position {:bounding {:x1 269.5446548461914, :y1 797.0982666015625, :x2 461.39708709716797, :y2 820.5268249511719, :width 864, :height 1296}, :rects ({:x1 269.5446548461914, :y1 797.0982666015625, :x2 461.39708709716797, :y2 820.5268249511719, :width 864, :height 1296}), :page 231}, :content {:text "software-managed TLB"}, :properties {:color "yellow"}} {:id #uuid "6430db45-ace1-4bcf-9672-b929c8720bf2", :page 233, :position {:bounding {:x1 0, :y1 381.14288330078125, :x2 747.7241287231445, :y2 815.0357666015625, :width 864, :height 1296}, :rects ({:x1 0, :y1 381.14288330078125, :x2 0, :y2 402.2857360839844, :width 864, :height 1296} {:x1 639.6428909301758, :y1 771.6786193847656, :x2 747.7241287231445, :y2 795.107177734375, :width 864, :height 1296} {:x1 171.8928680419922, :y1 791.607177734375, :x2 202.7895965576172, :y2 815.0357666015625, :width 864, :height 1296}), :page 233}, :content {:text "fully associative"}, :properties {:color "yellow"}} {:id #uuid "6430e32c-f334-4274-a56f-03a793d05df9", :page 236, :position {:bounding {:x1 176.55016326904297, :y1 179.01786041259766, :x2 368.0005569458008, :y2 200.73214721679688, :width 864, :height 1296}, :rects ({:x1 176.55016326904297, :y1 179.01786041259766, :x2 368.0005569458008, :y2 200.73214721679688, :width 864, :height 1296}), :page 236}, :content {:text " Replacement Policy"}, :properties {:color "yellow"}} {:id #uuid "6430e441-2997-4efb-a6b2-f0bcee885f27", :page 238, :position {:bounding {:x1 454.19637298583984, :y1 242.16073608398438, :x2 497.84362030029297, :y2 259.8750305175781, :width 864, :height 1296}, :rects ({:x1 454.19637298583984, :y1 242.16073608398438, :x2 497.84362030029297, :y2 259.8750305175781, :width 864, :height 1296}), :page 238}, :content {:text "rosy "}, :properties {:color "green"}} {:id #uuid "6430e5e3-d80e-44f2-8cfc-7424b8a8ff92", :page 238, :position {:bounding {:x1 0, :y1 61.14286804199219, :x2 689.8498764038086, :y2 279.80357360839844, :width 864, :height 1296}, :rects ({:x1 0, :y1 61.14286804199219, :x2 0, :y2 82.28572082519531, :width 864, :height 1296} {:x1 227.28630828857422, :y1 242.1607208251953, :x2 689.8498764038086, :y2 259.87501525878906, :width 864, :height 1296} {:x1 116.09822082519531, :y1 262.0893096923828, :x2 161.99095916748047, :y2 279.80357360839844, :width 864, :height 1296}), :page 238}, :content {:text "LBs do not make the world rosy for every program that exists"}, :properties {:color "yellow"}} {:id #uuid "6430e720-f62a-4094-9ecf-3a6d47540d34", :page 240, :position {:bounding {:x1 335.6250228881836, :y1 759.4286193847656, :x2 509.79073333740234, :y2 781.7143249511719, :width 864, :height 1296}, :rects ({:x1 335.6250228881836, :y1 759.4286193847656, :x2 509.79073333740234, :y2 781.7143249511719, :width 864, :height 1296}), :page 240}, :content {:text "TLB Size Measurement"}, :properties {:color "yellow"}} {:id #uuid "643106f5-b280-4331-be8e-70f8c34c3c28", :page 242, :position {:bounding {:x1 286.1451416015625, :y1 890.4464416503906, :x2 406.1989440917969, :y2 912.1607360839844, :width 864, :height 1296}, :rects ({:x1 286.1451416015625, :y1 890.4464416503906, :x2 406.1989440917969, :y2 912.1607360839844, :width 864, :height 1296}), :page 242}, :content {:text "Bigger Pages"}, :properties {:color "yellow"}} {:id #uuid "6431070d-a42a-4403-b6c5-bab956d5608f", :page 242, :position {:bounding {:x1 0, :y1 29.14285659790039, :x2 689.751106262207, :y2 496.28572845458984, :width 864, :height 1296}, :rects ({:x1 0, :y1 29.14285659790039, :x2 0, :y2 50.28571319580078, :width 864, :height 1296} {:x1 596.9524612426758, :y1 458.42858123779297, :x2 689.751106262207, :y2 476.1428756713867, :width 864, :height 1296} {:x1 116.09822273254395, :y1 478.35717010498047, :x2 520.7247180938721, :y2 496.28572845458984, :width 864, :height 1296}), :page 242}, :content {:text "page tables are too big and thus consume too much memory."}, :properties {:color "yellow"}} {:id #uuid "64310894-f97b-4d29-b477-75d45b1af812", :page 245, :position {:bounding {:x1 276.6483688354492, :y1 282.0089569091797, :x2 414.1182327270508, :y2 299.72325134277344, :width 864, :height 1296}, :rects ({:x1 276.6483688354492, :y1 282.0089569091797, :x2 414.1182327270508, :y2 299.72325134277344, :width 864, :height 1296}), :page 245}, :content {:text "hybrid approach: "}, :properties {:color "yellow"}} {:id #uuid "64310f59-4581-45b8-9b56-9e0ef04ec513", :page 246, :position {:bounding {:x1 0, :y1 509.1428909301758, :x2 691.9763946533203, :y2 939.0000305175781, :width 864, :height 1296}, :rects ({:x1 0, :y1 509.1428909301758, :x2 0, :y2 530.2857513427734, :width 864, :height 1296} {:x1 601.3036041259766, :y1 895.6429138183594, :x2 691.9763946533203, :y2 919.0715026855469, :width 864, :height 1296} {:x1 116.09822463989258, :y1 915.5715026855469, :x2 199.5235939025879, :y2 939.0000305175781, :width 864, :height 1296}), :page 246}, :content {:text "multi-level page table"}, :properties {:color "yellow"}} {:id #uuid "64318f9a-b732-4bab-9a1e-73519fac8059", :page 253, :position {:bounding {:x1 332.21875, :y1 940.15625, :x2 832.685546875, :y2 970.15625, :width 1094.3999999999999, :height 1641.6}, :rects ({:x1 455.359375, :y1 940.15625, :x2 832.685546875, :y2 970.15625, :width 1094.3999999999999, :height 1641.6} {:x1 332.21875, :y1 941.640625, :x2 455.35888671875, :y2 964.640625, :width 1094.3999999999999, :height 1641.6}), :page 253}, :content {:text "Figure 20.6: Multi-level Page Table Control Flow"}, :properties {:color "yellow"}} {:id #uuid "64319047-2ffb-4355-9aab-82ea232375aa", :page 254, :position {:bounding {:x1 271.4013977050781, :y1 291.203125, :x2 486.9229736328125, :y2 321.203125, :width 1094.3999999999999, :height 1641.6}, :rects ({:x1 271.40625, :y1 291.203125, :x2 486.9229736328125, :y2 321.203125, :width 1094.3999999999999, :height 1641.6} {:x1 271.4013977050781, :y1 292.6875, :x2 486.9229736328125, :y2 315.6875, :width 1094.3999999999999, :height 1641.6}), :page 254}, :content {:text "inverted page tables"}, :properties {:color "yellow"}} {:id #uuid "643196c4-91fa-43c2-832e-7080b0617fe5", :page 257, :position {:bounding {:x1 284.4680480957031, :y1 760.75, :x2 580.4756469726562, :y2 783.75, :width 1094.3999999999999, :height 1641.6}, :rects ({:x1 284.4680480957031, :y1 760.75, :x2 580.4756469726562, :y2 783.75, :width 1094.3999999999999, :height 1641.6}), :page 257}, :content {:text "upport large address spaces,"}, :properties {:color "yellow"}} {:id #uuid "64319715-78ae-4efe-bab1-def007ee8e78", :page 258, :position {:bounding {:x1 384.6151123046875, :y1 884.734375, :x2 501.601318359375, :y2 914.734375, :width 1094.3999999999999, :height 1641.6}, :rects ({:x1 384.625, :y1 884.734375, :x2 501.601318359375, :y2 914.734375, :width 1094.3999999999999, :height 1641.6} {:x1 384.6151123046875, :y1 886.21875, :x2 384.6233215332031, :y2 909.21875, :width 1094.3999999999999, :height 1641.6}), :page 258}, :content {:text "swap space"}, :properties {:color "yellow"}} {:id #uuid "64319809-1dbe-48dc-a4e4-7e14062d42c5", :page 258, :position {:bounding {:x1 0, :y1 589, :x2 947.1476440429688, :y2 1338.296875, :width 1094.3999999999999, :height 1641.6}, :rects ({:x1 0, :y1 589, :x2 0, :y2 610, :width 1094.3999999999999, :height 1641.6} {:x1 456.7027587890625, :y1 1290.046875, :x2 947.1476440429688, :y2 1313.046875, :width 1094.3999999999999, :height 1641.6} {:x1 217.734375, :y1 1315.296875, :x2 311.5235900878906, :y2 1338.296875, :width 1094.3999999999999, :height 1641.6}), :page 258}, :content {:text "swap space is not the only on-disk location for swapping "}, :properties {:color "yellow"}} {:id #uuid "64319857-9885-49e0-9e51-c974f0b6b038", :page 259, :position {:bounding {:x1 147.046875, :y1 734.78125, :x2 231.62075805664062, :y2 757.78125, :width 1094.3999999999999, :height 1641.6}, :rects ({:x1 147.046875, :y1 734.78125, :x2 231.62075805664062, :y2 757.78125, :width 1094.3999999999999, :height 1641.6}), :page 259}, :content {:text "chinery "}, :properties {:color "green"}}], :extra {:page 260}}