Sicherheit: Race condition zwischen open bzw. fstat und lock? (Allgemeines zu Perl)

[thread]15964[/thread]

Sicherheit: Race condition zwischen open bzw. fstat und lock?

Leser: 16

Articles: hide open all | hide show old branches

+6 replies
GwenDragon

2011-02-15 13:06
User since
2005-01-17
14533 Artikel
Admin1
Wenn ich folgende Beispielcodes verwende, kann es doch zwischen diversen Dateifunktionen zu einer Race condition (RC) kommen, oder?
Code (perl): (dl )

1 2 3

open(my $fh1, "+<", "BLAH") or return; # <---- dazwischen Race Condition möglich? flock($fh1, LOCK_EX);
oder
Code (perl): (dl )

1 2 3

sysopen(my $fh, "BLAH", O_RDWR) or return; # <---- dazwischen Race Condition möglich? flock($fh, LOCK_EX);
oder
Code (perl): (dl )

1 2 3 4 5 6 7 8

my $numlinks = (stat( "BLAH"))[3]; # <---- dazwischen Race Condition möglich? if ($numlinks == 0) { # <---- dazwischen Race Condition möglich? open(my $fh, "+<", "BLAH") or return; # <---- dazwischen Race Condition möglich? flock($fh, LOCK_EX); }
Und erst recht bei:
Code (perl): (dl )

1 2 3 4 5 6

if (-l "BLAH") { # <---- dazwischen Race Condition möglich? open(my $fh, "+<", "BLAH") or return; # <---- dazwischen Race Condition möglich? flock($fh, LOCK_EX); }
Deswegen sollte eine ja die Finger von den Dateitestoperatoren lassen.

Auf einem (stark beschäftigten) System kann es doch zwischen den Aufrufen zur einer RC kommen.
Oder irre ich mich da?
die Drachin, Gwendolyn

Unterschiedliche Perl-Versionen auf Windows (fast wie perlbrew) • Meine Perl-Artikel
- +2 replies
- topeg
  
  2011-02-15 14:58
  
  User since
  2006-07-10
  2611 Artikel
  BenutzerIn
  
  Prinzipiell hast du recht.
  
  Aber ich weiß nicht Perl den Code intern strukturiert.
  Unter Linux gibt es, wenn ich mich richtig erinnere, eine Möglichkeit Code Blöcke, die nicht unterbrochen werden sollen zu markieren. Ähnliches dürfte es auch bei *BSD und Solaris geben. Es könnte sein, das Perl das an solchen Stellen nutzt.
  
  Ich wüsste auch keinen (Perl internen) Weg dem auszuweichen. Nur dass man bei allen Dateizugriffen eine ausreichende Fehlerbehandlung macht.
  - murphy
    
    2011-02-15 15:59
    
    User since
    2004-07-19
    1776 Artikel
    HausmeisterIn
    
    2011-02-15T13:58:31 topeg
    [...]
    Unter Linux gibt es, wenn ich mich richtig erinnere, eine Möglichkeit Code Blöcke, die nicht unterbrochen werden sollen zu markieren.
    [...]
    
    Diese Möglichkeit gibt es nur im Systemkern selbst, eventuell noch in Prozessen die mit Rootrechten und Echtzeitpriorität laufen. Alles andere würde ja auch dem Sinn und Zweck eines Multitaskingbetriebssystemes widersprechen.
    When C++ is your hammer, every problem looks like your thumb.
- murphy
  
  2011-02-15 16:02
  
  User since
  2004-07-19
  1776 Artikel
  HausmeisterIn
  
  Ich denke Du hast völlig recht und an all diesen Stellen können Raceconditions auftreten.
  
  Bei den Testoperationen können solche Raceconditions auch sicher Probleme verursachen, bei den Lockingoperationen scheint mir das aber ziemlich egal zu sein, solange man mit der Datei wirklich erst nach dem Einrichten der Sperre arbeitet.
  When C++ is your hammer, every problem looks like your thumb.
- nepos
  
  2011-02-16 09:29
  
  User since
  2005-08-17
  1420 Artikel
  BenutzerIn
  
  Unter OpenBSD kannst du O_EXLOCK als Flag beim sysopen() mit übergeben. Aber das kann halt Linux wieder nicht...
- torsten
  
  2011-02-16 10:55
  User since
  2010-08-16
  45 Artikel
  BenutzerIn
  2011-02-15T12:06:53 GwenDragon
  
  Code (perl): (dl )
  
  1 2 3
  
  open(my $fh1, "+<", "BLAH") or return; # <---- dazwischen Race Condition möglich? flock($fh1, LOCK_EX);
  
  Wenn Du es richtig machst, gibt es da keine Race Condition. Dein kritischer Bereich beginnt erst nach dem flock. Wieviele Prozesse vorher die Datei aufgemacht haben, ist doch egal. Wichtig ist allerdings, dass Du die Datei nicht löschst.
  
  Angenommen die Datei existiert nicht. Nun starten 2 Prozesse annähernd gleichzeitig. Einer erzeugt die Daitei. Das ist eine atomare Operation. Der nächste findet sie dann und öffnet sie nur noch. Beide laufen dann bis zum flock. Nur für einen geht es weiter.
  
  Irgendwann verlässt der Gewinner den kritischen Bereich wieder. Der zweite Prozess kann nun weitermachen. Wenn nun aber der Gewinner die Datei löscht, könnte ein dritter Prozess diese wieder anlegen und die neue Datei locken, da der Lock des zweiten Prozesses nur für die gelöschte Datei gilt. Da hast Du eine Race Condition, aber nicht beim Öffnen und sperren.
  
  Fazit: Lock-Dateien dürfen nie gelöscht werden. Dann ist die Welt in Ordnung.

View all threads created 2011-02-15 13:06.