Attribute und pointer-type

[Patrick D. (oldbug)]

Hallo zusammen!

Ich habe da ein kleines Verständnisproblem mit den GCC-Attributen für 
Typen.
Ich möchte eine Callbackfunktion auf einem AT91SAM7S64 ins RAM 
verlagern, wobei ich folgendes Makro verwende:

#define __ramfunc __attribute__ ((long_call, section (".fastrun")))

Das "Event" wird in die Timeoutqueue eines kleinen, aber sehr 
nützlichen, Tools von Jörg Wunsch (das Bier hast Du Dir wirklich 
verdient ;) wie folgt eingelassen:

  /* Enable displayclock: */
  timeout(1000, showclock, (union timeoutarg) NULL);

Die Implementation der Callbackfunktion sieht so aus:

/* Callback function for the clock: */
__ramfunc void
showclock(union timeoutarg targ)
{
        time_t timer;
        struct tm *ltime;

        /* retrigger displayclock: */
        timeout(1000, showclock, (union timeoutarg)NULL);

        timer = lt_copy + (clock()/1000);
        ltime = localtime(&timer);

        /* fancy clock - this should get a prompt one day ;-) */
        rprintf(" [%02d:%02d:%02d] %u:/>\r", ltime->tm_hour, ltime->tm_min, ltime->tm_sec, dmxStartAddress);
}

Die Warnung des Compilers dann so:

main.c:325: warning: passing argument 2 of 'timeout' from incompatible pointer type

Meine Fragen:

  1. Wo gehört "__attribute__" hin?
     - vor den Prototypen
     - hinter den Prototypen
     - vor den Funktionsrumpf
     - hinter die schliessende Klammer der Argumentliste
     - vor/hinter Prototyp und Funktionsrumpf
  2. Warum verändert es den Pointertypen?
  3. Wäre ein Cast hier richtig?

[Jörg W. (dl8dtl) (Moderator)]

Patrick Dohmen wrote:

>   1. Wo gehört "__attribute__" hin?
>      - vor den Prototypen
>      - hinter den Prototypen
>      - vor den Funktionsrumpf
>      - hinter die schliessende Klammer der Argumentliste
>      - vor/hinter Prototyp und Funktionsrumpf

Hmm, ich mache es immer so:

rettype myfunc(arglist) __attribute__((...));
rettype
myfunc(arglist)
{
  /* implementation */
}

Ich bin mich nicht sicher, welche Wege es noch gäbe.

>   2. Warum verändert es den Pointertypen?

"Das ist eben so." :-)

Naja, auch derjenige, der die Callback-Funktion ruft, muss ja
u. U. darüber etwas wissen.  Wenn ich das richtig sehe (kenne mich mit
ARM nicht aus), verlässt du ja damit den normalen Weg, wie der
Compiler einen indirekten Funktionsaufruf zusammenbasteln würde.
Damit muss er natürlich auch innerhalb des Timeout-Handlers wissen,
dass er anderen Code generieren soll.

>   3. Wäre ein Cast hier richtig?

Erst einmal nicht.  Richtig wäre es, die Attribute auch in der
Timerqueue sauber mitzuführen.  Ob der Cast tolerierbar wäre, hängt
letztlich davon ab, ob meine bei 2. genannten Ausführungen tatsächlich
Auswirkungen auf den generierten Code haben oder nicht.

[Patrick D. (oldbug)]

Hm, Deine Vorgehensweise ergibt folgenden Fehler:

void showclock(union timeoutarg targ) __ramfunc;

[..]

void
showclock(union timeoutarg targ)
{

[..]

}

main.c:320: error: conflicting types for 'showclock'
main.c:22: error: previous declaration of 'showclock' was here

Irgendwie blick ich das nicht...

[Jörg W. (dl8dtl) (Moderator)]

Seltensam.  Genau auf diese Weise werden aber beispielsweise die
ISRs bei avr-libc deklariert.

[Patrick D. (oldbug)]

Jörg Wunsch wrote:

>>   3. Wäre ein Cast hier richtig?
>
> Erst einmal nicht.  Richtig wäre es, die Attribute auch in der
> Timerqueue sauber mitzuführen.  Ob der Cast tolerierbar wäre, hängt
> letztlich davon ab, ob meine bei 2. genannten Ausführungen tatsächlich
> Auswirkungen auf den generierten Code haben oder nicht.

Das heist also, ich müsste den Funktionsprototypen aus "timer.h" 
umbauen...

/* the action function itself */
typedef void (*timeout_t)(union timeoutarg);

...wird zu:

/* the action function itself */
typedef void (*timeout_t)(union timeoutarg) __ramfunc;

Ich werd's mal ausprobieren!

[Patrick D. (oldbug)]

Heh, denkste! :-)

timer.h:24: error: section attribute not allowed for 'timeout_t'

Naja, ich such mich mal schlau...

[Jörg W. (dl8dtl) (Moderator)]

Patrick Dohmen wrote:

> Heh, denkste! :-)

>

> timer.h:24: error: section attribute not allowed for 'timeout_t'
>

Naja, die section ist nicht so wichtig (die wird ja nur für den Linker
gebraucht, damit er den Code der Funktion an die passende Stelle
packen kann), aber was ist mit dem long_call?

[Patrick D. (oldbug)]

Na hups!
Ich wollte nicht unhöflich sein, ich hab den Beitrag irgendwie aus den 
Augen verloren.

Das mit dem 'long_call' als einziges Attribut werde ich nachher mal 
ausprobieren, danke für den Hinweis!

[Patrick D. (oldbug)]

So funktioniert es:

1. Funktionspointer

/* the action function itself */
typedef __attribute__ ((long_call)) void (*timeout_t)(union timeoutarg);

2. Funktionsprototyp für callback Implementation

/* callback functions */
__ramfunc void showclock(union timeoutarg targ);

3. Funktionsdeklaration

__ramfunc void
showclock(union timeoutarg targ)
{
    [...]
}

Stelle ich die Attribute ans Ende, wird immer wieder 'redeclaration' 
bemängelt.
Seltsame Sache...