was ist ein "intrinsic"

[af0815]

Einfache Frage, was ist ein "intrinsic" Wie erklärt man sowas einem Laien (wie mir) ? Und verwendet man den Begiff auch bei Übersetzungen bzw. Programmerklärung ins deutsche ?

[Jorg3000]

Hi!
Mir gefällt der Begriff "Compiler Magic" am besten - falls damit das Gleiche gemeint ist.
"Compiler Primitive" ist auch so ein Begriff, schon ziemlich selbsterklärend.

Ich würde es so beschreiben, dass ein "intrinsic" eine Basisfunktion oder eine Sonderfunktion des Compilers ist, die zum Einsatz kommt, wenn sich eine Funktionalität in der Hochsprache nicht einfach umsetzen lässt, z.B. weil die Spezifikation einen benötigten Typen oder die benötigte Flexibilität eigentlich nicht hergibt.
Oder wenn etwas Typ-abhängiges oder Plattform-spezifisches passieren muss, was der Compiler am besten selbst unterscheiden und liefern kann.

[Jorg3000]

Bezüglich der Übersetzung:
Es gibt im Deutschen die Worte "intrinsisch" und "inhärent" - wobei die vermutlich ähnlich selten verwendet werden, wie "intrinsic" in der englischen Alltagssprache wohl auch nur selten vorkommen dürfte.

Wiktionary beschreibt "intrinsisch" als: von sich aus aufweisend; einem Ding oder System innewohnend.
Und "inhärent" als: (einer Sache) anhaftend, innewohnend.

Entweder der Zuhörer kann von sich aus mit "intrinsic" oder "intrinsisch" etwas anfangen, oder man braucht eine fachspezifische Erklärung.

[Zvoni]

Abweichend zu Joergs Antwort:
Ein "Intrinsic" ist eine Funktion, welche der Compiler selbst zur Verfügung stellt bzw. benutzt, im Gegensatz zu einer "Laufzeit"-Funktion.

Beispiel:
Stell dir vor, es gäbe eine Funktion namens "Mul2" (entweder selbst geschrieben, oder in einer Laufzeit-Lib)

Code: Alles auswählen

Function Mul2(Const arg:LongInt):LongInt;
Begin
  Result:=LongInt * 2;
End;
.....
//Aufruf
MeineVar:=Mul2(4);

Geschrieben, benutzt, funktioniert

ABER: Anstelle o.g. Funktion zu benutzen, könntest du auch die "intrinsic" des Compiler nutzen

Code: Alles auswählen

//Aufruf
MeineVar:=4 shl 1;

In der Regel: Die "intrinsic"-Funktionen sind die am besten optimierten (schnellsten), weil diese direkt auf den Befehlssatz der CPU zugreifen/nutzen

Zumindest verstehe ich es so. Vielleicht hab auch hier nur grossen Schmarrn geschrieben.....

[Jorg3000]

Jau stimmt, ich hatte zu sehr an Sonderfälle gedacht, z.B. an die Str() Funktion aus dem anderen Thread.
Aber schon solche Sachen, z.B. wie eine Integer-Addition durchzuführen ist, weiß der Compiler selbst und erzeugt CPU-spezifischen Maschinencode.

[Zvoni]

Eine weitere Erklärung für "Eine Intrinsic-Funktion wird vom Compiler zur Verfügung gestellt":
Hier die Übersicht der Funktionen in der Unit "System" (welche immer im Hintergrund eingebunden wird):
https://www.freepascal.org/docs-html/rt ... dex-5.html

Man könnte jetzt behaupten: Alle Funktionen, welche NICHT in (irgendeiner) Unit definiert sind, sind "intrinsic"

Dazu zähle ich z.B. die ganzen math. Operatoren

[Warf]

Ein Intrinsic ist "compiler magic", es ist also eine "funktion" die nicht direkt in Pascal implementiert (oder sogar implementierbar) ist, sondern bei dem der Compiler speziellen code erzeugt.

Intrinsics haben vor allem drei eigenschaften:
1. Sie sind typagnostisch, WriteLn funktioniert mit (fast) jedem typen, weil der Compiler typspezifischen code generierren kann und nicht eine funktion für einen speziellen typen erzeugen muss
2. Sie erlauben besondere syntax, z.b. kann man in WriteLn Floats formatieren:

Code: Alles auswählen

  WriteLn('1/3 = ' , 1/3:4:2); 

3. Sie können zur compilezeit aufgelöst werden:

Code: Alles auswählen

const maxInt = High(Integer);

[Socke]

Intrinsics haben vor allem drei eigenschaften:
1. Sie sind typagnostisch, WriteLn funktioniert mit (fast) jedem typen, weil der Compiler typspezifischen code generierren kann und nicht eine funktion für einen speziellen typen erzeugen muss
2. Sie erlauben besondere syntax, z.b. kann man in WriteLn Floats formatieren:

Code: Alles auswählen

  WriteLn('1/3 = ' , 1/3:4:2); 

3. Sie können zur compilezeit aufgelöst werden:

Code: Alles auswählen

const maxInt = High(Integer);

Ich würde hier nur den dritten Punkt gelten lassen. Die ersten beiden Punkten hängen einfach von der Implementierung der Funktion ab. Nur weil Write(Ln) und Str so mächtig sind, muss das nicht für alle gelten. Willst du z.B. nur einen Assembler-Befehl zur Verfügung stellen, sind die Parametermöglichkeiten wahrscheinlich eingeschränkt. Da der Compiler aber beim Übersetzen die Datentypen auswerten kann, können so typagnostische Funktionen im Compiler effizienter umgesetzt werden, als wenn du zur Laufzeit immer mit einem array of const hantieren musst und bei jedem Aufruf die sich nicht ändernden Datentypen auswertest.

