-
Notifications
You must be signed in to change notification settings - Fork 0
/
dockerManual.html
87 lines (57 loc) · 3.44 KB
/
dockerManual.html
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
<!DOCTYPE html>
<html lang="en-us">
<head>
<meta charset="UTF-8">
<title></title>
<meta name="description" content=""/>
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta name="theme-color" content="#157878">
<link href='https://fonts.googleapis.com/css?family=Open+Sans:400,700' rel='stylesheet' type='text/css'>
<link rel="stylesheet" href="/temporalTest/assets/css/style.css?v=e6385aa5d099879fe352412a0d0eca6a66f2d907">
</head>
<body>
<section class="page-header">
</section>
<section class="main-content">
<h1 id="manual">Manual for Installing and Running the Docker Image</h1>
<hr />
<p><font size="4">We suggest you use the <b>Linux</b> operating system and run the commands as the <b>root</b> user.</font></p>
<h2 id="install docker"><strong>(1). Install docker </strong></h2>
<p><font size="4">We suppose that you have installed the <b>docker</b> environment, otherwise please go to
<a href="https://docs.docker.com/engine/installation/" class="btn">this link</a> for help.
The docker image can be downloaded from <a href="https://1drv.ms/u/s!Amd07GCbYt_zbQZm2w2MBbXI6Zo" class="btn">download link</a>.
</font></p>
<h2 id="start docker"><strong>(2). Start the docker service</strong></h2>
<p><font color="#0000FF" size="4">service docker start</font></p>
<h2 id="load image"><strong>(3). Load the docker image</strong></h2>
<p><font color="#0000FF" size="4">docker load < rgse.tar</font></p>
<h2 id="result folder"><strong>(4). Create the result folder</strong></h2>
<p><font color="#0000FF" size="4">mkdir /root/result</font></p>
<h2 id="run scripts"><strong>(5). Run the test scripts</strong></h2>
<p><font size="4">Running the test scripts downloaded from <a href="https://github.com/jrgse/demo" class="btn">this link</a>.
We set the time threshold to be 5 minutes in default, you can adjust it through changing the value of the time period in the running script.
We take the program BMPDecoder for an example. The general command is <b>"./docker_runBMPDecoder arg1 arg2"</b>.</font></p>
<p><font size="4"> DFS mode:</font> <font color="#0000FF" size="4"> ./ docker_runBMPDecoder 0 0</font></p>
<p><font size="4"> Slicing mode:</font> <font color="#0000FF" size="4"> ./ docker_runBMPDecoder 0 1</font></p>
<p><font size="4"> Guiding mode:</font> <font color="#0000FF" size="4"> ./ docker_runBMPDecoder 1 0</font></p>
<h2 id="results"><strong>(6). Check the results</strong></h2>
<p><font size="4">The results are stored in the directory <b>"/root/result"</b> that you created in step 4.
For example, <b>TestBMPwithSlicing.0.0.result, TestBMPwithSlicing.0.1.result,</b>
and <b>TestBMPwithSlicing.1.0.result</b> are the result files for the
<b>DFS</b> mode, <b>path slicing</b> mode,
and <b>guiding</b> mode, respectively. At the bottom of the result file, you can find
the detailed running statistics, e.g., the explored paths and time consumption.</font></p>
<hr />
<h2 id="contacts"><strong>Contacts</strong></h2>
<p> <font size="4">Please feel free to contact us if you have any problem.</font></p>
<ul>
<li><code class="highlighter-rouge"><font color="#0000FF" size="4">[email protected]</font></code></li>
</ul>
<ul>
<li><code class="highlighter-rouge"><font color="#0000FF" size="4">[email protected]</font></code></li>
</ul>
<ul>
<li><code class="highlighter-rouge"><font color="#0000FF" size="4">[email protected]</font></code></li>
</ul>
</body>
</html>