← Back to branch summary

~ubuntu-branches/ubuntu/vivid/mpich/vivid-proposed

« back to all changes in this revision

Viewing changes to src/pm/smpd/doc/connect.sm.tex

  • Committer: Package Import Robot
  • Author(s): Anton Gladky
  • Date: 2014-04-01 20:24:20 UTC
  • mfrom: (5.2.4 sid)
  • Revision ID: package-import@ubuntu.com-20140401202420-t5ey1ia2klt5dkq3
Tags: 3.1-4
http://bugs.debian.org/743047
* [c3e3398] Disable test_primitives, which is unreliable on some platforms.
            (Closes: #743047)
* [265a699] Add minimal autotest.

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pm/smpd/doc/connect.sm.tex
1
 
\begin{comment}
2
 
This is the state machine for the smpd connect command.
3
 
Graph [smpd connect],
4
 
      [size="7.5, 10"]
5
 
\end{comment}
6
 
\begin{verbatim}
7
 
State [connecting],[label="connecting"]
8
 
        Event [connect]
9
 
                Change_State([reading challenge string], [label="connect"])
10
 
State [reading challenge string],[label="reading challenge string"]
11
 
        Event [data read]
12
 
                Change_State([writing challenge response])
13
 
State [writing challenge response],[label="writing challenge response"]
14
 
        Event [data written]
15
 
                Change_State([reading connect result])
16
 
State [reading connect result],[label="reading connect result"]
17
 
        Event [data read]
18
 
                if accept
19
 
                        Invoke_Action([session type],[label="accept"])
20
 
                else reject
21
 
                        Change_State([closing],[label="reject"])
22
 
Action [session type],[label="session"]
23
 
        if process
24
 
                Change_State([writing process session request],[label="process"])
25
 
        else smpd
26
 
                Change_State([writing smpd session request],[label="smpd"])
27
 
State [writing process session request],[label="writing process session request"]
28
 
        Event [data written]
29
 
                Change_State([reading cred request])
30
 
State [reading cred request],[label="reading cred request"]
31
 
        Event [data read]
32
 
                if yes
33
 
                        Invoke_Action([have credentials],[label="yes/job"])
34
 
                else no
35
 
                        Change_State([reading reconnect request], [label="no"])
36
 
Action [have credentials],[label="have credentials"]
37
 
        if have
38
 
                Change_State([writing cred ack yes],[label="yes"])
39
 
        if have sspi
40
 
                Change_State([writing cred ack sspi],[label="sspi"])
41
 
        if have sspi job key
42
 
                Change_State([writing cred ack sspi job],[label="sspi_job"])
43
 
        else don't have
44
 
                Change_State([writing cred_request command],[label="no"])
45
 
State [writing cred_request command],[label="writing cred_request command"]
46
 
        Event [data written]
47
 
                Change_State([handle result],[style=dotted])
48
 
State [handle result]
49
 
        Event [data read]
50
 
                if success
51
 
                        Change_State([writing cred ack yes],[label="success"])
52
 
                if fail
53
 
                        Change_State([writing cred ack no],[label="fail"])
54
 
                if sspi
55
 
                        Change_State([writing cred ack sspi],[label="sspi"])
56
 
                if sspi job
57
 
                        Change_State([writing cred ack sspi job],[label="sspi_job"])
58
 
State [writing cred ack sspi]
59
 
        Event [data written]
60
 
                Change_State([writing sspi_init])
61
 
State [writing cred ack sspi job]
62
 
                Event [data written]
63
 
                                Change_State([writing sspi_init])
64
 
State [writing sspi_init]
65
 
        Event [data written]
66
 
                Change_State([sspi_init result],[style=dotted])
67
 
State [sspi_init result]
68
 
        Event [data read]
69
 
                Change_State([writing client sspi header])
70
 
State [writing client sspi header],[label="writing client sspi header"]
71
 
        Event [data written]
72
 
                Change_State([writing client sspi buffer])
73
 
State [writing client sspi buffer],[label="writing client sspi buffer"]
74
 
        Event [data written]
75
 
                Change_State([reading client sspi header])
76
 
State [reading client sspi header],[label="reading client sspi header"]
77
 
        Event [data read]
78
 
                if sspi_iter
79
 
                        Change_State([reading client sspi buffer],[label="sspi iter"])
80
 
                else delegate
81
 
                        Invoke_Action([delegate],[label="delegate"])
82
 
Action [delegate],[label="delegate"]
83
 
                Change_State([writing delegate request result],[label="yes/no/key/identify"])
84
 
#        if delegate yes
85
 
#                Change_State([writing delegate yes],[label="yes"])
86
 
#        else delegate no
87
 
#                Change_State([writing delegate no],[label="no"])
88
 
#        else sspi key
89
 
#                               Change_State([writing job key],[label="key"])
90
 
#               else sspi identify
91
 
#                               Change_State([writing identify],[label="identify"])
92
 
State [reading client sspi buffer],[label="reading client sspi buffer"]
93
 
        Event [data read]
94
 
                Change_State([writing sspi_iter],[label="sspi_iter"])
95
 
State [writing sspi_iter],[label="writing sspi_iter"]
96
 
        Event [data written]
97
 
                Change_State([sspi_iter result],[style=dotted])
98
 
State [sspi_iter result],[label="sspi_iter result"]
99
 
        Event [data read]
100
 
                                if more data
101
 
                                                Change_State([writing client sspi header])
102
 
                                else
103
 
                                                Change_State([reading client sspi header],[label="no data"])
104
 
State [writing delegate request result],[label="writing delegate reqeuest result"]
105
 
                Event [data written]
106
 
                                if job_key
107
 
                                                Change_State([writing job key],[label="key"])
108
 
                                else
109
 
                                                Change_State([reading impersonate result])
110
 
#State [writing delegate yes],[label="writing delegate yes"]
111
 
#        Event [data written]
112
 
#                Change_State([reading impersonate result])
113
 
#State [writing delegate no],[label="writing delegate no"]
114
 
#        Event [data written]
115
 
#                Change_State([reading impersonate result])
116
 
State [writing job key],[label="writing job key"]
117
 
                Event [data written]
118
 
                                Change_State([reading impersonate result])
119
 
#State [writing identify],[label="writing identify"]
120
 
#               Event [data written]
121
 
#                               Change_State([reading impersonate result])
122
 
State [reading impersonate result],[label="reading impersonate result"]
123
 
        Event [data read]
124
 
                if process:success
125
 
                        Change_State([reading reconnect request],[label="process:success"])
126
 
                if smpd:success
127
 
                                                Change_State([writing session header],[label="smpd:success"])
128
 
                else fail
129
 
                        Change_State([closing],[label="fail"])
130
 
State [writing cred ack yes],[label="writing cred ack yes"]
131
 
        Event [data written]
132
 
                Change_State([writing account])
133
 
State [writing cred ack no],[label="writing cred ack no"]
134
 
        Event [data written]
135
 
                Change_State([closing])
136
 
State [writing account],[label="writing account"]
137
 
        Event [data written]
138
 
                Change_State([writing password])
139
 
State [writing password],[label="writing password"]
140
 
        Event [data written]
141
 
                Change_State([reading password result])
142
 
State [reading password result],[label="reading password result"]
143
 
        Event [data read]
144
 
                if accept
145
 
                        Change_State([reading reconnect request],[label="accept"])
146
 
                else reject
147
 
                        Change_State([closing],[label="reject"])
148
 
State [writing smpd session request],[label="writing smpd session request"]
149
 
        Event [data written]
150
 
                Change_State([reading pwd request])
151
 
State [reading reconnect request],[label="reading reconnect request"]
152
 
        Event [data read]
153
 
                if yes
154
 
                        Change_State([closing],[label="yes"])
155
 
                        Change_State([reconnecting],[label="yes" style=dotted])
156
 
                else no
157
 
                        Change_State([writing session header], [label="no"])
158
 
State [reconnecting],[label="reconnecting"]
159
 
        Event [connect]
160
 
                Change_State([writing session header],[label="connect"])
161
 
State [reading pwd request],[label="reading pwd request"]
162
 
        Event [data read]
163
 
                if yes
164
 
                        Change_State([writing smpd password], [label="yes"])
165
 
                else no
166
 
                        Change_State([writing session header], [label="no"])
167
 
                else sspi
168
 
                        Change_State([writing sspi_init], [label="sspi"])
169
 
State [writing smpd password],[label="writing smpd password"]
170
 
        Event [data written]
171
 
                Change_State([reading smpd result])
172
 
State [reading smpd result],[label="reading smpd result"]
173
 
        Event [data read]
174
 
                if accept
175
 
                        Change_State([writing session header], [label="accept"])
176
 
                else reject
177
 
                        Change_State([closing], [label="reject"])
178
 
State [writing session header],[label="writing session header"]
179
 
        Event [data written]
180
 
                Change_State([reading and writing],[label="post result cmd"])
181
 
State [reading and writing],[label="reading cmd header and writing cmd"]
182
 
        Event [data read]
183
 
                Change_State([reading cmd],[label="read"])
184
 
        Event [data written]
185
 
                Change_State([reading cmd header],[label="result written"])
186
 
State [reading cmd header],[label="reading cmd header"]
187
 
        Event [data read]
188
 
                Change_State([reading cmd])
189
 
State [reading cmd],[label="reading cmd"]
190
 
        Event [data read]
191
 
                Invoke_Action([handle cmd])
192
 
Action [handle cmd],[label="handle cmd"]
193
 
State [closing],[label="closing"]
194
 
        Event [closed]
195
 
                Change_State([done], [label="closed"])
196
 
State [done],[label="done"]
197
 
\end{verbatim}