torque in V8

V8 javascript eingineのdslであるtorqueの話

Transcript

1. V8 torque
   

   View Slide

2. Name
   @brn (ꫬꅿ⨳ⵃ)
   Occupation
   ؿٗٝزؒٝسؒٝآص،٥ط؎ذ؍ـؒٝآص،
   Company
   Cyberagent ،سذؙأةآؔ AI Messenger
   OSS
   Contributor of V8
   About
   http://info.b6n.ch
   

   View Slide

3. What is torque?
   V8ⰻ鿇דⵃ欽ׅ׷׋׭ח⡲׵׸׋DSL
   TypeScript괏㄂ז俑岀ד葿ղ邌植ׅ׷
   

   View Slide

4. How does it works?
   torqueכ؝ٝػ؎ׁٕ׸׷הCSA(CodeStubAssembler)ח㢌䳔ׁ׸
   ׷կ
   CSAכفٓحزؿؓ٦يꬊ⣛㶷זIRד剑穄涸ח،إٝـٓח؝ٝػ
   ؎ׁٕ׸׷կ
   

   View Slide

5. Why V8 need torque?
   CSAכ剅ְג׫׷ה׻ַ׷ָ穠圓הְֲַַז׶׃׿וְ
   -  ✲佦׶װְׅ
   -  僓כ㘗ָⰋגNode㘗׌׏׋ח׮ꟼ׻׵׆ⰻ鿇涸חכSmiהַ
   IntPtrהַ㘗ָאְגְגծ♶侭さؒٓ٦ָ⳿װַׅ׏׋կ
   -  ⵖ䖴圓俑ָ铣׫חְֻ
   

   View Slide

6. function add100() {!
   let value = 0;!
   for (let i = 0; i < 100; i++) {!
   value += 1;!
   }!
   return value;!
   }!
   

   View Slide

7. TNode Add100(TNode context) {!
   TVARIABLE(var_value, MachineType::PointerRepresentation(),
   IntPtrConstant(0));!
   TVARIABLE(var_index, MachineType::PointerRepresentation(),
   IntPtrConstant(0));!
   !
   Label loop(this), after_loop(this);!
   !
   Branch(IntPtrGreaterThan(IntPtrConstant(100), var_index), &loop,
   &after_loop);!
   BIND(&loop);!
   {!
   var_a.Bind(IntPtrAdd(var_a, IntPtrConstant(1)));!
   Increment(&var_index, 1);!
   Branch(IntPtrGreaterThan(IntPtrConstant(100), var_index),!
   &loop, &after_loop);!
   }!
   BIND(&after_loop);!
   return var_value.value;!
   }!
   

   View Slide

8. macro Add100(): Smi {!
   let value: Smi = 0;!
   let len: Smi = 100;!
   !
   for (let i: Smi = 0; k < len; i = i + 1) {!
   value = value + 1;!
   }!
   return value;!
   }!
   

   View Slide

9. torque grammars
   㛇劤涸חכ♧菙涸ז䩛竲ֹ㘗鎉铂הずׄ״ֲז俑岀
   TypeScriptך㘗،ظذ٦ءّٝ׾⿫罋ח׃גְ׷
   ָծDSLזךד׍׳׏ה暴婊ז俑岀׮㢳ְ
   

   View Slide

10. Type Definition
    TypeScriptך䕎ؒ؎ٔ،أה⡂גְ׷ָծֿ׍׵כC++ך㘗ה
    torqueⰻ鿇ך䕎׾֮׻ׇ׷湡涸
    

    View Slide

11. type Object generates 'TNode';!
    type int32 generates 'TNode';!
    

    View Slide

12. External functions
    V8ⰻ鿇חכׅדח㣐ꆀךِ٦ذ؍ٔذ؍ꟼ侧ָ㹀纏ׁ׸גֶ׶ծ
    ׉׸׾ⵃ欽ׅ׷׋׭חextern䭷㹀㶨ָ㹀纏ׁ׸גְ׷
    -  macro CSAⰻ鿇ד㹀纏ׁ׸גְ׷ِ٦ذ؍ٔذ؍وؙٗ
    -  builtin V8ךbuiltins⟃♴ח֮׷ꟼ侧纇
    -  runtime C++ד鎸鶢ׁ׸׋ًاحس
    

    View Slide

