Reproducible computational experiments using SCons

This page was created from the LaTeX source in book/rsf/scons/paper.tex using latex2wiki

SCons (from Software Construction) is a well-known open-source program designed primarily for building software. This paper describes our method of extending SCons for managing data processing flows and reproducible computational experiments. We demonstrate our usage of SCons with a couple of simple examples.

Introduction

This paper introduces an environment for reproducible computational experiments developed as part of the "Madagascar" software package. To reproduce the example experiments in this paper, you can download Madagascar from https://www.ahay.org . At the moment, the main Madagascar interface is the Unix shell command line so that you will need a Unix/POSIX system (Linux, Mac OS X, Solaris, etc.) or Unix emulation under Windows (Cygwin, SFU, etc.) Our focus, however, is not only on particular tools we use in our research but also on the general philosophy of reproducible computations.

Reproducible research philosophy

Peer review is the backbone of scientific progress. From the ancient alchemists who worked secretly on magic solutions to insolvable problems, modern science has come a long way to become a social enterprise where the community openly publishes and verifies hypotheses, theories, and experimental results. By reproducing and verifying previously published research, a researcher can take new steps to advance the progress of science. Traditionally, scientific disciplines are divided into theoretical and experimental studies. The reproduction and verification of theoretical results usually require only imagination (apart from pencils and paper), and experimental results are verified in laboratories using equipment and materials similar to those described in the publication. During the last century, computational studies emerged as a new scientific discipline. Computational experiments are carried out on a computer by applying numerical algorithms to digital data. How reproducible are such experiments? On one hand, reproducing the result of a numerical experiment is difficult. The reader needs to have access to precisely the same kind of input data, software, and hardware as the publication's author to reproduce the published result. It is often difficult or impossible to provide detailed specifications for these components. On the other hand, essential computational system components such as operating systems and file formats are getting increasingly standardized. New components can be shared in principle because they represent digital information transferable over the Internet. The practice of software sharing has fueled the miraculously efficient development of Linux, Apache, and many other open-source software projects. Its proponents often refer to this ideology as an analog of the scientific peer review tradition. Eric Raymond, a well-known open-source advocate writes (Raymond, 2004):

Abandoning the habit of secrecy in favor of process transparency and peer review was the crucial step by which alchemy became chemistry. In the same way, it is beginning to appear that open-source development may signal the long-awaited maturation of software development as a discipline.

While software development tries to imitate science, computational science must borrow from the open-source model to sustain itself as a fully scientific discipline. In the words of Randy LeVeque, a prominent mathematician (LeVeque, 2006),

Within the world of science, computation is now rightly seen as a third vertex of a triangle, complementing experiment and theory. However, as it is now often practiced, one can make a good case that computing is the last refuge of the scientific scoundrel [...] Where else in science can one get away with publishing observations that are claimed to prove a theory or illustrate the success of a technique without having to give a careful description of the methods used in sufficient detail that others can attempt to repeat the experiment? [...] Scientific and mathematical journals are filled with pretty pictures these days of computational experiments that the reader has no hope of repeating. Even brilliant and well-intentioned computational scientists often do a poor job of presenting their work in a reproducible manner. The methods are often very vaguely defined, and even if they are carefully defined, they would normally have to be implemented from scratch by the reader in order to test them.

In computer science, the concept of publishing and explaining computer programs goes back to the idea of literate programming promoted by Knuth (1984) and expended by many other researchers (Thimbleby, 2003). In his 2004 lecture on "Better Programming," Harold Thimbleby notes

We want ideas, and in particular programs, that work in one place to work elsewhere. One form of objectivity is that published science must work elsewhere than just in the author's laboratory or even just in the author's imagination; this requirement is called reproducibility .

Nearly ten years ago, the technology of reproducible research in geophysics was pioneered by Jon Claerbout and his students at the Stanford Exploration Project (SEP). SEP's system of reproducible research requires the author of a publication to document the creation of numerical results from the input data and software sources to let others test and verify the reproducibility of the results (Claerbout, 1992a;Schwab et al., 2000).

The discipline of reproducible research was also adopted and popularized in the statistics and wavelet theory community by Buckheit and Donoho (1995). It is referenced in several popular wavelet theory books (Hubbard, 1998;Mallat, 1999). Pledges for reproducible research appear nowadays in fields as diverse as bioinformatics (Gentleman et al., 2004), geoinformatics (Bivand, 2006), and computational wave propagation (LeVeque, 2006). However, computational scientists' adoption of reproducible research practice has been slow. Partially, this is caused by complicated and inadequate tools.

