🚀 go-pugleaf

Korsarz Jej Królewskiej Mości I Rp. Królowej „Marysienki” pisze:
>> Jakie metody programowania można przypisać tworzonym źródłom w języku
>> asemblera? Języki wyższego poziomu posiadają na przykład programowanie
>> strukturalne, obiektowe, itd. Czy źródło w języku asemblera pisze się w
>> sposób wygodny dla zrozumienia rozwiązywanego zadania, czy w sposób
>> pośredni (stosując makropolecenia), czy jakoś inaczej?
> Przeczytałem wszystkie odpowiedzi i nasuwa mi się coś takiego, że asembler nie posiada wyższej warsty kodu, tylko każdy szczególik trzeba dłutem dopracować, pomijając oczywiście struktury danych, które idą z taśmy. Ale nie rozumiem, dlaczego tak jest i czy tak musi być? Oczywiście znam projekt ‟High-level Assembly”, lecz jest on raczej nastawiony na rozbudowane makropolecenia; nawet wtedy gdy dane makropolecenie jest wbudowane w język, zachowuje się ono tylko jak generator czegoś idącego w ilość. Nie ma jakby takiego optymalizatora kodu, który pozwalałby mimo swoich zmian zachować kontrolę nad kodem. A może wcale nie chodzi o optymalizator?

  Według mnie, "najwyższą" warstwą kodu dostępną w asmie są 
procedury/makroinstrukcje (zależy od kompilatora).
  Dlaczego tak jest? Bo to jest właśnie asembler - język PROCESORA. 
Procesor nie zna pojęcia klasy, procedury, makra itp. Po prostu 
wykonuje instrukcje pod wskazanym adresem. A jak pojawia się 
instrukcja CALL, to my dumnie nazywamy to procedurą, zaś procesor 
nazywa to: "zapamiętaj gdzie jesteś i zacznij wykonywanie tam".
  Czy tak musi być? To jest właśnie smak asemblera - wszystko pisze 
się ręcznie. Mamy szczęście, że nie musimy wklepywać kodów hex/bin 
każdej instrukcji, że kompilatory mają mechanizmy struktur, 
makroinstrukcji i inne udogodnienia dla programistów. Może i jakieś 
cechy z wyższych języków by się czasem przydały, ale to już by było 
odchodzenie od asemblera w kierunku tychże wyższych języków. Asembler 
powinien dawać pełną kontrolę nad kodem. Tu kompilator nie poprawia 
kodu według własnego widzimisię. Tu programista ma optymalizować.
  Z resztą, optymalizacja w asemblerze nie musi być banalna. Co z 
tego, że kompilator zamieni moje "powolne"

	mov	eax, 0

na "hiperszybkie"

	xor	eax, eax

(dające ten sam efekt), skoro spaprze mi połowę rejestru flag? 
Istnieją pewne optymalizacje rozmiarowe, np. używanie krótszych form 
instrukcji, ale do optymalizacji na szybkość potrzeba dużo więcej 
analizy, np. zależności między instrukcjami.

-- 
Pozdrawiam/Regards - Bogdan                     (GNU/Linux & FreeDOS)
Kurs asemblera x86 (DOS, GNU/Linux):http://rudy.mif.pg.gda.pl/~bogdro
Grupy dyskusyjne o asm:  pl.comp.lang.asm alt.pl.asm alt.pl.asm.win32
www.JabberPL.org www.TorProject.org Soft (EN): miniurl.pl/bogdro-soft