1 System Principles

This chapter describes the strategies and options which are available to start the Erlang runtime system of Erlang/OTP. This section includes the following topics:

• Starting the system


• Re-starting and stopping the system


• Command line arguments


• The boot file


• Code loading strategies


• Making a boot file


• Starting the system with a boot file


• Code loading strategy


• Making an embedded system


• The primitive loader.

1.1 Starting the System

An Erlang runtime system is started with the command:

erl [-boot B] [-config F] [-mode M] [-heart]
    [-loader L] [-id Id] [-nodes N1 N2 ... Nn]
    [-pa Dir1 Dir2 ... Dirn] [-pz  Dir1 Dir2 ... Dirn] 
    [-path Dir1 Dir2 ... Dirn]
    [-AppName Key Value]
    [Other args]

• -boot B tells the system to use the boot file named B.boot to boot the system. This boot file is responsible for the initial loading of the system. If B is not supplied it defaults to start.
  When Erlang starts, it searches for the boot file in the current working directory and then in $ROOT/bin, where $ROOT is the root of the Erlang distribution.
  If -loader distributed -nodes N1 N2 was specified, the script is fetched from one of the nodes N1, N2, ..., otherwise it is fetched by requesting it from the program given in the argument to the -loader parameter.
  


• -config F tells the system to use data in the system configuration file F.config to override the arguments contained in the application resource files for the set of applications used by this system.


• -mode M is the mode in which the system is started. M must be either embedded or interactive. If -mode M is omitted, it defaults to interactive. In embedded mode all, modules are loaded at system start.


• -heart This argument starts an external program which monitors the Erlang node. If the Erlang node hangs, or terminates abnormally, the heart program can restart the Erlang node.


• -loader L defines the loader program L which fetches code when the system is started. L is either the atom distributed, or the name of an external program. If L is not supplied, it defaults to efile which is the normal Erlang filer.


• -id Id gives a unique identifier to each Erlang node. If omitted, Id defaults to the atom none. This flag is not required if the default loader efile is used. If the -sname Name or -name Name parameters are given, Id must be the same as Name.


• -nodes N1 N2 ... Nn must be supplied if -loader distributed is specified. N1, N2,..., Nn are Erlang node names from which the system can fetch the modules to be loaded.


• -pa Dir1 Dir2 ...Dirn defines a set of directories, Dir1, Dir2, .. Dirn which are added to the front of the standard search path which is defined in the start-up script.


• -pz Dir1 Dir2 ...Dirn defines a set of directories, Dir1, Dir2, .. Dirn which are added to the end of the standard search path which is defined in the start-up script.


• -path Dir1 Dir2 ...Dirn defines a set of directories, Dir1, Dir2, .. Dirn which replace the standard search path defined in the start-up script.


• [-AppName Key Value] overrides the AppName application configuration parameter Key with Value.


• [Other Args] are parsed in a standard manner and can be accessed by any application.

The following comments apply to the arguments listed above:

• The default loader is the program efile. Through erl_prim_loader, it provides a minimal file system interface between Erlang and the local file system in order to load code.


• When -loader L is specified, the primitive code loader must know how to retrieve a boot script with name B.boot.


• When -loader distributed -nodes N1 N2 ... Nn is specified, the boot servers with registered names boot_server are assumed to be running on all Erlang nodes N1, N2, ..., Nn. If they are not, the system waits for these boot servers to start. Requests are sent to these boot servers to obtain files with names {Id, Name} (Id is specified in the command line arguments). The boot servers must know how to map these names onto local file names. A simple boot server erl_boot_server is provided with the system.


• The boot file with extension .boot is created by evaluating the expression systools:script2boot("File"). This function converts the script file File.script to a boot file File.boot.

1.2 Restarting and Stopping the System

The system is restarted and stopped with the following commands:

• init:restart(). This command restarts the system inside the running Erlang node. All applications are taken down smoothly, and all code is unloaded before the system is started again in the same way as it was started initially.


• init:reboot(). All applications are taken down smoothly, and all code is unloaded before the Erlang node terminates. The heart argument affects the reboot sequence as follows:
  1. If the -heart argument was supplied, the heart program tries to reboot according to the HEART_COMMAND environment variable.
  
  
  2. If this variable is not set, heart simply writes to std_out that it should have rebooted.
  
  
  3. If HEART_COMMAND is /usr/sbin/reboot, the whole machine is rebooted.
  
  


• init:stop(). All applications are taken down smoothly, and all code is unloaded. If the -heart argument was supplied, the heart program is terminated before the Erlang node terminates.

1.3 Command Line Arguments

When the system has started, application programs can access the values of the command line arguments by calling one of the functions init:get_argument(Key), or init:get_arguments().

