-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathManual.html
92 lines (61 loc) · 3.38 KB
/
Manual.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
88
89
90
91
92
<!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 Running Docker Image</h1>
<p><font size="4">The commands of running <b>RGSE</b> are as follows, and we suggest you use the <b>Linux</b>
operating system and run the commands as the <b>root</b> user.</font></p>
<hr />
<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.</font></p>
<hr />
<h2 id="start docker"><strong>(2). Start the docker service</strong></h2>
<p><font color="#0000FF" size="4">service docker start</font></p>
<hr />
<h2 id="load image"><strong>(3). Load the docker image</strong></h2>
<p><font color="#0000FF" size="4">docker load < rgse.tar</font></p>
<hr />
<h2 id="result folder"><strong>(4). Create the result folder</strong></h2>
<p><font color="#0000FF" size="4">mkdir /root/result</font></p>
<hr />
<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>
<hr />
<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">hengbiaoyu@nudt.edu.cn</font></code></li>
</ul>
<ul>
<li><code class="highlighter-rouge"><font color="#0000FF" size="4">yuffonzhang@163.com</font></code></li>
</ul>
<ul>
<li><code class="highlighter-rouge"><font color="#0000FF" size="4">zbchen@nudt.edu.cn</font></code></li>
</ul>
</body>
</html>