Concurrent and Real-Time Programming in Java

1
Concurrentand Real-Time Programming in Java

• Preface
• Introduction(p1)

2
Preface(????)

• ??????????????Java
• Audience
• Structure and content
• Notations and conventions
• Teaching aids
• Real-Time Systems Research at York
• Acknowledgments

3
??????????

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

4
??????????????
???????

• ????????

????????????
5
Java???
1994? ?????????Java??
6
???????(community)

• (1)?????????????????????????????????????????????
• (2)???????????????(R. M. MacIver)????????????????
  ???????????????????????

7
??????????????Java
Java??????????????????
8
Java???????
??????
??????????
9
????

• ??????????

?????
10
Java?????????
??????????????????????? Java????????????
????????????? ?????????????
11
??????
????????????????????????????10???
Java??(?????????)
1994
2004
1999
Java??Real-Time Specification for Java?????????
??????????????????????????????????1?
12
RTSJ Real-Time Specification for Java

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

RTSJ???
(1)??????????????????????? (2)???????????????? (3)
???????????????? (4)???Java??????????????
13
Real-Time Specification for Java?????????Java

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

????????(???2????????)
?????????????????????
??????????????????????????????????????????
14
???????

• ????

Java????????????
????????
Java??????????????
??
15
???????????????????????
?????????????????????? ???????????
Java??????????????????????? ????????????
??????????
16
Audience(????)

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

17
????
???????
?????(????????????)???4??
?????(????????????)?????
18
?????????
???????????
??Andy Wellings
19
????
?????????
Java????????????????????
????????????????????(??????????????????????)
20
Structure and content(????????)
Introduction
?????3??????????
21
Introduction??

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

????????????????(???????)
??????????????????
22
26???

• Java???????????????

23
2?
??????????????????????? Java??????????
??35??????
24
3?

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

25
???????
????
????
??A
??B
26
4?????

• ???3????????Java????????????????

27
4?????

• ???????????????????????????
• Java????????????

28
56?

• Java???????????????
• 5???????????????????? ??????????????
• 6?????????????????

29
Sequential Maze Search
30
Concurrent Maze Search
31
715???

• Real-Time Specification for Java (RTSJ)?????????

32
Real-Time Specification for Java(RTSJ)

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

RTSJ???
(1)??????????????????????? (2)???????????????? (3)
???????????????? (4)???Java??????????????
33
7?

• ?????????
• Java???????????????????

34
8?

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

35
101112?

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

????
36
????????

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

37
13?

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

38
14?

• ?????

??????????????????? ?????????????????????????????
?
39
15?

• Physical????raw?????????????

40
1618??

• ?????(???)

41
16?

• ?????????????????????
• ???????RTSJ???????????

automobile cruise control system (???????????)
42
17?

• ????(high-integrity)???????????????Java?RTSJ?????
  ?
• Ravenscar-Java???
• ?????????????????????????????????(mine control
  system)???

????????? ???????????????
43
18?

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

???????????????Java?????
44
Appendix

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

45
???????
Real-Time Specification for Java
(RTSJ)??????1.0.1???
(Belliardi et al., 2004)
Java1.5???
????????????????????
46
Notations and conventions(??????)

• Java????? ? Courier New ????
• (???????)????? ? boldface ????
• ?????????????????????
• ?????????
• ???????????
• ??????????????
• ? ????UML??

47
Java?????

• Courier New ???????

public enum Plane X_PLANE, Y_PLANE,
Z_PLANE public class UserInterface //
Allows the next position of the robot to be //
obtained from the operator. public int new
Setting (Plane dim) ... public class Robot
// The interface to the Robot itself.
public void move (Plane dim, int pos) ...
// Other methods, not significant here.
?p16-17??
48
Java????????????

• boldface ???????

public enum Plane X_PLANE, Y_PLANE,
Z_PLANE public class UserInterface //
Allows the next position of the robot to be //
obtained from the operator. public int new
Setting (Plane dim) ... public class Robot
// The interface to the Robot itself.
public void move (Plane dim, int pos) ...
// Other methods, not significant here.
?p16-17??
49
??????????????????

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

50
??????????????

• ????UML??

??????????????????????
51
Teaching aids(????)

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

http//www.cs.york.ac.uk/rts/CRTJbook.html
52
Real-Time System Research at York

• Andy Wellings

?? ?????(US) ????? ?? ???? ??????????
53
Alan Burns

• Real-Time Systems Research Group ????

54
Real-Time Systems Research Group
????
?????????????????? ?????????????????
??
??????????? ?????????????????
??????
?????????????????
http//www.cs.york.ac.uk/rts
55
Acknowledgments(??)
?????????????? ???????????????
56
Doug Locke

• Technical Interpretation Committee
  (TIC)???????????

??????????
????????????????????????????????
57
Rudy Belliardi, Greg Bollella, Ben Brosgol, Peter
Dibble, David Holmes

• TIC???????
• ????????????????????????????
• ??????????????????
• ?????e-mail????????

??e-mail????????? RTSJ ver1.0.1???????????
58
?1??????????? David Holmes

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

???????????????
59
Alan Burns

• ??????????????????????????????
• ?1????????????????
• ?????????????

60
Andrew Borg, Hao Cai, Yang Chang, Erik Hu, Jagun
Kwon, Armando Aquilar-Soto, Pat Rogers, and Alex
Zerzelidis

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

61
????? ???????????????? Neil Audsley, Iain
Bate, Ian Broster, Guillem Bernat, David Duke,
Steve King, Richard Paige, Paul Sammut

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

62
??

• ???????????????????(20022003? ??? 20032004?)
• ?????????????????????????????????????????????????
  ?

63
Gaynor Redvers-Mutton

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

64
??? Sylvia Holmes

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

65
????? ? ??

• Andy Wellings (andy_at_cs.york.ac.uk)Real-Time
  Systems Research Group????? ?????York, YO10
  5DD, U.K.August 2004

66
Introduction(????)

• Java???
• 1.1 Concurrency
• 1.2 Real-time Systems
• 1.3 Summary

67
Java???

• Java?????????????
• 1991????????(??????1995?)
• ?????????????????????

1991?
68
??????Java???????????????????Java?
????????????????
?????????
????????????????????????????
?????????????????????????
??????????????????
?????????
69
Java?????????
1991? Java?????? ????
??
1994? Java?????? ??????????????
70
?????Java?

• Java?????????????

???UNIX?????????C???????????
Java?????????????????
71
Java???

• Java????(Gosling?McGilton, 1996)??Java????????????
  ?

72
????????????????????

• ???????????????
• ???????????????????
• Java????
• ???????
• ????? C ???????

73
?????

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

74
????(??????)

• Java??

75
?????
??????????????
76
??????????????????????
????????
????????????????????? ????????/?????
???????????? ?????????????????(?????)
77
???Java?????????????
??????

78
???Java Virtual Machine
79
???
Just-in-time??????????????
???????????(Java??????)? ????????(????)??????
80
??Just-in-time????? ?/?
??????

???
81
????????

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

82
Just-in-time ?????

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

83
??

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

??????????????????
????????????????????????
84
???????

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

?????????? ?????????????
??????????????
85
Thank You for Your Attention.
?? ???
?? 6?
?? ?????(???????)
?? ??? ?????????????????? ????????? ?? ?????????????