JavaScript Web Web Web Web Web JavaScript Web Web JavaScript JavaScript JavaScript GC GC GC GC JavaScript SSJSVM GC SSJSVM GC GC GC SSJSVM GC GC SSJSV

Size: px

Start display at page:

Download "JavaScript Web Web Web Web Web JavaScript Web Web JavaScript JavaScript JavaScript GC GC GC GC JavaScript SSJSVM GC SSJSVM GC GC GC SSJSVM GC GC SSJSV"

しゅんすけいちぞの
5 years ago
Views:

1 27 JavaScript Design and Implementation of a Mark Sweep Garbage Collection on a Server Side JavaScript Virtual Machine

2 JavaScript Web Web Web Web Web JavaScript Web Web JavaScript JavaScript JavaScript GC GC GC GC JavaScript SSJSVM GC SSJSVM GC GC GC SSJSVM GC GC SSJSVM GC SSJSVM GC JavaScript BoehmGC i

3 Abstract Design and Implementation of a Mark Sweep Garbage Collection on a Server Side JavaScript Virtual Machine Yuki TAKAMATSU With the high functionality of Web browsers Web applications widely spread Web applications are written in JavaScript and work on Web browsers A Web application communicates with a program running on the server to provide rich services to the users Recently JavaScript spread as a language for server side programs of Web applications Therefore studies of speeding up JavaScript processing on servers are conducted flourishingly On servers it is expected that we often use large-scale programs In this situation it is garbage collection GC that greatly affect the execution times of programs GC is a routine that reclaims memory areas that are no longer used so that the user program can reuse the areas Because the execution of the program stops during GC GC affects the execution time of the program directly In this study we investigated whether GC of a server side JavaScript virtual machine SSJSVM is efficient compared to other JavaScript virtual machines As a result we found that GC of SSJSVM was slower Then we implemented a mark sweep GC in SSJSVM aiming the performance improvement To investigate performance of the GC that we implemented in this study we compare the execution time of our SSJSVM with that of the existing SSJSVM As a result we found that our GC did not improve performance Further investigation showed that memory allocation of our GC was mach slower than that of the existing SSJSVM ii

4 key words JavaScript Garbage Collection Mark Sweep BoehmGC iii

5 SSJSVM SSJSVM SSJSVM JSValue SSJSVM GC GC GC BoehmGC SSJSVM GC GC GC iv

6 GC OBJECT STRING FLONUM ARRAY GC JavaScript JavaScript C C v

7 vi

8 STRING FLONUM STRING FLONUM GC quick GC SSJSVM Node.js OBJECT STRING FLONUM ARRAY C malloc malloc GC SSJSVM SSJSVM vii

9 5.4 GC SSJSVM SSJSVM viii

10 GC ix

11 1 1.1 Web JavaScript Web Web Web Web Web Web Web JavaScript PHP JavaScript JavaScript 2000 Ajax JavaScript Web JavaScript JavaScript Just In Time JIT 1

12 1.1 JavaScript JavaScript JavaScript JavaScript SSJSVM Server Side JavaScript Virtual Machine [1] JavaScript ( GC) [2] GC ( ) GC GC SSJSVM GC SSJSVM GC BoehmGC[3] BoehmGC C GC BoehmGC GC GC GC GC GC GC GC GC GC SSJSVM GC 2

13 GC GC JavaScript SSJSVM GC 1.3 SSJSVM SSJSVM SSJSVM 2 SSJSVM JavaScript SSJSVM GC 3 SSJSVM GC SSJSVM GC SSJSVM GC 4 SSJSVM GC SSJSVM GC 5 3

14 2 SSJSVM 2 SSJSVM SSJSVM JavaScript SSJSVM SSJSVM GC SSJSVM 2.1 SSJSVM SSJSVM JavaScript SSJSVM JavaScript SSJS JavaScript SSJSVM SSJSVM JavaScript 2.1 SSJSVM SSJSVM SSJSVM C SSJSVM GC C GC BoehmGC [4] 4

15 2.2 SSJSVM 2.1 JavaScript 1: var a; 2: var b = 10; 3: a = b + 1; 2.2 JavaScript 1: funclength 1 2: callentry 0 3: sendentry 0 4: numberoflocals 0 5: numberofinstruction 13 6: getglobalobj 1 7: setfl 15 8: fixnum : string 5 b 10: setglobal : string 10 b 12: getglobal : fixnum : add : string 11 a 16: setglobal : seta 2 18: ret 2.2 SSJSVM SSJSVM JavaScript 2.1 5

