遅延評価と健康

遅延評価でパーサコンビネータを高速化した話
http://connpass.com/event/39553/

Transcript

1. ஗ Ԇ ධ Ձ ͱ ݈ ߁
   2 0 1 6 - 1 0 - 1 6 O U C C LT ձ # 5
   @susisu2413
   

   View Slide

2. ஗ Ԇ ධ Ձ Ͱ
   ύ ʔ α ί ϯ Ϗω ʔ λ Λ
   ޮ ཰ Խ ͠ ͨ ࿩ Λ ͠ · ͢
   

   View Slide

3. ύ ʔ α ί ϯ Ϗω ʔ λ ʁ
   

   View Slide

4. ߏ จ ղ ੳ ͢ Δ ΍ ͭ
   h t t p s : / / e n . w i k i p e d i a . o rg / w i k i /
   P a r s e r _ c o m b i n a t o r
   

   View Slide

5. ೖ ྗ
   Τ ϥ ʔ
   ஋
   ࢒ Γ
   ύʔα
   ύʔαΛؔ਺Ͱදݱ
   ʢ࣮༻্͸ΦϒδΣΫτͰϥοϓʣ
   

   View Slide

6. ೖ ྗ
   Τ ϥ ʔ
   ஋
   ࢒ Γ
   ύʔα
   ύ ʔ α ύ ʔ α
   ύʔα
   ίϯϏωʔλ
   ύʔαίϯϏωʔλͰΑΓෳࡶͳύʔαΛߏங
   

   View Slide

7. ༗ ໊ ͳ ͷ
   P a r s e c ( H a s k e l l )
   h t t p s : / / g i t h u b . c o m / a s l a t t e r / p a r s e c
   P a r s i m m o n ( J a v a S c r i p t )
   h t t p s : / / g i t h u b . c o m / j n e e n / p a r s i m m o n
   

   View Slide

8. ࡞ ͬͯ Έ ͨ
   ʢ 2 ೥ લ ʣ
   

   View Slide

9. J a v a S c r i p t Ͱ
   P a r s e c ؙ ύ Ϋ Ϧ
   h t t p s : / / g i t h u b . c o m / s u s i s u / L o q u a t
   

   View Slide

10. ͱ ͯ ΋ ศ ར
    ࣗ ࡞ ε Ϋ Ϧ ϓ τ ݴ ޠ
    G r a s s ί ϯύ Π ϥ
    ︙
    

    View Slide

11. ੑ ೳ ͸ ʁ
    

    View Slide

12. ໿1000ߦͷ JSON × 1000ճ (Node.js v6.7.0)
    ଎ ౓ ൺ ֱ
    Parsimmon: 4.8 sec
    PEG.js: 8.47 sec
    Loquat: 72724ms
    ࣗ࡞: ? sec
    

    View Slide

13. ໿1000ߦͷ JSON × 1000ճ
    ଎ ౓ ൺ ֱ
    Parsimmon: 4.8 sec
    PEG.js: 8.47 sec
    ࣗ࡞: 72.7 sec
    

    View Slide

14. View Slide

15. ͳ ͥ ஗ ͍ ʁ
    

    View Slide

16. V 8 ͷ ϓ ϩ ϑ Ν Π ϥ Ͱ ௐ ΂ Δ
    node --prof parse.js
    node --prof-process isolate-0x*-v8.log
    https://github.com/v8/v8/wiki/Using%20V8’s
    %20internal%20profiler
    

    View Slide

17. ஗ ͍ ΋ ͷ ͨ ͪ
    ύ ʔ α ͷ ݁ ߹
    จ ࣈ ͷ ύ ʔε
    Τ ϥ ʔ ॲ ཧ
    

    View Slide

18. ࠓ ೔ ͷ ϝ Π ϯ
    Τ ϥ ʔ ॲ ཧ
    

    View Slide

