Αναπτύσσοντας developer tools στην Αpple. Αργύριος Κυρτζίδης Προπτυχιακός φοιτητής ΗΜΜΥ

Transcript

1 Αναπτύσσοντας developer tools στην Αpple Αργύριος Κυρτζίδης Προπτυχιακός φοιτητής ΗΜΜΥ

2 Apple Inc.

3 Apple Inc. Από τις μεγαλύτερες τεχνολογικές εταιρίες

4 Apple Inc. Από τις μεγαλύτερες τεχνολογικές εταιρίες Hardware

5 Apple Inc. Από τις μεγαλύτερες τεχνολογικές εταιρίες Hardware imac, Macbook

6 Apple Inc. Από τις μεγαλύτερες τεχνολογικές εταιρίες Hardware imac, Macbook ipod, ipod touch

7 Apple Inc. Από τις μεγαλύτερες τεχνολογικές εταιρίες Hardware imac, Macbook ipod, ipod touch iphone

8 Apple Inc. Από τις μεγαλύτερες τεχνολογικές εταιρίες Hardware imac, Macbook ipod, ipod touch iphone ipad

9 Apple Inc. Από τις μεγαλύτερες τεχνολογικές εταιρίες Hardware imac, Macbook ipod, ipod touch iphone ipad 1,000,000 σε 28 μέρες

10 Apple Inc.

11 Apple Inc. Aνοιχτό Λογισµικό

12 Apple Inc. Aνοιχτό Λογισµικό Darwin kernel (Mac OS X)

13 Apple Inc. Aνοιχτό Λογισµικό Darwin kernel (Mac OS X) MacRuby

14 Apple Inc. Aνοιχτό Λογισµικό Darwin kernel (Mac OS X) MacRuby Webkit

15 Apple Inc. Aνοιχτό Λογισµικό Darwin kernel (Mac OS X) MacRuby Webkit Safari, Chrome

16 Apple Inc. Aνοιχτό Λογισµικό Darwin kernel (Mac OS X) MacRuby Webkit Safari, Chrome iphone, Android, Blackberry

17 Apple Inc. Aνοιχτό Λογισµικό Darwin kernel (Mac OS X) MacRuby Webkit Safari, Chrome iphone, Android, Blackberry LLVM

18 Low Level Virtual Machine (LLVM)

19 Low Level Virtual Machine (LLVM)

20 Low Level Virtual Machine (LLVM) Compiler framework

21 Low Level Virtual Machine (LLVM) Compiler framework Optimization προγραµµάτων compile-time link-time run-time

22 Low Level Virtual Machine (LLVM)

23 Low Level Virtual Machine (LLVM) University of Illinois at Urbana-Champaign

