3. Frage zum Dekker-Algorithmus

Frage zum Dekker-Algorithmus

  • ?

    icarus2 schrieb:

    Ein finally wird immer ausgefuehrt genauso wie der Destruktor eines Objekts in C++.

    Sind das nicht eher Traps wovon du redest und keine richtigen Abstürze bei dem das Programm von einem auf dem anderem Moment von der Bildfläche verschwindet?

    Gibt es in C auch solche Möglichkeiten? Damit arbeite ich nämlich.

    Ausser vielleicht wenn der ganze Prozess abgeschossen wird - aber dann beendet das Programm onehin und es kann keine Deadlocks mehr geben.

    Bei Threads mag das richtig sein, aber nicht bei Prozessen, die sich ein Shared Object teilen, oder sehe ich das falsch?

    L. G.
    Steffo

    0
  • I

    Steffo schrieb:

    icarus2 schrieb:

    Ein finally wird immer ausgefuehrt genauso wie der Destruktor eines Objekts in C++.

    Sind das nicht eher Traps wovon du redest und keine richtigen Abstürze bei dem das Programm von einem auf dem anderem Moment von der Bildfläche verschwindet?

    Gibt es in C auch solche Möglichkeiten? Damit arbeite ich nämlich.

    Ich weiss ehrlich gesagt nicht was Traps sind.

    In C++ wird das Problem ueber RAII geloest. Ich weiss, dass man das in C (auf sehr umstaendliche Weise) nachbauen kann aber ich weiss nicht genau wie. Da musst du vielleicht einmal im C Forum nachfragen.

    Steffo schrieb:

    Ausser vielleicht wenn der ganze Prozess abgeschossen wird - aber dann beendet das Programm onehin und es kann keine Deadlocks mehr geben.

    Bei Threads mag das richtig sein, aber nicht bei Prozessen, die sich ein Shared Object teilen, oder sehe ich das falsch?

    L. G.
    Steffo

    Prozesse haben keinen gemeinsamen Speicher. Die laufen alle in getrennten Adressraumen. Die koennen nicht ueber gemeinsamen Speicher kommunizieren sondern nur ueber Message Passing.

    0
  • ?

    Den Peterson-Algorithmus hattest du ja auch erwähnt und den haben wir auch durchgesprochen und ich habe ihn mir mal nochmals angeschaut.
    M. A. n. kann es dort zu einem Deadlock kommen, wenn in einem bestimmten Bereich Interrupts nicht abgeschaltet werden:

    Stell dir vor, Prozess 0 fängt an:

    // globale Variablendeklaration
boolean flag0 = false, flag1 = false;
int turn;

// Prozess #0
// ...
flag0 = true;

/* 1. HIER FINDET NUN EIN KONTEXTWECHSEL ZU PROZESS 1 STATT!!!
  Springe zu 2. in Prozess 1! */

/* 4. Kontextwechsel von Prozess 1 auf Prozess 0 */
turn = 1;

/* Da nun flag1 von Prozess1 auf true gesetzt wurde, wartet Prozess 0 ebenfalls auf Prozess 1 --> Deadlock! */
while (flag1 && (turn == 1)) {} // busy waiting
// <kritischer Abschnitt>
flag0 = false;
// ...

// Prozess #1
// ...
/* 2. Kontextwechsel von Prozess 0 auf Prozess 1... */
flag1 = true;
turn = 0;

/* 3. flag0 wurde ja von Prozess 0 auf true gesetzt,
also wartet Prozess 1 auf Prozess 0... Irgendwann gibt es dann wieder einen Kontextwechsel
auf Prozess 0*/