16 2.2 SSJSVM JavaScript 2.3 f g SSJSVM 2.3 SSJSVM 2.1 f f f g f g JavaScript 1: var n = 2; 2: var g = function(t){ 3: var m = t + 1; 4: return m; 5: } 6: var f = function(s) { 7: return g(s + 1) 8: } 9: f(n); 6

17 2.2 SSJSVM fp sp lp cf pc a SSJSVM prev frame auguments 7

18 2.2 SSJSVM JavaScript JSValue 64bit 64bit 8 3bit 0 3bit 3bit 8

19 2.2 SSJSVM 3bit ( 7) 61bit 61bit 64bit SSJSVM JSValue SSJSVM JSValue JavaScript SSJSVM JavaScript JavaScript JavaScript SSJSVM

20 2.2 SSJSVM 2.2 (16 ) STRING 4 FLONUM 5 OBJECT 6 ARRAY 7 FUNCTION 8 BUILTIN 9 ITERATOR a REGEXP b STRINGOBJECT c NUMBEROBJECT d BOOLEANOBJECT e 64bit 32bit 3bit STRING FLONUM STRING FLONUM OBJECT STRING FLONUM STRING FLONUM 2.4 STRING FLONUM OBJECT 10

21 2.2 SSJSVM STRING FLONUM 2.6 map a a prop numberofprop limitofprop 2 numberofprop prop limitofprop prop [5] 2.3 STRING FLONUM 11

22 2.2 SSJSVM 2.4 STRING FLONUM

23 3 SSJSVM GC 3 SSJSVM GC GC SSJSVM BoehmGC GC SSJSVM GC SSJSVM GC 3.1 GC GC ( ) GC GC GC GC GC 13

24 3.1 GC GC GC GC GC GC GC 3.1 [6] 3.1 GC 14

25 3.2 GC 3.2 GC GC 3 3 GC GC GC GC GC GC GC1 GC GC GC 3.3 BoehmGC SSJSVM C GC BoehmGC GC BoehmGC GC GC GC GC GC 15

26 3.4 SSJSVM GC GC GC GC GC BoehmGC GC GC GC GC GC GC GC GC GC BoehmGC GC JavaScript SSJSVM SSJSVM 3.4 SSJSVM GC SSJSVM GC GC GC 3 SSJSVM 16

27 3.4 SSJSVM GC BoehmGC SSJSVM(BoehmGC ) malloc SSJSVM(malloc ) SSJSVM(quick ) malloc C malloc quick malloc 2GB 3.2 2GB malloc malloc quick malloc quick malloc GC BoehmGC malloc 2 malloc quick 2 GC 3 Ubuntu14.04 Intel Core i5 3.3GHZ gcc

28 3.4 SSJSVM GC 3.2 quick malloc quick BoehmGC malloc BoehmGC BoehmGC JavaScript V8 JavaScript JavaScript Node.js Node.js Node.js GC Node.js GC BoehmGC BoehmGC GC Node.js BoehmGC SSJSVM GC 18

29 3.4 SSJSVM GC 3.3 GC SSJSVM Node.js 19

30 4 GC 3 BoehmGC SSJSVM GC BoehmGC BoehmGC GC GC SSJSVM GC GC GC 4.1 GC GC 2 GC

31 4.1 GC GC 21

32 GC 4.2 GC GC GC 22

33 Byte 16Byte 16Byte

34 GC GC bit 64bit 32bit 3bit 64bit 4bit 32bit 5bit bit SSJSVM JavaScript JavaScript C C 24

35 OBJECT OBJECT OBJECT prop header numberofprop limitofprop map 4.4 OBJECT 25

36 STRING FLONUM STRING FLONUM STRING FLONUM STRING FLONUM 2 ARRAY ARRAY OBJECT ARRAY ARRAY 4.6 ARRAY OBJECT prop ARRAY body 26

37 ARRAY OBJECT STRING FLONUM ARRAY 4 OBJECT 4 OBJECT OBJECT 4 OBJECT

38 ( 0) GC GC GC SSJSVM 11 SSJSVM C malloc malloc 28

39 GC GC malloc GC GC GC 29

40 markobject markobject 4.1 markobject. markobject 2 JSValue equaltag JSValue JSValue 3bit 3 4 markcheck 7 objectmark 5bit 1 8 getobjectheader makrobject STRING FLONUM ARRAY prop body 2 30