Tools for reproducible research

The reproducible research system developed at Stanford is based on "make" (Stallman et al., 2004), a Unix software construction utility. Initially, SEP used "cake," a dialect of "make" (Nichols and Cole, 1989;Claerbout and Nichols, 1990;Claerbout, 1992b;Claerbout and Karrenbach, 1993). The system was converted to "GNU make," a more standard dialect, by Schwab and Schroeder (1995). The "make" program keeps track of dependencies between different components of the system and the software construction targets, which, in the case of a reproducible research system, turn into figures and manuscripts. The author specifies the targets and commands for their construction in "makefiles," which serve as databases for defining source and target dependencies. A dependency-based system leads to rapid development because when one of the sources changes, only parts that depend on this source get recomputed. Buckheit and Donoho (1995) based their system on MATLAB, a popular integrated development environment produced by MathWorks (Sigmon and Davis, 2001). While MATLAB is an adequate tool for prototyping numerical algorithms, it may not be sufficient for large-scale computations typical for many applications in computational geophysics. "Make" is a handy utility employed by thousands of software development projects. Unfortunately, it is not well designed from the perspective of user experience. "Make" employs an obscure and limited special language (a mixture of Unix shell and special-purpose commands), which often appears confusing to inexperienced users. According to Peter van der Linden, a software expert from Sun Microsystems (van der Linden, 1994),

"Sendmail" and "make" are two well-known programs that are pretty widely regarded as originally being debugged into existence. That's why their command languages are so poorly thought out and difficult to learn. It's not just you -- everyone finds them troublesome.

The inconvenience of the "make" command language is also in its limited capabilities. The reproducible research system developed by Schwab et al. (2000) includes not only custom "make" rules but also an obscure and hardly portable agglomeration of shell and Perl scripts that extend "make" (Fomel et al., 1997). Several alternative systems for dependency-checking software construction have been developed in recent years. One of the most promising new tools is SCons, enthusiastically endorsed by Dubois (2003). The SCons initial design won the Software Carpentry competition sponsored by Los Alamos National Laboratory in 2000 in the category of "a dependency management tool to replace make." Some of the main advantages of SCons are:

• SCons configuration files are Python scripts. Python is a modern programming language praised for its readability, elegance, simplicity, and power (Rossum, 2000a;Rossum, 2000b). Scales and Ecke (2002) recommend Python as the first programming language for geophysics students.
• SCons offers reliable, automatic, and extensible dependency analysis and creates a global view of all dependencies—no more "make depend," "make clean," or multiple build passes of touching and reordering targets to get all the dependencies.
• SCons has built-in support for many programming languages and systems, including C, C++, Fortran, Java, and LaTeX.
• While "make" relies on timestamps to detect file changes (creating numerous problems on platforms with different system clocks), SCons uses a more reliable detection mechanism, employing MD5 signatures by default. It can detect changes not only in files but also in commands used to build them.
• SCons provides integrated support for parallel builds.
• SCons provides configuration support analogous to the "autoconf" utility for testing the environment on different platforms.
• SCons is designed from the ground up as a cross-platform tool. It works equally well on POSIX systems (Linux, Mac OS X, Solaris, etc.) and Windows.
• The stability of SCons is assured by an incremental development methodology utilizing comprehensive regression tests.
• SCons is publicly released under a liberal open-source license.

In this paper, we propose to adopt SCons as a new platform for reproducible research in scientific computing.

Paper organization

To demonstrate our adoption of SCons for reproducible research, we first describe a couple of simple examples of computational experiments and then show how SCons helps us document our computational results.

Example experiments

The main SConstruct commands defined in our reproducible research environment are collected in the table.

Basic methods of an rsf.proj object.

Fetch(data_file,dir[,ftp_server_info])

A rule to download $<$data_file$>$ from a specific directory $<$dir$>$ of an FTP server

Flow(target[s],source[s],command[s][,stdin][,stdout])

A rule to generate $<$target[s]$>$ from $<$source[s]$>$ using $<$command[s]$>$

Plot(intermediate_plot[,source],plot_command) or Plot(intermediate_plot,intermediate_plots,combination)

A rule to generate $<$intermediate_plot$>$ in the working directory.

