aboutsummaryrefslogtreecommitdiffstats
path: root/system/doc/reference_manual/processes.xml
blob: 305d7d9c66b98d04efaf07ebdc51efdce8095b97 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
<?xml version="1.0" encoding="latin1" ?>
<!DOCTYPE chapter SYSTEM "chapter.dtd">

<chapter>
  <header>
    <copyright>
      <year>2003</year><year>2009</year>
      <holder>Ericsson AB. All Rights Reserved.</holder>
    </copyright>
    <legalnotice>
      The contents of this file are subject to the Erlang Public License,
      Version 1.1, (the "License"); you may not use this file except in
      compliance with the License. You should have received a copy of the
      Erlang Public License along with this software. If not, it can be
      retrieved online at http://www.erlang.org/.
    
      Software distributed under the License is distributed on an "AS IS"
      basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
      the License for the specific language governing rights and limitations
      under the License.
    
    </legalnotice>

    <title>Processes</title>
    <prepared></prepared>
    <docno></docno>
    <date></date>
    <rev></rev>
    <file>processes.xml</file>
  </header>

  <section>
    <title>Processes</title>
    <p>Erlang is designed for massive concurrency. Erlang processes are
      light-weight (grow and shrink dynamically) with small memory
      footprint, fast to create and terminate and the scheduling
      overhead is low.</p>
  </section>

  <section>
    <title>Process Creation</title>
    <p>A process is created by calling <c>spawn</c>:</p>
    <pre>
spawn(Module, Name, Args) -> pid()
  Module = Name = atom()
  Args = [Arg1,...,ArgN]
    ArgI = term()</pre>
    <p><c>spawn</c> creates a new process and returns the pid.</p>
    <p>The new process will start executing in
      <c>Module:Name(Arg1,...,ArgN)</c> where the arguments is
      the elements of the (possible empty) <c>Args</c> argument list.</p>
    <p>There exist a number of other <c>spawn</c> BIFs, for example
      <c>spawn/4</c> for spawning a process at another node.</p>
  </section>

  <section>
    <title>Registered Processes</title>
    <p>Besides addressing a process by using its pid, there are also
      BIFs for registering a process under a name. The name must be an
      atom and is automatically unregistered if the process terminates:</p>
    <table>
      <row>
        <cell align="left" valign="middle"><c>register(Name, Pid)</c></cell>
        <cell align="left" valign="middle">Associates the name <c>Name</c>, an atom, with the process <c>Pid</c>.</cell>
      </row>
      <row>
        <cell align="left" valign="middle"><c>registered()</c></cell>
        <cell align="left" valign="middle">Returns a list of names which have been registered using<c>register/2</c>.</cell>
      </row>
      <row>
        <cell align="left" valign="middle"><c>whereis(Name)</c></cell>
        <cell align="left" valign="middle">Returns the pid registered under <c>Name</c>, or<c>undefined</c>if the name is not registered.</cell>
      </row>
      <tcaption>Name Registration BIFs.</tcaption>
    </table>
  </section>

  <section>
    <marker id="term"></marker>
    <title>Process Termination</title>
    <p>When a process terminates, it always terminates with an
      <em>exit reason</em>. The reason may be any term.</p>
    <p>A process is said to terminate <em>normally</em>, if the exit
      reason is the atom <c>normal</c>. A process with no more code to
      execute terminates normally.</p>
    <p>A process terminates with exit reason <c>{Reason,Stack}</c>
      when a run-time error occurs. See
      <seealso marker="errors#exit_reasons">Error and Error Handling</seealso>.</p>
    <p>A process can terminate itself by calling one of the BIFs
      <c>exit(Reason)</c>, 
      <c>erlang:error(Reason)</c>, <c>erlang:error(Reason, Args)</c>,
      <c>erlang:fault(Reason)</c> or <c>erlang:fault(Reason, Args)</c>. 
      The process then terminates with reason <c>Reason</c> for
      <c>exit/1</c> or <c>{Reason,Stack} for the others</c>.</p>
    <p>A process may also be terminated if it receives an exit signal
      with another exit reason than <c>normal</c>, see
      <seealso marker="#errors">Error Handling</seealso> below.</p>
  </section>

  <section>
    <title>Message Sending</title>
    <p>Processes communicate by sending and receiving messages.
      Messages are sent by using
      the <seealso marker="expressions#send">send operator !</seealso>
      and received by calling
      <seealso marker="expressions#receive">receive</seealso>.</p>
    <p>Message sending is asynchronous and safe, the message is
      guaranteed to eventually reach the recipient, provided that
      the recipient exists.</p>
  </section>

  <section>
    <title>Links</title>
    <p>Two processes can be <em>linked</em> to each other. A link
      between two processes <c>Pid1</c> and <c>Pid2</c> is created
      by <c>Pid1</c> calling the BIF <c>link(Pid2)</c> (or vice versa).
      There also exists a number a <c>spawn_link</c> BIFs, which spawns
      and links to a process in one operation.</p>
    <p>Links are bidirectional and there can only be one link between
      two processes. Repeated calls to <c>link(Pid)</c> have no effect.</p>
    <p>A link can be removed by calling the BIF <c>unlink(Pid)</c>.</p>
    <p>Links are used to monitor the behaviour of other processes, see
      <seealso marker="#errors">Error Handling</seealso> below.</p>
  </section>

  <section>
    <marker id="errors"></marker>
    <title>Error Handling</title>
    <p>Erlang has a built-in feature for error handling between
      processes. Terminating processes will emit exit signals to all
      linked processes, which may terminate as well or handle the exit
      in some way. This feature can be used to build hierarchical
      program structures where some processes are supervising other
      processes, for example restarting them if they terminate
      abnormally.</p>
    <p>Refer to OTP Design Principles for more information about
      OTP supervision trees, which uses this feature.</p>

    <section>
      <title>Emitting Exit Signals</title>
      <p>When a process terminates, it will terminate with an <em>exit reason</em> as explained in <seealso marker="#term">Process Termination</seealso> above. This exit reason is emitted in
        an <em>exit signal</em> to all linked processes.</p>
      <p>A process can also call the function <c>exit(Pid,Reason)</c>.
        This will result in an exit signal with exit reason
        <c>Reason</c> being emitted to <c>Pid</c>, but does not affect
        the calling process.</p>
    </section>

    <section>
      <title>Receiving Exit Signals</title>
      <p>The default behaviour when a process receives an exit signal
        with an exit reason other than <c>normal</c>, is to terminate
        and in turn emit exit signals with the same exit reason to its
        linked processes. An exit signal with reason <c>normal</c> is
        ignored.</p>
      <p>A process can be set to trap exit signals by calling:</p>
      <pre>
