ARC vs. GC？ARC in GC？

https://iosdc.jp/2017/node/1349

Transcript

1. iOSDC JAPAN 2017 #1349 ARC vs. GCʁARC in GCʁ @S_Shimotori
2. ͩΕʁ • @S_Shimotori / @S_Shimotori_pub • ϞϥτϦΞϜ ֶੜ • Swift͕޷͖ͳͷͰSwiftΛॻ͍͍ͯ·͢ • SPMΛ΍ͬͨΓiOSΛ΍ͬͨΓ͠·͢
3. ARC vs. GC ʘŲōŘŕ!!ʗ
4. ਓྨ͸ARCͱGCΛൺֱ͕ͪ͠ • GCΛ΍ΊͯARCʹ͠·͢ - Apple Guides and Sample Code[1] • ARCͱGCͷҧ͍ͬͯͳʹ - Stack Overflow[2] • ARC͔ΒGCʹม͑ͨ΄͏͕͍͍Μ͡Όͳ͍ͷ - Swift evolution[3] [1] https://developer.apple.com/library/content/releasenotes/ObjectiveC/RN-TransitioningToARC/Introduction/Introduction.html [2] https://stackoverflow.com/questions/7874342/what-is-the-difference-between-objective-c-automatic-reference-counting-and-garb [3] https://lists.swift.org/pipermail/swift-evolution/Week-of-Mon-20160208/009403.html 4
5. • ͋ͷJVM͕࠾༻ͨ͠ϝϞϦ؅ཧํ๏ • ώʔϓྖҬΛෳ਺(youngྖҬͱoldྖҬͳͲ)ʹ෼͚ͯ࢖͏ • youngྖҬ͔Βॱ൪ʹ࢖͍ͬͯ͘ • શྖҬΛ࢖͍੾ͬͨ࣌ͷϑϧGC͕ා͍ • JVMʹ͸ΨϕʔδίϨΫλ͕ෳ਺༻ҙ͞Ε͍ͯΔ • ༻్ʹ߹ͬͨΞϧΰϦζϜͷ΋ͷΛ࢖͏ ΈΜͳେ޷͖ʮΨϕʔδίϨΫγϣϯʯ 5 ͦΕΛGCͬͯݴ͍͍ͬͯͷʁʁ ❌
6. ͜Ε͕ຊ౰ͷΨϕʔδίϨΫγϣϯʂ • ࣗಈͰෆཁͳΦϒδΣΫτΛ୳͠ϝϞϦΛղ์͢Δ • ϝϞϦղ์ͷλΠϛϯάΛߟ͑ͳͯ͘Α͍ • ͍ͭͰʹϝϞϦྖҬΛ੔ཧ͢Δ͜ͱ΋͋Δ • ํ๏ͷҟͳΔ3छͷΨϕʔδίϨΫλ͕͋Δ • ࢀরΧ΢ϯτ • ϚʔΫΞϯυεΠʔϓ • ίϐʔGC • ୯ʹGCͱݺΜͩ৔߹͸τϨʔγϯάίϨΫλΛࢦ͢ • JVMͷGC΋τϨʔγϯάίϨΫλͷҰछ(ੈ୅ผGC) } τϨʔγϯάίϨΫλ 6
7. ARC͸GCͱରཱ͢Δ͠
 GCͷҰछͰ΋͋Δ
