summaryrefslogtreecommitdiff
path: root/doc/user/sideeffect.xml
blob: 2733769639f952ebe43f45b11ea93cb0bd5d6225 (plain)
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
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
<?xml version='1.0'?>
<!DOCTYPE sconsdoc [
    <!ENTITY % scons SYSTEM "../scons.mod">
    %scons;

    <!ENTITY % builders-mod SYSTEM "../generated/builders.mod">
    %builders-mod;
    <!ENTITY % functions-mod SYSTEM "../generated/functions.mod">
    %functions-mod;
    <!ENTITY % tools-mod SYSTEM "../generated/tools.mod">
    %tools-mod;
    <!ENTITY % variables-mod SYSTEM "../generated/variables.mod">
    %variables-mod;
]>

<section id="sect-sideeffect"
         xmlns="http://www.scons.org/dbxsd/v1.0"
         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
         xsi:schemaLocation="http://www.scons.org/dbxsd/v1.0 http://www.scons.org/dbxsd/v1.0/scons.xsd">
<title>Declaring Additional Outputs: the &f-SideEffect; Function </title>

<!--

  __COPYRIGHT__

  Permission is hereby granted, free of charge, to any person obtaining
  a copy of this software and associated documentation files (the
  "Software"), to deal in the Software without restriction, including
  without limitation the rights to use, copy, modify, merge, publish,
  distribute, sublicense, and/or sell copies of the Software, and to
  permit persons to whom the Software is furnished to do so, subject to
  the following conditions:

  The above copyright notice and this permission notice shall be included
  in all copies or substantial portions of the Software.

  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY
  KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE
  WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
  NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
  LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
  OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
  WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

-->

 <para>

 Sometimes the way an action is defined causes effects on files
 that &SCons; does not recognize as targets. The &f-link-SideEffect;
 method can be used to informs &SCons; about such files.
 This can be used just to flag a dependency for use in subsequent
 build steps, although there is usually a better way to do that.
 The primary use for the &SideEffect; method
 is to prevent two build steps from simultaneously modifying
 or accessing the same file in a way that could impact each other.

 </para>

 <para>

 In this example, the rule to build <filename>file1</filename>
 will also put data into <filename>log</filename>, which is used
 as a source for the command to generate <filename>file2</filename>,
 but <filename>log</filename> is unknown to &SCons; on a clean
 build: it neither exists, nor is it a target output by any builder.
 The <filename>SConscript</filename> uses
 &SideEffect; to inform &SCons; about the additional output file.

 </para>

 <scons_example name="sideeffect_simple">
   <file name="SConstruct" printme="1">
env = Environment()
f2 = env.Command(
    target='file2',
    source='log',
    action=Copy('$TARGET', '$SOURCE')
)
f1 = env.Command(
    target='file1',
    source=[],
    action='echo >$TARGET data1; echo >log updated file1'
)
env.SideEffect('log', f1)
   </file>
 </scons_example>

 <para>

 Without the &f-SideEffect;, this build would fail with a message
 <computeroutput>Source `log' not found, needed by target `file2'</computeroutput>,
 but now it can proceed:

 </para>

 <scons_output example="sideeffect_simple" suffix="1">
    <scons_output_command>scons -Q</scons_output_command>
 </scons_output>

 <para>

 However, it is better to actually identify
 <filename>log</filename> as a target, since in this
 case that's what it is:

 </para>

 <scons_example name="sideeffect_simple2">
   <file name="SConstruct" printme="1">
