PowerPoint Presentation

Size: px

Start display at page:

Download "PowerPoint Presentation"

慷房钱
5 years ago
Views:

2 2

3 CAREFREE 3

4 4

5 5

6 Compiler ResearchNext 50 years. M.Hall, D.Padua, K.Pingali. Communication of ACM,

7 CAREFREE file.c file1.cxx Whirl2C Profile Slicing Engine CVC Lite Yices Yacas Visualize XC front end XC++ front end PreOPT PreOPT Interprocedural Analysis(IPA) Whole Program Analysis(WPA) // WOPT CG 7 file.asm

8 NP Anderson LevPA Steensgaard 8

9 KLOC 403.gcc M s wine M s 9

10 FSM 10

11 FSM 11

12 FSM Initial State RAW free malloc/ realloc/ calloc free ERROR ALLOCED exit 12

13 FSM setuid(0) setuid(!0) setuid(0) 13

14 FSM 14

15 15

16 16

17 17

18 FSM FSM 18

19 FSM O(2 n )n 19

20 Saturn int mm_fv_update_nonbon( float lambda ){ nodelist = malloc( nx*ny*nz * sizeof( MMNODE )); if( nodelist == NULL) return 0; for( ix=0; ix< nx; ix++) for( iy=0; iy< ny; iy++) for( iz=0; iz< nz; iz++) { //Some operations on nodelist }... for( inode = 0; inode < nx*ny*nz; inode++) for( ii = 0; ii< imax; ii++) if( (*atomlist)[ii].which == inode) { //Some operations on nodelist break; }... free(nodelist); return 1; } 20 SPEC CPU2000ammp 1067 Saturn [Guard, Point-to Set]

21 Saturn int mm_fv_update_nonbon( float lambda ){ nodelist = malloc( nx*ny*nz * sizeof( MMNODE )); if( nodelist == NULL) return 0; for( ix=0; ix< nx; ix++) for( iy=0; iy< ny; iy++) for( iz=0; iz< nz; iz++) { //Some operations on nodelist }... for( inode = 0; inode < nx*ny*nz; inode++) for( ii = 0; ii< imax; ii++) if( (*atomlist)[ii].which == inode) { //Some operations on nodelist break; }... free(nodelist); return 1; } 21 CFG 491 4,248,093K FSM K Saturn FSM Saturn100 Saturn Saturn

22 (BLAST) Example ( ) { 1: if (a > 0) 2: f = fopen(); 3: i = 0; 4: while (i<1000) { 5: c = c + foo(i); 6: i = i +1; } 7: if (a>0) 8: fclose(f); } BLAST

23 (BLAST) Example ( ) { 1: if (a > 0) 2: f = fopen(); 3: i = 0; 4: while (i<1000) { 5: c = c + foo(i); 6: i = i +1; } BLAST BLAST Path Slice FSM 7: if (a>0) : fclose(f); }

24 Y FSM FSM Fastcheck Saturn VS VS Saturn FSM 403.gcc: 521KLOC/60s scp sc p sftp sftp-server sftp-server ssh ssh ssh-add ssh-add ssh-agent ssh-agent ssh-k ssh-keygen eygen ssh-k ssh-keyscan eyscan ssh-keysign ssh-keysign 5 ssh-rand-helper sshd sshd 164.gzip 164.gzip 175.vpr 175.vpr 176.gc 176.gcc c 177.mesa 177.mesa 179.art 179.art 181.mcf 181.mcf 183.equake 183.equake 186.crafty 186.crafty 188.ammp 188.ammp 197.parser 197.parser 253.perlbmk 254.gap 254.gap 255.vortex 255.vortex 256.bzip2 256.bzip2 300.twolf 300.twolf 400.perlbenc 400.perlbench h 401.bzip2 401.bzip2 403.gcc 405.gcc 429.mcf 429.mcf 433.milc 433.milc 445.gobmk 445.gobmk 456.hmmer 456.hmmer 458.sjeng 458.sjeng 464.h264ref 470.lbm 470.lbm 482.sphinx3 Saturn403.gcc FSM FILE FILE POINTER POINTER 24

25 Y F 4 - FSM Fastcheck VS Saturn Fastcheck FSM Fastcheck1.20 FSM ssh-keygen sftp ssh-rand-helper ssh-keygen ssh-rand-helper 177.mesa 175.vpr 181.mcf 177.mesa 186.crafty 181.mcf 197.parser 188.ammp 254.gap 197.par ser 255.vortex 254.gap 255.vortex 300.twolf 300.twolf 403.gcc 403.gcc 429.mcf 429.mcf 433.milc 445.gobmk 433.milc 445.gobmk 456.hmmer 456.hmmer 458.sjeng 458.sjeng 464.h264ref 464.h264ref 482.sphinx3 482.sphinx3 Saturn

26 Y F 4 - FSM Fastcheck VS Saturn Fastcheck FSM Fastcheck1.14 FSM scp scp sftp sftp sftp-server sftp-server ssh ssh ssh-agent ssh-agent ssh-keyscan ssh-keyscan ssh-keysign ssh-keysign ssh-r and-helper ssh-rand-helper sshd sshd 164.gzip 164.gzip 175.vpr 175.vpr 179.ar t 179.art 183.equake 183.equake 188.ammp 186.cr afty 197.parser 188.ammp 253.perlbmk 253.perlbmk 256.bzip2 256.bzip2 400.perlbench 400.perlbench 401.bzip2 401.bzip2 433.milc 445.gobmk 433.milc 445.gobmk 458.sjeng 464.h264ref 464.h264ref Saturn

27 27

28 28

29 THIS IS THE END! 29

<4D6963726F736F667420576F7264202D20B1CFD2B5C9E8BCC65FCDF5D1A95F3533315F>

<4D6963726F736F667420576F7264202D20B1CFD2B5C9E8BCC65FCDF5D1A95F3533315F> 毕业设计 ( 论文 ) 中文题目 : 图形化程序切片工具的设计英文题目 : The Design of Program Slicing Visualization 学专院 : 计算机与信息技术业 : 计算机科学与技术学生姓名 : 王雪学号 : 05281260 指导教师 : 于双元冯晓兵 2009