8. ͱ͜ΖͰɼ
9. Cyclone/Rustͷ ॴ༗ݖϞσϧɼ ਅࣅͪ͠Ό͓͏
10. ࠾༻͍ͯ͠ΔϝϞϦ؅ཧํ๏Ͱ ௒ͬ͘͟Γ Θ͚ͯΈͨ खಈ C ಈతࣗಈ (޿ٛͷGC) ࢀরΧ΢ϯτ τϨʔγϯάίϨΫλ(ڱٛͷGC) Swift/ObjC Java Ruby D ※ݴޠࣗ਎ʹGC͕ͳ͍΋ͷͰ΋ϥΠϒϥϦ͕࡞ΒΕ͍ͯΔ͜ͱ͕͋Δɽ ※ओʹ࢖͍ͬͯΔํ๏ͷΈͰ෼͚ͨͷͰʮ௒ͬ͘͟ΓʯɽCyclone΋GCΛ෦෼తʹ࢖͍ͬͯΔ͠ɼJava΋੩తղੳΛ͍ͯ͠Δɽ OCaml .NET C++ LISP Pascal ੩తࣗಈ 10 Cyclone Python Rust
11. CycloneͱRust͸ ϝϞϦ؅ཧͷେઌഐʂ
12. ·ͱΊ
13. ·ͱΊ • ARC͸GCͱൺֱ͞ΕΔ͠ɼGCͷҰһͰ΋͋Δ • ޿ٛͷGCͱڱٛͷGCͰࢦ͍ͯ͠Δ΋ͷ͕ҧ͏ • Cyclone΋Rust΋ϝϞϦ؅ཧ໰୊ʹऔΓ૊ΜͰ͖ͨେઌഐ • ઌഐݴޠͷऔΓ૊Έ͕ͱͯ΋ࢀߟʹͳΔ͔΋ 13
14. ͓͠·͍ʂ
15. ࢀߟจݙ • ΨϕʔδίϨΫγϣϯͱ͸ͳΜͧ΍ɽ • ൧໺୎ݟʰΨϕʔδίϨΫγϣϯͷ࣮૷๏ͱධՁʱ<http://www.net.c.dendai.ac.jp/~takumi/>ɼ(ࢀর2017-09-11)ɽ • ԕ౻හ෉ʮҰൠڭཆͱͯ͠ͷGarbage Collection (ίϯύΠϥԋश൪֎ฤ)ʯ<http://matsu-www.is.titech.ac.jp/~endo/gc/gc.pdf>ɼ(ࢀর2017-09-11)ɽ • ΑͦͷݴޠͰͷϝϞϦ؅ཧઓུ • Scott Oaksஶ(2015)ʰJavaύϑΥʔϚϯεʱ຀໺૱༁ɼגࣜձࣾΦϥΠϦʔɾδϟύϯɽ • ੨໦ๆ࿠ʰRubyιʔείʔυ׬શղઆʱ<http://loveruby.net/ja/rhg/book/>ɼ(ࢀর2017-09-11)ɽ • OCamlʰΨϕʔδίϨΫγϣϯ – OCamlʱ<https://ocaml.org/learn/tutorials/garbage_collection.ja.html>ɼ(ࢀর2017-09-11)ɽ • MicrosoftʰGarbage Collectionʱ<https://msdn.microsoft.com/ja-jp/library/0xy59wtx(v=vs.110).aspx>ɼ(ࢀর2017-09-11)ɽ • Jeffrey Richterஶ(2013)ʰϓϩάϥϛϯά .NET Framework ୈ4൛ʱ౻ݪ༤հ༁ɼ೔ܦBPࣾɽ • Digital MarsʰΨϕʔδίϨΫγϣϯ - ϓϩάϥϛϯάݴޠ D (೔ຊޠ༁)ʱ<http://www.kmonos.net/alang/d/garbage.html>ɼ(ࢀর2017-09-11)ɽ • naruseʰRuby 2.2.0 ϦϦʔεʱ<https://www.ruby-lang.org/ja/news/2014/12/25/ruby-2-2-0-released/>ɼ(ࢀর2017-09-11)ɽ • CycloneʰCyclone: User Manualʱ<http://cyclone.thelanguage.org/wiki/User%20Manual/>ɼ(ࢀর2017-09-12)ɽ • Robert C. Seacordஶ(2014)ʰC/C++ηΩϡΞίʔσΟϯά ୈ2൛ʱՎ୅࿨ਖ਼΄͔༁ɼגࣜձࣾKADOKAWAɽ • Richard Reeseஶ(2013)ʰৄઆ CϙΠϯλʱ٠஑জ༁ɼגࣜձࣾΦϥΠϦʔɾδϟύϯɽ • Pythonʰcpython/gcmodule.c at 2ebc5ce42a8a9e047e790aefbf9a94811569b2b6 · python/cpythonʱ<https://github.com/python/cpython/blob/ 2ebc5ce42a8a9e047e790aefbf9a94811569b2b6/Modules/gcmodule.c>ɼ(ࢀর2017-09-13)ɽ • Neil SchemenauerʰGarbage Collection for Pythonʱɼ(ࢀর2017-09-13)ɽ
16. ࢀߟจݙ • Swiftͷߦ͘຤΍͍͔ʹɽ • Appleʰswift/OwnershipManifesto.md at fa2f2bd4577e536130f9298fabfd2960a357693c · apple/swiftʱ<https://github.com/apple/swift/blob/ fa2f2bd4577e536130f9298fabfd2960a357693c/docs/OwnershipManifesto.md>ɼ(ࢀর2017-09-11)ɽ • Appleʰswift-evolution/0176-enforce-exclusive-access-to-memory.md at b9d815099453912069998b579948a3319246042b · apple/swift-evolutionʱ<https:// github.com/apple/swift-evolution/blob/b9d815099453912069998b579948a3319246042b/proposals/0176-enforce-exclusive-access-to-memory.md>ɼ(ࢀর 2017-09-11)ɽ • Appleʰ [swift-evolution] RFC: Preventing Retain Cycles (Memory Ownership Model)ʱ<https://lists.swift.org/pipermail/swift-evolution/Week-of- Mon-20160725/025695.html>ɼ(ࢀর2017-09-12)ɽ • ૉࡐ • TopeconHeroesʰਧ͖ग़͠ૉࡐઐ໳αΠτʮϑΩμγσβΠϯʯʱ<http://fukidesign.com/>ɼ(ࢀর2017-09-11)ɽ
17. εϥΠυʹࡌͤͳ͔ͬͨ࿩͚ͩͲಡΜͩΒ໘ന͍͔΋ • ΋ͬͱGCΛษڧ͢Δ • ౦ژେֶ৘ใՊֶՊʰIndex of Compiler Resumeʱ<http://www.is.s.u-tokyo.ac.jp/vu/jugyo/processor/process/soft/compilerresume/index.html>ɼ(ࢀর2017-09-16)ɽ • ాӜ ݈࣍࿕ʮϓϩάϥϛϯάݴޠ 6 ΨϕʔδίϨΫγϣϯ(2)ʯ<https://www.eidos.ic.i.u-tokyo.ac.jp/~tau/lecture/programming_languages/gen/slides/pdf/06-gc- adv.pdf>ɼ(ࢀর2017-09-16)ɽ • ੈͷதʹ͸·ͩͨ͘͞Μͷݴޠ͕͋Δ • garicchiʰComponent Object Model(COM)ͱ͸Կ͔ ·ͱΊΔ – garicchi.comʱ<http://garicchi.com/?p=19259>ɼ(ࢀর2017-09-13)ɽ • தౡେҰʰGolangͷGCΛ௥͏ | SOTAʱ<http://deeeet.com/writing/2016/05/08/gogc-2016/>ɼ(ࢀর2017-09-11)ɽ • ໦ຊ༟لʰPerlͷΨʔϕοδίϨΫγϣϯ(GC)ͷಛੑʹ͍ͭͯ - PerlͳΒαϯϓϧίʔυPerlೖ໳ʱ<http://d.hatena.ne.jp/perlcodesample/20131010/1381413409>ɼ(ࢀর 2017-09-11)ɽ • ໦ຊ༟لʰʮϦϑΝϨϯεΧ΢ϯτࣜͷGCʯ͸ɺITքͰ͸GCͱೝࣝ͞Ε͍ͯͳ͍ͷͩΖ͏͔? - Qiitaʱ<http://qiita.com/yukikimoto/items/3964b107107cc52f8f51>ɼ(ࢀর 2017-09-11)ɽ • ʰΨʔϕδίϨΫγϣϯ - ݴޠผGCͷ࢓૊Έ(31402)ʛteratailʱ<https://teratail.com/questions/31402>ɼ(ࢀর2017-09-12)ɽ • SwiftͲ͏ͳΔͷ • খ໺ক೭ʰSwift 3ͷ։ൃͷৼΓฦΓͱSwift 4ͷܭը͕ه͞Εͨϝʔϧͷ঺հ - Qiitaʱ<http://qiita.com/mono0926/items/c51b74fae679e1e39d2b>ɼ(ࢀর2017-09-12)ɽ • দؗେًʰSwift5ͷٞ࿦͕ελʔτ:ABIͷ҆ఆԽɺฒߦॲཧɺݴޠͷਐԽϓϩηεͷมߋ – Daiki Matsudate – Mediumʱ<https://medium.com/@d_date/ swift5%E3%81%AE%E8%AD%B0%E8%AB%96%E3%81%8C%E3%82%B9%E3%82%BF%E3%83%BC%E3%83%88- abi%E3%81%AE%E5%AE%89%E5%AE%9A%E5%8C%96-%E4%B8%A6%E8%A1%8C%E5%87%A6%E7%90%86- %E8%A8%80%E8%AA%9E%E3%81%AE%E9%80%B2%E5%8C%96%E3%83%97%E3%83%AD%E3%82%BB%E3%82%B9%E3%81%AE%E5%A4%89%E6%9B%B4-6b6540 acd6e4>ɼ(ࢀর2017-09-12)ɽ