Das deutsche QBasic- und FreeBASIC-Forum

[Ecki]

Also wie ein Compiler funzt weiss ich schon, aber
wie soll man einen Compiler schreiben? Wie programmiert man das Compileren ein?
_________________
MFG,
Infection 93

[ytwinky]

Frag doch mal v1ctor..
..aber am Besten über http://freebasic.ne/forum
dort liest er nämlich gerne und oft..
Aber schreib auf englisch..
A propos, wenn du englisch kannst, findeste dort im Forum auch Beiträge zum Thema Interpreter..
Ansonsten brauchste 'n Editor und 'n Compiler..
(Achso 'n Konzept brauchste auch noch..)
Bedenke: Der FreeBASIC-Compiler ist in FreeBASIC geschrieben..
Quellcode vom Compiler und der RTL läßt sich hier downloaden..
Gruß
ytwinky
_________________

[Sebastian]

Ohne jetzt so ganz viel Ahnung vom Thema zu haben, kann ich dir schon mal die entsprechenden Wikipedia-Artikel empfehlen. Ansonsten hilft google auch weiter. Desweiteren gibt es eine Schar von Büchern zum Thema, käuflich zu erwerben z.B. bei amazon.de oder einer Buchhandlung deines Vertrauens.

Im Groben funktioniert ein Compiler so:
1) Parsen des Scripts, Auswertung der Befehle usw.
2) Generieren von ASM-Code (Mnemonics)
3) Assemblieren des ASM-Codes

An die Informatikstudenten hier: Nicht auf mich einschlagen, wenn ich das zu stümperhaft erklärt hab...
_________________

Die gefährlichsten Familienclans | Opas Leistung muss sich wieder lohnen - für 6 bis 10 Generationen!

[Michael Frey]

So viel ich weiss, gibt es ganz verschiedene Arten einen Compiler zuschreiben.

Aber mal konkret:
So wie ich FreeBasic kenne, ist das Konzept ziemlich simpel.
Freebasic lösst die Subroutinen und Funktionsaufrüfe (auch Freebasic Befehle sind nix anderes als Subroutinen und Funktionsaufrüfe) anders um.
Einfach ausgedrückt:
Aus

[Ecki]

Vielen danke für die Infos!
Werd ich mir gleich nschauen...
_________________
MFG,
Infection 93

[Mao]

Dann gibt's auch noch den Vorgang der Optimierung und Fehlersuche des Compilers im zu compilierenden QC (Bereichsgrenzen überprüfen, Typenüberprüfung, ...)... Viel Spaß!

/edit:
Ansonsten kannst du auch mal marzec fragen, ich glaub, der hat mal was in der Richtung gemacht. Soweit ich weiß, hat der Compiler dann am Ende Intermediate Code ausgespuckt, inwieweit dir das helfen kann - k.A.
_________________
Eine handvoll Glück reicht nie für zwei.
--

[marzec]

*klatsch seb eine*

compiler != source -> asm

compiler sind in mehrere stages unterteilt:

+ syntactic analysis ( lexen + parsen, ast aufbaun )
+ semantic analysis ( typenüberprüfung, coercian etc. etc. )
+ optimization ( dead code elimination, constant propagation, common subexpressions, etc. etc. ) sowohl auf intermediate code als auch auf machine code ebene möglich daher nicht fix an dieser stelle...
+ code generation ( ast -> intermediate code, meist dann auch noch intermediate code -> machine code )

lexen: ist ein kinderspiel, siehe etwaige lexer generatoren ( jflex, lex etc. ). kann über reguläre ausdrücke recht leicht implementiert werden, tokenized then sourcecode ( tokenizen == sourcecode in tokens ( "wörter" ) zerlegen )

