{: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"}}], :extra {:page 142}}