Result(plot[,source],plot_command) or Result(plot,intermediate_plots,combination)

A rule to generate a final $<$plot$>$ in the special Fig folder of the working directory.

End()

A rule to collect default targets.

These commands are defined in $PYTHONPATH/rsf/proj.py where RSFROOT is the environmental variable to the Madagascar installation directory. The source of this file is in framework/rsf/proj.py.

Example 1

To follow the first example, select a working project directory and copy the following code to a file named SConstruct.

from rsf.proj import *

# Download the input data file
Fetch('lena.img','imgs')

# Create RSF header
Flow('lena.hdr','lena.img',
     'echo n1=512 n2=513 in=$SOURCE data_format=native_uchar',
     stdin=0)

# Convert to floating point and window out the first trace
Flow('lena','lena.hdr','dd type=float | window f2=1')

# Display
Result('lena',
       '''
       sfgrey title="Hello, World!" transp=n color=b bias=128
       clip=100 screenratio=1 
       ''')

# Wrap up
End()

This is our "hello world" example that illustrates the basic use of some of the commands presented in Table~(tbl:commands). The plan for this experiment is to download data from a public data server, convert it to an appropriate file format, and generate a figure for publication. But let us look at the SConstruct script and try to decorticate it.

from rsf.proj import *

is a standard Python command that loads the Madagascar project management module rsf/proj.py which provides our extension to SCons.

Fetch('lena.img','imgs')

instructs SCons to connect to a public data server (the default server if no FTP server information is provided) and to fetch the data file lena.img from the data/imgs directory.

Try running "scons lena.img" on the command line. The successful output should look like

bash$ scons lena.img
scons: Reading SConscript files ...
scons: done reading SConscript files.
scons: Building targets ...
retrieve(["lena.img"], [])
scons: done building targets.

with the target file lena.img appearing in your directory. In the following examples, we will use -Q (quiet) option of scons to suppress the verbose output.

Flow('lena.hdr','lena.img',
     'echo n1=512 n2=513 in=$SOURCE data_format=native_uchar',
     stdin=0)

prepares the Madagascar header file lena.hdr using the standard Unix command echo.

bash$ scons -Q lena.hdr
echo n1=512 n2=513 in=lena.img data_format=native_uchar > lena.hdr

Since echo does not take a standard input, stdin is set to 0 in the Flow command; otherwise, the first source is the standard input. Likewise, the first target is the standard output unless otherwise specified.

Note that lena.img is referred as $SOURCE in the command. This allows us to change the source file's name without changing the command. The data format of the lena.img image file is uchar (unsigned character), the image consists of 513 traces with 512 samples per trace. Our next step is to convert the image representation to floating point numbers and to window out the first trace so that the final image is 512 by 512 square. The two transformations are conveniently combined into one with the help of a Unix pipe.

