SACSIS

1
SACSIS03????

• ????

2
SACSIS

• Symposium on Advanced Computing Systems and
  Infrastructures
• ?????????
• ?)???????????????????????
• ?????????????????
• ?)???????????????????????
• ?????????
• ?)??????

3
SACSIS????? (1/2)

• ????
• ???????????
• ????(???/??)
• ??????????????
• Tim Kindberg_at_HP Lab.
• ???????
• ????????????????
• ????(??)
• XML?Web??????????????
• ???(??IBM)

4
SACSIS????? (2/2)

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

• ?????
• ?????
• ?????????????OS????
• ????????

5
?????

• ???????????
• ????(???CREST/??)
• ????????????????????????????
• ?????????(???)
• ????????????????
• ????(??)
• SpecC?????????????????????
• ?????????????(?????)
• ?????????????????? ??????????????
• ????????????????????????? ????(NTT??????)

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

• ????
• (???CREST/??)

7
?????????????

• ??????????????????????
• ?)DNA?????????

8
?????????????????

• Adleman-Lipton (1994)
• ??????????????
• ????????????
• Winfree-Seeman (1996)
• DNA????????
• ??

9
???????????

• ?????????????????????G????????????G???????????????
  ??????
• NP??

4
3
1
???
0
6
????
2
5
??????????????????????????
10
Adleman??? (1/4)

• ??
• ?????G?DNA????
• ???DNA?????????????
• ?????DNA???????????
• ?????????????????
• ???????????
• ??????????

11
Adleman??? (2/4)

• ?????G?DNA????
• ???DNA??
• ??????????????????? ????

???1
???0
A A T C C G
A T T G A C
???
C
A
???0?????1?????
G G C T A A
G
T
12
Adleman??? (3/4)

1. ???DNA??????????????

A A A C C C
A T T G A C
A A A C C C
A A T C C G
A T T G A C
A A T C C G
??????
A A T C C G
A T T G A C
A A A C C C
A A A C C C
A T T G A C
13
Adleman??? (4/4)

• ?????DNA???????????
• ?????????????????
• ???????????
• ??????????

????????????
14
DNA????????

• (??)????????????????
• ?????
• (??????3??)????????
• ????????
• ???????
• (??DX)????????????????
• ????????
• ?????????????????

????????
15
??????DNA?? (1/2)
G
C
A
T
C
A
T

• ??
• ????

A
G
T
A
G
G
T
T
G
C
A
T
C
A
T
T
T
A
G
T
A
T
16
??????DNA?? (2/2)

• 3??

C
T
G
A
A
C
T
G
G
G
C
A
T
C
C
G
G
T
A
G
C
C
C
A
G
T
T
C
A
G
17
?? DNA????????

??????

18
??????????

• ??GS?SS,
• S?M
• M?MM,
• M?(S),
• M?x,
• M?y,
• M?z

S,M ????? x,y,z,(,),. ????
19
DNA?????????? (1/3)
M
x
M?x
M
y
M?y
M M?????
M
z
M?z
20
DNA?????????? (2/3)
S
S
S
S?M
M
M
(
M?(S)
)
M
21
DNA?????????? (3/3)
S?SS
M?MM
M
S
S
M


S
M
22
(xy)z???? (1/2)
S
?M
?MM
?Mz
23
(xy)z???? (2/2)

• S?M
• ?MM
• ? Mz

? (S)z
?(SS)z
?(SM)z
?(Sy)z
?(My)z
?(xy)z
24
???

• ????????????????????
• Adleman-Lipton
• ??????????????
• Winfree-Seeman
• DNA????????

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

25
????????????????????????????

• ?????????
• (???)

26
??

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

Processor
objA
objB
27
????????????????????? (1/2)

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

???objA?objB?read
???objA?objB?read
Processor
Processor
objA
objA
objB
objB
????
28
????????????????????? (2/2)

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

Processor 1
Processor 2
Processor 1
Processor 2
objA
objB
objA
objB
objA
objA
objB
objB
???objA?write
???objB?read
29
??????

• ???????????????????
• ???????????????????
• ???????
• ?Java??? (Sun Hotspot VM)

?????????
30
???????????????????

1. ???????readwrite???????? ????????
2. ???????GC???????????????????????????

31
?????????????????(1/4)

• ???2??????????????????
• FreqRead???
• read? and write?
• Other???
• write? or (read? and write?)

32
?????????????????(2/4)

1. ??????????????????? readwrite????

Field Read?? Write??
val 78.5M 0.3M
left 46.9M 0.5M
right 41.6M 0.5M
found 1.0M 1.3M
counter 0.7M 1.0M
lock 0.7M 0.3M
Class Node int val Node left, right int
couter, found Object lock
33
?????????????????(3/4)

• ??????????????????
• WRN??

R??
W????? read??? ?readwrite??1??
Field Read?? Write??
val 78.5M 0.3M
left 46.9M 0.5M
right 41.6M 0.5M
found 1.0M 1.3M
counter 0.7M 1.0M
lock 0.7M 0.3M
Class Node int val Node left, right int
couter, found Object lock
W??
write??? ?write??20??
N??
W???R????
34
?????????????????(4/4)

• WRN????????????
• R?????????? ?FreqRead???
• WN???????? ?Other???

FreqRead???
Class Node Node_Other ref int val Node
left, right
Class Node int val Node left, right int
couter, found Object lock
??
Other ???
Class Node_Other int couter, found Object
lock
35
???????????? (1/2)

• ???GC
• ???Coping GC
• ???Mark-compact GC
• ???????????

??? (??????????)
??? (???????)
??? (???????)
Old
Perm
New
From
To
36
???????????? (2/2)

