Maui Scheduler

3.1 File Layout

Maui is initially unpacked into a simple one-deep directory structure as shown below. Note that some of the files (i.e., log and statistics files) will be created as Maui is run.

$(MAUIHOMEDIR) _____ maui.cfg (general config file containing information required by both the Maui server and user interface clients)
|___ maui-private.cfg (config file containing private information required by the Maui server only)
|___ fs.cfg (fairshare config file used in Maui 3.0.6 and earlier)
|___ maui.ck (Maui checkpoint file)
|___ maui.pid (Maui 'lock' file to prevent multiple instances)
|___ log (directory for Maui log files - REQUIRED BY DEFAULT)
|____ maui.log (Maui log file)
|____ maui.log.1 (previous 'rolled' Maui log file)
|___ stats (directory for Maui statistics files - REQUIRED BY DEFAULT)
|____ Maui stats files (in format 'stats.<YYYY>_<MM>_<DD>')
|____ Maui fairshare data files (in format 'FS.<EPOCHTIME>')
|___ tools (directory for local tools called by Maui - OPTIONAL BY DEFAULT)
|___ traces (directory for Maui simulation trace files - REQUIRED FOR SIMULATIONS)
|____ resource.trace1 (sample resource trace file)
|____ workload.trace1 (sample workload trace file)
|___ bin (directory for Maui executable files - REQUIRED BY DEFAULT)
|____ maui (Maui scheduler executable)
|____ maui_client (Maui user interface client executable)
|____ profiler (tool used to analyze Maui statistics)
|___ src (directory for Maui source code files - REQUIRED FOR BUILD)
|___ spool (directory for temporary Maui files - REQUIRED FOR ADVANCED FEATURES)
|___ contrib (directory containing contributed code in the areas of GUI's, algorithms, policies, etc)

$(MAUIINSTDIR) ________bin (directory for installed Maui executables)
|____ maui (Maui scheduler executable)
|____ maui_client (Maui user interface client executable)
|____ profiler (tool used to analyze Maui statistics)

/etc/maui.cfg (optional file. This file is used to override default '$(MAUIHOMEDIR)' settings. it should contain the string 'SERVERHOMEDIR $(DIRECTORY)' to override the 'built-in' $(MAUIHOMEDIR)' setting.

When Maui is configured via the configure script, the user is queried for the location of the Maui home directory and this directory, $(MAUIHOMEDIR), is compiled in as the default MAUIHOMEDIR directory when Maui is built. Unless specified otherwise, Maui will look in this directory for its various config files. If you wish to run Maui out of a different directory, you can override the default home directory setting by creating a /etc/maui.cfg file containing the string 'SERVERHOMEDIR <DIRECTORY>', by setting the environment variable 'MAUIHOMEDIR', or by specifying the configfile explicitly using the '-C' command line option on Maui and the Maui client commands.

When Maui is run, it creates a log file, 'maui.log' in the log directory and creates a statistics file in the stats directory with the naming convention 'stats.YYYY_MM_DD' (i.e., 'stats.2000_09_20'). Additionally, a checkpoint file, maui.ck and lock file maui.pid are maintained in the Maui home directory.