parsen: kann kopfzerbrechen machen je nach verwendeten tools ( selbst parser schreiben ( meist nur ll(k)? parser compiler verwenden ( antlr, yacc, javacc etc. )? )

ast: abstract syntax tree, baumdarstellung des sourcecodes, ideal zum traversieren und gruppieren von sourcecode teilen, bzw. zum auflösen von expressions etc. wird beim parsen erzeugt. ast design teilweise aufwändig

typenüberprüfung: je nach implementierter sprache simple bis komplex
coercian: relativ simple, kann per table implementiert werden ( == implizites casten von einen datentypen auf einen anderen )

ast -> intermediate code: sehr simples 1:1 mapping, quasi linearisieren des baums in simple sprache ( meist ähnlich assembler, siehe 3 adress code etc. )

intermediate code -> assembler: meist nicht wirklich aufgabe des compilers. siehe gcc, gibt ein eigenes backend, d.h. compiler ( c, c++, fortran pipapo ) spucken im code aus füttern diesen ans backend das wiederum den code für die zugrundeliegende plattform auspuckt. v1ctor versucht das grade ( und wird scheitern heh... )

wen es interessiert: www.ist.tugraz.at/courses/cb da gibts einiges an material zum thema, den ( schrecklichen ) c compiler den ich vor einem jahr geschrieben hab ( tutlinge mussten den heuer auf c++ erweitern haha... ). auch zu haben ist ein pascal compiler ( siehe 2004 )

zu empfehlen ist das klassische dragon book ( compiler theory and practice iirc )

und fb ist *kein* gutes paradebeispiel für einen compiler. interne struktur ist schrecklich und ich empfehle niemanden sich dort dinge abzuschaun.
_________________
Yagl - yet another gameprogramming library

[Ecki]

[marzec]

du unterschätzt den aufwand zu sehr. mein mini c compiler hat ca. 7000 zeilen code ( kommentare mitgerechnet zufinden auf der ist seite oben ). und der kann nicht besonders viel ( subset von c, keine arrays, nur char, int, float, functions, pointer, stdcall, cdecl ).

wenn du einen compiler basteln willst wirst du um das lesen von theoretischer literatur kaum herumkommen.

edit: fb und qb sind für die ersten gehversuche in diesem bereich auch mehr als ungeeignet. java + javacc bzw. java + antlr sind da um welten besser.
_________________
Yagl - yet another gameprogramming library

[Ecki]

Schreibt man Compiler normalerweise nicht in ASM?
_________________
MFG,
Infection 93

[Jojo]

ne, tut mabn nicht unbedingt wär auch wohl zu umständlich... wenn du meinst, dass der compiler nur in ASM schnell wäre: es kommt ja drauf an, was er ausspuckt, nicht, woraus er besteht!
_________________
» Die Mathematik wurde geschaffen, um Probleme zu lösen, die es nicht gäbe, wenn die Mathematik nicht erschaffen worden wäre.

[Ecki]

Nein, mein Vater hat an der Uni ASM für 386er studiert (aber fast niergendswo eingesetzt ) und hat mir aus Erfahrung gesagt, dass ohne ASM der Compiler wirklich langsam wäre und dass in Assemblersprache die "Compilation" sehr schnell gehen würde.
Inzwischen habe ich gehört, dass Compiler auch in C/C++, BASIC ( )
und sonstwas geschrieben werden.

[Offtopic]
Wie kann man denn einen Compiler schreiben, der nicht mal 1k groß ist???
(Ich meine Brainfuck)

Ist Brainfuck Open-Source?
_________________
MFG,
Infection 93

[Stephan]

Also worin ein Compiler geschrieben ist,spielt doch mal überhaupt keine rolle,
selbst ein in QBasic geschriebener Compiler kann auch schnell sein.
(Durch Optimierung)

Aber das Kompilat selbst hat doch mit dem Compiler nichts mehr zu tun.
_________________
'Wir schätzen die Zeit erst, wenn uns nicht mehr viel davon geblieben ist.'
Leo Tolstoi

[Michael Frey]