Login
 

Maze for Linux

  • Increase font size
  • Default font size
  • Decrease font size

The TEST mode

The TEST mode session starts with the following command:

 

maze cmd [ cmd ... ] [ -r runs ] [ -s seed ] [ -f ] [ -d dir ]


cmd (“command”) has the 'prog-and-args' [ inst ] format. There may be multiple cmds. prog-and-args is the name of the application binaryIf the name contains no slashes, maze follows the terminal shell lookup rules. with its own command line arguments. If the binary does not take any command line arguments, the quotes around prog-and-args are optional. inst is a positive integer. It is an optional argument specifying the number of instances of the program to be run concurrently. The default value for inst is 1.
-r runs runs is a positive integer, specifying the number of runs in the TEST session. The default value for runs is 1.
-s seed seed is a positive integer, used as a seed for the maze random number generator. Different seeds result in different sets of process scheduling schemes generated by maze.
-f control both threads and child processes created with fork(). By default, maze controls only threads.
-d dir dir is a valid directory name. Maze stores the session data in the directory dir/.maze/pid/ , where pid is the process id of the maze session itself. By default, dir is the run directory.

Example:

The TEST session with three shell commands ( "ls -lt", "pwd", and "pwd") running concurrently 10 times can be initiated either with

$ maze 'ls -lt' pwd pwd -r 10

or with

$ maze 'ls -lt' pwd 2 -r 10