24 Low Level Virtual Machine (LLVM) University of Illinois at Urbana-Champaign Open source (

25 Low Level Virtual Machine (LLVM) University of Illinois at Urbana-Champaign Open source ( BSD-style άδεια χρήσης

26 Low Level Virtual Machine (LLVM) University of Illinois at Urbana-Champaign Open source ( BSD-style άδεια χρήσης Χρήση από εταιρίες

27 Low Level Virtual Machine (LLVM) University of Illinois at Urbana-Champaign Open source ( BSD-style άδεια χρήσης Χρήση από εταιρίες Αpple, από 2005

28 Low Level Virtual Machine (LLVM) University of Illinois at Urbana-Champaign Open source ( BSD-style άδεια χρήσης Χρήση από εταιρίες Αpple, από 2005 Adobe, Nvidia, Cray Inc.,...

29 Low Level Virtual Machine (LLVM)

30 Low Level Virtual Machine (LLVM) C/C++ Java Fortran Haskell

31 Low Level Virtual Machine (LLVM) C/C++ Java Fortran Haskell LLVM IR Optimizations

32 Low Level Virtual Machine (LLVM) C/C++ Java Fortran Haskell LLVM IR Optimizations Κώδικας µηχανής JIT Interpreter X86 ARM

33 LLVM IR

34 LLVM IR Σχεδιασµένο για optimizations

35 LLVM IR Σχεδιασµένο για optimizations Virtual machine χαµηλού επιπέδου

36 LLVM IR Σχεδιασµένο για optimizations Virtual machine χαµηλού επιπέδου Άπειροι registers

37 LLVM IR Σχεδιασµένο για optimizations Virtual machine χαµηλού επιπέδου Άπειροι registers SSA (Static Single Assignment)

38 LLVM IR

39 LLVM IR int fn(int x, int y) { return x+y; }

40 LLVM IR int fn(int x, int y) { return x+y; } define %x, i32 %y) nounwind { entry: %retval = alloca i32, align 4 ; <i32*> [#uses=2] %x.addr = alloca i32, align 4 ; <i32*> [#uses=2] %y.addr = alloca i32, align 4 ; <i32*> [#uses=2] store i32 %x, i32* %x.addr store i32 %y, i32* %y.addr %tmp = load i32* %x.addr ; <i32> [#uses=1] %tmp1 = load i32* %y.addr ; <i32> [#uses=1] %add = add nsw i32 %tmp, %tmp1 ; <i32> [#uses=1] store i32 %add, i32* %retval %0 = load i32* %retval ; <i32> [#uses=1] ret i32 %0 }

41 LLVM IR int fn(int x, int y) { return x+y; } define %x, i32 %y) nounwind readnone { entry: %add = add nsw i32 %y, %x ; <i32> [#uses=1] ret i32 %add }

42 Clang

43 Clang C/C++, Objective C/C++, front-end για LLVM

44 Clang C/C++, Objective C/C++, front-end για LLVM Ξεκίνησε από την Αpple

45 Clang C/C++, Objective C/C++, front-end για LLVM Ξεκίνησε από την Αpple Open source (

46 Clang C/C++, Objective C/C++, front-end για LLVM Ξεκίνησε από την Αpple Open source ( Aρχιτεκτονική βασισµένη σε βιβλιοθήκες (libraries)

47 Στόχοι Clang

48 Στόχοι Clang C Language Family

49 Στόχοι Clang C Language Family Parser + AST βιβλιοθήκες

50 Στόχοι Clang C Language Family Parser + AST βιβλιοθήκες Κώδικα µηχανής µέσω LLVM

51 Στόχοι Clang C Language Family Parser + AST βιβλιοθήκες Κώδικα µηχανής µέσω LLVM Yποδοµή για source-code εργαλεία (tools)

52 Στόχοι Clang C Language Family Parser + AST βιβλιοθήκες Κώδικα µηχανής µέσω LLVM Yποδοµή για source-code εργαλεία (tools) Ενσωµάτωση σε IDE (Integrated Development Environment)

53 Στόχοι Clang C Language Family Parser + AST βιβλιοθήκες Κώδικα µηχανής µέσω LLVM Yποδοµή για source-code εργαλεία (tools) Ενσωµάτωση σε IDE (Integrated Development Environment) Εργαλεία

54 Στόχοι Clang C Language Family Parser + AST βιβλιοθήκες Κώδικα µηχανής µέσω LLVM Yποδοµή για source-code εργαλεία (tools) Ενσωµάτωση σε IDE (Integrated Development Environment) Εργαλεία GCC συµβατός compiler

55 Στόχοι Clang C Language Family Parser + AST βιβλιοθήκες Κώδικα µηχανής µέσω LLVM Yποδοµή για source-code εργαλεία (tools) Ενσωµάτωση σε IDE (Integrated Development Environment) Εργαλεία GCC συµβατός compiler Static analyzer

56 Εφαρμογές Clang

57 OpenCL

58 OpenCL Γλώσσα και framework για γενική προγραµµατιστική χρήση GPUs και CPUs

59 OpenCL Γλώσσα και framework για γενική προγραµµατιστική χρήση GPUs και CPUs Χρήση Clang & LLVM για JIT compilation C κώδικα

60 OpenCL Γλώσσα και framework για γενική προγραµµατιστική χρήση GPUs και CPUs Χρήση Clang & LLVM για JIT compilation C κώδικα

61 Clang Static Analyzer

62 Clang Static Analyzer Eργαλείο για να βρίσκει bugs µετά από ανάλυση του source code

63 Clang Static Analyzer Eργαλείο για να βρίσκει bugs µετά από ανάλυση του source code Bugs που δεν φαίνονται στα compiler warnings

64 Clang Static Analyzer Eργαλείο για να βρίσκει bugs µετά από ανάλυση του source code Bugs που δεν φαίνονται στα compiler warnings Memory leaks, logic errors, API violations,...

65 Clang Static Analyzer

66 Διαδροµή προς Αpple

67 Google Summer of Code

68 Google Summer of Code

69 Google Summer of Code Καλοκαιρινή εργασία επί πληρωµή

70 Google Summer of Code Καλοκαιρινή εργασία επί πληρωµή Εργασία από το Internet

71 Google Summer of Code Καλοκαιρινή εργασία επί πληρωµή Εργασία από το Internet 1000 φοιτητές

72 Google Summer of Code Καλοκαιρινή εργασία επί πληρωµή Εργασία από το Internet 1000 φοιτητές Προ/µετά-πτυχιακοί

73 Google Summer of Code Καλοκαιρινή εργασία επί πληρωµή Εργασία από το Internet 1000 φοιτητές Προ/µετά-πτυχιακοί Διδακτορικοί

74 Google Summer of Code Καλοκαιρινή εργασία επί πληρωµή Εργασία από το Internet 1000 φοιτητές Προ/µετά-πτυχιακοί Διδακτορικοί 150 open source projects

75 Apple Internship

76

77 Clang Indexing Library

78 Clang Indexing Library Τί είναι Indexing ;

79 Clang Indexing Library

80 Clang Indexing Library

81 Clang Indexing Library

82 Clang Indexing Library

83 Clang Indexing Library

84 Clang Indexing Library

85 Clang Indexing Library

86 Clang Libraries Basic Lex Parse Analysis Rewrite Codegen AST Sema

87 Clang Libraries Basic Lex Parse AST Analysis Rewrite Codegen Index Sema

88 libindex: Πως δουλεύει

89 libindex: Πως δουλεύει t.c

90 libindex: Πως δουλεύει t.c Clang

91 libindex: Πως δουλεύει t.c Clang AST

92 libindex: Πως δουλεύει t.c Clang AST Μνήµη

93 libindex: Πως δουλεύει t.c Clang AST AST αρχείο Μνήµη

94 libindex: Πως δουλεύει t.c Abstract Syntax Tree Function declaration Foo Variable declaration x Function definition calc Function definition bar Return statement BinaryOperator = Reference expression (variable x ) Reference expression (variable x ) Call expression Reference expression (function foo )

95 libindex: Πως δουλεύει t.c Abstract Syntax Tree Function declaration Foo Variable declaration x Function definition calc Function definition bar Return statement BinaryOperator = Reference expression (variable x ) Reference expression (variable x ) Call expression Reference expression (function foo )

96 libindex: Πως δουλεύει t.c Abstract Syntax Tree Function declaration Foo Variable declaration x Function definition calc Function definition bar Return statement file: t.c line: 5 column:8 Reference expression (variable x ) BinaryOperator = Call expression Reference expression (variable x ) Reference expression (function foo )

97 libindex: Πως δουλεύει t.c Abstract Syntax Tree Function declaration Foo Variable declaration x Function definition calc Function definition bar Return statement file: t.c line: 5 column:8 Reference expression (variable x ) BinaryOperator = Call expression Reference expression (variable x ) Reference expression (function foo )

98 libindex: Crossing source files

99 libindex: Crossing source files t1.c t2.c t3.m

100 libindex: Crossing source files t1.c t2.c t3.m Clang Clang Clang

101 libindex: Crossing source files t1.c t2.c t3.m Clang Clang Clang t1 AST t2 AST t3 AST

102 libindex: Crossing source files t1.c t2.c t3.m Clang Clang Clang t1 AST t2 AST t3 AST Indexer

103 libindex: Crossing source files t1.c t2.c t3.m Clang Clang Clang t1 AST t2 AST t3 AST Indexer Function foo

104 libindex: Crossing source files t1.c t2.c t3.m Clang Clang Clang t1 AST t2 AST t3 AST Indexer Function foo

105 libindex: Crossing source files t1.c t2.c t3.m Clang Clang Clang t1 AST t2 AST t3 AST Indexer Function foo

106 libindex: Crossing source files t1.c t2.c t3.m Clang Clang Clang t1 AST t2 AST t3 AST Indexer

107 libindex: Crossing source files t1.c t2.c t3.m Clang Clang Clang t1 AST t2 AST t3 AST Indexer

108 libindex: Crossing source files t1.c t2.c t3.m Clang Clang Clang t1 AST t2 AST t3 AST Indexer

109 libindex: Crossing source files t1.c t2.c t3.m Clang Clang Clang t1 AST t2 AST t3 AST Indexer

110 libindex: Crossing source files t1.c t2.c t3.m Clang Clang Clang t1 AST t2 AST t3 AST Indexer

111 libindex: Χαρακτηριστικά

112 libindex: Χαρακτηριστικά Κατανόηση σηµείου σε κώδικα

113 libindex: Χαρακτηριστικά Κατανόηση σηµείου σε κώδικα Βρίσκει Declarations Definitions References

114 libindex: Χαρακτηριστικά Κατανόηση σηµείου σε κώδικα Βρίσκει Declarations Definitions References Across project files

115 Εµπειρία σαν Apple Intern

116 Apple Intern

117 Apple Intern Άνετο & φιλικό περιβάλλον εργασίας

118 Apple Intern Άνετο & φιλικό περιβάλλον εργασίας Παρουσιάσεις από executives

119 Apple Intern Άνετο & φιλικό περιβάλλον εργασίας Παρουσιάσεις από executives Project

120 Apple Intern Άνετο & φιλικό περιβάλλον εργασίας Παρουσιάσεις από executives Project Παρουσίαση project στο manager του division

121 Apple Intern Άνετο & φιλικό περιβάλλον εργασίας Παρουσιάσεις από executives Project Παρουσίαση project στο manager του division Παρουσίαση στο VP of software engineering (Bertrand Serlet)

122 Απορίες ;