Difference between revisions of "SPO600 Compiled C Lab"

From CDOT Wiki
Jump to: navigation, search
(Resources)
(Tags: Mobile edit, Mobile web edit)
(12 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
[[Category:SPO600 Labs]]{{Admon/lab|Purpose of this Lab|In this lab, you will investigate the relationship between basic C source code and the output of the C compiler.}}
 
[[Category:SPO600 Labs]]{{Admon/lab|Purpose of this Lab|In this lab, you will investigate the relationship between basic C source code and the output of the C compiler.}}
{{Admon/tip|Xerxes|Perform this lab on [[SPO600 Servers#x86_64|Xerxes]] -- an account has been created for each [[SPO600]] student who submitted an SSH public key. Alternately, you may use your own system if it has been set up with development tools and libraries, '''plus''' the static version of the glibc library.}}
+
{{Admon/tip|Host System|You can choose to perform this lab on any of the [[SPO600 Servers]]. Alternately, you may use your own system if it has been set up with development tools and libraries, '''plus''' the static version of the glibc library.}}
 +
{{Admon/important|Winter 2020|In Winter 2020, this lab is not a required lab and will instead be used as an in-class Demo.}}
  
 
== Resources ==
 
== Resources ==
  
 
* [[Assembly Language]]
 
* [[Assembly Language]]
 +
* [[ELF]] file format
 
* [[X86_64 Register and Instruction Quick Start]]
 
* [[X86_64 Register and Instruction Quick Start]]
 +
* [[Aarch64 Register and Instruction Quick Start]]
  
== Lab 4 ==
+
== Lab / Demo ==
  
 
1. Write a basic C program which prints a message on the screen, [http://www.roesler-ac.de/wolfram/hello.htm Hello World!]-style -- something like this:
 
1. Write a basic C program which prints a message on the screen, [http://www.roesler-ac.de/wolfram/hello.htm Hello World!]-style -- something like this:
Line 17: Line 20:
 
  }
 
  }
  
2. Compile the program using the GCC compiler. Include these compiler options (refer to the gcc manpage for details):
+
2. Compile the program using the GCC compiler. Include each of these compiler options (refer to the gcc manpage for details):
  
 
  -g              # enable debugging information
 
  -g              # enable debugging information
Line 36: Line 39:
 
(ii) Which section contains the string to be printed?
 
(ii) Which section contains the string to be printed?
  
{{Admon/tip|objdump ''vs'' readelf|The way that <code>objdump</code> formats strings not well suited for some uses. The <code>readelf -p</code> command may be a better tool for viewing some strings.}}
+
{{Admon/tip|objdump ''vs'' readelf|The way that <code>objdump</code> formats strings is not well suited for some uses. The <code>readelf -p</code> command may be a better tool for viewing some strings.}}
  
 
4. Try to gain a basic understanding of what the compiled code is doing. '''Focus on the section marked <main> but also take a look at the other sections and the overall file size.'''
 
4. Try to gain a basic understanding of what the compiled code is doing. '''Focus on the section marked <main> but also take a look at the other sections and the overall file size.'''
Line 62: Line 65:
 
== External Resources ==
 
== External Resources ==
  
* For a general overview of ELF, see the Wikipedia article on [http://en.wikipedia.org/wiki/Executable_and_Linkable_Format Executable and Linkable Format]
+
* Wikipedia article on [http://en.wikipedia.org/wiki/Executable_and_Linkable_Format Executable and Linkable Format]

Revision as of 17:12, 7 February 2020

Lab icon.png
Purpose of this Lab
In this lab, you will investigate the relationship between basic C source code and the output of the C compiler.
Idea.png
Host System
You can choose to perform this lab on any of the SPO600 Servers. Alternately, you may use your own system if it has been set up with development tools and libraries, plus the static version of the glibc library.
Important.png
Winter 2020
In Winter 2020, this lab is not a required lab and will instead be used as an in-class Demo.

Resources

Lab / Demo

1. Write a basic C program which prints a message on the screen, Hello World!-style -- something like this:

#include <stdio.h>

int main() {
    printf("Hello World!\n");
}

2. Compile the program using the GCC compiler. Include each of these compiler options (refer to the gcc manpage for details):

-g               # enable debugging information
-O0              # do not optimize (that's a capital letter and then the digit zero)
-fno-builtin     # do not use builtin function optimizations

3. The resulting binary is an ELF (Executable and Linkable Format) file, which contains multiple sections. These sections may contain object code, link tables, debugging symbols, program data (such as constants and the initial values of variables), metadata about the program and ELF sections, and comments.

Examine the binary produced by the previous step using the objdump program. These options may be useful -- see the manpage for objdump for other options:

-f          # display header information for the entire file
-s          # display per-section summary information
-d          # disassemble sections containing code
--source    # (implies -d) show source code, if available, along with disassembly

Using objdump, find the answers to these questions: (i) Which section contains the code you wrote? (ii) Which section contains the string to be printed?

Idea.png
objdump vs readelf
The way that objdump formats strings is not well suited for some uses. The readelf -p command may be a better tool for viewing some strings.

4. Try to gain a basic understanding of what the compiled code is doing. Focus on the section marked <main> but also take a look at the other sections and the overall file size.

5. Recompile the code with these changes:

(1) Add the compiler option -static. Note and explain the change in size, section headers, and the function call.

(2) Remove the compiler option -fno-builtin. Note and explain the change in the function call.

(3) Remove the compiler option -g. Note and explain the change in size, section headers, and disassembly output.

(4) Add additional arguments to the printf() function in your program. Note which register each argument is placed in. (Tip: Use sequential integer arguments after the first string argument. Go up to 10 arguments and note the pattern).

(5) Move the printf() call to a separate function named output(), and call that function from main(). Explain the changes in the object code.

(6) Remove -O0 and add -O3 to the gcc options. Note and explain the difference in the compiled code.

6. Blog about your results. Important! -- explain what you're doing so that a reader coming across your blog post understands the context (in other words, don't just jump into a discussion of optimization results -- give your post some context).

Important.png
Include Seven Variants
Blog about all seven compilations -- the original and the six variants listed in step (5) -- not the just variant your group examined in class.
Idea.png
Make
Learn how to use make -- your life as a programmer will be much easier, and you'll get back years of your life!

External Resources