There are many developers between us. We write a tons of code every day. Sometime, it is even not a bad code :) Every of us can easily write the simplest code like this:
Every of us can understand what's this C code does. But... How this code works at low level? I think that not all of us can answer on this question, and me too. I thought that i can write code on high level programming languages like Haskell, Erlang, Go and etc..., but i absolutely don't know how it works at low level, after compilation. So I decided to take a few deep steps down, to assembly, and to describe my learning way about this. Hope it will be interesting, not only for me. Something about 5 - 6 years ago I already used assembly for writing simple programs, it was in university and i used Turbo assembly and DOS operating system. Now I use Linux-x86-64 operating system. Yes, must be big difference between Linux 64 bit and DOS 16 bit. So let's start.
Before we started, we must to prepare some things like As I wrote about, I use Ubuntu (Ubuntu 14.04.1 LTS 64 bit), thus my posts will be for this operating system and architecture. Different CPU supports different set of instructions. I use Intel Core i7 870 processor, and all code will be written processor. Also i will use nasm assembly. You can install it with:
sudo apt-get install nasmIt's version must be 2.0.0 or greater. I use NASM version 2.10.09 compiled on Dec 29 2013 version. And the last part, you will need in text editor where you will write you assembly code. I use Emacs with nasm-mode.el for this. It is not mandatory, of course you can use your favourite text editor. If you use Emacs as me you can download nasm-mode.el and configure your Emacs like this:
That's all we need for this moment. Other tools will be describe in next posts.
Here I will not describe full assembly syntax, we'll mention only those parts of the syntax, which we will use in this post. Usually NASM program divided into sections. In this post we'll meet 2 following sections:
- data section
- text section
section .dataThe text section is for code. This section must begin with the declaration global _start, which tells the kernel where the program execution begins.
section .textComments starts with ; symbol. Every NASM source code line contains some combination of the following four fields:
[label:] instruction [operands] [; comment]Fields which are in square brackets are optional. A basic NASM instruction consists from two parts. The first one is the name of the instruction which is to be executed, and the second are the operands of this command. For example:
MOV COUNT, 48 ; Put value 48 in the COUNT variable
Let's write first program with NASM assembly. And of course it will be traditional Hello world program. Here is the code of it:
Yes, it doesn't look like printf("Hello world"). Let's try to understand what is it and how it works. Take a look 1-2 lines. We defined data section and put there msg constant with Hello world value. Now we can use this constant in our code. Next is declaration text section and entry point of program. Program will start to execute from 7 line. Now starts the most interesting part. We already know what is it mov instruction, it gets 2 operands and put value of second to first. But what is it these rax, rdi and etc... As we can read at wikipedia:
A central processing unit (CPU) is the hardware within a computer that carries out the instructions of a computer program by performing the basic arithmetical, logical, and input/output operations of the system.Ok, CPU performs some operations, arithmetical and etc... But where can it get data for this operations? The first answer in memory. However, reading data from and storing data into memory slows down the processor, as it involves complicated processes of sending the data request across the control bus. Thus CPU has own internal memory storage locations called registers:
- rax - temporary register; when we call a syscal, rax must contain syscall number
- rdx - used to pass 3rd argument to functions
- rdi - used to pass 1st argument to functions
- rsi - pointer used to pass 2nd argument to functions
It has 3 arguments:
- fd - file descriptor. Can be 0, 1 and 2 for standard input, standard output and standard error
- buf - points to a character array, which can be used to store content obtained from the file pointed to by fd.
- count - specifies the number of bytes to be written from the file into the character array
nasm -f elf64 -o hello.o hello.asmAfter it we will have executable hello file which we can run with ./hello and will see Hello world string in the terminal.
ld -o hello hello.o
It was a first part with one simple-simple example. In next part we will see some arithmetic. If you will have any questions/suggestions write me a comment.
All source code you can find - here.