405 lines
21 KiB
Clojure
405 lines
21 KiB
Clojure
{: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"}}],
|
|
:extra {:page 55}}
|