[fliegermichl]

Write ist ein gutes Beispiel dafür.
Normalerweise muß bei einer Pascal Prozedur bei der Deklaration angegeben werden, wieviele Parameter und von welchem Typ dieser zu übergeben sind.
write und writeln können beliebig viele Parameter von fast beliebigem Typ ausgeben.

[Warf]

Ich würde hier nur den dritten Punkt gelten lassen. Die ersten beiden Punkten hängen einfach von der Implementierung der Funktion ab. Nur weil Write(Ln) und Str so mächtig sind, muss das nicht für alle gelten. Willst du z.B. nur einen Assembler-Befehl zur Verfügung stellen, sind die Parametermöglichkeiten wahrscheinlich eingeschränkt. Da der Compiler aber beim Übersetzen die Datentypen auswerten kann, können so typagnostische Funktionen im Compiler effizienter umgesetzt werden, als wenn du zur Laufzeit immer mit einem array of const hantieren musst und bei jedem Aufruf die sich nicht ändernden Datentypen auswertest.

Ich wollte nicht sagen das alle Intrinsics diese Eigenschaften haben, sondern das das die dinge sind die Intrinsics können, die man mit normalen Funktionen nicht machen kann.
Im grunde sind Intrics funktionalitäten die man gerne hätte, die man aber nicht in Pascal code selbst ausdrücken kann.

[af0815]

Das ist aktuell einmal die beste Arbeitshypothese zur Erklärung

Ein Intrinsic ist "compiler magic", es ist also eine "funktion" die nicht direkt in Pascal implementiert (oder sogar implementierbar) ist, sondern bei dem der Compiler speziellen code erzeugt.

Die Erklärung ist aber auch nicht schlecht.

Intrinsics haben vor allem drei eigenschaften:
1. Sie sind typagnostisch, WriteLn funktioniert mit (fast) jedem typen, weil der Compiler typspezifischen code generierren kann und nicht eine funktion für einen speziellen typen erzeugen muss
2. Sie erlauben besondere syntax, z.b. kann man in WriteLn Floats formatieren:

Code: Alles auswählen

  WriteLn('1/3 = ' , 1/3:4:2); 

3. Sie können zur compilezeit aufgelöst werden:

Code: Alles auswählen

const maxInt = High(Integer);

Vielleicht stolpert PascalDragon auch noch über den Thread und hat die beste Erklärung.

Weil ich habe bisher keine wirklich bessere Erklärung zu dem Thema gefunden. Und mich interessiert das Thema der Erklärungen, weil ich wieder etwas Zeit habe an meinen LazInfos zu arbeiten. Und da habe ich mir gedacht, so Begriffe auch in deutscher Sprache mal zu erklären zu können, nur bin ich drauf gekommen, das ich den Begriff nicht wirklich schlüssig erklären kann. Aber man sieht auch hier im Thread, das das Thema sehr wohl breitgestreut ist von der Wahrnehmung. Nur Wahrnehmung ist nicht Wahrheit

[Mathias]

Was ich zu intrinsic sagen kann, wen ich in /usr/include nach Dateien suche, welche im Datei-Namen intrinsic einhalten, bekomme ich 63 Suchergebnisse.
So wie ich festgestellt habe. sie das die Header, die viele Basis Funktionen eine Paketes enthalten.

[m.fuchs]

Schon mal einen Blick hier hinein geworfen?

https://de.wikipedia.org/wiki/Intrinsische_Funktion

[PascalDragon]

Die Erklärung ist aber auch nicht schlecht.

Intrinsics haben vor allem drei eigenschaften:
1. Sie sind typagnostisch, WriteLn funktioniert mit (fast) jedem typen, weil der Compiler typspezifischen code generierren kann und nicht eine funktion für einen speziellen typen erzeugen muss
2. Sie erlauben besondere syntax, z.b. kann man in WriteLn Floats formatieren:

Code: Alles auswählen

  WriteLn('1/3 = ' , 1/3:4:2); 

3. Sie können zur compilezeit aufgelöst werden:

Code: Alles auswählen

const maxInt = High(Integer);

Vielleicht stolpert PascalDragon auch noch über den Thread und hat die beste Erklärung.

Die Erklärungen, die ich soweit gelesen habe, passen alle prinzipiell. Nur zu Warfs Erklärung würde ich sagen, dass das Eigenschaften sind, die Intrinsics haben können, aber es müssen nicht alle drei erfüllt sein.

Was ich zu intrinsic sagen kann, wen ich in /usr/include nach Dateien suche, welche im Datei-Namen intrinsic einhalten, bekomme ich 63 Suchergebnisse.
So wie ich festgestellt habe. sie das die Header, die viele Basis Funktionen eine Paketes enthalten.

Der Ausdruck "Intrinsic" in C Headern hat meist nichts mit Intrinsics zu tun, wie sie hier gemeint sind. Ausnahme sind Header wie mmintrin.h und ähnliches, da diese auch Funktionen enthalten, die vom Compiler bereitgestellt werden und ziemlich direkt auf Assemblyinstruktionen runtergehen.

Das ist übrigens auch in welche Richtung zukünftig die Atomic*-Intrinsics in FPC gehen werden. Aktuell sind die Intrinsics implementiert durch Assemblyfunktionen, die zuvor die Basis für die Interlocked*-Funktionen gebildet haben, aber in Zukunft können für jede Platform die Intrinsics auch direkt in Assemblycode umgewandelt werden, da dann der Aufruf vermieden werden kann und der Compiler beliebige Register verwenden und dadurch besseren Code generieren kann.