Debugging Native Extensions of Dynamic Languages

Slide 1

Slide 1 text

DEBUGGING NATIVE EXTENSIONS OF DYNAMIC LANGUAGES Jacob Kreindl, Manuel Rigger, Hanspeter Mössenböck 15th International Conference on Managed Languages & Runtimes, September 13, 2018

Slide 2

Slide 2 text

MOTIVATION 13.09.2018 Jacob Kreindl, ManLang’18 2 Native Extensions

Slide 3

Slide 3 text

MOTIVATION 13.09.2018 Jacob Kreindl, ManLang’18 2 Debuggers for Dynamic Languages Native Extensions

Slide 4

Slide 4 text

MOTIVATION 13.09.2018 Jacob Kreindl, ManLang’18 2 Debuggers for Dynamic Languages Native Extensions

Slide 5

Slide 5 text

MOTIVATION 13.09.2018 Jacob Kreindl, ManLang’18 2 Debuggers for Dynamic Languages Debuggers for Native Code Native Extensions

Slide 6

Slide 6 text

MOTIVATION 13.09.2018 Jacob Kreindl, ManLang’18 2 Debuggers for Dynamic Languages Debuggers for Native Code Native Extensions

Slide 7

Slide 7 text

GRAALVM 13.09.2018 Jacob Kreindl, ManLang’18 3 Native Extensions

Slide 8

Slide 8 text

GRAALVM 13.09.2018 Jacob Kreindl, ManLang’18 3 Execute & Debug Native Extensions

Slide 9

Slide 9 text

GRAALVM 13.09.2018 Jacob Kreindl, ManLang’18 3 Execute & Debug Execute Native Extensions

Slide 10

Slide 10 text

GRAALVM 13.09.2018 Jacob Kreindl, ManLang’18 3 & Debug Our Contribution Execute & Debug Execute Native Extensions

Slide 11

Slide 11 text

GRAALVM FOR DYNAMIC LANGUAGES 13.09.2018 Jacob Kreindl, ManLang’18 4

Slide 12

Slide 12 text

GRAALVM FOR DYNAMIC LANGUAGES 13.09.2018 Jacob Kreindl, ManLang’18 4 Language Front-End Language Front-End Language Front-End

Slide 13

Slide 13 text

GRAALVM FOR DYNAMIC LANGUAGES 13.09.2018 Jacob Kreindl, ManLang’18 4 Language Front-End Language Front-End Language Front-End Language-Agnostic Program Representation op1 op2 if else then op3 op4 Source Location

Slide 14

Slide 14 text

GRAALVM FOR DYNAMIC LANGUAGES 13.09.2018 Jacob Kreindl, ManLang’18 4 Debugger Back-End Chrome Debugger Netbeans Debugger Other Front-Ends Language Front-End Language Front-End Language Front-End Language-Agnostic Program Representation op1 op2 if else then op3 op4 Source Location

Slide 15

Slide 15 text

GRAALVM FOR NATIVE EXTENSIONS 13.09.2018 Jacob Kreindl, ManLang’18 5

Slide 16

Slide 16 text

GRAALVM FOR NATIVE EXTENSIONS 13.09.2018 Jacob Kreindl, ManLang’18 5 LLVM-IR LLVM Front-End (Clang, Dragonegg, …)

Slide 17

Slide 17 text

GRAALVM FOR NATIVE EXTENSIONS 13.09.2018 Jacob Kreindl, ManLang’18 5 LLVM-IR LLVM Front-End (Clang, Dragonegg, …) Sulong Language-Agnostic Program Representation op1 op2 if else then op3 op4 Debugger Back-End

Slide 18

Slide 18 text

OUR CONTRIBUTIONS 13.09.2018 Jacob Kreindl, ManLang’18 6 LLVM-IR Sulong Language-Agnostic Program Representation + Run-Time Debug Information LLVM Front-End (Clang, Dragonegg, …) Debugger Back-End with Debug Information + DI Parser op1 op2 if else then op3 op4 Scope & Location Value Tracking Abstraction to Source-Level

Slide 19

Slide 19 text

Debugging a C-Extension for a Ruby Program DEMO

Slide 20

Slide 20 text

EXAMPLE 13.09.2018 Jacob Kreindl, ManLang’18 8 int fact(int n) { int result = 1; if (n > 0) result = n * fact(n - 1); return result; }

Slide 21

Slide 21 text

EXAMPLE 13.09.2018 Jacob Kreindl, ManLang’18 9 #include "ruby.h" int fact(int n) {…} VALUE callFact(VALUE self, VALUE num) { int n = NUM2INT(num); int result = fact(n); return INT2NUM(result); } void Init_FactExt() { VALUE FactExt = rb_define_module("FactExt"); rb_define_method(FactExt, "fact", &callFact, 1); }

Slide 22

Slide 22 text

EXAMPLE 13.09.2018 Jacob Kreindl, ManLang’18 10 require("./FactExt.su") include FactExt (0..12).each do |n| f = FactExt::fact(n) puts "fact(" + n.to_s + ") = " + f.to_s end

Slide 23

Slide 23 text

Live Demonstration DEMO

Slide 24

Slide 24 text

IN CONCLUSION 13.09.2018 Jacob Kreindl, ManLang’18 12 Execute & Debug Native Extensions

Slide 25

Slide 25 text

IN CONCLUSION  Same Debugger Front-End for all Languages 13.09.2018 Jacob Kreindl, ManLang’18 12 Execute & Debug Native Extensions

Slide 26

Slide 26 text

IN CONCLUSION  Same Debugger Front-End for all Languages  Single Run-Time Environment 13.09.2018 Jacob Kreindl, ManLang’18 12 Execute & Debug Native Extensions

Slide 27

Slide 27 text

IN CONCLUSION  Same Debugger Front-End for all Languages  Single Run-Time Environment  Source-Level Stepping & Breakpoints 13.09.2018 Jacob Kreindl, ManLang’18 12 Execute & Debug Native Extensions

Slide 28

Slide 28 text

IN CONCLUSION  Same Debugger Front-End for all Languages  Single Run-Time Environment  Source-Level Stepping & Breakpoints  Cross-Language Symbol Inspection 13.09.2018 Jacob Kreindl, ManLang’18 12 Execute & Debug Native Extensions

Slide 29

Slide 29 text

JOHANNES KEPLER UNIVERSITY LINZ Altenberger Str. 69 4040 Linz, Austria www.jku.at Thank you for your attention! QUESTIONS? Read the Paper Watch the Demo