File: todo.txt

package info (click to toggle)
gap-scscp 2.2.3%2Bds-2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 1,696 kB
  • sloc: xml: 1,226; sh: 388; makefile: 19
file content (220 lines) | stat: -rw-r--r-- 9,207 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
###########################################################################
##
#W todo.txt                 The SCSCP package           Alexander Konovalov
#W                                                             Steve Linton
##
###########################################################################


###########################################################################
1.Early development notes (in case of discrepancies, trust the manual)
###########################################################################

The GAP package "SCSCP" has two main components:

1) GAP Server
2) GAP Client

Description:

1) GAP Server is started from the GAP session or during GAP startup.
During GAP Server startup it:
* loads all functions which has to be acessible as SCSCP services
* loads lookup mechanisms for them
* starts to listen specified port (default 26133, as registered by IANA)

For example, the service provider can write a file "myservice.g" looking like:

LoadPackage("scscp");
InstallSCSCPprocedure("factorial", Factorial, ["integer"],  
    "computes factorials of positive integers");
.....
InstallSCSCPprocedure("Simplify", OM-Simplify, ["raw-openmath"],
    "does some special simplification of OpenMath objects");
    
RunSCSCPserver( "servername", portnumber );

After this to start the GAP server it remains to do 

gap myservice.g

RunSCSCPserver:
* accepts connection from client via port 26133
* performs an exchange of connection initionation messages with the client
* sends, if requested, the meta-information about provided services
* starts read-evaluate-write loop:
  - obtains OM message "procedure_call"
  - performs lookup of the appropriate GAP function and checks all input,
    with the message "procedure_terminated" if this step fails
  - starts computation, during which it controls GAP and returns 
    "procedure_terminated" message if:
    a) interrupt sygnal was obtained
    b) system is out of resources (in multiuser mode the limits may be 
       specified by WS provider and the user may not have control over them, 
       in single-user they must be specified by the user within bounds
       specified by WS provider)
    c) computation was terminated by GAP:
       - Error message with brk> loop (how can we catch this? are we
         going two run an interface from GAP to GAP??? Can/should we 
         manage to do this within single copy of the system? This 
         must be possible, provided sygnal kernel and time-space
         limits control will be implemented in the kernel)
       - system crash (in this case the client detects broken connection,
         and eventually we may want some way to start new GAP server process
         automatically in this case, but anyway there is no point to try to
         pick up the ongoing session)
  - if none of this was happened, returns the result in the form of the 
    "procedure_completed" message and returns to the beginning of
    read-evaluate-print loop

In a multi-user mode it never stops until it will be terminated by the service
provider. Multi-user mode is intended to perform single quickly computed requests.
Thus, on each iteration SCSCP server accepts next request from the queue. 

In a single user mode for each client there is one copy of GAP. This can be 
reduced to multi-user mode, if the client will be able to launch GAP SCSCP 
wrapper which will create its personal SCSCP service (Can we do this???). 
That SCSCP service will be stopped by the client's initiative or under some 
other specified conditions to prevent forgotten jobs from infinite running.
    
3) GAP Client (to connect to SCSCP server):
* establishes connection with the SCSCP server via the specified port 
* performs an exchange of connection initionation messages with the server
* requests, if necessary, the meta-information about provided services
* starts exchange loop:
  - sends OM message "procedure_call"
  - waits for the result of computation, and while waiting it must be able
    to send the interrupt sygnal in case of timeout
  - analyze the returned result and continues in case of "procedure_completed" 
    or leave the loop in case of "procedure_terminated"

###########################################################################
2.RELEASE HOW-TO
###########################################################################

* replace version number in PackageInfo.g and doc/manual.xml

* rebuild the manual

* commit PackageInfo.g and doc/manual.xml

* copy package to another location to wrap archives