19. Τ ϥ ʔ ॲ ཧ
    ߏ จ ղ ੳ ࣦ ഊ ࣌ ʹ ώ ϯ τ Λ ग़ ͢ ͨ Ί
    ϝ ο η ʔ δ ഑ ྻ ͷ ݁ ߹ ͳ Ͳ
    

    View Slide

20. ࣦ ഊ ͠ ͨ ͱ ͖ ͷ Έ ඞ ཁ
    

    View Slide

21. ࣦ ഊ ͢ Δ · Ͱ ܭ ࢉ ͠ ͳ ͍
    

    View Slide

22. ஗ Ԇ ධ Ձ
    

    View Slide

23. ܭ ࢉ Λ ஗ Ԇ ͞ ͤ Δ ʹ ͸ ʁ
    let x = 1 + 2;
    

    View Slide

24. Ϋ ϩ ʔ δ ϟ ʹ ͢ Ε ͹ ྑ ͍
    let x = () => 1 + 2;
    

    View Slide

25. ຖ ճ ؔ ਺ ݺ ͼ ग़ ͠
    Ω ϟ ο γ ϡ ͞ Ε ͳ ͍
    ࢖ ͍ ͮ Β ͍
    

    View Slide

26. Φ ϒ δΣ Ϋ τ Ͱ ϥ ο ϓ
    

    View Slide

27. ΠϯλʔϑΣʔε͕ڞ௨ͨ̎ͭ͠ͷΫϥεΛ࡞੒
    ParseError
    LazyParseError
    ௨ৗ൛
    ஗Ԇ൛
    

    View Slide

28. σʔλΛՃ޻͢Δͱ͖͸஗Ԇ൛Ͱ
    ܭࢉΛ஗Ԇͤ͞Δ
    ParseError
    LazyParseError
    Ճ޻ʢ݁߹ͳͲʣ
    Ճ޻
    

    View Slide

29. ௨ৗ൛Ͱ͸ getter ͸ͦͷ··஋Λฦ͢
    ParseError
    LazyParseError
    ஋
    

    View Slide

30. ஗Ԇ൛Ͱ͸ getter ͸ධՁ͔ͯ͠Β஋Λฦ͢
    ParseError
    LazyParseError
    ஋
    ධՁ
    ݁Ռ͸Ωϟογϡ
    

    View Slide

31. ݁ Ռ
    

    View Slide

32. ໿1000ߦͷ JSON × 1000ճ
    ଎ ౓ ൺ ֱ
    ݩ: 72.7 sec
    վྑ൛: 28.4 sec
    ஗ԆධՁ͋Γ: ? sec
    

    View Slide

33. ໿1000ߦͷ JSON × 1000ճ
    ଎ ౓ ൺ ֱ
    ஗ԆධՁ͋Γ: 11.2 sec
    ݩ: 72.7 sec
    վྑ൛: 28.4 sec
    

    View Slide

34. ໿1000ߦͷ JSON × 1000ճ
    ଎ ౓ ൺ ֱ
    Parsimmon: 4.8 sec
    PEG.js: 8.47 sec
    վྑ൛ + ஗ԆධՁ: 11.2 sec
    

    View Slide

35. · ͱ Ί
    

    View Slide

36. ஗ Ԇ ධ Ձ ͸ ͍ ͍ ͧ
    ܭ ࢉ ͷ ޮ ཰ Խ
    ଞ ʹ ΋ ॥ ؀ ఆ ٛ ͳ Ͳ
    

    View Slide

37. ܽ ఺ ΋ ͋ Δ ͷ Ͱ ஫ ҙ
    ࣌ ؒ ɾ ۭ ؒ త ί ε τ
    ࢥ Θ ͵ ε λ ο Ϋ ͷ ফ අ
    

    View Slide

38. ύ ʔ α ί ϯ Ϗω ʔ λ v 2
    ͝ ظ ଴ Լ ͞ ͍
    h t t p s : / / g i t h u b . c o m / s u s i s u / l o q u a t - c o re
    

    View Slide