Erlang was started by giving a command of the form:

erl -flag1 arg1 arg2 -flag2 arg3 ...

When the erl -flag1 ... command has been issued, Erlang starts by spawning a new process and the system behaves as if the function spawn(init, boot, [Args]) had been evaluated. Args is a list of all the command line arguments to erl. These are passed as strings. For example, the command erl -id 123 -loader efile -script "abc" ... causes the system to behave as if it had evaluated the following function:

spawn(init, boot, ["-id", "123", "-loader", "efile",
                   "-script", "\"abc\""]).

The first thing init does is to call init:parse_args(Args) to "normalize" the input arguments. After normalization, the arguments can be accessed as follows:

• init:get_argument(Flag) -> {ok, [[Arg]]} | error tries to fetch the argument associated with Flag. The return value is either a list of argument lists, or the atom error. Flags can have multiple values. If the command line was erl -p1 a b c -p2 a x -p1 ww zz:
  
  • init:get_argument(p1) would return:

    {ok, [["a", "b", "c"], ["ww", "zz"]]}

  
  
  • init:get_argument(p2) would return:

    {ok, [["a", "x"]]}

  
  
  This is why get_argument returns a list of lists, and not just a list.
  


• init:get_arguments() -> [{Flag, [Arg]}] returns all the command line arguments. For the command line given above, this would return:

  [{p1,["a","b","c"]}, {p2,["a","x"]}, {p1,["ww","zz"]}]

Both get_arguments/0 and get_argument/1 preserve the argument order of the arguments supplied with the command line.

Applications should not normally be configured with command line flags, but should use the application environment instead. Refer to Configuring an Application in the Design Principles chapter for details.

1.4 The Boot File

The boot script is stored in a file with the extension .script

A typical boot script file may look as follows:

{script, {Name, Vsn},
 [
  {progress, loading},
  {preLoaded, [Mod1, Mod2, ...]},
  {path, [Dir1,"$ROOT/Dir",...]}.
  {primLoad, [Mod1, Mod2, ...]},
  ...
  {kernel_load_completed},
  {progress, loaded},
  {kernelProcess, Name, {Mod, Func, Args}},
  ...
  {apply, {Mod, Func, Args}},
  ...
  {progress, started}]}.

The meanings of these terms are as follows:

• {script, {Name, Vsn},...} defines the script name and version.


• {progress, Term} sets the "progress" of the initialization program. The function init:get_status() returns the current value of the progress, which is {InternalStatus,Progress}.


• {path, [Dir]}. Dir is a string. This argument sets the load path of the system to [Dir]. The load path used to load modules is obtained from the initial load path, which is given in the script file, together with any path flags which were supplied in the command line arguments. The command line arguments modify the path as follows:
  • -pa Dir1 Dir2 ... Dirn adds the directories Dir1, Dir2, ..., Dirn to the front of the initial load path.
  
  
  • -pz Dir1 Dir2 ... Dirn adds the directories Dir1, Dir2, ..., Dirn to the end of the initial load path.
  
  
  • -path Dir1 Dir2 ... Dirn defines a set of directories Dir1, Dir2, ..., Dirn which replaces the search path given in the script file. Directory names in the path are interpreted as follows:
    • Directory names starting with / are assumed to be absolute path names.
    
    
    • Directory names not starting with / are assumed to be relative to the current working directory.
    
    
    • The special $ROOT variable can only be used in the script, not as a command line argument. The given directory is relative to the Erlang installation directory.
    
    
  
  


• {primLoad, [Mod]} loads the modules [Mod] from the directories specified in Path. The script interpreter fetches the appropriate module by calling the function erl_prim_loader:get_file(Mod). A fatal error which terminates the system will occur if the module cannot be located.


• {kernel_load_completed} indicates that all modules which must be loaded before any processes are started are loaded. In interactive mode, all {primLoad,[Mod]} commands interpreted after this command are ignored, and these modules are loaded on demand. In embedded mode, kernel_load_completed is ignored, and all modules are loaded during system start.


• {kernelProcess, Name, {Mod, Func, Args}} starts a "kernel process". The kernel process Name is started by evaluating apply(Mod, Func, Args) which is expected to return {ok, Pid} or ignore. The init process monitors the behaviour of Pid and terminates the system if Pid dies. Kernel processes are key components of the runtime system. Users do not normally add new kernel processes.


• {apply, {Mod, Func, Args}}, The init process simply evaluates apply(Mod, Func, Args). The system terminates if this results in an error. The boot procedure hangs if this function never returns.

In the interactive system the code loader provides demand driven code loading, but in the embedded system the code loader loads all the code immediately. The same version of code is used in both cases. The code server calls init:get_argument(mode) to find out if it should run in demand mode, or non-demand driven mode.

