konstrukcija asemblera

Question 1

Sta sadrze objektni fajlovi?

Answer 1

1) zaglavlje (u kojem se nalaze opste informacije)
2) masinski kod
3) relokacioni zapisi (kako bi linker mogao lepo da poveze ovaj fajl sa ostalima)
4) lista definisanih simbola
5) informacije za debager

Question 2

Koje vrste obj fajl postoje?

Answer 2

1) izvrsni fajl
2) relokativni fajl
3) deljeni fajl

Question 3

Sta je izvrsni fajl?

Answer 3

To je fajl koji ima binarni kod u sebi i potrebne podatke kako bismo ga ucitali u mem i pokrenuli

Question 4

Sta je relokativni fajl?

Answer 4

Fajl koji ima binarni kod i relokativne zapise koji pomazu linkeru u povezivanju njega sa ostaim fajlovima

Question 5

Sta je deljeni fajl?

Answer 5

Objektni fajl sa binarnim kodom koji moze da se ucita u mem i da se dinamicki poveze

Question 6

Sta ima sve ELF format?

Answer 6

1) zaglavlje (opste informacije)
2) tabela zaglavlja programa (bitna samo kada pokrenemo program)
3) sekcije i njihov kod
4) tabele sekcija (lokacije i velicine sekcija)

Question 7

Sekcije koje moze da ima jedan elf fajl?

Answer 7

1) .text
2) .data ->globalne promenljive
3) .rodata ->globalne prom koje se samo citaju
4) .bss ->neinicijalizovani globalni podaci [postoje tek kada se pokrene program]
5) .line
6) .debug
7) .symtab ->tabela simbola
8) .strtab ->tabela stringova
9) .rel.text
10) .rel.data

Question 8

Kojeg tipa mogu biti podaci u tabeli simbola?

Answer 8

ABS = ne treba mu relokacija
UNDEF = nisu definisani
COMMEN = neinicijalizovani, nisu jos alocirani

Question 9

Koje su glavne funckije asemblera?

Answer 9

1) prevodi sa asemblerskog koda na masinski binarni kod

2) obrada referenci:
-skokovi
-poziv i ovratak iz funkcije
-pristup glob prom preko simbolickog imena

Question 10

Sta je referisanje unapred?

Answer 10

To je kada treba da generisemo kod i dodjemo do instr koja ima definisanu labelu tek posle, pa ta labela ne postoji jos uvek u tabeli simbola

Question 11

Kako se resava referisanje unapred?

Answer 11

Tako sto cemo da napravimo dvoprolazni asmebler

Question 12

Kostrukcija dvoprolaznog asemblera?

Answer 12

U 1 prolazu:
samo ide i definise simbole u tabelu simbola

U 2 prolazu:
pravi .bss,.data,.rodata,.text i relokacione zapise ako su potrebni

Question 13

Prvi prolaz dvorpolaznog asemblera?

Answer 13

Znaci ide redom i upisuje sve simbole, sekcijama stavlja da je ofs 0, jer se location counter uvek resetuje na pocetku sekcija;

Ako imamo negde globalana simbol, u ovom prolazu ce pisati da je lokalan, to se menja tek u drugom prolazu

Question 14

Drugi prolaz dvoulaznog asemblera?

Answer 14

Ako imamo na primer call f-ja,a pritom ta f-ja nije u ovom modulu, onda ubacujemo f-ju u tabelu simbola i pravimo relokacioni zapis koji je tipa R_x86_64_PC32 i ofset gde smo ga nasli

Ako imamo tipa podatak i ne znamo gde je njegova sekcija opet radimo isto samo sto je tip ovde R_x86_64_32

Question 15

Koji tipovi relokacionih zapisa postoje?

Answer 15

1) R_X86_64_PC32 - koji nam govori da je ovde relativna vrednost

2)R_X86_64_32 - koji nam govori da je ovo apsolutna vrednost

Question 16

Konstrukcija jednoprolaznog asemblera?

Answer 16

Onda moramo da odradimo modifikaciju tabele simbola kako bi ovo bilo moguce, imamo 2 nova polja:
defined - da li je definisan simbol ili ne
flink- koji pokazuje na ulaz u tabelu obracanja unapred (ulancana lista lokacija gde smo sve nasli ovaj simbol)

Question 17

Sta je tabela obracanja unapred?

Answer 17

To je tabela koja pamti svako koriscenje simbola koji jos uvek nije definisan

Question 18

Sta je backpatching koda?

Answer 18

1) saznali smo def simbola B,vidimo da imam listu obracanja i krenemo po listi da razresujemo

2)nismo naisli na B, pravimo relokacione zapise kako bi linker mogao ovo da razresi kasnije

3) saznali smo def simbola B i nadalje radimo kao da B postoji, kad zavrsimo odemo u tabelu obracanja unapred i ako je ostala lista obracanja za B, onda je razresimo