Analyzing dynamic properties of parallel program in ParJava Environment

1
????????? ????????????????????????? ? ?????????
???????? ??? ??? ???????? ?????????
?.?. ivan_at_ispras.ru
Software Engineering Conference (Russia) 2008
??????, 23 ???????
2
?????????? ?????????? ??(1)???? ???????? ???? ??
??????? ??? ?????? (106 LOC) ?????? ???????
Windows 3.1 1992 3
Windows NT 3.5 1994 10 300
Windows NT 4.0 1996 16 800
Windows 2000 1999 30 1400
Windows XP 2001 45 1800
Linux Kernel 2.6.0 2003 5,7
Open Solaris 2005 9,7
Mac OS X 10.4 2006 86
Windows Vista 2007 gt 50
3
?????????? ?????????? ??(2)?????? ??????????
????????

• ????????? ???????? ? ?????????
• ?????????? ?????????????? ????????????
• ???? ??????? ???????????????? ??????
• ?????????? ????????????? ???????????? ?
  ????????????????
• ???? ?????????? ? ????????????? ? ?????????????

4
?????????? ?????????? ??(3) ??????? ??????????

• ????????-??????????????? ?????? ??????? ?
  ??????????????, ????? ????????????????
• ???????????? ??????????
• ?????????????? ? ????????? ????????? ??????
  ???????????????? ? ???????????? ???????????
• ??????? ????????????? ??????????? ?????????
  ??????????
• ?????????? ??????? ?????????? ?????????? ???????
  (model checking ? ??.)

5
?????????? ?????????? ??(4)????????

• ?????????? ?????? ?? 1000 ?????
  ?????????????????? ???? ???????? ??????????

??????????? ??????? ????? ?????? ?? 1000 ????? ????
??????? ?? ????????? (McConnell) 15-50
Microsoft (?? ????????????) 10-20
NASA JPL (?? ????????????) 6-9
Linux 7
Microsoft (????????) 0.5
NASA JPL (????????) 0.003

• ?????????? ?????? ?????????? ? ??????? ?????????
  ???? ? ????????? ????????

6
?????????? ?????????? ??(5)????? ??????

• ?????????????? ?????????? ? ???????????
  ????????????????? ???????
• ?????????????? ?????????? ?????????? ? ???????
  ??????? ?? ?? ???? ?????????? ???????
• ?????????? ????????? ??????? ???????????
  ??????????? ??????, ???????? ???????,
  ???????????? ?? ?????? ?????????? ???????,
  ??????????? ??????
• ?????????? ?????????? ?????????????? ?????? ?
  ????????? ???????????????? ?? ?????? ???????????
  ????????
• ?????????? ??????????? ?????????? ????????????,
  ??????????, ????????????, ??????????????????,
  ???????? ????????????? ? ????????
• ???????????? ?????????? ?? ???????????
  ??????????? ?????? ???????

7
?????? ???????? (1) ??????? ??????????

• ?????????? ? ?????????????? ???????????,
  ?????????????? ?????? ??????????
• ???????????? ????? ?????? ?? ????????????????????
  ?????-????, ????????? ??????? ?????? ? ??????
• ???????-??????????????? ???????????
  ????????????? ?????????, ???????????? ????
• ????? ?????? ????????? (Java, C) ??????????
  ????????????? ? ???????????? ?????????? (JIT),
  ?????????? ???????????. LLVM ? ??? ?????????????
  (Apple) ?????????? ??????????? ??? C ? C
• ?????? ??????? ??????? ??????????? ??? ???????
  ??????? ? ??????? ???????? ???????? ?????????,
  ????? ??????????? ????????????

8
?????? ???????? (2) ????????

• ? ?????? ????? ????????????? ??????????
  (??????????? ?? ???? ???????) ? ?????????????
  ???????
• ? ?????????? ??????? ??????????
  ?????????????????? ???????? Cell, GPU, FPGA