1.5 Making a Boot File

If a boot script is written manually, the systools:script2boot(File) function can be used to generate the compiled (binary) form File.boot from the File.script file. However, it is recommended that the systools:make_script function is used in order to create a boot script.

1.6 Starting the System with a Boot File

The command erl -boot File starts the system with a boot file called File.boot. An ASCII version of the boot file can be found in File.script.

The boot file is created by evaluating:

systools:script2boot(File)

Several standard boot files are available. For example, start.script starts the system as a plain Erlang runtime system with the application_controller and the kernel applications.

1.6.1 start.script

The start.script is as follows:

{script,{"OTP  APN 181 01","R1A"},
        [{preLoaded,[init,erl_prim_loader]},
         {progress,preloaded},
         {path,["$ROOT/lib/kernel-1.1/ebin",
                "$ROOT/lib/stdlib-1.1/ebin"]},
         {primLoad,[error_handler,
                    ets,
                    lib,
                    lists,
                    slave,
                    heart,
                    application_controller,
                    application_master,
                    application,
                    auth,
                    c,
                    calendar,
                    code,
                    erlang,
                    erl_distribution,
                    erl_parse,
                    erl_scan,
                    io_lib,
                    io_lib_format,
                    io_lib_fread,
                    io_lib_pretty,
                    error_logger,
                    file,
                    gen,
                    gen_event,
                    gen_server,
                    global,
                    kernel,
                    net_kernel,
                    proc_lib,
                    rpc,
                    supervisor,
                    sys]},
         {kernel_load_completed},
         {progress,kernel_load_completed},
         {primLoad,[group,
                    user,
                    user_drv,
                    kernel_config,
                    net,
                    erl_boot_server,
                    net_adm]},
         {primLoad,[math,
                    random,
                    ordsets,
                    shell_default,
                    timer,
                    gen_fsm,
                    pg,
                    unix,
                    dict,
                    pool,
                    string,
                    digraph,
                    io,
                    epp,
                    log_mf_h,
                    queue,
                    erl_eval,
                    erl_id_trans,
                    shell,
                    erl_internal,
                    erl_lint,
                    error_logger_file_h,
                    error_logger_tty_h,
                    edlin,
                    erl_pp,
                    dets,
                    regexp,
                    supervisor_bridge]},
         {progress,modules_loaded},
         {kernelProcess,heart,{heart,start,[]}},
         {kernelProcess,error_logger,{error_logger,start_link,[]}},
         {kernelProcess,application_controller,
                        {application_controller,
                            start,
                            [{application,
                                 kernel,
                                 [{description,"ERTS  CXC 138 10"},
                                  {vsn,"1.1"},
                                  {modules,
                                      [{application,1},
                                       {erlang,1},
                                       {group,1},
                                       {rpc,1},
                                       {application_controller,1},
                                       {error_handler,1},
                                       {heart,1},
                                       {application_master,1},
                                       {error_logger,1},
                                       {init,1},
                                       {user,1},
                                       {auth,1},
                                       {kernel,1},
                                       {user_drv,1},
                                       {code,1},
                                       {kernel_config,1},
                                       {net,1},
                                       {erl_boot_server,1},
                                       {erl_prim_loader,1},
                                       {file,1},
                                       {net_adm,1},
                                       {erl_distribution,1},
                                       {global,1},
                                       {net_kernel,1}]},
                                  {registered,
                                      [init,
                                       erl_prim_loader,
                                       heart,
                                       error_logger,
                                       application_controller,
                                       kernel_sup,
                                       kernel_config,
                                       net_sup,
                                       net_kernel,
                                       auth,
                                       code_server,
                                       file_server,
                                       boot_server,
                                       global_name_server,
                                       rex,
                                       user]},
                                  {applications,[]},
                                  {env,
                                      [{error_logger,tty},
                                       {os, {unix, 'solaris'}}]},
                                  {maxT,infinity},
                                  {maxP,infinity},
                                  {mod,{kernel,[]}}]}]}},
         {progress,init_kernel_started},
         {apply,{application,load,
                             [{application,
                                  stdlib,
                                  [{description,"ERTS  CXC 138 10"},
                                   {vsn,"1.1"},
                                   {modules,
                                       [{c,1},
                                        {gen,1},
                                        {io_lib_format,1},
                                        {math,1},
                                        {random,1},
                                        {sys,1},
                                        {calendar,1},
                                        {gen_event,1},
                                        {io_lib_fread,1},
                                        {ordsets,1},
                                        {shell_default,1},
                                        {timer,1},
                                        {gen_fsm,1},
                                        {io_lib_pretty,1},
                                        {pg,1},
                                        {slave,1},
                                        {unix,1},
                                        {dict,1},
                                        {gen_server,1},
                                        {lib,1},
                                        {pool,1},
                                        {string,1},
                                        {digraph,1},
                                        {io,1},
                                        {lists,1},
                                        {proc_lib,1},
                                        {supervisor,1},
                                        {epp,1},
                                        {io_lib,1},
                                        {log_mf_h,1},
                                        {queue,1},
                                        {erl_eval,1},
                                        {erl_id_trans,1},
                                        {shell,1},
                                        {erl_internal,1},
                                        {erl_lint,1},
                                        {error_logger_file_h,1},
                                        {erl_parse,1},
                                        {error_logger_tty_h,1},
                                        {edlin,1},
                                        {erl_pp,1},
                                        {ets,1},
                                        {dets,1},
                                        {regexp,1},
                                        {erl_scan,1},
                                        {supervisor_bridge,1}]},
                                   {registered,
                                       [timer_server,
                                        rsh_starter,
                                        take_over_monitor,
                                        pool_master,
                                        dets]},
                                   {applications,[kernel]},
                                   {env,[]},
                                   {maxT,infinity},
                                   {maxP,infinity}]}]}},
         {progress,applications_loaded},
         {apply,{application,start_boot,[kernel,permanent]}},
         {apply,{application,start_boot,[stdlib,permanent]}},
         {apply,{c,erlangrc,[]}},
         {progress,started}]}.