env = Environment()
f2 = env.Command(
    target='file2',
    source='log',
    action=Copy('$TARGET', '$SOURCE')
)
f1 = env.Command(
    target=['file1', 'log'],
    source=[],
    action='echo >$TARGET data1; echo >log updated file1'
)
   </file>
 </scons_example>

 <scons_output example="sideeffect_simple2" suffix="1">
    <scons_output_command>scons -Q</scons_output_command>
 </scons_output>

 <para>

 In general, &SideEffect; is not intended for the case when
 a command produces extra target files (that is, files which
 will be used as sources to other build steps). For example, the
 the Microsoft Visual C/C++ compiler is capable of performing
 incremental linking, for which it uses a status file - such that
 linking <filename>foo.exe</filename> also produces
 a <filename>foo.ilk</filename>, or uses it if it was already present,
 if the <option>/INCREMENTAL</option> option was supplied.
 Specifying <filename>foo.ilk</filename> as a
 side-effect of <filename>foo.exe</filename>
 is <emphasis>not</emphasis> a recommended use of &SideEffect;
 since <filename>foo.ilk</filename> is used by the link.
 &SCons; handles side-effect files
 slightly differently in its analysis of the dependency graph.
 When a command produces multiple output files,
 they should be specified as multiple targets of
 the call to the relevant builder function.
 The &SideEffect; function itself should really only be used
 when it's important to ensure that commands are not executed in parallel,
 such as when a "peripheral" file (such as a log file)
 may actually be updated by more than one command invocation.

 </para>

 <para>

 Unfortunately, the tool which sets up the &b-Program; builder
 for the MSVC compiler chain does not come prebuilt
 with an understanding of the details of the <filename>.ilk</filename>
 example - that the target list would need to change 
 in the presence of that specific option flag. Unlike the trivial
 example above where we could simply tell the &Command; builder
 there were two targets of the action, modifying the
 chain of events for a builder like &b-Program;,
 though not inherently complex, is definitely an
 advanced &SCons; topic.  It's okay to use &SideEffect; here
 to get started, as long as it comes with an understanding
 that it's "not quite right". Perhaps leave a comment in
 the file as a reminder, if it does turn out to cause problems later.

 </para>

 <para>

 So if the main use is to prevent parallelism problems,
 here is an example to illustrate.
 Say a program that you need to call to build a target file
 will also update a log file describing what the program
 does while building the target.
 The following configuration
 would have &SCons; invoke a hypothetical
 script named <application>build</application>
 (in the local directory)
 with command-line arguments telling it to write
 log information to a common
 <filename>logfile.txt</filename> file:

 </para>

 <screen>
env = Environment()
env.Command(
    target='file1.out',
    source='file1.in',
    action='./build --log logfile.txt $SOURCE $TARGET'
)
env.Command(
    target='file2.out',
    source='file2.in',
    action='./build --log logfile.txt $SOURCE $TARGET'
)
 </screen>

 <para>

 This can cause problems when running
 the build in parallel if
 &SCons; decides to update both targets
 by running both program invocations at the same time.
 The multiple program invocations
 may interfere with each other
 writing to the common log file,
 leading at best to intermixed output in the log file,
 and at worst to an actual failed build
 (on a system like Windows, for example,
 where only one process at a time can open the log file for writing).

 </para>

 <para>

 We can make sure that &SCons; does not
 run these <application>build</application>
 commands at the same time
 by using the &SideEffect; function
 to specify that updating
 the <filename>logfile.txt</filename> file
 is a side effect of building the specified
 <filename>file1</filename>
 and
 <filename>file2</filename>
 target files:

 </para>

 <scons_example name="sideeffect_shared">
   <file name="SConstruct" printme="1">
env = Environment()
f1 = env.Command(
    target='file1.out',
    source='file1.in',
    action='./build --log logfile.txt $SOURCE $TARGET'
)
f2 = env.Command(
    target='file2.out',
    source='file2.in',
    action='./build --log logfile.txt $SOURCE $TARGET'
)
env.SideEffect('logfile.txt', f1 + f2)
   </file>
   <file name="file1.in">file1.in</file>
   <file name="file2.in">file2.in</file>
   <file name="build" chmod="0o755">
cat
   </file>
 </scons_example>

 <para>

 </para>

 <para>

 This makes sure the the two
 <application>./build</application> steps are run sequentially,
 even with the <filename>--jobs=2</filename> in the command line:

 </para>

 <scons_output example="sideeffect_shared" suffix="1">
    <scons_output_command>scons -Q --jobs=2</scons_output_command>
 </scons_output>

 <para>

 The &SideEffect; function can be called multiple
 times for the same side-effect file.
 In fact, the name used as a &SideEffect; does not
 even need to actually exist as a file on disk -
 &SCons; will still make sure
 that the relevant targets
 will be executed sequentially, not in parallel.
 The side effect is actually a pseudo-target, and &SCons;
 mainly cares whether nodes are listed as depending on it,
 not about its contents.

 </para>

 <scons_example name="sideeffect_parallel">
   <file name="SConstruct" printme="1">
env = Environment()
f1 = env.Command('file1.out', [], action='echo >$TARGET data1')
env.SideEffect('not_really_updated', f1)
f2 = env.Command('file2.out', [], action='echo >$TARGET data2')
env.SideEffect('not_really_updated', f2)
   </file>
 </scons_example>

 <scons_output example="sideeffect_parallel" suffix="1">
    <scons_output_command>scons -Q --jobs=2</scons_output_command>
 </scons_output>

 </section>