Provides information on and configuration of CIAO sessions.
ciaoshmem
ciaoshmem -c [all|<hkfile>]
ciaoshmem -d
ciaoshmem -f
ciaoshmem -i
ciaoshmem -kill
ciaoshmem -l
ciaoshmem -p
ciaoshmem -s <skey>
ciaoshmem -x <hkfile>
The ciaoshmem tool provides information about and configuration
of CIAO sessions.
It is intended to help track down or clean up problems
related to session management and resource allocation and
so should be rarely - if at all - needed.
The tool is most useful for checking which applications are
associated with the current session (see "ahelp session" for
more information on CIAO sessions).
Its default behaviour is to display information about the
current session, as shown in the following example:
unix% ciaoshmem
The current session for this window...
--------------------------------------------------------
| session id: v2.0.ciaouser.chandra.chandra |
| shm id: 73201 |
| - - - - - - - - - - - - - - - - - - - - - - - - - |
| Application Instance Process id Access Name |
| ----------- -------- ---------- ----------- |
| prism 1 22514 prism |
--------------------------------------------------------
This tells us that in the current session - which has
a session key of v2.0.ciaouser.chandra.chandra (see "ahelp session") -
there is currently one application - prism - running,
its process id and the name of its XPA access point.
Other behaviour is available by specifying one of the
following command-line options (the options are
case insensitive):
| -c [all|<hkfile>] |
Cleans up any left-over resources. If "all" is given then
all CIAO-allocated resources are cleaned up; if
a filename is given (which must be one of the session
house keeping files in $HOME/.ciao/), then only that
specific resource is cleaned up; otherwise
only resources associated with the current session are
removed.
|
| -d |
List those processes which have a lock on system
resources. A value of 0 indicates that no locks exist. |
| -f |
Include extra information - taken from ciao.par - in the output. |
| -h |
Display all the command-line options for the tool. |
| -i |
Prints out the current session key. |
| -kill |
Terminates all applications in the current session.
This is functionally equivalent to selecting the "Exit Session"
item in the "Session" menu of a CIAO GUI. |
| -l |
Lists any session house-keeping files that
are present in your $HOME/.ciao/ directory.
|
| -p |
Equivalent to running the tool without any commmand-line option. |
| -s <skey> |
Prints out information for the listed session key rather than
using the current session.
|
| -x <hkfile> |
Prints out information for the session referred to by the
supplied session housekeeping file (i.e. $HOME/.ciao/session_xxx).
|
|
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}