• ? ?????? ?????????????? ?????????? ??????????
  ??? ???????????? ??????
• ? ?????????? ?????? ???????? ?????? ?
  ??????????????? ?????????? (HPF, Cilk (MIT), UPC
  (Berkeley) ?? ??????? ? ??????)
• ? ???????????????? ? ?????????????? MPI
  (?????????????? ??????) ? OpenMP (????? ??????)
• ? ?????????? ?????????? ? ??????????? ??????????
  ??? ?????????????????? ????????

9
?????? ???????? (3) ????????? ??????? ???????

• ? ???????????? ? ????????????? ????????? ???????
  ?????????? (dwarf - Berkeley) ? ??????????
  ???????? ? ????? ?????????? ?????????? ????????
  (?????, ???????????), ?????????????? ???????????
  ??????????? ?????????? ?? ?????????? ??????????
  ?????????
• ? ????? ????? ????????????? ????????????????
  X10 (IBM), Chapel (Cray), Fortress (Sun)
• ? ?????????? ? ??????????????? ?????
  ?????????????? ?????????? ?? ?????? MPI/OpenMP
• ? ?????????? ???????????????? ???
  ?????????????????? ????????
• ? ?????????????? CUDA (NVidia), CAL (AMD)
• ? ????? ???????? ?????? Brook (AMD), Ct
  (Intel)

10
?????????? ??????? (1)??????? ??????????

• ???? (Oracle, IBM, Microsoft ? ?.?.)
• ??????????? ? ?????????????? ????????? ??? ??????
  ??????? ? ????? ???????? ? ???? ????????
• ???????? ???????? ??????????? ???????? ?? ??????
  ????????? ???????
• ?????????? ? ??????? ???????? OLAP ? data mining
  
• ?????????????? ????? ? ????????? XML
• ???????????? ???????
• ?????????? ??????? ? Internet
• ???????? ???????? ??????????????? ?????? ??
  ???????? ??????
• ??????????? ???????? ?????????? ???????, ??????
  ???????????????????? ?? ?????? ?????????
  map-reduce (Google, Yahoo!)

11
?????????? ??????? (2)????????

• ????????? ?????????????????, ????????? ?
  ????????????? ????
• ???????????? ??????? ????????????
• ????????????? ???????????? ????????????? SQL
• ????????? ?????????? ?????????? ??? ??????
• impedance mismatch
• ??????????????? ??????? ?????? ? Internet ??
  ???????? ??????
• ????????????? ????????????? ??????????????
  ??????
• ?????????? ??????? ?????????? ???????
• ???????? ????????????? ????? ????????????
  ??????????
• ???????????? ? ?????????????? ???????????,
  ???????? ?????? ???????? ??????, ????-?????? ?
  ?.?.

12
?????????? ??????? (3)????????? ??????? ???????

• ??????? ?? ????????????? ? ??????????????????
  ???????? ?????????? ???????
• XML-????, ??????? ? ????????? ?????? ??
  ???????? ? ?.?.
• ?????????? ????? ?????? ????????????????,
  ????????????? ????????????? ?? ????????
  impedance mismatch
• Ruby-on-Rails, LINQ
• ????????? ?????? ????????? ?????? ? Internet
• ????????????? ????????? ?????????????????
  ???????? ??????? ??? ??????????????? ??????????
  ?????????

13
?????????? ??????? (4)Clouds Computing

• ???????? ????????? ?????? ??? ???????
  ???????????? ???????? ?? ??????????? ??????????
  ????????? ?? ????? ?????
• ????????? ???????????? ???????????? ???????????
  ??? ???????, ? ?????????, ?????, ????????? ?
  ?????????? ??????? ??????? ??????
• ????????? ???????????? ???? ?? ?????
  ???????????????? ?? ????? ???????????? ?????
• ?????????? ??????, ??? ? ??? ???? ???????
  ???????????? ???????? ?????????? ??? ??????????
  ??????? ? ??????????? ??????????????? ???????????
  ???????