Mintオペレーティングシステムにおける実メモリの分配と移譲
6
0
0
全文
(2) Vol.2013-OS-124 No.13 2013/3/1. ใॲཧֶձڀݚใࠂ IPSJ SIG Technical Report 㻻㻿㻜䛾 㻜 ௬䝯䝰䝸. 㻜㻌㻌㻌ᐇ䝯䝰䝸. 㼄 㻡㻝㻞㻹. 㻻㻿㻝䛾 㻜 ௬䝯䝰䝸. 㻻㻿㻜䛾 㻜 ௬䝯䝰䝸. 㻻㻿㻜䝞䝑䝣䜯. 䜹䞊䝛䝹 㻻㻿㻜 䜹䞊䝛䝹 㻻㻿㻝. 㼗㼑㼞㼚㼑㼘 㼠㼑㼤㼠㻌 㼙㼍㼜㼜㼕㼚㼓. 䝬䝑䝢䞁䜾䛧䛯㡿ᇦෆ䛻 䜹䞊䝛䝹㓄⨨ྍ⬟. 㻻㻿㻝䛾 㻜 ௬䝯䝰䝸. 㻜㻌㻌㻌ᐇ䝯䝰䝸 㻻㻿㻝䝞䝑䝣䜯 䜹䞊䝛䝹 㻻㻿㻜. 㼗㼑㼞㼚㼑㼘 㼠㼑㼤㼠㻌 㼙㼍㼜㼜㼕㼚㼓. 㼗㼑㼞㼚㼑㼘 㼠㼑㼤㼠㻌 㼙㼍㼜㼜㼕㼚㼓. 㼄㻌㻨㻌㻡㻝㻞㻹 䍉㻌㻔㻝㻕㻌ྛ㻻㻿䛾㡿ᇦ䛿㐃⥆ 㻔㻞㻕 䜹䞊䝛䝹䛿ඛ㢌㻡㻝㻞㻹㻮௨ෆ 㻔㻟㻕㻌䝞䝑䝣䜯䛿ඛ㢌㻠㻳㻮௨ෆ. 㼄䇻. 䝬䝑䝢䞁䜾䛧䛯㡿ᇦෆ䛻 䜹䞊䝛䝹㓄⨨ྍ⬟. 㻔㻭㻕㻌㻢㻠㼎㼕㼠㻌㻸㼕㼚㼡㼤䛾ᐇ䝯䝰䝸⏝ἲ䛻ᚑ䛳䛯ᐇ䝯䝰䝸ศ㓄. 㼗㼑㼞㼚㼑㼘 㼠㼑㼤㼠㻌 㼙㼍㼜㼜㼕㼚㼓. 䜹䞊䝛䝹 㻻㻿㻝. 㼄䇻䛿⮬⏤ 䍉㻌㻔㻝㻕㻌ྛ㻻㻿䛾㡿ᇦ䛿㠀㐃⥆ 㻔㻞㻕 䜹䞊䝛䝹䜢㓄⨨ྍ⬟䛺㡿ᇦ䜢⮬⏤ 䛻ኚ᭦ྍ⬟ 㻔㻟㻕㻌䝞䝑䝣䜯䜢ඛ㢌㻠㻳㻮௨ෆ䛻ู㓄⨨. 㻔㻮㻕㻌㻹㼕㼚㼠䛾ᐇ䝯䝰䝸ศ㓄. ਤ 1 Mint ͷϝϞϦྫ. ଆΛ͢Δ OS Ҏ֎ɼ512MB ͷྖҬΛׂͨ͠গྔ. 㻜㻌㻌㻌㻌㻌㻌㻌㻌㻌㻌ᐇ䝯䝰䝸. ͷ࣮ϝϞϦ͔͠ར༻Ͱ͖ͳ͍ɽͦ͜Ͱɼ֤ OS ʹࣗ༝ͳׂ 㻜㼤㻝㻜㻜㻜㻜㻜㻌㻌㻌㻌㻔㻝㻹㻕. ߹Ͱ࣮ϝϞϦΛՄೳʹ͢Δ՝͕͋Δɽ 㻜㼤㻝㻜㻜㻜㻜㻜㻜㻌㻌㻔㻝㻢㻹㻕. ߋ͢Δ͜ͱͰɼ֤ OS ʹࣗ༝ͳׂ߹Ͱ࣮ϝϞϦΛՄೳ. 㻜㼤㻞㻜㻜㻜㻜㻜㻜㻌㻌㻔㻟㻞㻹㻕. ʹ͍ͯ͠Δ [5]ɽ࣮ϝϞϦͷ༷ࢠΛਤ 1 ͷ (B) ʹࣔ͠ɼ ҎԼͰઆ໌͢Δɽ֤ OS ʹ 512MB Ҏ্ͷ࣮ϝϞϦΛ. 㻜㼤㻤㻜㻜㻜㻜㻜㻜㻌㻌㻔㻝㻞㻤㻹㻕 㻝㻞㻤㻹㻗㻥㻢㻹㽢㻻㻿ᩘ㻔䠘㻠㻳㻕. Մೳʹ͢ΔͨΊɼ(݅ 2) Λఫഇͨ͠ɽ۩ମతʹɼkernel. text mapping ʹϚοϐϯά͢Δ࣮ϝϞϦྖҬͷઌ಄Λࣗ༝. 㻔㻭㻕㻌䝸䜰䝹䝰䞊䝗㡿ᇦ 㻻㻿㻜㻌㻔㻝㻞㻤㻷㻮㻕 㻻㻿㻝㻌㻔㻝㻞㻤㻷㻮㻕 㻻㻿㻞㻌㻔㻝㻞㻤㻷㻮㻕. 䈈. ͦ͜ͰɼMint ͰɼLinux ʹ͓͚Δ࣮ϝϞϦར༻๏Λม. 㻔㻭㻕㻌㻌䝸䜰䝹䝰䞊䝗㡿 ᇦ 㻔㻝㻹㻮㻕 㻔㻮㻕㻌㼆㻻㻺㻱㼋㻰㻹㻭㻌 㻔㻝㻡㻹㻮㻕 㻔㻯㻕㻌ඹ᭷䝯䝰䝸 㻔㻝㻢㻹㻮㻕 㻔㻰㻕 䝉䜾䝯䞁䝖㓄⨨㡿 ᇦ 㻔㻥㻢㻹㻮㻕 㻔㻱㻕㻌䝞䝑䝣䜯㡿ᇦ 㻔㻥㻢㻹㻮㽢㻻㻿ᩘ㻕. 㻔㻱㻕㻌䝞䝑䝣䜯㡿ᇦ 㻻㻿㻜㻌㻔㻥㻢㻹㻮㻕 㻻㻿㻝㻌㻔㻥㻢㻹㻮㻕 㻻㻿㻞㻌㻔㻥㻢㻹㻮㻕 㻔㻲㻕㻌ศ㡿ᇦ 䜹䞊䝛䝹. 㻔㻲㻕㻌ศ㡿ᇦ 㻜㼤㼎㼏㼎㻥㼏㻜㻜㻜㻌㻔⣙㻟㻳㻕 㻜㼤㻝㻜㻜㻜㻜㻜㻜㻜㻜㻌㻌㻌㻌㻔㻠㻳㻕. 㻻㻿㻜. 㻔㻳㻕㻌㻵㻻㻹㻱㻹㻌 㻔⣙㻝㻳㻮㻕. ʹมߋՄೳʹ͠ɼΧʔωϧΛࣗ༝ͳΞυϨεʹஔՄೳʹ 䜹䞊䝛䝹. ͨ͠ɽ(݅ 2) ͷఫഇͷΈͰɼ(݅ 3) ʹΑΓɼ֤ OS ʹ. 㻔㻲㻕㻌ศ㡿ᇦ. 4GB Ҏ্ͷ࣮ϝϞϦΛׂΓͯͰ͖ͳ͍͕Δɽͦ. 㻻㻿㻝 䜹䞊䝛䝹 㻻㻿㻞. ͜ͰɼόοϑΝྖҬΛ࣮ϝϞϦͷઌ಄͔Βผ్ஔ͢Δ͜ ͱͰɼ(݅ 3) Λఫഇͨ͠ɽ͜ΕʹΑͬͯɼ֤ OS ͷ. 䝯䝰䝸䛸䛧䛶⏝ྍ. 㻝㻢㻹㻮ቃ⏺. ྖҬඇ࿈ଓͱͳΔͨΊɼ(݅ 1) ఫഇͨ͠ɽҎ্ʹΑ Γɼ֤ OS ʹࣗ༝ͳׂ߹Ͱ࣮ϝϞϦΛͰ͖Δɽ લઅͷରॲʹ࣮͍ͨͮجϝϞϦͷ࣮ࣜํݱΛਤ 2 ʹ ࣔ͠ɼҎԼͰઆ໌͢ΔɽMint Ͱɼ࣮ϝϞϦΛҎԼͷ 7 ͭ ͷྖҬʹ͚ɼཧ͍ͯ͠Δɽ. ਤ 2. Mint ʹ͓͚Δ࣮ϝϞϦͷ༷ࢠ. ঢ়ଶཧ࣮ϝϞϦ༗ঢ়ଶཧͷͨΊͷ OS ؒ௨৴ ʹ༻͢Δɽ. (D) 0x2000000(32M) ͔Β 0x7ffffff(128M-1) ൪·Ͱɼ. (A) 0 ͔Β 0xfffff(1M-1) ൪·ͰɼϦΞϧϞʔυྖҬͰ. ηάϝϯτஔྖҬͱ͢Δɽ͜ΕɼMint ʹ͓͚Δ. ͋Γɼ͜ͷ͏ͪ༻Ͱ͖ΔྖҬઌ಄ͷ 640KB Ͱ͋. OS ىಈͷࡍɼΧʔωϧຊମͱॳ ظRAM σΟεΫͱ. Δɽ͜ͷྖҬɼOS ͕ىಈͷॳظஈ֊ʹҰ࣌తʹ. ͍ͬͨσʔλΛҰ࣌తʹஔ͢ΔͨΊͷྖҬͰ͋Δɽ. ༻͢ΔͨΊɼ֤ OS ʹ͠ͳ͚ΕͳΒͳ͍ɽOS1. (E) 0x8000000(128M) ൪͔Β࢝·ΔྖҬɼόοϑΝྖ. ͭʹ͖ͭɼඞཁͳେ͖͞ 128KB Ͱ͋Δɽ. (B) 0x100000(1M) ͔ Β 0xffffff(16M-1) ൪ · Ͱ ɼ. Ҭͱ͢Δɽ2.1 અͷ (݅ 3) Λຬͨͨ͢ΊͷྖҬͱ͠ ͯɼOS1 ͭʹ͖ͭ 96MB ͣͭ͢Δɽͨͩ͠ɼ(. ZONE DMA Ͱ͋Δɽ͜ͷྖҬɼISA σόΠε༻. ݅ 3) ͷͨΊɼόοϑΝྖҬ࣮ϝϞϦͷઌ಄ 4GB Ҏ. ͷϑϨʔϜόοϑΝΛஔ͢ΔͨΊͷྖҬͰ͋Δɽ. ͱ͢Δɽ֤ OS ɼ͜ͷྖҬʹόοϑΝΛஔ͠. ISA σόΠεɼ͍ݹσόΠεͰ͋ΓɼͰࡏݱར༻. ͨΓͷ෦Λࣗ༝ʹ༻͢Δɽ. ස͍ɽ͜ͷͨΊɼZONE DMA Λ OS ʹ͠. (F) όοϑΝྖҬ (E) ʹޙଓ͢ΔྖҬ͔Β IOMEM Λআ͘. ͳ͘ͱɼOS ߦͰ͖Δɽ͜͜ͰɼZONE DMA. ྖҬɼׂྖҬͱ͢ΔɽׂྖҬɼ16MB ڥքʹ. ɼ༻ͤͣ༧͓ͯ͘͠ɽ. ैͬͯɼ֤ OS ʹ͢Δɽ֤ OS ɼ͜ͷྖҬʹ. (C) 0x1000000(16M) ͔Β 0x1ffffff(32M-1) ൪·Ͱɼڞ ༗ϝϞϦͱͯ͠༻͢ΔɽMint ʹ͓͍ͯɼίΞ༗. c 2013 Information Processing Society of Japan. ΧʔωϧΛஔ͠ɼྖҬΛࣗ༝ʹ༻͢Δɽ. (G) 0xbcb9c000( 3G) ͔Β 0xffffffff(4G-1) ൪·Ͱɼ 2.
(3) Vol.2013-OS-124 No.13 2013/3/1. ใॲཧֶձڀݚใࠂ IPSJ SIG Technical Report. 㻔ᶵ⬟㻝㻕. 㻔ᶵ⬟㻞㻕. ᐇ䝯䝰䝸 ⤌䜏㎸䜏 㼎㼘㼛㼏㼗. 㻻㻿⟶⌮እ. 㼛㼒㼒㼘㼕㼚㼑. 㼛㼚㼘㼕㼚㼑 ྲྀ䜚እ䛧. ᤄᢤ. 䖣. 䘡. 䘡. ⏝. 䘡. 䘡. 䖣. ਤ 3. 䜲䞁䝍䝣䜵䞊䝇 㻭㻯㻼㻵 㼟㼥㼟㼒㼟. ϝϞϦϗοτϓϥάػೳͱ block ঢ়ଶͷؔ. IOMEM Ͱ͋Δɽ͜ͷྖҬͷઌ಄ΞυϨεɼϋʔυ ΣΞʹΑͬͯҟͳΔɽ. ্هͷػೳͱ block ͷঢ়ଶͱͷؔΛਤ 3 ʹࣔ͠ɼҎԼ Ͱઆ໌͢Δɽਤͷࠨͷ block ɼϖʔδཧσʔλߏ͕. ্هͷํࣜͰɼىಈՄೳͳ OS ͷ࠷େɼόοϑΝ. ࡞͞Ε͓ͯΒͣɼOS ཧ֎ͷঢ়ଶͰ͋Δɽ͜ͷঢ়ଶͰ. ྖҬΛՄೳͳʹΑܾͬͯఆ͞Εɼ࠷େͰ 30 ͱͳΔɽ. ɼ࣮ϝϞϦͷૠൈ͕Ͱ͖Δɽਤͷதԝͷ block ɼOS ͷ. ϦΞϧϞʔυྖҬΛՄೳͳ 5 ɼىಈՄೳͳ OS ͷ. ཧԼʹ͋Δ͕ɼར༻Ͱ͖ͳ͍ offline ঢ়ଶͰ͋Δɽ͞Β. ࠷େͱͳΒͳ͍ɽͳͥͳΒɼϦΞϧϞʔυ෦ (A) . ʹɼਤͷӈͷ block ɼར༻Ͱ͖Δ online ঢ়ଶͰ͋Δɽ্. OS ىಈͷॳظஈ֊ͰͷΈ༻͢ΔͨΊɼOS ͷىಈ࣌ظΛ. هͷ (ػೳ 1) ʹΑͬͯ OS ཧ֎ͷঢ়ଶͱ offline ঢ়ଶΛ. ͣΒ͢͜ͱͰɼෳ OS Ͱ͖Ͱ༻ڞΔͨΊͰ͋Δɽ ɼOS ͕ϋʔυΣΞ͔Βऔಘ͢Δ࣮ϝϞϦϚο ϓΛ OS ຖʹॻ͖͑ɼOS ͷ༻͠ͳ͍ྖҬΛ༧ྖҬ. Γସ͑Ͱ͖ɼ(ػೳ 2) ʹΑͬͯ offline ঢ়ଶͱ online ঢ়ଶΛ Γସ͑Ͱ͖Δɽ ্هͷ (ػೳ 2) ͷͨΊɼϝϞϦϗοτϓϥάػೳͰ. ͱͯͤ͠ݟΔ͜ͱͰ࣮͍ͯ͠ݱΔɽ. ϖʔδ֬อͷͱߏػϖʔδϚΠάϨʔγϣϯߏػΛ࣮. 3. ϝϞϦϗοτϓϥάػೳ. ͍ͯ͠ݱΔɽϖʔδ֬อͷͰߏػɼະ༻ϖʔδ· ͨϢʔβϖʔδͷΈΛஔ͢Δ࣮ϝϞϦྖҬΛઃఆͰ͖. 3.1 Linux ͷϝϞϦϗοτϓϥάػೳ. Δɽ͜ΕʹΑΓɼઃఆͨ͠ block Λඞͣ offline ঢ়ଶʹมߋ. 3.1.1 ػೳ. Ͱ͖Δ͜ͱΛอূͰ͖Δɽ. Linux ͷϝϞϦϗοτϓϥάػೳ [6] ʹҎԼͷ 2 ͭͷ. ϖʔδϚΠάϨʔγϣϯͰߏػɼblock ͷঢ়ଶΛ online. ػೳ͕͋Δɽ. ͔Β offline ʹ͢Δॲཧʹ͓͍ͯɼ༻ϖʔδΛଞͷ block. (ػೳ 1) ϖʔδཧσʔλߏͷՃͱআ. ʹ͍ग़͢ॲཧΛ࣮͍ͯ͠ݱΔɽ. ࣮ϝϞϦྖҬͷ༻ͷͨΊɼྫ͑ϖʔδςʔϒϧ. 3.1.2 ॲཧͷྲྀΕ. page ߏମͱ͍ͬͨϖʔδཧσʔλߏ͕ඞཁͰ͋. (ػೳ 2) ʹ͍ͭͯɼblock ͷঢ়ଶΛ online ʹ͢Δॲཧ (Ҏ. Δɽ௨ৗͰɼ͜ΕΒΛ OS ىಈ࣌ʹ࡞͠ɼOS ىಈ. ߱ɼΈࠐΈͱ ͱ )Ϳݺoffline ʹ͢Δॲཧ (Ҏ߱ɼऔΓ֎. ޙͷՃআͰ͖ͳ͍ɽϝϞϦϗοτϓϥάػೳ. ͠ͱ )ͿݺͷྲྀΕΛͦΕͧΕਤ 4 ͱਤ 5 ʹࣔ͠ɼҎԼͰઆ. Ͱɼ͜ΕΒΛ OS ىಈʹޙՃআՄೳʹ͢Δɽ. ໌͢Δɽ. (ػೳ 2) ࣮ϝϞϦྖҬͷ༻Մ൱ͷΓସ͑. ࣮ϝϞϦͷϖʔδΛཧ͢Δσʔλߏͱͯ͠ page ߏ. ϖʔδཧσʔλߏΛ࡞ࡁΈͷྖҬʹ͍ͭͯɼ. ମ͕ϖʔδຖʹ͋Δɽpage ߏମͷ reserved ϑϥάΛ. ༻Մ൱ͷΓସ͑ૢ࡞͕Ͱ͖Δɽ࣮ϝϞϦྖҬΛ. ηοτ͢Δ͜ͱͰɼ֘ϖʔδͷ֬อΛఀࢭͰ͖Δɽ͜Ε. ༻͢Δঢ়ଶΛ online ͱͼݺɼ༻͠ͳ͍ঢ়ଶΛ offline. Λར༻͠ɼΈࠐΈͱऔΓ֎͠Λ࣮͍ͯ͠ݱΔɽ. ͱͿݺɽͨͩ͠ɼoffline ঢ়ଶʹΓସ͑Ͱ͖Δ࣮ϝϞ. ΈࠐΈͰɼ֘ block ͷ֤ϖʔδʹ͍ͭͯɼpage ߏ. ϦྖҬɼະ༻ϖʔδ·ͨϢʔβϖʔδ͔ΒͳΔ. ମͷ reserved ϑϥάΛΫϦΞ͢Δɽreserved ϑϥάͷΫ. ྖҬͷΈͰ͋Δɽ. ϦΞʹࣦഊͨ͠ϖʔδ͕͋ΕɼΈࠐΈΛҟৗऴྃ͢Δɽ. ͜ΕΒ 2 ػೳΛద༻͢Δ࣮ϝϞϦͷ࠷খ୯Ґɼblock ୯. block தͷલϖʔδͰ reserved ϑϥάͷΫϦΞʹޭ͢Δ. ҐͰ͋ΔɽLinux Ͱɼ࣮ϝϞϦΛઌ಄͔Βݻఆͷ block. ͱɼ֤ϖʔδΛ free Ϧετʹొ͠ɼΈࠐΈΛਖ਼ৗऴྃ. ʹׂͯ͠ཧ͢Δɽblock ͷେ͖͞ΞʔΩςΫνϟʹ. ͢Δɽ. ΑͬͯҟͳΓɼྫ͑ x86 64 Ͱ 1block 128MB Ͱ͋. औΓ֎͠Ͱɼ֘ block ͔ΒͷϝϞϦ֬อΛఀࢭ͢Δɽ. Δɽ֤ block ʹɼ࣮ϝϞϦͷઌ಄ଆ͔Βॱʹ 0 ൪͔Β࢝. ֘ block ʹ༻ϖʔδ͕͋Δ߹ɼϖʔδϚΠάϨʔ. ·Δ൪߸͕͚ΒΕΔɽ͜ͷ൪߸ɼ࣮ϝϞϦͷ༰ʹΑ. γϣϯʹߏػΑΓɼϖʔδΛଞͷ block ʹ͍ग़͢ɽϖʔ. Β͚ͣΒΕɼྫ͑ IOMEM ͷΈ͔ΒͳΔ block ʹ. δͷ͍ग़͠ޙɼϖʔδͷ reserved ϑϥάΛηοτ͢Δɽ. ͚ΒΕΔɽ. ϖʔδͷ͍ग़͠·ͨϖʔδͷ reserved ϑϥάηοτ. c 2013 Information Processing Society of Japan. 3.
(4) Vol.2013-OS-124 No.13 2013/3/1. ใॲཧֶձڀݚใࠂ IPSJ SIG Technical Report 㛤ጞ. 㻜㻌㻌㻌㻌㻌㻌㻌㻌㻌㻌ᐇ䝯䝰䝸. ᙜヱ㼎㼘㼛㼏㼗䛾䝨䞊䝆䛾 㼞㼑㼟㼑㼞㼢㼑㼐䝣䝷䜾䜢䜽䝸䜰. 㻜㼤㻝㻜㻜㻜㻜㻜㻌㻌㻌㻌㻔㻝㻹㻕. 㻺㼛. ᡂຌ. 㻜㼤㻝㻜㻜㻜㻜㻜㻜㻌㻌㻔㻝㻢㻹㻕. 㼅㼑㼟. 㻜㼤㻞㻜㻜㻜㻜㻜㻜㻌㻌㻔㻟㻞㻹㻕. ᙜヱ㼎㼘㼛㼏㼗䛾䝨䞊䝆䜢 㼒㼞㼑㼑䝸䝇䝖䛻㏣ຍ. 㻜㼤㻤㻜㻜㻜㻜㻜㻜㻌㻌㻔㻝㻞㻤㻹㻕. ṇᖖ⤊䜢ฟຊ. ␗ᖖ⤊䜢ฟຊ. ⤊. ⤊. 㻝㻞㻤㻹㻗㻥㻢㻹㽢㻻㻿ᩘ㻔䠘㻠㻳㻕. 㻔㻭㻕㻌㻌䝸䜰䝹䝰䞊䝗㡿 ᇦ 㻔㻝㻹㻮㻕 㻔㻮㻕㻌㼆㻻㻺㻱㼋㻰㻹㻭㻌 㻔㻝㻡㻹㻮㻕 㻔㻯㻕㻌ඹ᭷䝯䝰䝸 㻔㻝㻢㻹㻮㻕 㻔㻰㻕 䝉䜾䝯䞁䝖㓄⨨㡿 ᇦ 㻔㻥㻢㻹㻮㻕 㻔㻱㻕㻌䝞䝑䝣䜯㡿ᇦ 㻔㻥㻢㻹㻮㽢㻻㻿ᩘ㻕 㻔㻲㻕㻌ศ㡿ᇦ. 㻜㼤㼎㼏㼎㻥㼏㻜㻜㻜㻌㻔⣙㻟㻳㻕 㻜㼤㻝㻜㻜㻜㻜㻜㻜㻜㻜㻌㻌㻌㻌㻔㻠㻳㻕. 㻔㻭㻕䡚㻔㻱㻕䛾⏝䛿 ᣑᙇ๓䛸ྠᵝ. 㻔㻲㻕㻌ศ㡿ᇦ 䜹䞊䝛䝹 㻻㻿㻜. 㻔㻳㻕㻌㻵㻻㻹㻱㻹㻌 㻔⣙㻝㻳㻮㻕 䜹䞊䝛䝹. ਤ 4. block ΈࠐΈͷॲཧྲྀΕ 㻔㻲㻕㻌ศ㡿ᇦ. 㻻㻿㻝 䜹䞊䝛䝹 㻻㻿㻞. 㛤ጞ. ⛣ㆡᑐ㇟. ᙜヱ㼎㼘㼛㼏㼗䛛䜙䛾䝨䞊䝆 ☜ಖṆ. 㻝㻢㻹㻮ቃ⏺ 㻝㻞㻤㻹㻮ቃ⏺. ⛣ㆡᑐ㇟እ 䝯䝰䝸䛸䛧䛶⏝ྍ. 㻺㼛. ᙜヱ㼎㼘㼛㼏㼗䛻 ⏝䝨䞊䝆䛜 䛒䜛 㼥㼑㼟. ਤ 6. ᙜヱ㼎㼘㼛㼏㼗䛾 䝨䞊䝆䛾㏣䛔ฟ䛧 ᡂຌ. (1) block ͷڥքʹԊ͍ͬͯΔ. 㻺㼛. block ͷΈࠐΈͱऔΓ֎͠ͷ୯Ґ block ୯ҐͰ͋. 㼥㼑㼟. ΔͨΊɼblock ͷڥքʹԊͬͨྖҬ͚ͩΛҠৡͰ͖Δɽ. ᙜヱ㼎㼘㼛㼏㼗䛾䝨䞊䝆䛾 㼞㼑㼟㼑㼞㼢㼑㼐䝣䝷䜾䜢䝉䝑䝖 ᡂຌ. Mint ͰϝϞϦϗοτϓϥάػೳΛར༻͢Δ༷ࢠ. (2) ୯ಠͷ OS ͕༻͍ͯ͠Δ 㻺㼛. ෳ OS Ͱׂར༻͍ͯ͠Δ block ɼΈࠐΈͰ͖. 㼅㼑㼟. ͳ͍ɽ ᙜヱ㼎㼘㼛㼏㼗䛾䝨䞊䝆䜢 㼒㼞㼑㼑䝸䝇䝖䛛䜙㝖ཤ. 䝨䞊䝆☜ಖṆ䜢ゎ㝖. ṇᖖ⤊䜢ฟຊ. ␗ᖖ⤊䜢ฟຊ. ⤊. ⤊. (3) ҠಈෆՄೳͳϖʔδΛ͍ͳ·ؚ ۭ͖ϖʔδ·ͨϢʔβϖʔδͷΈΛؚΉ block औ Γ֎͠Ͱ͖ɼҠৡରͱͳΔɽҰํɼྫ͑ɼΧʔω. ਤ 5. block औΓ֎͠ͷॲཧྲྀΕ. ϧϖʔδςʔϒϧΛؚΉ block औΓ֎͠Ͱ͖ͣɼ ҠৡରͱͳΒͳ͍ɽ ਤ 6 ͰɼϦΞϧϞʔυྖҬ (A) ͔ΒόοϑΝྖҬ (E) . ʹࣦഊ͢Δͱɼϖʔδ֬อఀࢭΛղআ͠ɼҟৗऴྃΛग़ྗ. Ҡৡର֎Ͱ͋Δɽ·ͨɼׂྖҬ (F) ʹ͍ͭͯɼ্ه. ͠ɼऔΓ֎͠Λऴྃ͢Δɽ্هͷ྆ํʹޭ͢Δͱɼ֘. ͷ 3 ݅Λຬͨ͢ block ෦ͷΈ͕ҠৡରͱͳΓɼ͜Ε. block ͷϖʔδΛ free Ϧετ͔Βআ͠ڈɼਖ਼ৗऴྃΛग़ྗ. Ҏ֎Ҡৡର֎ͱͳΔɽ۩ମతʹɼ֤ OS ͷׂͭ. ͯ͠औΓ֎͠Λऴྃ͢Δɽ. ྖҬͷ͏ͪɼઌ಄ۙʹΧʔωϧΛஔ͠ɼऴۙʹ. 3.1.3 ΠϯλϑΣʔε. ྫ͑ϖʔδςʔϒϧΛஔ͢Δɽ͜ͷͨΊɼઌ಄ۙ. ϝϞϦϗοτϓϥάػೳɼsysfs ͷૢ࡞ͱ࣮ͯ͠ߦ͢ Δɽ͜ͷࡍɼରͷ block Λબ͢Δɽ. ͱऴۙΛআ͘ block ෦͕ҠৡରͱͳΔɽ. 3.2.2 ਤ 6 ͷํ๏Ͱ࣮ϝϞϦΛར༻͢ΔͱɼҎԼͷ͕. 3.2 Mint Ͱͷ Linux ϝϞϦϗοτϓϥάػೳར༻࣌ͷ. ͋Δɽ. . ( 1) OS ୯ಠϦϒʔτ࣌ʹσʔλΛഁյɿOS ୯ಠ. 3.2.1 ར༻. Ϧϒʔτʹ͓͚Δʹ͍ͭͯਤ 7 ʹࣔ͠ɼҎԼͰઆ. ׂྖҬ (F) ΛϝϞϦϗοτϓϥάػೳʹΑͬͯ͢. ໌͢ΔɽMint ʹ͓͚ΔϦϒʔτॲཧͱͯ͠ɼػࢉܭશ. Δख๏ʹ͍ͭͯɼMint Ͱ Linux ͷϝϞϦϗοτϓϥάػ. ମͷϦϒʔτͱ OS ୯ಠϦϒʔτ͕͋Δɽ୯ಠϦϒʔ. ೳΛར༻͢Δ༷ࢠΛਤ 6 ʹࣔ͠ɼҎԼͰઆ໌͢ΔɽϦΞϧ. τ͢Δ OS ɼ·ͣɼ༗ block ΛશͯऔΓ֎ͯ͠ OS. ϞʔυྖҬ (A) ͔ΒόοϑΝྖҬ (E) ·Ͱɼݱঢ়ͷ Mint. ऴྃ͠ɼͦͷޙɼऔΓ֎ͨ͠ block Λ࠶ͼΈࠐΜͰ. ͱಉ༷ͷํ๏Ͱ͠ɼར༻͢ΔɽׂྖҬ (F) ʹ͍ͭͯ. OS Λىಈ։࢝͢ΔɽOS ऴ͔ྃΒ OS ىಈ։࢝·Ͱͷ. ɼݱঢ়ͷ Mint ͱಉ༷ͷํ๏Ͱ͢Δɽͨͩ͠ɼҎԼͷ. ͍͓ͯʹؒظɼऔΓ֎ͨ͠ block Λߦதͷଞ OS ͕. 3 ݅શͯΛຬͨ͢෦ͷΈΛ࣮ϝϞϦҠৡͷରͱ͢Δɽ. ΈࠐΉ͜ͱ͕͜ىΓ͏Δɽ͜ͷ݁ՌɼϦϒʔτ͢Δ. c 2013 Information Processing Society of Japan. 4.
(5) Vol.2013-OS-124 No.13 2013/3/1. ใॲཧֶձڀݚใࠂ IPSJ SIG Technical Report 㻻㻿㻜䛻 ⤌䜏㎸䜏. 㻜㻌㻌ᐇ䝯䝰䝸. 㻻㻿㻝䛻 ⤌䜏㎸䜏. 㻻㻿㻜䛻 ⤌䜏㎸䜏. 㻻㻿㻜䛻 ⤌䜏㎸䜏. 㻜㻌㻌ᐇ䝯䝰䝸. 㻻㻿㻜䛜 ✵䛝㼎㼘㼛㼏㼗䜢 ⤌䜏㎸䜏. 㻜㻌㻌ᐇ䝯䝰䝸. 㻻㻿㻝䛻 ⤌䜏㎸䜏. 䈈. 䈈. 䈈. 䈈. 㻻㻿㻝䜢⤊. 㻻㻿㻜䛻 ⤌䜏㎸䜏. 㻜㻌㻌ᐇ䝯䝰䝸. 㻻㻿㻝䜢㉳ື 㛤ጞ. 䝕䞊䝍䜢◚ቯ ਤ 7. 㻜㻌㻌㻌㻌ᐇ䝯䝰䝸. 㻻㻿㻜䛻 ⤌䜏㎸䜏. OS ୯ಠϦϒʔτʹ͓͚Δ OS ୯ಠϦϒʔτରॲํࣜͷൺֱ. ද 1. 㻻㻿㻝䛻 ⤌䜏㎸䜏. 䈈. ํࣜ. ํ๏ͷมߋ. OS ىಈʹར༻͢ΔྖҬ. ࣮ݱɹ. (ํࣜ 1). ͋Γ. ݻఆ. গ. (ํࣜ 2). ͳ͠. ಈత. ଟ. ㄗ䛳䛶⤌䜏㎸䜐䛸 䝕䞊䝍䜢◚ቯ 㻻㻿㻝䛛䜙 ᢕᥱྍ⬟. ͘ɽOS ɼϦϒʔτͷࡍɼऴྃஈ֊ͰҠৡରྖҬ. 㻻㻿㻜䛛䜙 ᢕᥱྍ⬟. ΛऔΓ֎͢ɽ·ͨɼىಈஈ֊ͰɼҠৡର֎ྖҬͷ ਤ 8. ࣮ϝϞϦྖҬͷΈࠐΈʹ͓͚Δ. ΈΛ༻͍ͯ OS Λىಈ͢ΔɽϦϒʔτޙྃɼ࣮ϝϞ ϦҠৡʹΑͬͯҠৡରྖҬͷ block ΛΈࠐΈɼඞ. 㻜. ᐇ䝯䝰䝸 㻻㻿㻝 㻻㻿㻜 㻻㻿㻝 㻻㻿㻜. 㻜 㻔㻝㻕㻌⤊䠖 ྲྀ䜚እ䛧 㻔㻞㻕㻌㉳ືᚋ㻦䠖 䝯䝰䝸䝩䝑䝖 䝥䝷䜾䛷⤌ 䜏㎸䜏. ᐇ䝯䝰䝸. 㻻㻿㻝. ཁͳ࣮ϝϞϦྔΛ͢Δɽ 㻔㻝㻕㻌⤊䠖 ྲྀ䜚እ䛧 㻔㻞㻕㻌㉳ື䠖 ືⓗ䛻☜ಖ. 㻻㻿㻜. 㻻㻿㉳ື⏝䛻 ண⣙. 㻔᪉ᘧ㻝㻕㻌⛣ㆡᑐ㇟እ㡿ᇦ 䛾䜏䜢㻻㻿㉳ື䛻ศ㓄. ਤ 9. (ํࣜ 2) OS ىಈ࣌ʹ࣮ϝϞϦΛಈత֬อՄೳʹ͢Δɿ OS ىಈ࣌ʹҠৡରྖҬͷະ༻ block Λ୳ࡧ͠ɼಈ త֬อՄೳʹ͢Δɽ࣮ϝϞϦํࣜɼมߋ͠ͳ͍ɽ. ⛣ㆡᑐ㇟. OS ɼϦϒʔτͷࡍɼऴྃஈ֊ͰҠৡରྖҬΛऔΓ. ⛣ㆡᑐ㇟እ. ֎͢ɽ·ͨɼىಈஈ֊Ͱɼඞཁͳ block ΛҠৡର. 㻔᪉ᘧ㻞㻕㻌㻻㻿㉳ື䛻ᐇ䝯 䝰䝸䜢ືⓗ☜ಖྍ⬟䛻. OS ୯ಠϦϒʔτରॲͷํࣜ. ྖҬ͔Β֬อ͢Δɽ͜ΕʹΑΓɼҠৡର֎ྖҬͱ֬ อͨ͠ҠৡରྖҬͷ྆ํΛ༻ͯ͠ OS Λىಈ͢Δɽ. 2 ํࣜͷൺֱΛද 1 ʹࣔ͠ɼҎԼͰઆ໌͢Δɽ(ํࣜ 1) ͰɼOS ىಈஈ֊Ͱ͢Δ࣮ϝϞϦྖҬΛ੩తʹܾఆ. OS ͕ىಈ։࢝͢ΔͱɼಉҰ block Λෳ OS ʹΈࠐ. ͍ͯ͠ΔͨΊɼOS ىಈஈ֊Ͱͷ block ֬อඞཁͳ͍ɽҰ. Ή͜ͱʹͳΓɼ͍ޓͷσʔλΛഁյ͢Δɽ. ํɼ(ํࣜ 2) ͰɼOS ىಈஈ֊Ͱ block Λಈతʹ֬อ͢Δ. ( 2) ଞ OS ͷ࣮ϝϞϦΈࠐΈঢ়ଶΛѲෆՄೳɿ. ͨΊɼblock ͷഉଞߏػΛૢ࡞͢Δඞཁ͕͋Δɽblock ͷ֬. ࣮ϝϞϦྖҬͷΈࠐΈʹ͓͚Δʹ͍ͭͯਤ 8 ʹ. อɼOS ىಈʹޙ༰қʹߦ͑ΔͷͷɼOS ىಈஈ֊Ͱ. ࣔ͠ɼҎԼͰઆ໌͢ΔɽMint Ͱ Linux ͷϝϞϦϗο. ߦ͏͜ͱ͍͠ɽ·ͨɼ(ํࣜ 2) Ͱ block ͷ֬อࣦഊ. τϓϥάػೳΛར༻͢Δͱɼ֤ OS ࣗ༝ʹ block ͷ. ࣌ͷରॲ͕ඞཁͱͳΔɽҎ্͔Βɼ(ํࣜ 1) (ํࣜ 2). ΈࠐΈͱऔΓ֎͠Λߦ͑Δɽ͜ͷࡍɼMint ͷ֤ OS. ΑΓগͳ͍Ͱ࣮͖ͰݱΔɽ. ͍ޓͷ࣮ϝϞϦΈࠐΈঢ়ଶΛѲͰ͖ͳ͍ɽ͜ͷ ͨΊɼ1 ͭͷ࣮ϝϞϦྖҬΛͯͬޡෳ OS ʹΈࠐ Έɼ͍ޓͷσʔλΛഁյ͢ΔՄೳੑ͕͋Δɽ. 4. ࣮ϝϞϦͷͱҠৡ 4.1 OS ୯ಠϦϒʔτͷରॲ 4.1.1 ରॲ ( 1) ʹର͢Δ 2 ͭͷରॲํࣜΛਤ 9 ʹࣔ͠ɼҎԼ. (ํࣜ 2) ͰɼOS ىಈஈ֊Ͱͷ࣮ϝϞϦྔΛಈతʹௐ Ͱ͖Δར͋Δͷͷɼར༻໘গͳ͍ɽ Ҏ্ͷ͜ͱ͔Βɼ(ํࣜ 1) গͳ͍ͰରॲΛ࣮Ͱݱ ͖ɼ͔ͭɼརʹ͓͍ͯ (ํࣜ 2) ͱଝ৭͕ͳ͍ɽ͜ͷͨΊɼ. (ํࣜ 1) ʹ͍ͯجରॲ͢Δɽ 4.1.2 ࣮ࣜํݱ ্هͷରॲʹ࣮͍ͨͮجϝϞϦͷ༷ࢠΛਤ 10 ʹࣔ ͠ɼҎԼͰઆ໌͢ΔɽϦΞϧϞʔυྖҬ (A) ͔ΒόοϑΝ. Ͱઆ໌͢Δɽ. ྖҬ (E) ͷׂํ๏ʹ͍ͭͯɼ3.2.1 ߲ͱಉ༷Ͱ͋Δɽ͜. (ํࣜ 1) Ҡৡର֎ྖҬͷΈΛ OS ىಈ࣌ʹ͢Δɿ. ΕΒͷྖҬɼҠৡର֎Ͱ͋Δɽ. ࣮ϝϞϦํࣜΛมߋ͠ɼׂྖҬ (F) ΛҠৡର. ׂྖҬ (F) ɼ͋ΒͨʹҠৡରྖҬ (F-a) ͱҠৡର. ྖҬͱҠৡର֎ྖҬʹ͚ΔɽҠৡର֎ྖҬɼ. ֎ྖҬ (F-b) ͷ 2 ͭʹ͚Δɽ͜ΕΒɼͲͪΒ block. OS ىಈʹेͳେ͖͞ͱ͠ɼOS ىಈ༻ʹ༧͓ͯ͠. ͷڥքʹै͍ͬͯΔɽ. c 2013 Information Processing Society of Japan. 5.
(6) Vol.2013-OS-124 No.13 2013/3/1. ใॲཧֶձڀݚใࠂ IPSJ SIG Technical Report. σʔλഁյΛ͙ɽ·ͨɼ࣮ϝϞϦྖҬͷഉଞͷͨΊʹɼ 㻜㻌㻌㻌㻌㻌㻌㻌㻌㻌㻌ᐇ䝯䝰䝸 㻜㼤㻝㻜㻜㻜㻜㻜㻌㻌㻌㻌㻔㻝㻹㻕 㻜㼤㻝㻜㻜㻜㻜㻜㻜㻌㻌㻔㻝㻢㻹㻕 㻜㼤㻞㻜㻜㻜㻜㻜㻜㻌㻌㻔㻟㻞㻹㻕 㻜㼤㻤㻜㻜㻜㻜㻜㻜㻌㻌㻔㻝㻞㻤㻹㻕. 㻔㻭㻕㻌㻌䝸䜰䝹䝰䞊䝗㡿 ᇦ 㻔㻝㻹㻮㻕 㻔㻮㻕㻌㼆㻻㻺㻱㼋㻰㻹㻭㻌 㻔㻝㻡㻹㻮㻕 㻔㻯㻕㻌ඹ᭷䝯䝰䝸 㻔㻝㻢㻹㻮㻕 㻔㻰㻕 䝉䜾䝯䞁䝖㓄⨨㡿 ᇦ 㻔㻥㻢㻹㻮㻕 㻔㻱㻕㻌䝞䝑䝣䜯㡿ᇦ. 㻝㻞㻤㻹㻗㻥㻢㻹㽢㻻㻿ᩘ㻔䠘㻠㻳㻕 㻔㻲㻕 ศ㡿ᇦ 㻜㼤㼎㼏㼎㻥㼏㻜㻜㻜㻌㻔⣙㻟㻳㻕 㻜㼤㻝㻜㻜㻜㻜㻜㻜㻜㻜㻌㻌㻌㻌㻔㻠㻳㻕. 㻔㻳㻕㻌㻵㻻㻹㻱㻹㻌㻔⣙ 㻝㻳㻮㻕. ڞ༗ཧදͰ࣮ϝϞϦ༗ঢ়ଶΛཧ͢Δɽ 㻔㻭㻕䡚㻔㻱㻕䛾⏝䛿 ᣑᙇ๓䛸ྠᵝ. ͞Εͨ՝ͱͯ͠ɼධՁ͕͋Δɽ ँࣙ ຊڀݚͷҰ෦ɼՊֶڀݚඅิॿۚج൫( ڀݚB)(՝. 㻔㻲㻙㼍㻕㻌⛣ㆡᑐ㇟㡿ᇦ 㻻㻿㻞 㻻㻿㻝 㻻㻿㻝 㻻㻿㻜 㻻㻿㻜 㻻㻿㻜 㻻㻿㻜. 㻔㻲㻕㻌ศ㡿ᇦ 㻜㼤㻞㻟㼑㻢㻜㻜㻜㻜㻜㻌㻔⣙㻥㻳㻕. 㻔㻲㻙㼎㻕㻌⛣ㆡᑐ㇟እ㡿ᇦ 䜹䞊䝛䝹 㻻㻿㻞㻌㻔㻝㻞㻤㻹㻮㻕 䜹䞊䝛䝹 㻻㻿㻝㻌㻔㻝㻞㻤㻹㻮㻕 䜹䞊䝛䝹 㻻㻿㻜㻌㻔㻝㻞㻤㻹㻮㻕. ⛣ㆡᑐ㇟. ൪߸ɿ24300008) ʹΑΔɽ. ࢀߟจݙ [1]. [2]. 㻝㻞㻤㻹㻮ቃ⏺. ⛣ㆡᑐ㇟እ 䝯䝰䝸䛸䛧䛶⏝ྍ. ਤ 10. [3]. OS ୯ಠϦϒʔτʹରॲ࣮ͨ͠ϝϞϦ. ҠৡରྖҬ (F-a) ɼϦϒʔτͷࡍʹɼϦϒʔτ ࣮ྃʹޙϝϞϦҠৡػೳͰΈࠐΉɽ·ͨɼϦϒʔτྃ. [4]. ʹޙɼࣗ༝ʹҠৡͰ͖ΔɽҰํɼҠৡର֎ྖҬ (F-b) ɼϦϒʔτͷࡍɼOS ͷىಈஈ֊͔Β OS ʹ͓ͯ͠ ͘ɽ·ͨɼOS ͷىಈ͔Βऴྃ·Ͱɼಉ͡ OS ʹ͢Δɽ ҠৡରྖҬ (F-a) ΛҠৡͰ͖Δ͜ͱΛอূ͢ΔͨΊɼ. [5]. ϖʔδछྨʹΑΔϖʔδ֬อͷߏػΛར༻͢Δɽ۩ମ తʹɼҠৡରྖҬ (F-a) ʹҠಈՄೳͳϢʔβϖʔδ ͷΈΛஔ͢ΔΑ͏ઃఆ͢Δɽ Ҡৡର֎ྖҬ (F-b) ʹ͍ͭͯɼ͋Β͔͡ΊΛ੩. [6]. Boyd-Wickizer, S., Clements, A. T, Mao, Y., Pesterev, A., Kaashoek, M. F, Morris R. and Zeldovich N.: An analysis of Linux scalability to many cores, Proceedings of the 9th USENIX conference on Operating systems design and implementation (OSDI’10), pp. 1-8, (2010). Paul, B., Boris, D., Keir, F., Steven, H., Tim, H., Alex, H., Rolf, N., Ian, P. and Andrew, W.: Xen and the Art of Virtualization, Proceedings of the 19th ACM Symposium on Operating Systems Principles, pp.164-177, (2003). Jeremy, S., Ganesh, V. and Beng-Hong, L.: Virtualizing I/O Devices on VMware Workstation’s Hosted Virtual Machine Monitor, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, pp.1-14, (2001). ઍ࡚ྑଠ, தݪେو, ڇඌ༟, ยԬ, ҄ా༞Ұ, ೫ଜೳ , ୩ޱल: ϚϧνίΞʹ͓͍ͯෳͷ Linux Χʔω ϧΛߦͤ͞Δ Mint ΦϖϨʔςΟϯάγεςϜͷઃܭ ͱධՁ, ిࢠใ௨৴ֶձٕज़ڀݚใࠂ, vol.110, no.278, pp.29-34, (2010). ٶਗ਼ਓɼ೫ଜೳɼ୩ޱल: Mint ΦϖϨʔςΟϯά γεςϜʹ͓͚Δ࣮ϝϞϦ๏, ใॲཧֶձڀݚใ ࠂ, 2012-OS-122, No. 16, pp. 1-6, (2012). Joel, S., Dave, H., Mike, K., Hirokazu, T., Iwamoto, T., Yasunori, G., Kamezawa, H., Matt, T. and Bob, P.: Hotplug Memory Redux, Proceedings of the 2005 Linux Symposium, Vol. 2, pp. 151-174, (2005).. తʹܾΊ͓ͯ͘ඞཁ͕͋Δɽ۩ମతʹɼMint Ͱىಈ͢ Δ OS ͚ͩͷ block Λ࣮ϝϞϦऴଆ͔Β༧͠ɼ֤ OS 1block ΛҠৡର֎ྖҬ (F-b) ͱ͢Δɽ͕ͨͬͯ͠ɼ֤. OS ɼ96MB ͷόοϑΝྖҬ (E) ͱ 128MB ͷҠৡର֎ ྖҬ (F-b) ͷ߹ ܭ224MB ͷྖҬΛ੩తʹ༗ͯ͠ىಈ͢ Δɽ͜ͷྔɼ64bit ͷ Vanilla Linux ͷىಈʹेͰ͋Δɽ. 4.2 ࣮ϝϞϦྖҬͷഉଞ ֤ OS ͷ࣮ϝϞϦঢ়ଶΛҰՄೳʹ͠ɼ͔ͭಉҰ ͷ࣮ϝϞϦྖҬΛෳ OS ʹΈࠐΉ͜ͱΛ͙ͨΊɼڞ ༗ཧදΛ༻͍࣮ͯϝϞϦྖҬΛഉଞ͢Δɽڞ༗ཧදʹ ɼ֤ block ʹରԠ͢ΔΤϯτϦΛઃ͚ɼ֤ block ͷ ঢ়ଶΛ֨ೲ͢Δɽ. 5. ·ͱΊ Mint ʹ͓͍ͯɼOS ؒͰ࣮ϝϞϦͷҠৡΛ࣮͢ݱΔํࣜ ʹ͍ͭͯड़ɼ՝ͱରॲΛ໌Β͔ʹͨ͠ɽ ࣮ϝϞϦҠৡʹɼLinux ͷϝϞϦϗοτϓϥάػೳΛ ར༻͢Δɽ՝ͱͯ͠ɼOS ୯ಠϦϒʔτͷରॲͱ࣮ϝ ϞϦྖҬͷഉଞ͕͋ΔɽOS ୯ಠϦϒʔτͷରॲͷͨΊ ʹɼ࣮ϝϞϦ๏Λมߋ͠ɼOS ىಈ࣌ʹ OS ૬ޓͷ. c 2013 Information Processing Society of Japan. 6.
(7)
関連したドキュメント
例えば,立証責任分配問題については,配分的正義の概念説明,立証責任分配が原・被告 間での手続負担公正配分の問題であること,配分的正義に関する
⏫⏣ᕷ䠎 㻝㻦㻜㻥 㻜㻦㻡㻡 㻝㻦㻜㻞 㻜㻦㻝㻣 㻜㻦㻝㻞 㻜㻦㻝㻡 㻙㻜䠖㻠㻣 㻙㻜䠖㻟㻝 ඵ⋤Ꮚᕷ 㻟㻦㻡㻜 㻡㻦㻝㻜 㻠㻦㻟㻜 㻝㻦㻞㻠 㻝㻦㻝㻜
施設 平成17年 平成18年 平成19年 平成20年 平成21年 平成22年 平成23年 平成24年 平成25年 平成26年 10年比 松島海岸 㻟㻘㻠㻝㻥㻘㻜㻜㻜
䈜ヨ㦂್䜢ྵ䜑Ᏻഃ䛻㓄៖
の主として労働制的な分配の手段となった。それは資本における財産権を弱め,ほとん
英国のギルドホール音楽学校を卒業。1972
㻞㻜㻝㻣ᖺᗘ Ꮫᰯྡ Ặྡ ᑐ㇟䛾䜽䝷䝇ᩘ⏕ᚐᩘ ᐇ᪥ ᐇ㦂ෆᐜ ᅇ䛾ྲྀ⤌䛻 䜘䛳䛶䜒䛯䜙䛥 䜜䛯ຠᯝ ၥ㢟Ⅼ䜔ᨵၿ 䛧䛯᪉䛜Ⰻ䛔Ⅼ ༸䛾␒ྕ䠄㻌䚷䠍䚷䠅
小学校における環境教育の中で、子供たちに家庭 における省エネなど環境に配慮した行動の実践を させることにより、CO 2