1.7 Code Loading Strategy

The code is always loaded relative to the current path and this path is obtained from the value given in the script file, possibly modified by the path manipulation flags in the command line.

This approach allows us to run the system in a number of different ways:

• Interactive mode. The system dynamically loads code on demand from the directories specified in the path command. This is the "normal" way to develop code.


• Embedded mode. The system loads all its code during system start-up. In special cases, all code can be located in a single directory. We would copy all files to a given directory and create a path to this directory only.


• Test mode. Test mode is typically used if we want to run some new test code together with a particular release of the embedded system. We want all the convenience of the interactive system with code loading on demand, and the rigor of the embedded system. In test mode, we run the system with command line arguments such as -pa ".".

1.8 Making an Embedded System

When using the the interactive Erlang development environment, it often does not matter if things go wrong at runtime. The main difference with an embedded system is that it is extremely important that things do not go wrong at runtime.

Before building a release which is targeted for an embedded system, we must perform a large number of compile-time checks on the code.

A boot script file can be created with the systools:make_script function. This function reads a .rel release file and generates the boot script in accordance with the specified applications in the release file. A boot script which is generated this way ensures that all code specified in the application resource files are loaded and that all specified applications are started.

A complete release can be packaged with the systools:make_tar function . All application directories and files are packaged according to the release file. The release file and the release upgrade script are also included in the release package.

1.9 The Primitive Loader

Unlike the Erlang node, the primitive file loader "knows" how to fetch modules and scripts from its environment.

The interface to the primitive loader is as follows:

• erl_prim_loader:start(Id, L, Nodes) -> ok | error starts the primitive loader with the arguments given in the command line.


• erl_prim_loader:set_path([Dir]) -> ok sets the path given in the boot file. The value of [Dir] comes from the command {path, [Dir]} in the start-up script combined with the command line arguments.


• erl_prim_loader:get_path() -> {ok,Path} returns the Path used by the primitive loader.


• erl_prim_loader:get_file(File) -> {ok, FullName, Bin} | error loads a file from the current path. File is either an absolute file name or just the name of the file, for example lists.beam. FullName is the name of the file if the load succeeds. Bin is the contents of the file as a binary.

We assume the primitive loader to be running as long as the Erlang node is up and running. In the interactive mode, the code server fetches all code through the loader and the application_controller fetches configuration and application files this way.

If an other loader than the one distributed with the system is required, this loader must be implemented by the user as an external port program. The Loader provided by the user must fulfill a protocol defined for the erl_prim_loader, and it will be started by the erl_prim_loader using the open_port({spawn,Loader},[binary]) function call. Refer to the Reference Manual for more information.

1.10 File Types

The following file types are defined in Erlang/OTP:

File Types

Type	File name/Extension	Description	Manual page which describes the file syntax
module	.erl	Erlang code	-
application	.app	Application resource file	app(4)
release	.rel	Release resource file	rel(4)
script	.script	Start script	script(4)
boot	.boot	Binary boot file	-
config	.config	Configuration file - used to override values in the .app files	config(4)
application upgrade	.appup	Application upgrade	appup(4)
release upgrade script	relup	Release upgrade script	relup(4)