Flow('lena','lena.hdr','dd type=float | window f2=1')

  bash$ scons -Q lena
  scons: *** Do not know how to make target `lena'. Stop.

What happened? In the absence of the file suffix, the Flow command assumes that the target file suffix is ".rsf". Let us try again.

scons -Q lena.rsf
< lena.hdr /RSF/bin/sfdd type=float | /RSF/bin/sfwindow f2=1 > lena.rsf

Notice that Madagascar modules sfdd and sfwindow get substituted for the corresponding short names in the SConstruct file. The file lena.rsf is in a regularly sampled format and can be examined, for example, with sfin lena.rsf.

bash$ sfin lena.rsf
lena.rsf:
    in="/datapath/lena.rsf@"
    esize=4 type=float form=native
    n1=512         d1=1           o1=0
    n2=512         d2=1           o2=1
        262144 elements 1048576 bytes

In the last step, we will create a plot file to display the image on the screen and for including it in the publication.

Result('lena',
       '''
       sfgrey title="Hello, World!" transp=n color=b bias=128
       clip=100 screenratio=1 
       ''')

Notice that we broke the long command string into multiple lines by using Python's triple quote syntax. All the extra white space will be ignored when the multiple-line string gets translated into the command line. The Result command has special targets associated with it. Try, for example, "scons lena.view" to observe the figure Fig/lena.vpl generated in a specially created Fig directory and displayed on the screen. The output should look like this figure.

The output of the first numerical experiment.

The reproducible script ends with

End()

Ready to experiment? Try some of the following:

1. Run scons -c. The -c (clean) option tells SCons to remove all default targets (the Fig/lena.vpl image file in our case) and also all intermediate targets that it generated.

 bash$ scons -c -Q 
Removed lena.img 
Removed lena.hdr 
Removed lena.rsf 
Removed /datapath/lena.rsf@ 
Removed Fig/lena.vpl 

Run scons again, and the default target will be regenerated.

bash$ scons -Q 
retrieve(["lena.img"], []) 
echo n1=512 n2=513 in=lena.img data_format=native_uchar > lena.hdr 
< lena.hdr /RSF/bin/sfdd type=float | /RSF/bin/sfwindow f2=1 > lena.rsf 
< lena.rsf /RSF/bin/sfgrey title="Hello, World!" transp=n color=b  bias=128 clip=100 screenratio=1 > Fig/lena.vpl 

1. Edit your SConstruct file and change some of the plotting parameters. For example, change the value of clip from clip=100 to clip=50. Run scons again and observe that only the last part of the processing flow (precisely, the part affected by the parameter change) is being run:

 bash$ scons -Q view 
< lena.rsf /RSF/bin/sfgrey title="Hello, World!" transp=n color=b  bias=128 clip=50 screenratio=1 > Fig/lena.vpl 
sfpen Fig/lena.vpl 

SCons is smart enough to recognize that your editing did not affect any of the previous results in the data flow chain! Keeping track of dependencies is the main feature that separates data processing and computational experimenting with SCons from using linear shell scripts. This feature can save you a lot of time for computationally demanding data processing and make your experiments more interactive and enjoyable.

1. A special parameter to SCons (defined in rsfproj.py) can time the execution of each step in the processing flow. Try running scons TIMER=y.
2. The rsfproj module has direct access to the database that stores the parameters of all Madagascar modules. Try running scons CHECKPAR=y to see parameter checking enforced before computations\footnote{This feature is new and experimental and may not work correctly yet}.

The summary of our SCons commands is given in the table.

SCons commands and options defined in rsfproj.

scons $<$file$>$

Generate $<$file$>$ (usually requires .rsf suffix for Flow targets and .vpl suffix for Plot targets.)

scons

Generate default targets (usually figures specified in Result.)

scons view or scons $<$result$>$.view

Generate Result figures and display them on the screen.

scons print or scons $<$result$>$.print

Generate Result figures and print them.

scons lock or scons $<$result$>$.lock

Generate Result figures and install them in a separate location.

scons test or scons $<$result$>$.test

Generate Result figures and compare them with the corresponding "locked" figures stored in a separate location (regression testing).

scons $<$result$>$.flip

Generate the $<$result$>$ figure and compare it with the corresponding "locked" figure stored in a separate location by flipping between the two figures on the screen.

scons TIMER=y ...

Time the execution of each step in the processing flow (using the Unix time utility.)

scons CHECKPAR=y ...

Check the names and values of all parameters supplied to Madagascar modules in the processing flow before executing anything (guards against incorrect input.) This option is new and experimental.

Example 2

The plan for this experiment is to add random noise to the test "Lena" image and then attempt removing it by low-pass filtering and hard thresholding of coefficients in the Fourier domain. The resultant images are shown in the figures.

Top left: original image. Top right: random noise added. Bottom left: original image spectrum in the Fourier ($F$-$X$) domain. Bottom right: noisy image spectrum in the Fourier ($F$-$X$) domain.

Left: denoising by low-pass filtering. Right: denoising by hard thresholding in the Fourier domain.

Since the SConstruct| file is a Python script, we can also use all the flexibility and power of the Python language in our Madagascar reproducible scripts. A demo script is available in the rsf/scons/rsfpy subdirectory of the Madagascar book directory. Rather than commenting on it line-by-line, we select some parts of interest. In the SConstruct script, we can declare Python variables

bias = 128

and use them later, for example, to define our customized plot command as a Python function

def grey(title,transp='n',bias=bias):
    return '''
    sfgrey title="%s" transp=%s bias=%g clip=100
    screenht=10 screenwd=10 crowd2=0.85 crowd1=0.8
    label1= label2= 
    ''' % (title,transp,bias)

This Python function, named grey(), can then be called in Plot or Result commands, e.g.

Plot('lplena',grey('Noisy Lena LP filtered'))

We can define a Python dictionary, e.g.

titles = {'lena':'Lena',
          'nlena':'Noisy Lena'}

and loop over its entries, e.g.

for name in titles.keys():
    Plot(name,grey(titles[name]) )
    cftitle = titles[name]+' in FX domain'
    Flow('fx'+name,name,'sfspectra')
    Plot('fx'+name,grey(cftitle,'y',100))

Note that the title of the plots is obtained by concatenating Python strings. Python strings can also be used to define sequences of commands used in several Flows, e.g.

# 2-D FFT
fft2 = 'sffft1 sym=y | sffft3 sym=y'
Flow('fnlena','nlena',fft2)

Finally, in our Madagascar reproducible script, we may want the option to pass command line arguments when running SCons or use default values otherwise, e.g.

# denoising using thresholding in the Fourier domain
fthr = float(ARGUMENTS.get('fthr', 70))
Flow('fthrlena','fnlena','sfthr thr=%f mode="hard"' % fthr)

Running scons only, the default value set for fthr (i.e. 70) is used whereas running scons fthr=68 set fthr to a command line specified value. This is by no means an exhaustive list of options, but hopefully, it will give you a flavor of the powerful tool you have in your hands. Enjoy!

Creating reproducible documentation

You are done with computational experiments and want to communicate them in a paper. SCons helps us create high-quality papers where computational results (figures) are integrated with papers written in L^ATEX\. The corresponding SCons extension is defined in $PYTHONPATH/rsf/tex.py where RSFROOT is the environmental variable to the Madagascar installation directory. The source of this file is in framework/rsf/tex.py. We summarize the basic methods and commands in the tables.

Basic methods of an rsf.tex object.

Paper(paper_name,[,lclass][,use][,include][,options])

A rule to compile $<$paper_name$>$.tex LATEX\ document using the LATEX2e class specified in lclass (default is geophysics.cls from the SEGTeX package) with additional options specified in options, additional packages specified in use, and additional preamble specified in include.

End()

A rule to collect default targets (referring to paper.tex document).

SCons commands defined in rsftex.

scons

Generate the default target (usually the PDF file paper.pdf from the source LATEX file paper.tex.)

scons pdf or scons $<$paper_name$>$.pdf

Generate PDF files from LATEX sources paper.tex or $<$paper_name$>$.tex.

scons read or scons $<$paper_name$>$.read

Generate PDF files from LATEX sources paper.tex or $<$paper_name$>$.tex and display them on the screen.

scons print or scons $<$paper_name$>$.print

Generate PDF files from LATEX sources paper.tex or $<$paper_name$>$.tex and print them.

scons html or scons $<$paper_name$>$.html

Generate HTML files from LATEX sources paper.tex or $<$paper_name$>$.tex using LATEXtoHTML. The directory $<$paper_name$>$_html gets created.

scons install or scons $<$paper_name$>$.install

Generate PDF and HTML files from LATEX sources paper.tex or $<$paper_name$>$.tex and install them in a separate location (used for publishing on a web site).

scons wiki or scons $<$paper_name$>$.wiki

Convert LATEX sources paper.tex or $<$paper_name$>$.tex to the MediaWiki format (used for publishing on a Wiki web site).

Example

This paper by itself is an example of a reproducible document. It is generated using the following SConstruct file which is place in the directory above the projects directories.

from rsf.tex import *
Paper('velan',use='hyperref,listings,color')
End(use='hyperref,listings,color')

This SConstruct generates this paper, but it can also compile velan.tex in the same directory. Note that there is no Paper command for paper.tex since it is the default documentation name. Optional L^ATEX packages and style used in paper.tex are passed in the End command.

Let's now take a closer look at paper.tex to understand how the figures of the documentation are linked to the reproducible scripts that created them. First of all, note that paper.tex is not a regular L^ATEX document but only its body (no $\backslash$documentclass, $\backslash$usepackage, etc.). In our paper, the first figure was created in the project folder easystart (sub-folder of our documentation folder) by the resulting plot lena.vpl. In the L^ATEX source code, it translates as

\inputdir{easystart} 
\sideplot{lena}{height=.25\textheight}{The output of the first numerical experiment.}

The $\backslash$inputdir command points to the project directory and the $\backslash$sideplot command calls $<$result_name$>$. The L^ATEX tag of the figure is fig:$<$result_name$>$. The first time the paper is compiled, the result file is automatically converted to PDF format.