FPC und Parallelität

[corpsman]

Guten Morgen,

Ich höre gerade eine Vorlesung zum thema Konzepte der Programmiersprachen und da nehmen wir Parallelität durch.

Was das ist , ist mir klar. Und das FPC dies zu gewissen Punkten zu läst habe ich mit CopyCommander auch schon feststellen dürfen.

Nun erzählt uns unser Prof hier aber was von "Parallelität im kleinen" sprich. Es gibt die Möglichkeit, das ein Programmierer einzelne Anweisungen Parallel ausführen läst. z.b.

Code: Alles auswählen

S1;S2;S3 // Sequentiell S1-3 hintereinander ausführen
 
S1,S2,S3 // Der Programmierer weis um Parallele Probleme, hat sie abgewogen und der Compiler darf nun S1-3 Parallel ausführen.

das Selbe kann man anscheinend auch mit Umschliesenden Blöcken machen so nach dem Motto

Code: Alles auswählen

..
cobegin // Begin für Parallel
S1;S2;S3
coend;
..

Die Frage ist, gibts so etwas in FOC auch ?, cool wärs ja schon.

Ich kenne bisher nur die TThread Komponente, diese ist natürlich auch nicht schlecht, aber kann so etwas wie oben natürlich nicht im ansatz lösen..

Oder ist der Optimierer von FPC etwa so clever, das er die entsprechenden Parallelitäten selbst findet, und diese dann entsprechend einfügen kann ?

im Reference Manual konnte ich zu diesem Thema leider nichts finden, deswegen seid nun ihr gefragt .

[MacWomble]

Keine Ahnung, ob das wirklich hilft, aber hast du das hier gesehen?

http://wiki.freepascal.org/Parallel_procedures" onclick="window.open(this.href);return false;

Diese Seite beschreibt, wie man eine einzelne Prozedur parallel laufen lässt unter Benutzung der MTProcs Unit, welche das parallel laufen lassen und die Implementierung von parallelen Algorithmen vereinfacht.

Es gibt im Text der Seite auch noch einige Verweise zu verwandten Themen.

Gruß Klaus

[corpsman]

ui, sieht auch interessant aus. werde ich bei gelegenheit mal ausprobieren.

Weis jemand ob FPC Semaphoren unterstüzt ?

[mschnell]

"Von Hand" kann man Parallelität einfach mit TThread programmieren.

Natürlich gibt es auch Semaphoren (z.B. TEvent, TCriticalSection).

-Michael

[corpsman]

ich kenne Semapphoren eben mit P und V Operationen.

eine Critical section ist da ja nicht unbedingt das selbe..

[mschnell]

ich kenne Semapphoren eben mit P und V Operationen.

Das sagt mir nix. Ich kenne "binäre" und "counting" Semaphoren. TCriticalSection benutzt eine Binäre Semaphore. TEvent vermutlich auch. Binäre Semaphoren haben die Grund-Operationen "lock" und "unlock", Counting Semaphoren "inc" und "dec".

Du kannst aber jeden beliebigen Systemcall mit FPC machen, in Linux kannst Du also System-V Semaphoren benutzen, wenn Du das willst. Die sind "Counting".

In Linux benutzt FPC (vermutlich) pthreadlib für TThread. Dann wäre es naheliegend pthread_sema... für die binären Semaphoren zu verwenden. Das wiederum benutzt FUTEX (Fast Userspace Mutex), und ist sehr viel schneller als ein System-Call, weil für den "Fast-Pass" im User-Space ein Locking mit atomischen Prozessor-Instruktionen gemacht wird.

-Michael

[corpsman]

Ahh, nun haben wir uns verstanden, vielen Dank für die hinweise, nun kann ich mich erst mal ausgiebig mit dem Thema beschäftigen.

[mschnell]

nun kann ich mich erst mal ausgiebig mit dem Thema beschäftigen.

Dann lass uns wissen, was Du herausfindest....

-Michael

[theo]

Ich habe mich selber nicht so sehr mit Semaphoren beschäftigt, aber Google ist doch immer noch unser Freund:

http://www.friends-of-fpc.org/library/L ... g/0950719/" onclick="window.open(this.href);return false;
http://www.koders.com/delphi/fid3F54458 ... px?s=proxy" onclick="window.open(this.href);return false;

etc. pp

[mschnell]

TThread sollte automatisch Posix Threads (pthreadlib) verwenden. Ich würde das also nicht v on Hand machen.

Ich vermute, dass TCriticalSection pthread_mutex verwendet. Damit also FUTEX (auf Architekturen, die FUTEX tatsächlöich anbieten (wie X86 und ARM).

Man sollte vorsichtig sein TCriticalSection als Semaphore zu missbrauchen (wie im Beispielcode). Je nach implementierung kann das funktionieren oder auch nicht. Bei Ctritical Section (und möglicherweise bei FUTEX) wird vorausgesetzt, dass der Thread der "lock" macht, später auch "unlock" macht. Eine Semaphore kann aber auch so eingesetzt werden, dass ein Thread sie belegt und ein anderer sie freigibt.

-Michael