process_flag(trap_exit, true)</pre>
      <p>When a process is trapping exits, it will not terminate when
        an exit signal is received. Instead, the signal is transformed
        into a message <c>{'EXIT',FromPid,Reason}</c> which is put into
        the mailbox of the process just like a regular message.</p>
      <p>An exception to the above is if the exit reason is <c>kill</c>,
        that is if <c>exit(Pid,kill)</c> has been called. This will
        unconditionally terminate the process, regardless of if it is
        trapping exit signals or not.</p>
    </section>
  </section>

  <section>
    <title>Monitors</title>
    <p>An alternative to links are <em>monitors</em>. A process
      <c>Pid1</c> can create a monitor for <c>Pid2</c> by calling
      the BIF <c>erlang:monitor(process, Pid2)</c>. The function returns
      a reference <c>Ref</c>.</p>
    <p>If <c>Pid2</c> terminates with exit reason <c>Reason</c>, a
      'DOWN' message is sent to <c>Pid1</c>:</p>
    <code type="none">
{'DOWN', Ref, process, Pid2, Reason}</code>
    <p>If <c>Pid2</c> does not exist, the 'DOWN' message is sent
      immediately with <c>Reason</c> set to <c>noproc</c>.</p>
    <p>Monitors are unidirectional. Repeated calls to
      <c>erlang:monitor(process, Pid)</c> will create several,
      independent monitors and each one will send a 'DOWN' message when
      <c>Pid</c> terminates.</p>
    <p>A monitor can be removed by calling
      <c>erlang:demonitor(Ref)</c>.</p>
    <p>It is possible to create monitors for processes with registered
      names, also at other nodes.</p>
  </section>

  <section>
    <title>Process Dictionary</title>
    <p>Each process has its own process dictionary, accessed by calling
      the following BIFs:</p>
    <pre>
put(Key, Value)
get(Key)
get()
get_keys(Value)
erase(Key)
erase()</pre>
  </section>
</chapter>