WINAVR: eigene Librarys einbinden, nur mit verwendeten funktionen?

grooves wrote:

> wie kann man in winavr selbst geschrieben .a librarys einbinden, so das
> nur die aufgerufenen Funktionen im code verwendet werden ?

Eine Funktion pro Quelldatei schreiben.  Aus allen Objektdateien dann
eine Bibliothek bauen.  Der Linker hat keine Kennung darüber, was
genau eine ,,Funktion'' sei (welche globalen Daten gehören denn dann
zu dieser Funktion?), er arbeitet auf der Basis globaler Symbole und
von Objektmodulen.  Wenn ein Symbol eines Moduls einer Bibliothek
dazu beiträgt, ein zu diesem Zeitpunkt global undefiniertes Symbol
aufzulösen, dann wird der entsprechende Objektmodul aus der
Bibliothek eingefügt.  Ob der aus einer oder 50 Funktionen oder auch
gar keiner (nur globale Symbole im Datensegment betroffen) besteht,
interessiert ihn dabei nicht.

Du musst die Funktionen sinnvoll in einzelne Sourcedateien unterbringen 
und dann erst die daraus erstellten Objektdateien zur Library 
zusammenfassen. Der Linker kann dann aus der Library die unbenutzten 
Objektdateien weglassen. EineStückelung innerhalb einer Objetdatei ist 
nicht möglich.

Ich weiß zwar nicht, was daran ,komfortabel' ist (außer du benutzt
ein krückiges Filesystem mit viel ,,Verschnitt'', FAT vielleicht),
aber außer x-mal compilieren mit #ifdef fällt mir nichts dergleichen
ein.  (Das macht die libgcc.a übrigens so.)

Übrigens ist die Aussage ,bei Nichtbenutzung weglassen' einfach mal
komplett falsch herum: es wird ,bei Benutzung genommen' und bei
Nichtbenutzung einfach ignoriert.

Eine Möglichkeit gibt es noch:

Mit der Compileroption -ffunction-sections und der Linker Option 
--gc-sections kannst Du Compiler/Linker beibringen, nur die Funktionen 
zu laden die auch verwendet werden - sogar ohne eine Library ganz normal 
beim Linken.

Keine Ahnung ob das auch Nachteile hat - würde mich auch mal 
interessieren.

Gruß, Marcus

Naja, nicht ganz.  Der Linker lädt erst einmal alles, schmeißt
danach aber alles wieder weg, was global nicht gegenseitig
referenziert ist.

Viel einfacher ist es doch mit Präprozessor, aber das steht hier ja auch 
schon als Vorschlag.

Jörg Wunsch wrote:
> Naja, nicht ganz.  Der Linker lädt erst einmal alles, schmeißt
> danach aber alles wieder weg, was global nicht gegenseitig
> referenziert ist.

Hallo Jörg,
wie auch immer, auf jeden Fall ist es weg :-)

Hat das Verfahren eigentlich irgendwelche echten Nachteile (mal 
abgesehen von einem Haufen Sections) ?

Gruß, Marcus

Marcus Müller wrote:

> Hat das Verfahren eigentlich irgendwelche echten Nachteile (mal
> abgesehen von einem Haufen Sections) ?

Ja, man muss mit Spezialfällen vorsichtig sein.  Eine Initialisierungs-
funktion in .init3 wird ja beispielsweise nie irgendwoher referenziert,
folglich wird sie der Linker rauskicken, wenn du sie nicht auch noch
als "used" markierst.

Einen wesentlichen Nachteil sehe ich, dass diese Funktionalität zu
schlampiger Programmierung verleiten kann: solange all das, was ich
hingeschrieben habe, auch im fertigen Code landet, werde ich darauf
achten, dass nur das noch da steht, was auch benutzt wird.  Wenn ich
mich drauf verlasse, dass der Linker ,,schon irgendwie aufräumt'',
dann kann sich da schnell Müll ansammeln, von dem man in zwei Jahren
erst umständlich recherchieren muss um festzustellen, dass diese
Funktion ja bereits seit der vorvorhergehenden Version gar nicht mehr
genutzt worden war.  (Das trifft natürlich auf den hier vorgestellten
Fall der Bibliotheken so nicht zu.)

Meines Wissens ist die entsprechende Funktionalität insbesondere im
Hinblick auf C++ in die Toolchain gewandert.  Dort gibt es
Konstellationen, bei denen die logische Überschattung bestimmter
Codeteile (bspw. Konstruktoren) für den Compiler nicht ersichtlich
ist, er deshalb den Code zweimal generiert.  Erst der Linker kann
dann feststellen, dass auch auf globalem Niveau einer von beiden
gar nicht benutzt wird.  Anders als oben hat in diesem Falle aber
der Programmierer gar keine Chance, die Doppelgenerierung zu
vermeiden.