41 4.3 STRING FLONUM ARRAY OBJECT body numberofprop body propcount ARRAY length prop 31

42 markobject 1: static void markobject(jsvalue objp) { 2: // 3: if((!equaltag(objp, 0b000)) (objp == 0)) 4: return; // 5: if(!markcheck(objp)) // 6: return; // 7: int i, propcount; 8: objectmark(headnum); // 1 9: switch(getobjectheader(objp)) { // 10: case HTAG STRING: break; // STRING 11: case HTAG FLONUM: break; // FLONUM 12: case HTAG ARRAY: // ARRAY 2 13: propcount = objp >numberofprop; // 14: for(i = 0; i <= propcount; i++) { // ARRAY 15: markobject(objp >prop[i]); // markobject 16: } 17: for(i = 0; i < objp >length; i++) { // OBJECT 18: markobject(objp >body[i]); // markobject 19: } 20: break; 21: default: // OBJECT 22: propcount = objp >numberofprop; // 23: for(i = 0; i <= propcount; i++) { //OBJECT 24: markobject(objp >prop[i]); // markobject 25: } 26: break; 27: } 28: } 32

43 SSJSVM JavaScript JavaScript markobject JavaScript JavaScript 2 JavaScrip C C SSJSVM JSValue JSValue C GC SSJSVM GC GC 33

44 C JSValue f g 4.8 f f g g f f 2.1 a 2 34

45 4.3 JavaScript STRING 35

46 5 5 GC SSJSVM SSJSVM GC SSJSVM SSJSVM GC 5.1 BoehmGC SSJSVM GC SSJSVM 2 GC GC SSJSVM Ubuntu14.04 Intel Core i5 3.3GHZ gcc GC SSJSVM BoehmGC GC SSJSVM BoehmGC BoehmGC Byte 5.1 for 36

47 5.1 for for for for GC SSJSVM GC 5.1 for 5000 GC SSJSVM 50KByte 850KByte 200KByte Byte SSJSVM SSJSVM GC SSJSVM BoehmGC malloc GC SSJSVM malloc malloc for GC 8KByte malloc

48 JavaScript 1: var Cell = function(val, next) { 2: this.val = val; 3: this.next = next; 4: } 5: var head = new Cell(0, null); 6: for (i = 0; i < 10; i++) { 7: head = new Cell(i, head); 8: for (j = 0; j < N; j++) 9: new Cell(0, null); 10: } 5.1 malloc 38

49 malloc SSJSVM GC SSJSVM GC SSJSVM GC SSJSVM GC SSJSVM 5.4 GC SSJSVM GC SSJSVM 1 BoehmGC BoehmGC GC SSJSVM

50 5.2 GC SSJSVM GC GC GC 5.3 GC SSJSVM SSJSVM 5.1 GC KByte GC

51 GC SSJSVM SSJSVM 5.3 GC SSJSVM SSJSVM GC SSJSVM GC SSJSVM 5.4 GC GC

52 5.3 GC SSJSVM 25KByte 5.1 for 20 2 GC 1 GC 1 1 GC GC GC 2 GC GC

53 GC GC 2 [8] GC GC GC GC GC GC GC GC GC GC GC GC GC GC GC 43

54 6 GC 50 GC GC GC GC Ruby GC GC GC GC Ruby GC GC GC GC 92% 50% [7] GC GC GC V8 JavaScript Node.js GC 44

55 7 BoehmGC SSJSVM GC GC GC SSJSVM GC GC SSJSVM GC GC SSJSVM malloc SSJSVM GC GC GC GC GC GC GC SSJSVM BoehmGC SSJSVM GC SSJSVM GC 45

56 4 46

57 [1] JavaScript Just In Time [2] 2010 [3] NAKAMURA Minoru Boehm GC C/C++ [online] boehm-gc2.html [4] JavaScript Just In Time 2014 [5] JavaScript Quickening [6] Andrew W.Appel 2009 [7] Ruby : Vol.43 No.SIG 1 PRO [8] Richard Jones Antony Hosking Eliot Moss The Garbage Collection Handbook Chapter 7 CRC press

28 Docker Design and Implementation of Program Evaluation System Using Docker Virtualized Environment

28 Docker Design and Implementation of Program Evaluation System Using Docker Virtualized Environment 1170288 2017 2 28 Docker,.,,.,,.,,.,. Docker.,..,., Web, Web.,.,.,, CPU,,. i ., OS..,, OS, VirtualBox,.,