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 481984586 log_file_size) and/or when the log file is older than a specified number of days (see 481984586 log_rotation_period). 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). 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="vax4106 prod"
set session log="/charon/logs"
|
The execution of the virtual machine will create a log file, named /charon/logs/vax4106 prod-2016-10-13-10-00-00-000000000.log (for example) and a symbolic link named /charon/logs/vax4106 prod.log pointing to this file. The link will be updated when the log rotation will occur. |