* remove SVN subdirectories
rm -r .svn/ */.svn/ */*/.svn/

* replace paths from my local machine to something more neutral in gapd.sh
  
* remove files: parscscp.g, todo.txt, example/private.g, example/rings.g, 
  tracing/glue.sh, and all from 'par' directory except parlist.g

* remove possibly hidden files left e.g. '.DS_Store' left by Mac OS

* remove lines for loading example/private.g file from example/myserver.g

* remove getting IP address of the client, if it is not yet using IO package

* wrap the archive with the right version number:
cd ..
tar cfvz scscp-1.2.0.tar.gz scscp/
tar cjvf scscp-1.2.0.tar.bz2 scscp/

* copy archive, PackageInfo.g, README to web page:
scp scscp-* scscp/PackageInfo.g scscp/README.scscp alexk@shell.cs.st-and.ac.uk:~/public_html/scscp/

* copy manual to the web page:
scp scscp/doc/*.html scscp/doc/*.css scscp/doc/*.pdf alexk@shell.cs.st-and.ac.uk:~/public_html/scscp/

* check the PackageInfo.g, README, archive and the manual online:
http://www.cs.st-andrews.ac.uk/~alexk/scscp.htm

* update the web-page: modify version and links.

###########################################################################
3.TODO
###########################################################################

* Think about authentication using private/public keys or another method

* Parameter to regulate the queue length on the server

* Allow to restrict the range of IP addresses from which it accepts request

* CDs: matrix1, polynomial4, order1 (in openmath)

* Is SCSCP version restored after session if it was altered?

* Check more carefully examples and demo files, esp. upper/lowercasing etc.

* Implement verification of arguments for procedures with non-trivial 
  signatures 

* Revise TerminateProcess, redo interrupts and check handling of other 
  processing instructions

* Extend test files with more examples

* Log servers activity in some GAP-readable format for analysing: 
  where incoming requests came from, when and when reply was sent?
  Maybe we may even view them using EdenTV?
  
* Automatically glue trace files and start EdenTV (path to it should 
  be in some config.file)  
  
* Automatic adjustments of the timeout (see Runtimes() record) in parlist.g

* Par{Quick/List}WithSCSCP may accept option specifying the list of services 
  to use if not coinciding with SCSCPservers

* TODO (suggested by SL): A useful trick which Google uses is that they 
  automatically restart the last 5% or so of the computations to finish, 
  without actually knowing whether the servers have died or not. That way 
  they also compensate for servers that are just running very slowly, 
  and they lose nothing, since there are always idle servers by that point.  

* Possible idea: if a list of procedure names is given, they are applied
  recursively, e.g. 
  EvaluateBySCSCP( [ "WS_Factorial", "WS_Phi" ], [ 10 ], ... );

* An idea we might consider in the future: change the structure of 
OMsymRecord to cd.symbol.method, cd.symbol.role etc, then transient 
CD record could me merged with OMsymRecord. Storing cd.symbol.role 
may be useful, for example, GetAllowedHeads then will be able to 
select only OMA.

* INTERRUPTS:

Once we tried to do CloseStream(process![1]), but closing stream too 
early (for example, when server writes to it) causes server crash 
because of the broken pipe :( 
We need to send a proper Ctrl-C signal to the server, then it
will enter into a break loop and will send an error message from the
break loop to the client - this happens when you press Ctrl-C in the
server's window.

Another possible scenarios:

1) Multi-user service: the SCSCP server accepts A:1 incoming request and 
starts another process B:2. The client communicates with B:2, and then 
sends to A:1 request to interrupt the service B:2. Then A:1 performs 
(in GAP) either "IO_kill(<pid>,15);" or Exec("kill -s SIGUSR2 <pid>");

2) Single-user service: We start two parallel services, A:1 is the 
production service, and B:1 is used to interrupt (and restart somehow?) 
the service A:1

3) Remote user executes (in GAP) Exec("ssh <hostname> kill -s SIGUSR2 <pid>");"
(need have enough credentials to login into remote machine).

(3) Works remotely. However, the user must be an owner of the process, 
since only the super-user may send signals to other users' processes, 
and there are other possible issues as well.

(1) and (2) require some care of a register of users and their respective 
pid so the request like

    <OMS cd="scscp1" name="interrupt_computation" />
    <OMSTR>call_identifier</OMSTR>

should lead to terminate that session for which the client is authorised.
This must be feasible.