13. extern macro Print(Object);!
    !
    extern builtin ToObject(Context, Number): Object;!
    !
    extern runtime CreateDataProperty(!
    Context, Object, String, Object);!
    

    View Slide

14. Operators
    torqueכoperator׮ꟼ侧ה׃ג㹀纏ׅ׷ֿהָדֹ׷
    

    View Slide

15. extern operator "+" macro SmiAdd(Smi, Smi): Smi;!
    extern operator "-" macro SmiSub(Smi, Smi): Smi;!
    

    View Slide

16. Cast
    CastכCSAךCast׾ⵃ欽ׅ׷ָծ㣟侁׃׋㜥さחכGotoדٓكٕפ
    굲ע
    

    View Slide

17. cast(a) otherwise CastError!
    

    View Slide

18. Labels
    CSAכ׮ה׮הַז׶⡚ٖكٕז邌植זךדծ
    if俑װfor俑瘝ךⵖ䖴圓俑׾׮׏גְזְկ
    ֿ׸׵׾邌植ׅ׷ךכׅץגLabelהGotoד֮׷կ
    

    View Slide

19. Branch(var_a, label1, label2)!
    !
    BIND(&label1);!
    Print("A");!
    !
    BIND(&label2);!
    Print("B");!
    

    View Slide

20. macro Foo(context: Context): Smi labels
    Bailout, CastError {!
    Goto Bailout;!
    }!
    

    View Slide

21. compiler::TNode FooFromDSLAssembler::Foo(!
    TNode p_context,!
    Label* label_Bailout_1,!
    Label* label_CastError_1) {!
    Goto(label_Bailout_1);!
    }!
    

    View Slide

22. WriteBarrier
    V8כ؝ٖٝؕٝز٥؎ًؙٝٔٝةٕGC׾琎׿דְ׷ךדծ
    ؔـآؙؑزפך،ؙإأךꥷחכWriteBarrierָ䗳갭׌ָ
    ֿ׸׮CSAך㜥さחכ荈ⴓדWriteBarrier׾⢪ֲַNoBarrierד遤ֻ
    ַ鼅䫛׃זֽ׸לז׵זְկ
    torqueדכ㼛勻涸חֿֿ׮荈⹛⻉ׅ׷✮㹀׵׃ְ
    

    View Slide

23. Compilation
    植㖈ךהֿ׹ػ٦؟٦כAntlrד剅ַ׸גְ׷
    俑岀涸חכLL(1)דػ٦أ〳腉
    㼛勻涸חכ䩛剅ֹךػ٦؟ח׃׋ְ׵׃ְ
    

    View Slide

24. Compilation
    V8ךؽٕسفٗإأ⚥ח.tqؿ؋؎ٕךؽٕسָ饥׶ծ
    ׉ך穠卓
    --from-dsl-gen.h/cc
    הְֲC++ؿ؋؎ָٕ欰䧭ׁ׸
    ׁ׵ח׉ךؿ؋؎ָٕؽٕسׁ׸غ؎شٔך♧鿇חז׷
    

    View Slide

25. .tq ~-from-dsl-gen.h/cc V8
    

    View Slide

26. SourceMaps
    植㖈ךהֿ׹فٗزة؎ف׌ָծ--gdbjit-fullؔفءّٝדا٦أ⡘
    縧ךوحؾؚٝ׾׃גְ׷׵׃ְ
    

    View Slide

27. Summary
    ؝ٝػ؎ٓך⚥חDSL׾אֻ׷ךכ״ֻ֮׷鑧׌ָծ
    ֿֿתדֹ׏׍׶׃׋鎉铂כ穠圓棆׃ְ
    

    View Slide

28. Reference
    -  https://docs.google.com/presentation/d/
    1PlQEjS5xyJA-0GY8mjB4wr-pLyzFtdMRfhXczJJ2wic/
    edit#slide=id.g388aa7220e_2_348
    -  https://github.com/v8/v8/blob/master/src/builtins/typed-
    array.tq
    

    View Slide