while (flag0 && (turn == 0)) {} // busy waiting
// <kritischer Abschnitt>
flag1 = false;
// ...
    0
  • Z

    *Sigh* Shared Memory ist ein Inter-Process-Communication Mittel.

    0
  • I

    Nein, Prozess1 warted nicht auf Prozess0, denn in Schritt 4 wird turn = 1 gesetzt, d.h. bei Prozess1 in Zeile 31 wird flag0 && (turn == 0) falsch, womit Prozess weitergehen und in die Critical Section eintreten kann.

    Oder sehe ich das falsch?

    0
  • I

    Zeus schrieb:

    *Sigh* Shared Memory ist ein Inter-Process-Communication Mittel.

    Hmm... da hast du recht, habs gerade gegoogelt. Ich bin mir aber ziemlich sicher, dass mir in der Vorlesung gesagt wurde, dass Prozesse keinen gemeinsamen Speicher haben. 😕

    Kann es sein, dass es in C# so ist, dass Prozesse nicht ueber gemeinsamem Speicher kommunizieren koennen?

    0
  • ?

    icarus2 schrieb:

    Zeus schrieb:

    *Sigh* Shared Memory ist ein Inter-Process-Communication Mittel.

    Hmm... da hast du recht, habs gerade gegoogelt. Ich bin mir aber ziemlich sicher, dass mir in der Vorlesung gesagt wurde, dass Prozesse keinen gemeinsamen Speicher haben. 😕

    Generell stimmt das, aber man kann vom Kernel einen gemeinsamen Speicherbereich für Prozesse anfordern. Der Speicherbereich hat dann einen Schlüssel über den dann andere Prozesse zugreifen können.

    0
  • I

    Steffo schrieb:

    icarus2 schrieb:

    Zeus schrieb:

    *Sigh* Shared Memory ist ein Inter-Process-Communication Mittel.

    Hmm... da hast du recht, habs gerade gegoogelt. Ich bin mir aber ziemlich sicher, dass mir in der Vorlesung gesagt wurde, dass Prozesse keinen gemeinsamen Speicher haben. 😕

    Generell stimmt das, aber man kann vom Kernel einen gemeinsamen Speicherbereich für Prozesse anfordern. Der Speicherbereich hat dann einen Schlüssel über den dann andere Prozesse zugreifen können.

    Achso, das wusste ich nicht, danke fuer die Info.

    0
  • ?

    icarus2 schrieb:

    Nein, Prozess1 warted nicht auf Prozess0, denn in Schritt 4 wird turn = 1 gesetzt, d.h. bei Prozess1 in Zeile 31 wird flag0 && (turn == 0) falsch, womit Prozess weitergehen und in die Critical Section eintreten kann.

    Stimmt, das hatte ich übersehen! 🙂

    0
  • ?

    icarus2 schrieb:

    Steffo schrieb:

    icarus2 schrieb:

    Zeus schrieb:

    *Sigh* Shared Memory ist ein Inter-Process-Communication Mittel.

    Hmm... da hast du recht, habs gerade gegoogelt. Ich bin mir aber ziemlich sicher, dass mir in der Vorlesung gesagt wurde, dass Prozesse keinen gemeinsamen Speicher haben. 😕

    Generell stimmt das, aber man kann vom Kernel einen gemeinsamen Speicherbereich für Prozesse anfordern. Der Speicherbereich hat dann einen Schlüssel über den dann andere Prozesse zugreifen können.

    Achso, das wusste ich nicht, danke fuer die Info.

    Unter Linux gibt es da die Funktionen shmget() und shmat().

    Naja, jedenfalls BTT: Wenn ein Prozess abschmiert, kann es bei IPCs übel aussehen, richtig?!

    L. G.
    Steffo

    0

  • Nebenbei bemerkt: wenn der Besitzer einer Mutex abstürzt, dann hat man meist sowieso ein Problem.
    Nämlich dann, wenn es gemeinsam verwendete Datenstrukturen gibt. Da man nicht weiss wo der Prozess abgeschmiert ist, kann man dann nämlich auch nicht wissen ob diese Datenstrukturen noch/wieder in einem konsistenten Zustand sind.
    -> doof

    0

  • Steffo schrieb:

    Ja, aber was, wenn das Programm abstürzt, so dass man gar nichts mehr fangen kann?!
    Wieso schreibt Wikipedia so einen Schund ("vollständige Lösung")? In meinen Vorlesungsfolien ist davon auch nicht die Rede, obwohl sonst immer darauf eingegangen wurde, wenn es Deadlocks geben kann, wenn ein Prozess im kritischen Bereich abstürzt...

    Wikipedia schreibt keinen Schund. Wikipedia kann nix dafür, dass du das "Mutual Exclusion Problem" anders als üblich definierst - wobei eben üblich ist die Behandlung von abgestürzten Prozessen aussen vor zu lassen.
    Und unter dieser Definition löst der Dekker-Algorithmus das Problem vollständig.

    0
Anmelden zum Antworten