• FRC (Freq Read Chunk)
• FreqRead??????????
• ??????????
• ????????????????

New
FRC
Other
FRC
FRC
Other
37
???? (1/2)

• SunEnterPrise6500??
• ??????2??
• Nbody
• MolDyn
• ???

38
???? (2/2)

• ??????
• ???????????????????????????????
• ?????
• ????????????????????
• MolDyn???30?????

39
?????????

• ???????????????????
• ???????readwrite???????? ????????
• ???????GC???????????? ???????????????

?????

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

40
????????????????(???????)

• ????
• (??)

41
?????????

• ???????????????? ??????????
• ?)?????????

42
??????????

• ??????????
• ?????????
• ??????????
• ?????
• PL?????????
• ???????

43
?????????

• ???????????????
• LSI?????????????????????
• ?????
• ??????????????????
• ???????????????
• ???????????????
• ?????????????????
• ???????????
• ??

44
???????????? (1/5)
45
???????????? (2/5)
46
???????????? (3/5)
47
???????????? (4/5)
48
???????????? (5/5)
49
TRON???

• µITRON/PX
• ????????
• ????????
• ????????????
• ????????????
• ?????????????

50
???

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

51
SpecC?????????????????????

• ?????????????
• (?????)

52
??

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

53
SpecC

• ???????????
• ??????????????????????????
• ??????????????????
• ?????????C??????
• ?????????HDL??????

54
??????

• SpecC????????????
• µITRON??????C????????

55
SpecC????? (1/3)
Behavior A C c0 B b0(c0), b1(c0) void
main(void) parb0.main()
b1.main()
Channel C void write() void read()

?????

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

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

Behaivor B (C c0) void main()
56
SpecC????? (2/3)
Behavior A C c0 B b0(c0), b1(c0) void
main(void) parb0.main()
b1.main()
Channel C void write() void read()

???

• ?????????C?????
• ??????????????????

Behaivor B (C c0) void main()
57
SpecC????? (3/3)
Behavior A C c0 B b0(c0), b1(c0) void
main(void) parb0.main()
b1.main()
Channel C void write() void read()

????

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

Behaivor B (C c0) void main()
58
SpecC??C????

• µITRON?????????????
• ?)?????????????ITRON????

59
????

• ????
• JPEG???????????
• SpecC??C??????????
• ??C???????????
• ????
• ?????1325??

60
?????????

• SpecC????????????
• µITRON??????C????????

?????

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

61
????????????????????????????????

• ?????????????????????????????
• (NTT??????)

62
??

• ????????????????????
• ???????????????????
• ?)IP????????????????
• ?cross-site scripting??????????
• ?OS??????????

63
??????

• VNAP (Virtual Network Architecture for
• Protection)
• ???????????????????
• ??????????OS????????

???A
???B
???????
64
VNET (Virtual Network)

• ?????????
• ?)?????????VNET
• ???????????VNET
• ??????????VLAN??????????????

65
RS (Resource Space)

• ??????OS??????
• ???VNET????RS
• ?)?????VNET??,????????
• ?)??????VNET??,??????????
• RSID?????????

66
RS?????????

• ??????,?????RS???
• set_rsid()

????0 (RSID0)
????1 (RSID1)
System call
RS1
RS0
UDP
open
open
UDP
TCP
exec
exec
TCP
VNET1
VNET0
Packet Classifier
???? via VNET0
???? via VNET1
67
?????????

• VNAP
• ??????????VNET???
• RS?????????

?????

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

68
????????

• SACSIS03????
• ?????????OS??????????

69
???????
70
??????????????????????????????????

• ??????????
• ?????????
• (???)

71
??

• ???????
• ??????????????????????
• ?)?????1Gbps
• ?????100Mbps

72
??????

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

73
Home-based???????

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

???
???0
???1
???2
???3
xa
write-back
???????
release
acquire
read
read
bx
read
cx
????A
????B
74
??????????

• ????,?????????????write-back
• ????,?????????????????read

???
???
???0
???1
???2
???3
xa
write-back
write-back
release
aquire
???????
bx
read
cx
????A
????B
75
????

• ????
• 8CPU????x2??MM, LU, IS???
• ????
• ??38.5?????
• LU?????????
• ???write-back??????????????

76
?????????

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

?????

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

77
????OS???????????????????OS??????? (short paper)

• ?????????????
• (??)

78
??????

• ?????????????????????????
• ????????????????
• ?LKST (Linux Kernel State Tracer)
• ??????????????????????
• ?)????????????
• ??????????????????????????

79
???????1

• ??
• /dev/zero???????????????
• ???????????????????? ???
• ????
• ???????????????
• ????????????????
• ????????????????

80
???????2

• ??
• ?????????????????????????????????
• ????
• ?????????????????????????
• ????????????????????????
• ?pde??????????????????

81
?????????

• LKST
• ??????????????????????
• ??????????????????????????

?????

• ????????

82
??????????????????QJava???(short paper)

• ?????????
• Ben A. Abderazek?????????
• (???)

83
??????

• Java??????????
• ????????????????????
• ???????????????????
• ?QJava
• Java????????????????????

84
???????? (1/2)

• ??????????FIFO???
• ?????????????????
• ?)(ab)/(c-d)

/
Level 2

-
Level 1
a
b
c
d
Level 0
85
???????? (2/2)

• ?)(ab)/(c-d)

a
a
b
a
b
c
a
b
c
d
ab
c
d
ab
c-d
(ab)/(c-d)
86
??????????

• ??????????
• ?)(ab)/(c-d)

a
b
c
d
ab
C-d
(ab)/(c-d)
87
?????????

• QJava
• ???????????????

?????

• Qjava??VM,JIT???