Mercurial > hg > Papers > 2022 > matac-sigos
changeset 18:2c21391912e4
add memory management figs
| author | matac42 <matac@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Wed, 25 May 2022 18:26:12 +0900 |
| parents | 8b69df665d5d |
| children | 91e7f4a4875f |
| files | .hgignore slide/figs/copy_alloc.drawio slide/figs/copying-gc.svg slide/figs/data-access.svg slide/figs/disk-memory.svg slide/slide.html slide/slide.md slide/slide.pdf.html |
| diffstat | 8 files changed, 298 insertions(+), 97 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/.hgignore Wed May 25 18:26:12 2022 +0900 @@ -0,0 +1,1 @@ +.DS_Store \ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/slide/figs/copy_alloc.drawio Wed May 25 18:26:12 2022 +0900 @@ -0,0 +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
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/slide/figs/copying-gc.svg Wed May 25 18:26:12 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="492px" height="272px" viewBox="-0.5 -0.5 492 272" content="<mxfile host="app.diagrams.net" modified="2022-05-25T09:16:04.135Z" 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="NhJaZOGPxV4u8o2UVnYI" version="18.0.0" type="device" pages="4"><diagram id="ZPwkLcfqQLWw-W21SHS2" name="Data Access">5Vldb5swFP01edwUYwjksc3HOq1RK0Xb2r1UFjjgFXBknIbs188E82ko0UqStXmCe7ENPuf4+l4zgJMg/sLQ2ltQB/sDbejEAzgdaBrQtZG4JJ5d6jFH49ThMuLIRoVjSf5g6RxK74Y4OKo05JT6nKyrTpuGIbZ5xYcYo9tqsxX1q29dIxcrjqWNfNX7kzjcS72WZhb+G0xcL3szyOYXoKyxnEnkIYduSy44G8AJo5Snd0E8wX4CXoZL2m/e8jT/MIZDfkiHXfwVzbwbn1v6+I7CxfT7n+knOcoL8jdywvJj+S5DgNFN6OBkkOEAXm89wvFyjezk6VZwLnweD3xhAXG7Ir4/oT5lwg5piBMXDbnkFZjCjjijzzmYULbIOg00OJ9fw9Eob9n0RH41ZhzHrXCAHGShTkwDzNlONMmlKXmRwtSG0t4WNGtZG69Ecd4QSWm5+dgF+uJGEtBMxvQbfzKtcOGSIDZD8PRjevurfzI6ke8BR33YjSPQGnC0jgWj9hFghNq5YYQKjAscUDlwGUwxaV5FrLpwszighgbkEzcUpi1AwsJ/nUBIRPC9kg8C4jjJaxopqpJ4FpaAqbI0aiAJHoskXSFpSqLnS6YIWrV4NFYpMk9J0UilCHH0DkNSvht2hSTtWFCaHwVKODo3lGMFyrvVKsJc+CY0FJONCA0VZMXAIvFuW+2nRlUzaqhCQ0UVNKBqHC2DUxWqYhg6V0lhkgRVH0URsavQVdUroGC7h7LxWDamccXaZVZM+IMcL7nf9/lsSKvolBhZn0Mpw45SMdUIE9OlG2bjbvlxxFzMu1a8KoASwcYr/DLsI05eqp/bRLp8wz0lIS9tJeOWVZsNkU5T9iqXXrWB9FqtAUFtoBQHZaC9BvNpv0GWVkvgHF7ZNo6iS84X6mWgpsaQ8SnTBaBG5rOEkD7DQecyH51zmSsS0Pta5vWTgv6WefNhDlCVIthZSpMy7lGXhsifFd6aVoo2t5SupZx+Y853Ugtow2lVbNleU+wvj6UnzXtNiyTTEU4kys496mD1jpvVe7As33baoZ4a7UtAOBdOWbEn9/91JgdqmZxwHBSFDeNYqKqnH0L3OaAXvF/Wk+4mqsDwlDumplbYe64u/SQE1E5CoKEydayTkMb9SVN4WuB9FnqLX5LfRu+UqrbfF31QCKsUNp03Nla4R+MQqIHxjelpN8D/mi0UmYlpWtVK2IKv5yfCuMeMCMwS/ex9PWYWWT3WmVm0yeNE9W8tgOj1c5ODE+OajPXeEmNhFn9Q0+bFf2g4+ws=</diagram><diagram id="YNPyPx7KaQu_DktN2Ut5" name="Disk to Memory">5Vhdc6IwFP01PHYHCKA+tthud9tOt+uMtX3LQMTUkLghFtxfv0GCfMXRdbRdZ5/gHpILOedwc8EAfpx95XAxe2AhIoZthpkBhoZtW47tyUOOrAqk5w0KIOI4VIMqYIR/IwWaCl3iECWNgYIxIvCiCQaMUhSIBgY5Z2lz2JSR5l0XMEIdYBRA0kWfcShmBdq3exV+i3A0K+9sleuLYTlYrSSZwZClNQhcG8DnjIniLM58RHLySl6KeTdbrm4ejCMq9powAE/D4X0cjR/H5kQeByS+AEWWd0iWasHqYcWqZICzJQ1RnsQ0wFU6wwKNFjDIr6ZSc4nNRExkZMnTKaNCiWj1ZJwIzuYb5kA+AhPiM8K4jCmjaDOoBA0b3NxcAc9T6XS4emrEBcq20mFtSJbuRCxGgq/kEDUBmEoXZUyrr+K0ktnyFDarS1wKCpW1ok3uin15ogTQizFZOYM0IHeCZRf+3XdvnlriwvpwMY7Ao+U0ebRNDY+2hsf+qWi0z5FG1/zXaOyWhgcUM5W4TqZctGgy1nyh1VuuefEhwRGVYSBJQhK/yinEsvheqgsxDsP8NlqJmiJ+itmtXlclXc0ApxLJ6Yg0hAKegd87ZcPZ0+8nq77uuVLZKR0fSeWd7/0Mg5dfaGw9f3ubp4G74JqNbIiT+f9cOJz+7sLRO1Hh0ErU3SQfp9MECYn5jMq1JpjRjmIysWy8t/F6cB8YoilcEnGkxg60d1K3+zqYGq57R+Ba22Tv0dchGl7mXyu5pwlMEhysSYNcdOEazX/rZJRhMVFz8/MXNTM/H2b1YFUGVDIwqQfrOV/cMqymraNyXrFCFHa+rloyShbYkgdo9x4nyYiQ2GXpri1qsrsa1UuMIwIFfm8+rs4K6g4/GKai5jq76TrgttxULFPNqn+mtRI5rY0RWK1EBQ+dRGtnbpZ9uFn36J7PzaxHs2rdgtt7iM+yoNMufM6hFuzvSHQ8Cz4F4Ssb4df4/vqWjikZ4TdPUy8fUN6JmffoPf+9dBZtxAl/XdiDVjPhaho+3Q53QDchw+oXVSFw9aMPXP8B</diagram><diagram id="kX6EBNgLvKkf43cEuNvj" name="MRAM">5VbbjpswEP0aHisFnOtjSNKttoq0alR125fKwrNg1diRcQL06zsUczEQ7e7DrlT1CeYwnss5YxuP7NLiTtNzclQMhBfMWOGRvRcE/jxY4qNCyhpZLTc1EGvOrFMHnPhvsODMohfOIHMcjVLC8LMLRkpKiIyDUa1V7ro9KeFmPdMYRsApomKMfuPMJDW6DlYd/gl4nDSZ/aa/lDbOtpMsoUzlPYgcPLLTSpn6LS12ICryGl7qdR9vfG0L0yDNSxaEGj4vD/fmZ3L/ePf1x/W0kQ8fbJQrFRfb8J4aisg2iiDLbOWmbOgwUGCyMDGpQMDH18xo9Qt2SiiNiFQSPcMnLsQAooLHEs0IywXEwytow5Horf2QcsaqNGGecAOnM42qnDmOFWJaXSSDqpNZFV5JY0fFX7U1NPoQRGxbmAKKm3z5rQo4vqBSMLpEF7tgbnWzg+uTRW3n3RhsrEvSmwBiMWoHL24Dd9rgi5XnFVIFI6lG6rgsTfHYE+6dSByw2OzrHot+MEHj+q1oJDcm/t+jcvFCKoO3onI+ovL4ZXv8n88MsnE1Wo8lWr3nmbF4/swAybbVPVnRLGiW8cjVymURedDlY9/43jf2hWOVr+Qe2OgyHjCPtz/VMZjnNvhYoZ4EiwkJGkyDoIZf3TKmdLEZHhTHAtsBaDfgcJM2ITJ10RHYVf3behBoPrh+hiNS0zCK83dK2q6nBgfN7p+jdu/+3MjhDw==</diagram><diagram id="admFRsE1YTgaXuMmf33F" name="CopyingGC">5VlNc5swEP01PrZjwMH2Mf5KD8nJ0zY5qiCDEsEysvBHf32FkQAh7KadElwzPph9WgnpPa20OwyceXR4YCgJn8DHdGAP/cPAWQxs2xrZrvjLkGOOjN1pDgSM+NKpBNbkJ5bgUKIp8fFWc+QAlJNEBz2IY+xxDUOMwV532wDV35qgABvA2kPURL8Tn4c5OrHHJf4FkyBUb7bU+iKknOVKtiHyYV+BnOXAmTMAnj9FhzmmGXmKl7zf6kxrMTGGY/6eDj82KX450m+PEV7fv5LtMtw9fLIcOTl+VCvGviBAmsB4CAHEiC5LdMYgjX2cDTsUVunzCJAI0BLgK+b8KNVEKQcBhTyishUfCH+uPL9kQ32+k9biIEc+GUdlxJwdn6tGpVdmlt1Oluq3gZjLiVhjYW85g7dCS0cgOQPZss8yK6EtpMzDl+iUOxSxAPMLfnahvwgcDBEWMxb9GKaIk50+DyR3cFD4lSKLB6nzn2iej7tDNJVvMvaArvA+JByvE3Ra+l7Eua7m7xneEErnQIEJO4YYF6TvMOP4cJl2kybVQUWWOlqkuS/jtHAJKzFqj4YtMWvfCLOj4bUxe2cw+4QjkANX+RWL5jqJOWk1khp4Q5QEsTA9QRIW+CyjkIib4F42RMT3T+dfk2q6rnXhWtjtI1MTt0ESpy1F3N4rUo+SrhUZG4o8kvhNMGAPF4ijDo4iXeiB7bjL7NdOQEzfeUi1xv+0y1RK5Ut5UmT/XS41vqpkavLOZOrMNvmYZGpiBN3XmPYp7Aq7s7hTpWJfD76iVu5OAbOk6FkUNF3+H6yBWXzMIelVOqafSw1Fy4emY9bIEORh3h85inxM6eF2rYdZQ970NVEvTzrPjy2zZLzxW6IuwRXkSj0rEusKXEGuNDUUuAbSV6uZ47r/hnSndvRPGjgfNXA+aYtzJXCF8xny3tLkP7mOM7strRxdq/ayJmGWH7tObZVPhs7yFw==</diagram></mxfile>" style="background-color: rgb(255, 255, 255);"><defs/><g><path d="M 200 150 L 349.9 150" fill="none" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 356.65 150 L 347.65 154.5 L 349.9 150 L 347.65 145.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="all"/><rect x="80" y="30" width="120" height="240" fill="none" stroke="rgb(0, 0, 0)" stroke-width="3" pointer-events="all"/><rect x="360" y="30" width="120" height="240" fill="none" stroke="rgb(0, 0, 0)" stroke-width="3" pointer-events="all"/><rect x="80" y="0" width="60" height="30" fill="none" stroke="none" 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: 58px; height: 1px; padding-top: 15px; margin-left: 81px;"><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;">Memory</div></div></div></foreignObject><text x="110" y="20" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Memory</text></switch></g><rect x="360" y="0" width="60" height="30" fill="none" stroke="none" 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: 58px; height: 1px; padding-top: 15px; margin-left: 361px;"><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;">Memory</div></div></div></foreignObject><text x="390" y="20" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Memory</text></switch></g><rect x="80" y="50" width="120" height="30" fill="none" stroke="#6e6e6e" 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: 65px; margin-left: 81px;"><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;">Linked Data</div></div></div></foreignObject><text x="140" y="70" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Linked Data</text></switch></g><path d="M 80 87.5 L 60 87.5 L 60 210 L 69.9 210" fill="none" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 76.65 210 L 67.65 214.5 L 69.9 210 L 67.65 205.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="all"/><rect x="80" y="80" width="120" height="30" fill="none" stroke="#6e6e6e" 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: 95px; margin-left: 81px;"><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;">Unlinked Data</div></div></div></foreignObject><text x="140" y="100" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Unlinked Data</text></switch></g><rect x="80" y="170" width="120" height="30" fill="none" stroke="#6e6e6e" 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: 185px; margin-left: 81px;"><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;">Linked Data</div></div></div></foreignObject><text x="140" y="190" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Linked Data</text></switch></g><rect x="80" y="200" width="120" height="30" fill="none" stroke="#6e6e6e" 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: 215px; margin-left: 81px;"><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;">Unlinked Data</div></div></div></foreignObject><text x="140" y="220" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Unlinked Data</text></switch></g><rect x="0" y="130" width="60" height="30" fill="none" stroke="none" 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: 58px; height: 1px; padding-top: 145px; margin-left: 1px;"><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;">Copy</div></div></div></foreignObject><text x="30" y="150" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Copy</text></switch></g><rect x="250" y="120" width="60" height="30" fill="none" stroke="none" 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: 58px; height: 1px; padding-top: 135px; margin-left: 251px;"><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;">GC</div></div></div></foreignObject><text x="280" y="140" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">GC</text></switch></g><rect x="360" y="50" width="120" height="30" fill="none" stroke="#6e6e6e" 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: 65px; margin-left: 361px;"><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;">Linked Data</div></div></div></foreignObject><text x="420" y="70" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Linked Data</text></switch></g><rect x="360" y="80" width="120" height="30" fill="none" stroke="#6e6e6e" 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: 95px; margin-left: 361px;"><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;">Unlinked Data</div></div></div></foreignObject><text x="420" y="100" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Unlinked Data</text></switch></g><rect x="360" y="170" width="120" height="30" fill="none" stroke="#6e6e6e" 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: 185px; margin-left: 361px;"><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;">Linked Data</div></div></div></foreignObject><text x="420" y="190" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Linked Data</text></switch></g><rect x="350" y="40" width="140" height="80" fill="none" stroke="#ffb366" stroke-width="3" pointer-events="all"/><rect x="290" y="30" width="60" height="30" fill="none" stroke="none" 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: 58px; height: 1px; padding-top: 45px; margin-left: 291px;"><div data-drawio-colors="color: #FFB366; " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 17px; font-family: Helvetica; color: rgb(255, 179, 102); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Backup</div></div></div></foreignObject><text x="320" y="50" fill="#FFB366" font-family="Helvetica" font-size="17px" text-anchor="middle">Backup</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
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/slide/figs/data-access.svg Wed May 25 18:26:12 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="483px" height="233px" viewBox="-0.5 -0.5 483 233" content="<mxfile host="app.diagrams.net" modified="2022-05-25T09:18:46.919Z" 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="42TCIZHb-aIOffh_Ykhk" 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>" style="background-color: rgb(255, 255, 255);"><defs/><g><rect x="101" y="31" width="240" height="200" fill="none" stroke="#ffb366" stroke-width="3" pointer-events="all"/><rect x="361" y="31" width="120" height="80" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="3" pointer-events="all"/><rect x="361" y="151" width="120" height="80" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="3" pointer-events="all"/><rect x="361" y="1" width="60" height="30" fill="none" stroke="none" 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: 58px; height: 1px; padding-top: 16px; margin-left: 362px;"><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;">Memory</div></div></div></foreignObject><text x="391" y="21" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Memory</text></switch></g><rect x="341" y="121" width="70" height="30" fill="none" stroke="none" 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: 68px; height: 1px; padding-top: 136px; margin-left: 342px;"><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;">Disk</div></div></div></foreignObject><text x="376" y="141" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Disk</text></switch></g><rect x="361" y="71" width="120" height="20" fill="rgb(255, 255, 255)" stroke="#6e6e6e" 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: 81px; margin-left: 362px;"><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;">Data</div></div></div></foreignObject><text x="421" y="86" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Data</text></switch></g><rect x="361" y="191" width="120" height="20" fill="rgb(255, 255, 255)" stroke="#6e6e6e" 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: 201px; margin-left: 362px;"><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;">Data</div></div></div></foreignObject><text x="421" y="206" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Data</text></switch></g><ellipse cx="266" cy="191" rx="55" ry="25" 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: 108px; height: 1px; padding-top: 191px; margin-left: 212px;"><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;">Offset Conversion</div></div></div></foreignObject><text x="266" y="196" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Offset Conver...</text></switch></g><path d="M 321 191 L 350.9 191" fill="none" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 357.65 191 L 348.65 195.5 L 350.9 191 L 348.65 186.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="all"/><rect x="1" y="56" width="90" height="30" fill="none" stroke="none" 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: 88px; height: 1px; padding-top: 71px; 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;">Data Access</div></div></div></foreignObject><text x="46" y="76" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Data Access</text></switch></g><path d="M 201 71 L 350.9 71" fill="none" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 357.65 71 L 348.65 75.5 L 350.9 71 L 348.65 66.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="all"/><path d="M 156 101 L 156 191 L 200.9 191" fill="none" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 207.65 191 L 198.65 195.5 L 200.9 191 L 198.65 186.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="all"/><ellipse cx="156" cy="73.5" rx="45" ry="27.5" 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: 88px; height: 1px; padding-top: 74px; margin-left: 112px;"><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;">Disk? Memory?</div></div></div></foreignObject><text x="156" y="79" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Disk? Memor...</text></switch></g><rect x="211" y="46" width="100" height="30" fill="none" stroke="none" 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: 98px; height: 1px; padding-top: 61px; margin-left: 212px;"><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;">to Memory</div></div></div></foreignObject><text x="261" y="66" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">to Memory</text></switch></g><rect x="141" y="186" width="70" height="30" fill="none" stroke="none" 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: 68px; height: 1px; padding-top: 201px; margin-left: 142px;"><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;">to Disk</div></div></div></foreignObject><text x="176" y="206" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">to Disk</text></switch></g><rect x="91" y="1" width="110" height="30" fill="none" stroke="none" 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: 108px; height: 1px; padding-top: 16px; margin-left: 92px;"><div data-drawio-colors="color: #FFB366; " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 17px; font-family: Helvetica; color: rgb(255, 179, 102); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Meta Level</div></div></div></foreignObject><text x="146" y="21" fill="#FFB366" font-family="Helvetica" font-size="17px" text-anchor="middle">Meta Level</text></switch></g><path d="M 71.02 73.49 L 100.9 73.5" fill="none" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 107.65 73.5 L 98.64 78 L 100.9 73.5 L 98.65 69 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="all"/></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
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/slide/figs/disk-memory.svg Wed May 25 18:26:12 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="483px" height="152px" viewBox="-0.5 -0.5 483 152" content="<mxfile host="app.diagrams.net" modified="2022-05-25T09:20:12.934Z" 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="RzsFO-nLp0gPBPC6cCGX" 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>" style="background-color: rgb(255, 255, 255);"><defs/><g><rect x="161" y="30" width="160" height="120" fill="none" stroke="#ffb366" stroke-width="3" pointer-events="all"/><rect x="1" y="50" width="120" height="80" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="3" pointer-events="all"/><rect x="361" y="50" width="120" height="80" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" stroke-width="3" pointer-events="all"/><rect x="1" y="20" width="60" height="30" fill="none" stroke="none" 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: 58px; height: 1px; padding-top: 35px; 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;">Memory</div></div></div></foreignObject><text x="31" y="40" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Memory</text></switch></g><rect x="1" y="90" width="120" height="20" fill="rgb(255, 255, 255)" stroke="#6e6e6e" 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: 100px; 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;">Data</div></div></div></foreignObject><text x="61" y="105" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Data</text></switch></g><rect x="361" y="90" width="120" height="20" fill="rgb(255, 255, 255)" stroke="#6e6e6e" 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: 100px; margin-left: 362px;"><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;">Data</div></div></div></foreignObject><text x="421" y="105" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Data</text></switch></g><rect x="341" y="20" width="70" height="30" fill="none" stroke="none" 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: 68px; height: 1px; padding-top: 35px; margin-left: 342px;"><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;">Disk</div></div></div></foreignObject><text x="376" y="40" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Disk</text></switch></g><ellipse cx="241" cy="90" rx="50" ry="35" 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: 98px; height: 1px; padding-top: 90px; margin-left: 192px;"><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;">Offset Conversion</div></div></div></foreignObject><text x="241" y="95" fill="rgb(0, 0, 0)" font-family="Helvetica" font-size="17px" text-anchor="middle">Offset Conve...</text></switch></g><path d="M 131.1 90 L 180.9 90" fill="none" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 124.35 90 L 133.35 85.5 L 131.1 90 L 133.35 94.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="all"/><path d="M 187.65 90 L 178.65 94.5 L 180.9 90 L 178.65 85.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="all"/><path d="M 301.1 90 L 350.9 90" fill="none" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 294.35 90 L 303.35 85.5 L 301.1 90 L 303.35 94.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="all"/><path d="M 357.65 90 L 348.65 94.5 L 350.9 90 L 348.65 85.5 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-width="3" stroke-miterlimit="10" pointer-events="all"/><rect x="151" y="0" width="100" height="30" fill="none" stroke="none" 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: 98px; height: 1px; padding-top: 15px; margin-left: 152px;"><div data-drawio-colors="color: #FFB366; " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 17px; font-family: Helvetica; color: rgb(255, 179, 102); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">Meta Level</div></div></div></foreignObject><text x="201" y="20" fill="#FFB366" font-family="Helvetica" font-size="17px" text-anchor="middle">Meta Level</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/slide.html Wed May 25 15:26:59 2022 +0900 +++ b/slide/slide.html Wed May 25 18:26:12 2022 +0900 @@ -89,22 +89,58 @@ <div class='slide'> - + <!-- ここでは大きな目的を述べる --> + + <!-- _S9SLIDE_ --> +<h2 id="研究目的">研究目的</h2> + +<ul> + <li>アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある</li> + <li>信頼性確保の方法として定理証明やモデル検査がある</li> + <li>当研究室では，信頼性の保証を目的としたGearsOSを開発している</li> + <li>GearsOSで未実装の機能であるファイルシステムの実装を目指す</li> +</ul> + +<!-- ここでは今回やったことの概要を述べる --> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> <h2 id="inodeを用いたgearsdirectoryの実装">inodeを用いたgearsDirectoryの実装</h2> <ul> - <li>アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある + <li><span style="color: red; ">今回はUnixのinode仕組みを参考にディレクトリシステムを実装した</span></li> + <li>GearsOSのディレクトリシステムであるgearsDirectoryについて <ul> - <li>信頼性確保の方法として定理証明やモデル検査がある</li> + <li>基礎概念 + <ul> + <li>CbC</li> + <li>GearsOS</li> + </ul> + </li> + <li>実装</li> </ul> </li> - <li>当研究室では，信頼性の保証を目的としたGearsOSを開発している</li> - <li>GearsOSで未実装の機能であるファイルシステムの実装を目指す</li> - <li><span style="color: red; ">今回はUnix likeにディレクトリシステムを実装した</span></li> - <li>GearsOSへUnixのファイルシステムの仕組みを取り入れるアプローチをとる</li> - <li>GearsOSのディレクトリシステムであるgearsDirectoryについて説明する</li> - <li>未実装であるメモリマネージャーについて考察する</li> +</ul> + +<!-- ここから基礎概念 --> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="信頼性の保証を目的としたos">信頼性の保証を目的としたOS</h2> + +<ul> + <li>GearsAgda(Agda)</li> + <li>GearsOS(CbC) <- 今回ディレクトリシステムの実装を行なった</li> + <li>x.v6(CbC)</li> </ul> @@ -139,7 +175,7 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="gearsos">GearsOS</h2> +<h2 id="gearsoscbc">GearsOS(CbC)</h2> <ul> <li>当研究室にて，信頼性と拡張性の両立を目的として開発している</li> @@ -154,7 +190,7 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="gearsos-1">GearsOS</h2> +<h2 id="gearsos">GearsOS</h2> <h3 id="codegearとmetacodegearの関係">CodeGearとmetaCodeGearの関係</h3> @@ -177,7 +213,7 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="gearsos-2">GearsOS</h2> +<h2 id="gearsos-1">GearsOS</h2> <h3 id="context">Context</h3> @@ -203,7 +239,7 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="gearsos-3">GearsOS</h2> +<h2 id="gearsos-2">GearsOS</h2> <h3 id="codegear遷移の流れ">CodeGear遷移の流れ</h3> @@ -217,17 +253,10 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="unixのファイルシステム">Unixのファイルシステム</h2> - -<p>UnixのファイルシステムはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている</p> - -<h3 id="xv6">xv6</h3> +<h2 id="unixのinode">Unixのinode</h2> <ul> - <li>MITで教育用の目的で開発されたOS</li> - <li>Unixの基本的な構造を持つ</li> - <li>当研究室ではxv6のCbCでの書き換え，分析を行なっている</li> - <li>ファイルシステムではinodeの仕組みが用いられている</li> + <li>UnixのファイルシステムはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている</li> </ul> <h3 id="inode">inode</h3> @@ -238,6 +267,10 @@ <li>inodeはファイルシステム始動時にinode領域をディスク上に確保する</li> </ul> +<!-- ここまで基礎概念 --> + +<!-- 実装したものの説明 --> + </div> @@ -304,7 +337,7 @@ <h3 id="mkdir-1">mkdir</h3> <div style="text-align: center;"> - <img src="figs/mkdir.svg" width="900" /> + <img src="figs/mkdir.svg" width="1100" /> </div> <!-- @@ -370,6 +403,8 @@ --> +<!-- 課題 --> + </div> @@ -396,30 +431,55 @@ <h2 id="gearsosにおけるメモリマネージメントシステム">GearsOSにおけるメモリマネージメントシステム</h2> <ul> - <li>現在，GearsOSはメモリの資源をmallocで用いる</li> <li>メモリとディスク上のデータ構造が等しくなる形で実装したい <ul> <li>単純なコピーでメモリとディスク間のデータやり取りを行うことができる</li> + <li>メモリとディスクのデータアクセスの形式を統一することができる</li> </ul> </li> - <li>ガベージコレクションはCopying GCを用いる</li> </ul> +<div style="text-align: center;"> + <img src="figs/disk-memory.svg" width="900" /> +</div> + </div> <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="gearsdirectoryまとめ">gearsDirectoryまとめ</h2> +<h2 id="gearsosにおけるメモリマネージメントシステム-1">GearsOSにおけるメモリマネージメントシステム</h2> <ul> - <li>gearsDirectoryの実装について説明した</li> - <li>RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，Unix Likeに構築することが出来た</li> - <li>RedBlackTreeのシンプルなinterfaceにより比較的容易に実装を行うことができた</li> - <li>形式手法とファイルシステムの機能の両面で信頼性の向上が図れると考える</li> + <li>メモリとディスク上のデータ構造が等しくなる形で実装したい + <ul> + <li>単純なコピーでメモリとディスク間のデータやり取りを行うことができる</li> + <li>メモリとディスクのデータアクセスの形式を統一することができる</li> + </ul> + </li> </ul> +<div style="text-align: center;"> + <img src="figs/data-access.svg" width="900" /> +</div> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="gearsosにおけるメモリマネージメントシステム-2">GearsOSにおけるメモリマネージメントシステム</h2> + +<ul> + <li>ガベージコレクションはCopying GCを用いる</li> +</ul> + +<div style="text-align: center;"> + <img src="figs/copying-gc.svg" width="900" /> +</div> + </div> @@ -461,6 +521,32 @@ - レコードのDataをファイルの差分履歴として保持し，日時情報を付け加えることでVersion Control Systemのような機能を持たせることが可能であると考えられる --> +<!-- + +## gearsDirectoryまとめ + +- gearsDirectoryの実装について説明した +- RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，Unix Likeに構築することが出来た +- RedBlackTreeのシンプルなinterfaceにより比較的容易に実装を行うことができた +- 形式手法とファイルシステムの機能の両面で信頼性の向上が図れると考える + +メモ書き + +- [x] GearsAgdaの話入れて，どこに対する実装なのかはっきりさせる +- [x]「CbCでinodeファイルシステムを実装した」ことをはっきりさせる +- [ ] 実装部分と未実装部分をはっきりさせる +- [x] x.v6の話いらない？ -> 研究会で知らない人多分いないからいらない +- [ ] 仮想記憶との関係 これは図にできそう +- [x] まず大きな目的を述べる．その後，今回やったことを述べる + + +この流れがいいだろう + +大きな研究目的 -> 今回の研究 -> 今回の研究に関する基礎概念 +-> 実装したもの -> 実装したものの至らない点 -> 今後実装するものの紹介と考察 + +--> + </div>
--- a/slide/slide.md Wed May 25 15:26:59 2022 +0900 +++ b/slide/slide.md Wed May 25 18:26:12 2022 +0900 @@ -8,30 +8,30 @@ ## 研究目的 - アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある - - 信頼性確保の方法として定理証明やモデル検査がある +- 信頼性確保の方法として定理証明やモデル検査がある - 当研究室では，信頼性の保証を目的としたGearsOSを開発している - GearsOSで未実装の機能であるファイルシステムの実装を目指す -- <span style="color: red; ">今回はUnix likeにディレクトリシステムを実装した</span> -- GearsOSへUnixのファイルシステムの仕組みを取り入れるアプローチをとる -- GearsOSのディレクトリシステムであるgearsDirectoryについて説明する -- 未実装であるメモリマネージャーについて考察する <!-- ここでは今回やったことの概要を述べる --> ## inodeを用いたgearsDirectoryの実装 -- アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある - - 信頼性確保の方法として定理証明やモデル検査がある -- 当研究室では，信頼性の保証を目的としたGearsOSを開発している -- GearsOSで未実装の機能であるファイルシステムの実装を目指す -- <span style="color: red; ">今回はUnix likeにディレクトリシステムを実装した</span> -- GearsOSへUnixのファイルシステムの仕組みを取り入れるアプローチをとる -- GearsOSのディレクトリシステムであるgearsDirectoryについて説明する -- 未実装であるメモリマネージャーについて考察する +- <span style="color: red; ">今回はUnixのinode仕組みを参考にディレクトリシステムを実装した</span> +- GearsOSのディレクトリシステムであるgearsDirectoryについて + - 基礎概念 + - CbC + - GearsOS + - 実装 <!-- ここから基礎概念 --> +## 信頼性の保証を目的としたOS + +- GearsAgda(Agda) +- GearsOS(CbC) <- 今回ディレクトリシステムの実装を行なった +- x.v6(CbC) + ## Continuation based C - Cの下位言語である @@ -47,7 +47,7 @@ <img src="../paper/figs/dgcgdg.svg" width="1000"> </div> -## GearsOS +## GearsOS(CbC) - 当研究室にて，信頼性と拡張性の両立を目的として開発している - CbCで記述されている @@ -92,16 +92,9 @@ <img src="figs/context.svg" width="1200"> </div> -## Unixのファイルシステム - -UnixのファイルシステムはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている +## Unixのinode -### xv6 - -- MITで教育用の目的で開発されたOS -- Unixの基本的な構造を持つ -- 当研究室ではxv6のCbCでの書き換え，分析を行なっている -- ファイルシステムではinodeの仕組みが用いられている +- UnixのファイルシステムはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている ### inode @@ -157,7 +150,7 @@ ### mkdir <div style="text-align: center;"> - <img src="figs/mkdir.svg" width="900"> + <img src="figs/mkdir.svg" width="1100"> </div> <!-- @@ -236,17 +229,31 @@ ## GearsOSにおけるメモリマネージメントシステム -- 現在，GearsOSはメモリの資源をmallocで用いる - メモリとディスク上のデータ構造が等しくなる形で実装したい - 単純なコピーでメモリとディスク間のデータやり取りを行うことができる + - メモリとディスクのデータアクセスの形式を統一することができる + +<div style="text-align: center;"> + <img src="figs/disk-memory.svg" width="900"> +</div> + +## GearsOSにおけるメモリマネージメントシステム + +- メモリとディスク上のデータ構造が等しくなる形で実装したい + - 単純なコピーでメモリとディスク間のデータやり取りを行うことができる + - メモリとディスクのデータアクセスの形式を統一することができる + +<div style="text-align: center;"> + <img src="figs/data-access.svg" width="900"> +</div> + +## GearsOSにおけるメモリマネージメントシステム + - ガベージコレクションはCopying GCを用いる -## gearsDirectoryまとめ - -- gearsDirectoryの実装について説明した -- RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，Unix Likeに構築することが出来た -- RedBlackTreeのシンプルなinterfaceにより比較的容易に実装を行うことができた -- 形式手法とファイルシステムの機能の両面で信頼性の向上が図れると考える +<div style="text-align: center;"> + <img src="figs/copying-gc.svg" width="900"> +</div> ## GearsFileSystemの今後 @@ -281,14 +288,22 @@ <!-- + +## gearsDirectoryまとめ + +- gearsDirectoryの実装について説明した +- RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，Unix Likeに構築することが出来た +- RedBlackTreeのシンプルなinterfaceにより比較的容易に実装を行うことができた +- 形式手法とファイルシステムの機能の両面で信頼性の向上が図れると考える + メモ書き -- GearsAgdaの話入れて，どこに対する実装なのかはっきりさせる -- 「CbCでinodeファイルシステムを実装した」ことをはっきりさせる -- 実装部分と未実装部分をはっきりさせる -- x.v6の話いらない？ -> 研究会で知らない人多分いないからいらない -- 仮想記憶との関係 これは図にできそう -- まず大きな目的を述べる．その後，今回やったことを述べる +- [x] GearsAgdaの話入れて，どこに対する実装なのかはっきりさせる +- [x]「CbCでinodeファイルシステムを実装した」ことをはっきりさせる +- [ ] 実装部分と未実装部分をはっきりさせる +- [x] x.v6の話いらない？ -> 研究会で知らない人多分いないからいらない +- [ ] 仮想記憶との関係 これは図にできそう +- [x] まず大きな目的を述べる．その後，今回やったことを述べる この流れがいいだろう
--- a/slide/slide.pdf.html Wed May 25 15:26:59 2022 +0900 +++ b/slide/slide.pdf.html Wed May 25 18:26:12 2022 +0900 @@ -73,22 +73,58 @@ <div class='slide'> - + <!-- ここでは大きな目的を述べる --> + + <!-- _S9SLIDE_ --> +<h2 id="研究目的">研究目的</h2> + +<ul> + <li>アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある</li> + <li>信頼性確保の方法として定理証明やモデル検査がある</li> + <li>当研究室では，信頼性の保証を目的としたGearsOSを開発している</li> + <li>GearsOSで未実装の機能であるファイルシステムの実装を目指す</li> +</ul> + +<!-- ここでは今回やったことの概要を述べる --> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> <h2 id="inodeを用いたgearsdirectoryの実装">inodeを用いたgearsDirectoryの実装</h2> <ul> - <li>アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある + <li><span style="color: red; ">今回はUnixのinode仕組みを参考にディレクトリシステムを実装した</span></li> + <li>GearsOSのディレクトリシステムであるgearsDirectoryについて <ul> - <li>信頼性確保の方法として定理証明やモデル検査がある</li> + <li>基礎概念 + <ul> + <li>CbC</li> + <li>GearsOS</li> + </ul> + </li> + <li>実装</li> </ul> </li> - <li>当研究室では，信頼性の保証を目的としたGearsOSを開発している</li> - <li>GearsOSで未実装の機能であるファイルシステムの実装を目指す</li> - <li><span style="color: red; ">今回はUnix likeにディレクトリシステムを実装した</span></li> - <li>GearsOSへUnixのファイルシステムの仕組みを取り入れるアプローチをとる</li> - <li>GearsOSのディレクトリシステムであるgearsDirectoryについて説明する</li> - <li>未実装であるメモリマネージャーについて考察する</li> +</ul> + +<!-- ここから基礎概念 --> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="信頼性の保証を目的としたos">信頼性の保証を目的としたOS</h2> + +<ul> + <li>GearsAgda(Agda)</li> + <li>GearsOS(CbC) <- 今回ディレクトリシステムの実装を行なった</li> + <li>x.v6(CbC)</li> </ul> @@ -123,7 +159,7 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="gearsos">GearsOS</h2> +<h2 id="gearsoscbc">GearsOS(CbC)</h2> <ul> <li>当研究室にて，信頼性と拡張性の両立を目的として開発している</li> @@ -138,7 +174,7 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="gearsos-1">GearsOS</h2> +<h2 id="gearsos">GearsOS</h2> <h3 id="codegearとmetacodegearの関係">CodeGearとmetaCodeGearの関係</h3> @@ -161,7 +197,7 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="gearsos-2">GearsOS</h2> +<h2 id="gearsos-1">GearsOS</h2> <h3 id="context">Context</h3> @@ -187,7 +223,7 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="gearsos-3">GearsOS</h2> +<h2 id="gearsos-2">GearsOS</h2> <h3 id="codegear遷移の流れ">CodeGear遷移の流れ</h3> @@ -201,17 +237,10 @@ <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="unixのファイルシステム">Unixのファイルシステム</h2> - -<p>UnixのファイルシステムはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている</p> - -<h3 id="xv6">xv6</h3> +<h2 id="unixのinode">Unixのinode</h2> <ul> - <li>MITで教育用の目的で開発されたOS</li> - <li>Unixの基本的な構造を持つ</li> - <li>当研究室ではxv6のCbCでの書き換え，分析を行なっている</li> - <li>ファイルシステムではinodeの仕組みが用いられている</li> + <li>UnixのファイルシステムはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている</li> </ul> <h3 id="inode">inode</h3> @@ -222,6 +251,10 @@ <li>inodeはファイルシステム始動時にinode領域をディスク上に確保する</li> </ul> +<!-- ここまで基礎概念 --> + +<!-- 実装したものの説明 --> + </div> @@ -288,7 +321,7 @@ <h3 id="mkdir-1">mkdir</h3> <div style="text-align: center;"> - <img src="figs/mkdir.svg" width="900" /> + <img src="figs/mkdir.svg" width="1100" /> </div> <!-- @@ -354,6 +387,8 @@ --> +<!-- 課題 --> + </div> @@ -380,30 +415,55 @@ <h2 id="gearsosにおけるメモリマネージメントシステム">GearsOSにおけるメモリマネージメントシステム</h2> <ul> - <li>現在，GearsOSはメモリの資源をmallocで用いる</li> <li>メモリとディスク上のデータ構造が等しくなる形で実装したい <ul> <li>単純なコピーでメモリとディスク間のデータやり取りを行うことができる</li> + <li>メモリとディスクのデータアクセスの形式を統一することができる</li> </ul> </li> - <li>ガベージコレクションはCopying GCを用いる</li> </ul> +<div style="text-align: center;"> + <img src="figs/disk-memory.svg" width="900" /> +</div> + </div> <div class='slide'> <!-- _S9SLIDE_ --> -<h2 id="gearsdirectoryまとめ">gearsDirectoryまとめ</h2> +<h2 id="gearsosにおけるメモリマネージメントシステム-1">GearsOSにおけるメモリマネージメントシステム</h2> <ul> - <li>gearsDirectoryの実装について説明した</li> - <li>RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，Unix Likeに構築することが出来た</li> - <li>RedBlackTreeのシンプルなinterfaceにより比較的容易に実装を行うことができた</li> - <li>形式手法とファイルシステムの機能の両面で信頼性の向上が図れると考える</li> + <li>メモリとディスク上のデータ構造が等しくなる形で実装したい + <ul> + <li>単純なコピーでメモリとディスク間のデータやり取りを行うことができる</li> + <li>メモリとディスクのデータアクセスの形式を統一することができる</li> + </ul> + </li> </ul> +<div style="text-align: center;"> + <img src="figs/data-access.svg" width="900" /> +</div> + + + +</div> + +<div class='slide'> + <!-- _S9SLIDE_ --> +<h2 id="gearsosにおけるメモリマネージメントシステム-2">GearsOSにおけるメモリマネージメントシステム</h2> + +<ul> + <li>ガベージコレクションはCopying GCを用いる</li> +</ul> + +<div style="text-align: center;"> + <img src="figs/copying-gc.svg" width="900" /> +</div> + </div> @@ -445,6 +505,32 @@ - レコードのDataをファイルの差分履歴として保持し，日時情報を付け加えることでVersion Control Systemのような機能を持たせることが可能であると考えられる --> +<!-- + +## gearsDirectoryまとめ + +- gearsDirectoryの実装について説明した +- RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，Unix Likeに構築することが出来た +- RedBlackTreeのシンプルなinterfaceにより比較的容易に実装を行うことができた +- 形式手法とファイルシステムの機能の両面で信頼性の向上が図れると考える + +メモ書き + +- [x] GearsAgdaの話入れて，どこに対する実装なのかはっきりさせる +- [x]「CbCでinodeファイルシステムを実装した」ことをはっきりさせる +- [ ] 実装部分と未実装部分をはっきりさせる +- [x] x.v6の話いらない？ -> 研究会で知らない人多分いないからいらない +- [ ] 仮想記憶との関係 これは図にできそう +- [x] まず大きな目的を述べる．その後，今回やったことを述べる + + +この流れがいいだろう + +大きな研究目的 -> 今回の研究 -> 今回の研究に関する基礎概念 +-> 実装したもの -> 実装したものの至らない点 -> 今後実装するものの紹介と考察 + +--> + </div>