version 1.11, 2000/01/17 06:10:41 |
version 1.12, 2000/01/17 07:15:52 |
|
|
% $OpenXM: OpenXM/doc/issac2000/session-management.tex,v 1.10 2000/01/17 01:24:27 noro Exp $ |
% $OpenXM: OpenXM/doc/issac2000/session-management.tex,v 1.11 2000/01/17 06:10:41 noro Exp $ |
|
|
\section{Session Management} |
\section{Session Management} |
\label{secsession} |
\label{secsession} |
Line 93 To reset an engine safely the following are required. |
|
Line 93 To reset an engine safely the following are required. |
|
\begin{enumerate} |
\begin{enumerate} |
\item Any OX message must be a synchronized object in the sense of Java. |
\item Any OX message must be a synchronized object in the sense of Java. |
|
|
As an {\tt OX} message is sent as a combination of several {\tt CMO} |
As an OX message is sent as a combination of several {\tt CMO} |
data, a global exit without sending all may generate broken data. |
data, a global exit without sending all may generate broken data. |
|
|
\item After restarting an engine, a request from a client |
\item After restarting an engine, a request from a client |
Line 103 An incorrect correspondence occurs if some data remain |
|
Line 103 An incorrect correspondence occurs if some data remain |
|
after restarting an engine. |
after restarting an engine. |
\end{enumerate} |
\end{enumerate} |
|
|
{\tt SM\_control\_reset\_connection} is an {\tt SM} command to |
{\tt SM\_control\_reset\_connection} is a stack machine command to |
initiate a safe resetting of an engine. |
initiate a safe resetting of an engine. |
The control server sends {\tt SIGUSR1} to the engine if it receives |
The control server sends {\tt SIGUSR1} to the engine if it receives |
{\tt SM\_control\_reset\_connection} from the client. |
{\tt SM\_control\_reset\_connection} from the client. |
Line 129 the engine enters the resetting state. |
|
Line 129 the engine enters the resetting state. |
|
The engine sends {\tt OX\_SYNC\_BALL} to the client. |
The engine sends {\tt OX\_SYNC\_BALL} to the client. |
The operation does not block because |
The operation does not block because |
the client is now in the resetting state. |
the client is now in the resetting state. |
\item The engine skips all {\tt OX} messages from the engine until it |
\item The engine skips all OX messages from the engine until it |
receives {\tt OX\_SYNC\_BALL}. After receiving {\tt OX\_SYNC\_BALL} |
receives {\tt OX\_SYNC\_BALL}. After receiving {\tt OX\_SYNC\_BALL} |
the engine returns to the usual state. |
the engine returns to the usual state. |
\end{enumerate} |
\end{enumerate} |
Line 158 We provide two methods to help debugging on X window s |
|
Line 158 We provide two methods to help debugging on X window s |
|
window; |
window; |
2. the engine can pop up a window to input debug commands. |
2. the engine can pop up a window to input debug commands. |
For example {\tt ox\_asir}, which is |
For example {\tt ox\_asir}, which is |
the OpenXM server of {\tt Risa/Asir}, can pop up a window to input |
the OpenXM server of Risa/Asir, can pop up a window to input |
debug commands and the debugging similar to that on usual terminals is possible. |
debug commands and the debugging similar to that on usual terminals is possible. |
One can also send {\tt SIGINT} by using {\tt SM\_control\_to\_debug\_mode} |
One can also send {\tt SIGINT} by using {\tt SM\_control\_to\_debug\_mode} |
and it provides a similar functionality to entering the debugging |
and it provides a similar functionality to entering the debugging |