Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...


Parameterconfiguration_name
TypeText string
Value

Name of CHARON-VAX instance (unique):

set session configuration_name="MSCDV1"

The value of this parameter is used as prefix to the event log file name when multiple log files are configured (see below).

From the example above, the CHARON-VAX log file will have the following name:

MSCDV1-YYYY-MM-DD-hh-mm-ss-xxxxxxxxx.log

xxxxxxxxx is an increasing decimal number starting from 000000000 to separate log files with the same time of creation (in case the log is being written faster than one log file per second).


Div
classpagebreak


log

Parameterlog
TypeText string
Value

The log file or directory name is where the log file for each CHARON-VAX execution session is stored.

Panel
borderColor#3AAADC
bgColor#FFFFFF
titleColor#FFFFFF
titleBGColor#3AAADC
titleLog specified as a file name

It is possible to overwrite the existing log file or to extend it using the "695426309log_method" parameter.

(info) The "log_method" parameter is effective only when a single log file is specified, not a directory.

Example:

set session log="/charon/vax4106prod.log"


Panel
borderColor#0062AB
bgColor#FFFFFF
titleColor#FFFFFF
titleBGColor#0062AB
titleLog specified as a directory

CHARON-VAX automatically creates individual log files for each CHARON-VAX execution session. If the log parameter is omitted, CHARON-VAX creates a log file for each CHARON-VAX execution session in the directory where the emulator was started. In these two cases, the log rotation mode is enabled, meaning a new log file is created each time the virtual machine is started and when the log file size exceeds the one specified (see 695426309 log_file_size) and/or when the log file is older than a specified number of days (see 695426309 log_rotation_period).

(info) A symbolic link located in the same directory will be created, pointing to the active log file. Its name is based on the hw_model parameter or the configuration_name parameter if specified.

If the "configuration_name" parameter of the session is specified, the log file name is composed as follows:

<configuration_name>-YYYY-MM-DD-hh-mm-ss-xxxxxxxxx.log

If the "configuration_name" parameter is omitted, the log file name will have the following format:

<hw_model>-YYYY-MM-DD-hh-mm-ss-xxxxxxxxx.log

where "xxxxxxxxx" is an increasing decimal integer, starting from 000000000 to separate log files with the same time of creation (in case the log is being created faster than one log file per second).

(warning) Only existing directory can be specified. If the directory specified does not exist, this will be considered as a flat file.

Example:

set session configuration_name="vax4106prod"

set session log="/charon/logs"

The execution of the virtual machine will create a log file, named /charon/logs/vax4106prod-2016-10-13-10-00-00-000000000.log (for example) and a symbolic link named /charon/logs/vax4106prod.log pointing to this file. The link will be updated when the log rotation will occur.



Div
classpagebreak


log_method

Parameterlog_method
TypeText string
Value
  • "overwrite" (default)
  • "append"

Determines if previous log information is maintained.

Info
This parameter must be specified only in addition to “log” parameter on the same line.

This parameter is applicable only if the CHARON-VAX log is stored in a file that is specified explicitly with the "log" parameter.

Example:

set session log="log.txt" log_method="append"

log_file_size

...