Mercurial > hg > Papers > 2022 > matac-sigos
changeset 19:91e7f4a4875f
fix
| author | matac42 <matac@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Fri, 27 May 2022 11:36:04 +0900 |
| parents | 2c21391912e4 |
| children | 8e39e3bf98d7 |
| files | slide/figs/cgdg.svg slide/figs/copy_alloc.drawio slide/slide.html slide/slide.md slide/slide.pdf.html |
| diffstat | 5 files changed, 89 insertions(+), 39 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/slide/figs/cgdg.svg Fri May 27 11:36:04 2022 +0900 @@ -0,0 +1,4 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!-- Do not edit this file with editors other than diagrams.net --> +<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> +<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="803px" height="93px" viewBox="-0.5 -0.5 803 93" content="<mxfile host="app.diagrams.net" modified="2022-05-27T02:20:54.051Z" agent="5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/101.0.4951.64 Safari/537.36" etag="9Zoqf9FxiyrgFeskHvHk" version="18.0.0" type="device" pages="5"><diagram id="ZPwkLcfqQLWw-W21SHS2" name="Data Access">5Vldb5swFP01edwU2wTIY5uPdVqjVoq2tXupLHDAK+DIOE3SXz8TzKdJidaQbI3yEO7FNvic4+t7TQ+Nws0Xjpf+jLkk6MG+u+mhcQ9CYEBT/iWebeqxAEwdHqeualQ45vSVKGdfeVfUJXGloWAsEHRZdTosiogjKj7MOVtXmy1YUH3qEntEc8wdHOjen9QVfuq1oVX4bwj1/OzJwBymd0KcNVYziX3ssnXJhSY9NOKMifQq3IxIkICX4ZL2m+65m78YJ5E4pMN28xVP/JtA2MbwjqHZ+Pvr+JMa5QUHKzVh9bJimyHA2SpySTJIv4eu1z4VZL7ETnJ3LTmXPl+EgbSAvFzQIBixgHFpRywiiYtFQvEKLGnHgrPnHEykWmSdehBNp9fINPOWTXfUWxMuyGYvHCAHWaqTsJAIvpVNcmkqXpQwYV/Z64JmmLXxSxTnDbGSlpePXaAvLxQBzWSMv4kny45mHg03VgSefoxvfx2fjFbkj4Cj0W/HEcAGHO2uYIQfAUYEzw0j0mCckZCpgctgykmLKmLVhZvFAT004IB6kTQdCRKR/usEQiqD75W6EVLXTR7TSFGVxLOwBCydJbOBJNQVSYZG0pjGz5dMEbJr8WioU2SdkiJTpwgL3HVI0vZOc5L8Oor5xoHBCnYFsvXxQUbmuUEeaiDfLRYxEdI3YpGcbExZpGEuB5bJ+r4Icep9Fg5qqKKBjipoQHXQWdana1fHMHKvkmImCcQBjmPqVKGr6lpCwbcPZeOxbIw3FWubWRsqHtR4yfWuz+eBsopOiZH1OZQy4mpVVo0wOV224g5pl5/A3COiLRboAigRPHiDX04CLOhL9XWbSFdPuGc0EqXtZ7hn1WZDpNNUvcrlWm0go1afIFAbKMVBG2inwXza75ClvSek9q8ch8TxJecY9dIR6jFkeMoUA+iR+Swh5JjhoHWZm+dc5poEjGMt8/rpwvGWefMBENCVItmZK5Nx4TOPRTiYFN6aVoo2t4wtlZx+EyG2Sgt4JVhVbNleU+wvj6U7zXvNHkmmI5xIlK171MHqHTar92BZvu+ERD9p2pWNaCqdqspPrv/pTA7UMjnpOCgKDwZdoaqfmEjd54Be8H5ZT7qbqAL9U+6YUK/Kd1xd+ukJqJ2eoIHOVFenJ437E9R4mpFdFnpLXpJPTf8pVfs+eRyDQlSlsOmMsrHC7YxDoAfGd6an7QD/bbZQZCaWZVcrYRu9nZ9I455wKjFL9LPzHTGzyOqx1sxinzxOVP/WAohRPzc5ODGuydg4WmIszeKra9q8+HaNJn8A</diagram><diagram id="YNPyPx7KaQu_DktN2Ut5" name="Disk to Memory">5VhNc5swEP01PqYDCLB9TLDTtEkmbT3jOLlpQAbFQnKFHHB/fYURNh/y2PWYpGnHB2sX7YLee1ot9IAXZ585XEb3LECkZxlB1gOjnmWZhjmQf7lnXXhcRzlCjgM1aeeY4F+ojFTeFQ5QUpsoGCMCL+tOn1GKfFHzQc5ZWp82Z6R+1yUMUcsx8SFpex9xIKLCO7D6O/8NwmFU3tl0h8WVGJaT1UqSCAYsrbjAuAc8zpgoRnHmIZKDV+JSxF3vubp9MI6oOCpgCL6PRndxOH2YGjP5PyTxBSiyvEKyUgtWDyvWJQKcrWiA8iRGD1ylERZosoR+fjWVnEtfJGIiLVMO54wKRaLZl3YiOFtskQP5DEyIxwjj0qaMou2k0tmzwPX1FXBdlU7nV0+NuEDZXjjMLchSnYjFSPC1nKICgKF4UcI0B8pOdzSbrvJFVYpLQqGSVrjNvUNfDhQBejJma3uY+uRWsOzCu/3qLlJTXJhvTsYZcDTtOo6WocHR0uA46ApG6yPC6Bh/G4zt0nCPYqYSV8GUixZ1xOobWu1yzcaHBIdUmr4ECUn/VQ4hlsX3Ul2IcRDkt9FSVCfxXcRu9tss6WoG6Ioku0XSCArYtd5bBdsd57+OCop95E7orC47/x7IrXLzliDfeu6PwH/6iabm45eXReo7S645/EY4WfzPxcYeHC42/Y6KjZai9sH6MJ8nSEifx6hca4IZbTEmE8tmfR+uJ/eOAZrDFRFnagZB8/R12tvB0GDdPwPW2sb8iF4Q0eAyf8PJNU1gkmB/Axrkou2uwPynSkYZFjMVm4+fVGQ+HmVVY10aVCIwqxqbmE9Oae7CNlYZV6wQBa03sgaNEgW24j46fC5KMEIkDkm6LYsK7Y6G9dLHEYECv9YfVycFdYdvDFNRUZ1VVx1wGmoqlqmiqq92jUR248gEZiNRgUMr0UaZ22WfLtYjOu6PJtazSbUqwf3dxXtJ0G4WPvtUCQ4OJDqfBL/7wTOb4Of4bnxDp5RM8IurqZf3KO/RjDv0mn+S+hBtRIefO6xho5lwNA2f7oQ7oZuQ5u6zVkHw7uMgGP8G</diagram><diagram id="kX6EBNgLvKkf43cEuNvj" name="MRAM">5VZLj5swEP41HCsFHPI4hiTd1VaRVo2qbntZWXgWrDU4Mk6A/voOxTwMRLt7yF6qHMJ8Hs+Mv2/8cMg2Ke4UPcUHyUA43owVDtk5nufO3BX+VUhZIwvfAJHizDh1wJH/gWamQc+cQWY5aimF5icbDGWaQqgtjColc9vtRQo764lGMAKOIRVj9CdnOq7Rlbfs8HvgUdxkdhfreiShjbNZSRZTJvMeRPYO2Sopdf2VFFsQFXkNL/W8r1dG28IUpPo9EwIF3xb7B/0cPzzd/fh9Oa7Txy8myoWKs1nwjmqKyCYMIctM5bps6NBQYLIg1olAwMXPTCv5ClsppEIklSl6Bi9ciAFEBY9SNEMsFxAPLqA0R6I3ZiDhjFVpgjzmGo4nGlY5c2wrxJQ8pwyqlcyq8DLVplXcZVtDow9BxCwLU0BxlS+3VQHbF2QCWpXoYibMjW6mcV3i13betcHauMS9DiAGo6bxojZwpw1+GHk+IJU3kmqkjs3SFI894T6JxAGLzb7useh6EzSubkUjudLxt6XS3iWORxb76ncjkv13kuzdiuT5iOTD983hfz5NyNrWaDWWaPmZp4n/9mkCKdtUN2hFs6BZxkNbK5tF5EGVT33jV9/YFZZVfpB7YKNresA8vguoikC/tfXHCvUk8CckaDAFgmp+scuY0sVkeJQcC2wboN2Aw03ahMjkWYVgZvXv8UGg+eBiGrZITcMozr8uaVc91Thodq+R2r1705H9Xw==</diagram><diagram id="admFRsE1YTgaXuMmf33F" name="CopyingGC">5VlNc5swEP01PrZjwMH2Mf5KD87J0zY5qkYGxYJlZOGP/voKIwFC2E07xbhhfDD7pBXSe1ppd+g50/D4xFAcPIOHac/ue8eeM+vZttW3RuIvRU4Z4j5IwGfEk50KYEV+YuUp0YR4eKd15ACUk1gH1xBFeM01DDEGB73bBqj+1hj52ABWa0RN9DvxeJChI3tY4F8w8QP1ZssdZy0hUp3lSnYB8uBQgpx5z5kyAJ49hccppil5ipfMb3GhNZ8YwxF/j8OPTYJfT/TbMsSrxzeymwf7p0+WIyfHT2rF2BMESBMYD8CHCNF5gU4YJJGH02H7wir6LAFiAVoCfMOcn6SaKOEgoICHVLbiI+EvpefXdKjPD9KaHeXIZ+OkjIiz00vZKHmlZuF2tpTfBiIuJ2INhb3jDLa5lo5AMgbSZV9kVkI7SNgaX6NT7lDEfMyv9LNz/UXgYAixmLHwY5giTvb6PJDcwX7erxBZPEid/0TzbNw9ool8k7EHdIUPAeF4FaPz0g8iznU1f8/whlA6BQpM2BFEOCd9jxnHx+u0mzQpBxVZ8mgZSvNQxGneJSjFqD3oN8Ss/UGYHfTvjdkHg9lnHIIcuMyvWDTXScxIq5BUwxuixI+EuRYkYYFPUgqJuAkeZUNIPO98/tWpputaFa6B3T4wNXFrJHGaUsTtvCLVKGlbkaGhyJJEW8GA3Z8hjlo4inShe7bjztNfMwExfuch1Rj/4zZTKZUvZUmR/Xe51PCukqnRO5OpC9vkNsnUyAi6rxHtUtjldmtxp0rFrh58ea3cngJmSdGxKKi7/G+sgVl8TCHuVDqmn0s1RctN0zFrYAjyNO2OHHk+pvRw29bDrCE/9DVRLU9az48ts2T84LdEVYI7yJU6ViRWFbiDXGlsKHAPpC8WE8d1/w3pTuXoH9VwPqjhfNQU50rgEucTtN4m8X9yHad2U1o5ulbNZU3CLD52ndtKnwyd+S8=</diagram><diagram id="hrIp13FTX1ieYZxsAdcR" name="GCDG">7VdLb9swDP41Pm7wY3GSa520O+xxCIZ1p0GIGVurbKYKndj79ZMtyY94CVKgaTegycHiJ1KWPvKjYCeIsvJOsm36GWMQju/GpRMsHN/3XG+mHjVSaSScGCCRPDZOHbDiv8FGGrTgMewGjoQoiG+H4BrzHNY0wJiUeBi6bVAM37plCYyA1ZqJMfqdx5RqdOZPO/wj8CS1b/bCuZ7JmHU2J9mlLMZDDwqWThBJRNKjrIxA1ORZXnTc7YnZdmMScrooYPPt56P7ELm3fOn6WVR+rb68C83eqLIHhlid35goKcUEcyaWHXojschjqFd1ldX5fELcKtBT4C8gqkwyWUGooJQyYWah5HTfG/+ol3o/MdaiNCs3RmWNnGR13zd6UbXZhTWWjdtgTmYj3tTYEQqUzWkDt/kpfEcSH9oUBwrRzNR0nCTcQDss5BrOsGwLl8kE6Iyf35aF0hNgBuokKk6CYMT3w30wU9hJ69flXg1M+p9QCmbdPROFedOCEbsDJsc1IoTSX10Lh5QTrLasOf5BtYBhpo/ZP8XyHiRBeZ7nMS9tk9ERpsP4M2MfOr16VoRpT6vW79mZnL6J6gVE5V8oquA1ReWPROX4oSDDWXNvWdrCx6K+Cm46AntQmNTPSF2vWpB6DbUlvYyeHpXdsKieqNWjpIbL+t8m9bJ0b7gQ1jOGDSsEPY/mR6KfTsaiD/8i+vm1RD9/E/0LiD64UPSz1xR98L/epB8m/9pVOnvrn1fpn+Fxpq/YP5XZfeU0c71vxWD5Bw==</diagram></mxfile>" style="background-color: rgb(255, 255, 255);"><defs/><g><path d="M 121 46 L 190.9 46" fill="none" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 197.65 46 L 188.65 50.5 L 190.9 46 L 188.65 41.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="all"/><ellipse cx="61" cy="46" rx="60" ry="40" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="3" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 46px; margin-left: 2px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 17px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">DataGear</div></div></div></foreignObject><text x="61" y="51" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">DataGear</text></switch></g><path d="M 361 46 L 430.9 46" fill="none" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 437.65 46 L 428.65 50.5 L 430.9 46 L 428.65 41.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="all"/><rect x="201" y="1" width="160" height="90" fill="rgb(255, 255, 255)" stroke="#000000" stroke-width="3" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 158px; height: 1px; padding-top: 46px; margin-left: 202px;"><div data-drawio-colors="color: #6E6E6E; " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 17px; font-family: Helvetica; color: rgb(110, 110, 110); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><font color="#000000">CodeGear</font></div></div></div></foreignObject><text x="281" y="51" fill="#6E6E6E" font-family="Helvetica" font-size="17px" text-anchor="middle">CodeGear</text></switch></g><path d="M 561 46 L 630.9 46" fill="none" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 637.65 46 L 628.65 50.5 L 630.9 46 L 628.65 41.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="all"/><ellipse cx="501" cy="46" rx="60" ry="40" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="3" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 46px; margin-left: 442px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 17px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">DataGear</div></div></div></foreignObject><text x="501" y="51" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">DataGear</text></switch></g><rect x="641" y="1" width="160" height="90" fill="rgb(255, 255, 255)" stroke="#000000" stroke-width="3" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 158px; height: 1px; padding-top: 46px; margin-left: 642px;"><div data-drawio-colors="color: #6E6E6E; " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 17px; font-family: Helvetica; color: rgb(110, 110, 110); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><font color="#000000">CodeGear</font></div></div></div></foreignObject><text x="721" y="51" fill="#6E6E6E" font-family="Helvetica" font-size="17px" text-anchor="middle">CodeGear</text></switch></g></g><switch><g requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"/><a transform="translate(0,-5)" xlink:href="https://www.diagrams.net/doc/faq/svg-export-text-problems" target="_blank"><text text-anchor="middle" font-size="10px" x="50%" y="100%">Text is not SVG - cannot display</text></a></switch></svg> \ No newline at end of file
--- a/slide/figs/copy_alloc.drawio Wed May 25 18:26:12 2022 +0900 +++ b/slide/figs/copy_alloc.drawio Fri May 27 11:36:04 2022 +0900 @@ -1,1 +1,1 @@ -<mxfile host="app.diagrams.net" modified="2022-05-25T09:18:35.526Z" agent="5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/101.0.4951.64 Safari/537.36" etag="pL5Lsgl0E8hi7QdRvOXm" version="18.0.0" type="device" pages="4"><diagram id="ZPwkLcfqQLWw-W21SHS2" name="Data Access">5Vldb5swFP01edwU2wTIY5uPdVqjVoq2tXupLHDAK+DIOE3SXz8TzKdJidaQbI3yEO7FNvic4+t7TQ+Nws0Xjpf+jLkk6MG+u+mhcQ9CYEBT/iWebeqxAEwdHqeualQ45vSVKGdfeVfUJXGloWAsEHRZdTosiogjKj7MOVtXmy1YUH3qEntEc8wdHOjen9QVfuq1oVX4bwj1/OzJwBymd0KcNVYziX3ssnXJhSY9NOKMifQq3IxIkICX4ZL2m+65m78YJ5E4pMN28xVP/JtA2MbwjqHZ+Pvr+JMa5QUHKzVh9bJimyHA2SpySTJIv4eu1z4VZL7ETnJ3LTmXPl+EgbSAvFzQIBixgHFpRywiiYtFQvEKLGnHgrPnHEykWmSdehBNp9fINPOWTXfUWxMuyGYvHCAHWaqTsJAIvpVNcmkqXpQwYV/Z64JmmLXxSxTnDbGSlpePXaAvLxQBzWSMv4kny45mHg03VgSefoxvfx2fjFbkj4Cj0W/HEcAGHO2uYIQfAUYEzw0j0mCckZCpgctgykmLKmLVhZvFAT004IB6kTQdCRKR/usEQiqD75W6EVLXTR7TSFGVxLOwBCydJbOBJNQVSYZG0pjGz5dMEbJr8WioU2SdkiJTpwgL3HVI0vZOc5L8Oor5xoHBCnYFsvXxQUbmuUEeaiDfLRYxEdI3YpGcbExZpGEuB5bJ+r4Icep9Fg5qqKKBjipoQHXQWdana1fHMHKvkmImCcQBjmPqVKGr6lpCwbcPZeOxbIw3FWubWRsqHtR4yfWuz+eBsopOiZH1OZQy4mpVVo0wOV224g5pl5/A3COiLRboAigRPHiDX04CLOhL9XWbSFdPuGc0EqXtZ7hn1WZDpNNUvcrlWm0go1afIFAbKMVBG2inwXza75ClvSek9q8ch8TxJecY9dIR6jFkeMoUA+iR+Swh5JjhoHWZm+dc5poEjGMt8/rpwvGWefMBENCVItmZK5Nx4TOPRTiYFN6aVoo2t4wtlZx+EyG2Sgt4JVhVbNleU+wvj6U7zXvNHkmmI5xIlK171MHqHTar92BZvu+ERD9p2pWNaCqdqspPrv/pTA7UMjnpOCgKDwZdoaqfmEjd54Be8H5ZT7qbqAL9U+6YUK/Kd1xd+ukJqJ2eoIHOVFenJ437E9R4mpFdFnpLXpJPTf8pVfs+eRyDQlSlsOmMsrHC7YxDoAfGd6an7QD/bbZQZCaWZVcrYRu9nZ9I455wKjFL9LPzHTGzyOqx1sxinzxOVP/WAohRPzc5ODGuydg4WmIszeKra9q8+HaNJn8A</diagram><diagram id="YNPyPx7KaQu_DktN2Ut5" name="Disk to Memory">5Vhdc6IwFP01PnYHCKA+tmi3u22nu+uMtX3LQITUkLghFtxfv0GC8hFH15F2uzs+mHtIAjnn5OZCD3hx9pnDZXTPAkR6lhFkPTDqWZZpW678y5F1gfRNqwBCjgPVaQdM8C+kQEOhKxygpNZRMEYEXtZBn1GKfFHDIOcsrXebM1K/6xKGqAVMfEja6CMORFSgA6u/w28QDqPyzqY7LK7EsOysVpJEMGBpBQLjHvA4Y6JoxZmHSE5eyUsx7nrP1e2DcUTFUQOG4PtodBeH04epMZP/QxJfgGKWV0hWasHqYcW6ZICzFQ1QPonRA1dphAWaLKGfX02l5hKLRExkZMrmnFGhRDT7Mk4EZ4stcyDvgQnxGGFcxpRRtO1Ugj0LXF9fAddV0+lw9dSIC5TtpcPckizdiViMBF/LLmoAMJQuypjmQMXpTmbTVVhUlbgUFCprhdu5d+zLhhJAL8ZsbQ9Tn9wKll14t1/dRWqKC/PNxTgDj6Zd59EyNDxaGh4HXdFofUQaHeNvo7GdGu5RzNTEVTLlokWdsfqGVrtcs/EhwSGVoS9JQhK/yinEMvleqgsxDoL8NlqJ6iK+i9nNflslXc4AXYlkt0QaQQG79nsrYbvj/NdRQrGP3Amd5WXn3yO5lW7ekuRbz/0R+E8/0dR8/PKySH1nyTWH3wgni/852diDw8mm31Gy0UrUPlgf5vMECYl5jMq1JpjRlmJyYlms7+P15NoxQHO4IuJMxSBonr5OezsYGq77Z+BaW5gfUQsiGlzmbzi5pwlMEuxvSINctOEKzX/qZJRhMVNj8/aTGpm3R1k1WJcBlQzMqsFmzCenDHfDNlE5rlghClpvZA0ZJQtsxX10+FyUZIRIHLJ02xYV2R2N6iXGEYECv9YfV2cFdYdvDFNRcZ1Vdx1wGm4qlqlGVV/tGhPZjSMTmI2JCh5aE22cuV326WY9ouL+aGY9m1WrFtxfXbyXBe1m4rNPteDgwETns+B3P3hmE/wc341v6JSSCX5xNfnyHuU1mnGHXvNPUh+ijOjwc4c1bBQTjqbg051wJ1QTMtx91ioE3n0cBOPf</diagram><diagram id="kX6EBNgLvKkf43cEuNvj" name="MRAM">5VbJbtswEP0aHQtYotejtyZIYSCoUTTtJSDEiUSEIg2KtqR+fUcVtVCSkeTgXAofrHkczgzfGy4e2Sb5naan+KAYCC+YsNwjOy8I/Gkwx78SKSpk4QcVEGnOrFMLHPkfsODEomfOIHUcjVLC8JMLhkpKCI2DUa1V5rq9KOFmPdEIBsAxpGKI/uTMxBW6DBYtfg88iuvM/nxVjSS0drYrSWPKVNaByN4jW62Uqb6SfAuiJK/mpZr39cpoU5gGad4zYaPh23z/YJ7jh6e7H78vx5V8/GKjXKg42wXvqKGIrMMQ0tRWboqaDgM5JtvEJhEI+PiZGq1eYauE0ohIJdFz88KF6EFU8EiiGWK5gPjmAtpwJHptBxLOWJlmk8XcwPFEwzJnhm2FmFZnyaBcyaQMr6SxreIvmhpqfQgidlmYAvKrfPmNCti+oBIwukAXO2FqdbON65NZZWdtG6ysS9zpAGIxahsvagK32uCHlecDUgUDqQbquCyN8dgR7pNI7LFY7+sOi34wQuPyVjSSKx1/WyrdXeIFZL4vfzciefZOkoNbkTwdkHz4vj78z6cJWbkaLYcSLT7zNJm9fZqAZOvyBi1pFjRNeehq5bKIPOjiqWv86hq73LGKD3IPbHBN95jHdwHVEZi3tv5QoY4EsxEJakyDoIZf3DLGdLEZHhXHApsGaDZgf5PWIVJ11iHYWd17vBdo2ruY+i1S0TCI869LmlWPNQ6a7Wukcm/fdGT/Fw==</diagram><diagram id="admFRsE1YTgaXuMmf33F" name="CopyingGC">5VlNc5swEP01PrZjwMH2Mf5KD8nJ0zY5qiCDEsEysvBHf32FkQAh7KadElwzPph9WgnpPa20OwyceXR4YCgJn8DHdGAP/cPAWQxs2xrZrvjLkGOOjC07BwJGfOlUAmvyE0twKNGU+HirOXIAykmigx7EMfa4hiHGYK+7bYDqb01QgA1g7SFqot+Jz8McndjjEv+CSRCqN1vuNG+JkHKWK9mGyId9BXKWA2fOAHj+FB3mmGbkKV7yfqszrcXEGI75ezr82KT45Ui/PUZ4ff9Ktstw9/DJcuTk+FGtGPuCAGkC4yEEECO6LNEZgzT2cTbsUFilzyNAIkBLgK+Y86NUE6UcBBTyiMpWfCD8ufL8kg31+U5ai4Mc+WQclRFzdnyuGpVemVl2O1mq3wZiLidijYW95QzeCi0dgeQMZMs+y6yEtpAyD1+iU+5QxALML/jZhf4icDBEWMxY9GOYIk52+jyQ3MFB4VeKLB6kzn+ieT7uDtFUvsnYA7rC+5BwvE7Qael7Eee6mr9neEMonQMFJuwYYlyQvsOM48Nl2k2aVAcVWepokea+jNPCJazEqD0atsSsfSPMjobXxuydwewTjkAOXOVXLJrrJOak1Uhq4A1REsTC9ARJWOCzjEIiboJ72RAR3z+df02q6brWhWtht49MTdwGSZy2FHF7r0g9SrpWZGwo8kjiN8GAPVwgjjo4inShB7bjLrNfOwExfech1Rr/0y5TKZUv5UmR/Xe51PiqkqnJO5OpM9vkY5KpiRF0X2Pap7Ar7M7iTpWKfT34ilq5OwXMkqJnUdB0+X+wBmbxMYekV+mYfi41FC0fmo5ZI0OQh3l/5CjyMaWH27UeZg1509dEvTzpPD+2zJLxxm+JugRXkCv1rEisK3AFudLUUOAaSF+tZo7r/hvSndrRP2ngfNTA+aQtzpXAFc5nyHtLk//kOs7strRydK3ay5qEWX7sOrVVPhk6y18=</diagram></mxfile> \ No newline at end of file +<mxfile host="app.diagrams.net" modified="2022-05-27T02:20:30.308Z" agent="5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/101.0.4951.64 Safari/537.36" etag="ZHYInq-yJRma90C8vi4b" version="18.0.0" type="device" pages="5"><diagram id="ZPwkLcfqQLWw-W21SHS2" name="Data Access">5Vldb5swFP01edwU2wTIY5uPdVqjVoq2tXupLHDAK+DIOE3SXz8TzKdJidaQbI3yEO7FNvic4+t7TQ+Nws0Xjpf+jLkk6MG+u+mhcQ9CYEBT/iWebeqxAEwdHqeualQ45vSVKGdfeVfUJXGloWAsEHRZdTosiogjKj7MOVtXmy1YUH3qEntEc8wdHOjen9QVfuq1oVX4bwj1/OzJwBymd0KcNVYziX3ssnXJhSY9NOKMifQq3IxIkICX4ZL2m+65m78YJ5E4pMN28xVP/JtA2MbwjqHZ+Pvr+JMa5QUHKzVh9bJimyHA2SpySTJIv4eu1z4VZL7ETnJ3LTmXPl+EgbSAvFzQIBixgHFpRywiiYtFQvEKLGnHgrPnHEykWmSdehBNp9fINPOWTXfUWxMuyGYvHCAHWaqTsJAIvpVNcmkqXpQwYV/Z64JmmLXxSxTnDbGSlpePXaAvLxQBzWSMv4kny45mHg03VgSefoxvfx2fjFbkj4Cj0W/HEcAGHO2uYIQfAUYEzw0j0mCckZCpgctgykmLKmLVhZvFAT004IB6kTQdCRKR/usEQiqD75W6EVLXTR7TSFGVxLOwBCydJbOBJNQVSYZG0pjGz5dMEbJr8WioU2SdkiJTpwgL3HVI0vZOc5L8Oor5xoHBCnYFsvXxQUbmuUEeaiDfLRYxEdI3YpGcbExZpGEuB5bJ+r4Icep9Fg5qqKKBjipoQHXQWdana1fHMHKvkmImCcQBjmPqVKGr6lpCwbcPZeOxbIw3FWubWRsqHtR4yfWuz+eBsopOiZH1OZQy4mpVVo0wOV224g5pl5/A3COiLRboAigRPHiDX04CLOhL9XWbSFdPuGc0EqXtZ7hn1WZDpNNUvcrlWm0go1afIFAbKMVBG2inwXza75ClvSek9q8ch8TxJecY9dIR6jFkeMoUA+iR+Swh5JjhoHWZm+dc5poEjGMt8/rpwvGWefMBENCVItmZK5Nx4TOPRTiYFN6aVoo2t4wtlZx+EyG2Sgt4JVhVbNleU+wvj6U7zXvNHkmmI5xIlK171MHqHTar92BZvu+ERD9p2pWNaCqdqspPrv/pTA7UMjnpOCgKDwZdoaqfmEjd54Be8H5ZT7qbqAL9U+6YUK/Kd1xd+ukJqJ2eoIHOVFenJ437E9R4mpFdFnpLXpJPTf8pVfs+eRyDQlSlsOmMsrHC7YxDoAfGd6an7QD/bbZQZCaWZVcrYRu9nZ9I455wKjFL9LPzHTGzyOqx1sxinzxOVP/WAohRPzc5ODGuydg4WmIszeKra9q8+HaNJn8A</diagram><diagram id="YNPyPx7KaQu_DktN2Ut5" name="Disk to Memory">5VhNc5swEP01PqYDCLB9TLDTtEkmbT3jOLlpQAbFQnKFHHB/fYURNh/y2PWYpGnHB2sX7YLee1ot9IAXZ585XEb3LECkZxlB1gOjnmWZhjmQf7lnXXhcRzlCjgM1aeeY4F+ojFTeFQ5QUpsoGCMCL+tOn1GKfFHzQc5ZWp82Z6R+1yUMUcsx8SFpex9xIKLCO7D6O/8NwmFU3tl0h8WVGJaT1UqSCAYsrbjAuAc8zpgoRnHmIZKDV+JSxF3vubp9MI6oOCpgCL6PRndxOH2YGjP5PyTxBSiyvEKyUgtWDyvWJQKcrWiA8iRGD1ylERZosoR+fjWVnEtfJGIiLVMO54wKRaLZl3YiOFtskQP5DEyIxwjj0qaMou2k0tmzwPX1FXBdlU7nV0+NuEDZXjjMLchSnYjFSPC1nKICgKF4UcI0B8pOdzSbrvJFVYpLQqGSVrjNvUNfDhQBejJma3uY+uRWsOzCu/3qLlJTXJhvTsYZcDTtOo6WocHR0uA46ApG6yPC6Bh/G4zt0nCPYqYSV8GUixZ1xOobWu1yzcaHBIdUmr4ECUn/VQ4hlsX3Ul2IcRDkt9FSVCfxXcRu9tss6WoG6Ioku0XSCArYtd5bBdsd57+OCop95E7orC47/x7IrXLzliDfeu6PwH/6iabm45eXReo7S645/EY4WfzPxcYeHC42/Y6KjZai9sH6MJ8nSEifx6hca4IZbTEmE8tmfR+uJ/eOAZrDFRFnagZB8/R12tvB0GDdPwPW2sb8iF4Q0eAyf8PJNU1gkmB/Axrkou2uwPynSkYZFjMVm4+fVGQ+HmVVY10aVCIwqxqbmE9Oae7CNlYZV6wQBa03sgaNEgW24j46fC5KMEIkDkm6LYsK7Y6G9dLHEYECv9YfVycFdYdvDFNRUZ1VVx1wGmoqlqmiqq92jUR248gEZiNRgUMr0UaZ22WfLtYjOu6PJtazSbUqwf3dxXtJ0G4WPvtUCQ4OJDqfBL/7wTOb4Of4bnxDp5RM8IurqZf3KO/RjDv0mn+S+hBtRIefO6xho5lwNA2f7oQ7oZuQ5u6zVkHw7uMgGP8G</diagram><diagram id="kX6EBNgLvKkf43cEuNvj" name="MRAM">5VZLj5swEP41HCsFHPI4hiTd1VaRVo2qbntZWXgWrDU4Mk6A/voOxTwMRLt7yF6qHMJ8Hs+Mv2/8cMg2Ke4UPcUHyUA43owVDtk5nufO3BX+VUhZIwvfAJHizDh1wJH/gWamQc+cQWY5aimF5icbDGWaQqgtjColc9vtRQo764lGMAKOIRVj9CdnOq7Rlbfs8HvgUdxkdhfreiShjbNZSRZTJvMeRPYO2Sopdf2VFFsQFXkNL/W8r1dG28IUpPo9EwIF3xb7B/0cPzzd/fh9Oa7Txy8myoWKs1nwjmqKyCYMIctM5bps6NBQYLIg1olAwMXPTCv5ClsppEIklSl6Bi9ciAFEBY9SNEMsFxAPLqA0R6I3ZiDhjFVpgjzmGo4nGlY5c2wrxJQ8pwyqlcyq8DLVplXcZVtDow9BxCwLU0BxlS+3VQHbF2QCWpXoYibMjW6mcV3i13betcHauMS9DiAGo6bxojZwpw1+GHk+IJU3kmqkjs3SFI894T6JxAGLzb7useh6EzSubkUjudLxt6XS3iWORxb76ncjkv13kuzdiuT5iOTD983hfz5NyNrWaDWWaPmZp4n/9mkCKdtUN2hFs6BZxkNbK5tF5EGVT33jV9/YFZZVfpB7YKNresA8vguoikC/tfXHCvUk8CckaDAFgmp+scuY0sVkeJQcC2wboN2Aw03ahMjkWYVgZvXv8UGg+eBiGrZITcMozr8uaVc91Thodq+R2r1705H9Xw==</diagram><diagram id="admFRsE1YTgaXuMmf33F" name="CopyingGC">5VlNc5swEP01PrZjwMH2Mf5KD87J0zY5qkYGxYJlZOGP/voKIwFC2E07xbhhfDD7pBXSe1ppd+g50/D4xFAcPIOHac/ue8eeM+vZttW3RuIvRU4Z4j5IwGfEk50KYEV+YuUp0YR4eKd15ACUk1gH1xBFeM01DDEGB73bBqj+1hj52ABWa0RN9DvxeJChI3tY4F8w8QP1ZssdZy0hUp3lSnYB8uBQgpx5z5kyAJ49hccppil5ipfMb3GhNZ8YwxF/j8OPTYJfT/TbMsSrxzeymwf7p0+WIyfHT2rF2BMESBMYD8CHCNF5gU4YJJGH02H7wir6LAFiAVoCfMOcn6SaKOEgoICHVLbiI+EvpefXdKjPD9KaHeXIZ+OkjIiz00vZKHmlZuF2tpTfBiIuJ2INhb3jDLa5lo5AMgbSZV9kVkI7SNgaX6NT7lDEfMyv9LNz/UXgYAixmLHwY5giTvb6PJDcwX7erxBZPEid/0TzbNw9ool8k7EHdIUPAeF4FaPz0g8iznU1f8/whlA6BQpM2BFEOCd9jxnHx+u0mzQpBxVZ8mgZSvNQxGneJSjFqD3oN8Ss/UGYHfTvjdkHg9lnHIIcuMyvWDTXScxIq5BUwxuixI+EuRYkYYFPUgqJuAkeZUNIPO98/tWpputaFa6B3T4wNXFrJHGaUsTtvCLVKGlbkaGhyJJEW8GA3Z8hjlo4inShe7bjztNfMwExfuch1Rj/4zZTKZUvZUmR/Xe51PCukqnRO5OpC9vkNsnUyAi6rxHtUtjldmtxp0rFrh58ea3cngJmSdGxKKi7/G+sgVl8TCHuVDqmn0s1RctN0zFrYAjyNO2OHHk+pvRw29bDrCE/9DVRLU9az48ts2T84LdEVYI7yJU6ViRWFbiDXGlsKHAPpC8WE8d1/w3pTuXoH9VwPqjhfNQU50rgEucTtN4m8X9yHad2U1o5ulbNZU3CLD52ndtKnwyd+S8=</diagram><diagram id="hrIp13FTX1ieYZxsAdcR" name="GCDG">7VdLb9swDP41Pm7wY3GSa520O+xxCIZ1p0GIGVurbKYKndj79ZMtyY94CVKgaTegycHiJ1KWPvKjYCeIsvJOsm36GWMQju/GpRMsHN/3XG+mHjVSaSScGCCRPDZOHbDiv8FGGrTgMewGjoQoiG+H4BrzHNY0wJiUeBi6bVAM37plCYyA1ZqJMfqdx5RqdOZPO/wj8CS1b/bCuZ7JmHU2J9mlLMZDDwqWThBJRNKjrIxA1ORZXnTc7YnZdmMScrooYPPt56P7ELm3fOn6WVR+rb68C83eqLIHhlid35goKcUEcyaWHXojschjqFd1ldX5fELcKtBT4C8gqkwyWUGooJQyYWah5HTfG/+ol3o/MdaiNCs3RmWNnGR13zd6UbXZhTWWjdtgTmYj3tTYEQqUzWkDt/kpfEcSH9oUBwrRzNR0nCTcQDss5BrOsGwLl8kE6Iyf35aF0hNgBuokKk6CYMT3w30wU9hJ69flXg1M+p9QCmbdPROFedOCEbsDJsc1IoTSX10Lh5QTrLasOf5BtYBhpo/ZP8XyHiRBeZ7nMS9tk9ERpsP4M2MfOr16VoRpT6vW79mZnL6J6gVE5V8oquA1ReWPROX4oSDDWXNvWdrCx6K+Cm46AntQmNTPSF2vWpB6DbUlvYyeHpXdsKieqNWjpIbL+t8m9bJ0b7gQ1jOGDSsEPY/mR6KfTsaiD/8i+vm1RD9/E/0LiD64UPSz1xR98L/epB8m/9pVOnvrn1fpn+Fxpq/YP5XZfeU0c71vxWD5Bw==</diagram></mxfile> \ No newline at end of file
--- a/slide/slide.html Wed May 25 18:26:12 2022 +0900 +++ b/slide/slide.html Fri May 27 11:36:04 2022 +0900 @@ -138,9 +138,21 @@ <h2 id="信頼性の保証を目的としたos">信頼性の保証を目的としたOS</h2> <ul> - <li>GearsAgda(Agda)</li> - <li>GearsOS(CbC) <- 今回ディレクトリシステムの実装を行なった</li> - <li>x.v6(CbC)</li> + <li>GearsAgda(Agda) + <ul> + <li>形式手法による信頼性の向上</li> + </ul> + </li> + <li>GearsOS(CbC) <- 今回ディレクトリシステムの実装を行なった + <ul> + <li>ユーザーレベルタスクマネージメント</li> + </ul> + </li> + <li>x.v6(CbC) + <ul> + <li>スタンドアロンOS</li> + </ul> + </li> </ul> @@ -166,7 +178,7 @@ <p> </p> <div style="text-align: center;"> - <img src="../paper/figs/dgcgdg.svg" width="1000" /> + <img src="figs/cgdg.svg" width="1000" /> </div> @@ -190,7 +202,7 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="gearsos">GearsOS</h2> +<h2 id="gearsoscbc-1">GearsOS(CbC)</h2> <h3 id="codegearとmetacodegearの関係">CodeGearとmetaCodeGearの関係</h3> @@ -213,7 +225,7 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="gearsos-1">GearsOS</h2> +<h2 id="gearsoscbc-2">GearsOS(CbC)</h2> <h3 id="context">Context</h3> @@ -239,7 +251,7 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="gearsos-2">GearsOS</h2> +<h2 id="gearsoscbc-3">GearsOS(CbC)</h2> <h3 id="codegear遷移の流れ">CodeGear遷移の流れ</h3> @@ -256,7 +268,7 @@ <h2 id="unixのinode">Unixのinode</h2> <ul> - <li>UnixのファイルシステムはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている</li> + <li>UnixのファイルシステムはBTreeとinodeで構成されており，xv6もその仕組みを用いている</li> </ul> <h3 id="inode">inode</h3> @@ -458,8 +470,8 @@ <li>メモリとディスクのデータアクセスの形式を統一することができる</li> </ul> </li> + <li>offsetを用いて</li> </ul> - <div style="text-align: center;"> <img src="figs/data-access.svg" width="900" /> </div> @@ -521,14 +533,23 @@ - レコードのDataをファイルの差分履歴として保持し，日時情報を付け加えることでVersion Control Systemのような機能を持たせることが可能であると考えられる --> -<!-- + + +</div> -## gearsDirectoryまとめ +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="gearsdirectoryまとめ">gearsDirectoryまとめ</h2> -- gearsDirectoryの実装について説明した -- RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，Unix Likeに構築することが出来た -- RedBlackTreeのシンプルなinterfaceにより比較的容易に実装を行うことができた -- 形式手法とファイルシステムの機能の両面で信頼性の向上が図れると考える +<ul> + <li>gearsDirectoryの実装について説明した</li> + <li>RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，Unix Likeに構築することが出来た</li> + <li>RedBlackTreeのシンプルなinterfaceにより比較的容易に実装を行うことができた</li> + <li>形式手法とファイルシステムの機能の両面で信頼性の向上が図れると考える</li> + <li>メモリマネージメントシステムについて考察した</li> +</ul> + +<!-- メモ書き
--- a/slide/slide.md Wed May 25 18:26:12 2022 +0900 +++ b/slide/slide.md Fri May 27 11:36:04 2022 +0900 @@ -29,8 +29,11 @@ ## 信頼性の保証を目的としたOS - GearsAgda(Agda) + - 形式手法による信頼性の向上 - GearsOS(CbC) <- 今回ディレクトリシステムの実装を行なった + - ユーザーレベルタスクマネージメント - x.v6(CbC) + - スタンドアロンOS ## Continuation based C @@ -44,7 +47,7 @@   <div style="text-align: center;"> - <img src="../paper/figs/dgcgdg.svg" width="1000"> + <img src="figs/cgdg.svg" width="1000"> </div> ## GearsOS(CbC) @@ -54,7 +57,7 @@ - Gearという概念があり，実行の単位をCodeGear，データの単位をDataGearと呼ぶ - ノーマルレベルとメタレベルの処理を切り分けることが容易にできる -## GearsOS +## GearsOS(CbC) ### CodeGearとmetaCodeGearの関係 @@ -66,7 +69,7 @@ <img src="../paper/figs/meta_cg_dg.svg" width="1200"> </div> -## GearsOS +## GearsOS(CbC) ### Context @@ -84,7 +87,7 @@ --> -## GearsOS +## GearsOS(CbC) ### CodeGear遷移の流れ @@ -94,7 +97,7 @@ ## Unixのinode -- UnixのファイルシステムはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている +- UnixのファイルシステムはBTreeとinodeで構成されており，xv6もその仕組みを用いている ### inode @@ -241,6 +244,7 @@ - メモリとディスク上のデータ構造が等しくなる形で実装したい - 単純なコピーでメモリとディスク間のデータやり取りを行うことができる + - メモリとディスクのアドレスの差はoffsetを変換することによって吸収する - メモリとディスクのデータアクセスの形式を統一することができる <div style="text-align: center;"> @@ -286,15 +290,15 @@ - レコードのDataをファイルの差分履歴として保持し，日時情報を付け加えることでVersion Control Systemのような機能を持たせることが可能であると考えられる --> - -<!-- - ## gearsDirectoryまとめ - gearsDirectoryの実装について説明した - RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，Unix Likeに構築することが出来た - RedBlackTreeのシンプルなinterfaceにより比較的容易に実装を行うことができた - 形式手法とファイルシステムの機能の両面で信頼性の向上が図れると考える +- メモリマネージメントシステムについて考察した + +<!-- メモ書き
--- a/slide/slide.pdf.html Wed May 25 18:26:12 2022 +0900 +++ b/slide/slide.pdf.html Fri May 27 11:36:04 2022 +0900 @@ -122,9 +122,21 @@ <h2 id="信頼性の保証を目的としたos">信頼性の保証を目的としたOS</h2> <ul> - <li>GearsAgda(Agda)</li> - <li>GearsOS(CbC) <- 今回ディレクトリシステムの実装を行なった</li> - <li>x.v6(CbC)</li> + <li>GearsAgda(Agda) + <ul> + <li>形式手法による信頼性の向上</li> + </ul> + </li> + <li>GearsOS(CbC) <- 今回ディレクトリシステムの実装を行なった + <ul> + <li>ユーザーレベルタスクマネージメント</li> + </ul> + </li> + <li>x.v6(CbC) + <ul> + <li>スタンドアロンOS</li> + </ul> + </li> </ul> @@ -150,7 +162,7 @@ <p> </p> <div style="text-align: center;"> - <img src="../paper/figs/dgcgdg.svg" width="1000" /> + <img src="figs/cgdg.svg" width="1000" /> </div> @@ -174,7 +186,7 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="gearsos">GearsOS</h2> +<h2 id="gearsoscbc-1">GearsOS(CbC)</h2> <h3 id="codegearとmetacodegearの関係">CodeGearとmetaCodeGearの関係</h3> @@ -197,7 +209,7 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="gearsos-1">GearsOS</h2> +<h2 id="gearsoscbc-2">GearsOS(CbC)</h2> <h3 id="context">Context</h3> @@ -223,7 +235,7 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="gearsos-2">GearsOS</h2> +<h2 id="gearsoscbc-3">GearsOS(CbC)</h2> <h3 id="codegear遷移の流れ">CodeGear遷移の流れ</h3> @@ -240,7 +252,7 @@ <h2 id="unixのinode">Unixのinode</h2> <ul> - <li>UnixのファイルシステムはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている</li> + <li>UnixのファイルシステムはBTreeとinodeで構成されており，xv6もその仕組みを用いている</li> </ul> <h3 id="inode">inode</h3> @@ -442,8 +454,8 @@ <li>メモリとディスクのデータアクセスの形式を統一することができる</li> </ul> </li> + <li>offsetを用いて</li> </ul> - <div style="text-align: center;"> <img src="figs/data-access.svg" width="900" /> </div> @@ -505,14 +517,23 @@ - レコードのDataをファイルの差分履歴として保持し，日時情報を付け加えることでVersion Control Systemのような機能を持たせることが可能であると考えられる --> -<!-- + + +</div> -## gearsDirectoryまとめ +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="gearsdirectoryまとめ">gearsDirectoryまとめ</h2> -- gearsDirectoryの実装について説明した -- RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，Unix Likeに構築することが出来た -- RedBlackTreeのシンプルなinterfaceにより比較的容易に実装を行うことができた -- 形式手法とファイルシステムの機能の両面で信頼性の向上が図れると考える +<ul> + <li>gearsDirectoryの実装について説明した</li> + <li>RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，Unix Likeに構築することが出来た</li> + <li>RedBlackTreeのシンプルなinterfaceにより比較的容易に実装を行うことができた</li> + <li>形式手法とファイルシステムの機能の両面で信頼性の向上が図れると考える</li> + <li>メモリマネージメントシステムについて考察した</li> +</ul> + +<!-- メモ書き