`select` auf derselben fd von mehreren threads

Was passiert, wenn ich call select auf dem gleichen open file descriptor von mehreren threads?

Ist das irgendwo dokumentiert?

  • Es kann zu undefiniertem Verhalten. Nicht select auf die gleiche Datei-Deskriptoren gleichzeitig.
  • Wo ist dieser dokumentiert? (oder Woher wissen Sie das?)
  • Ist es sicher zu select zur besseren Lesbarkeit in einem thread, und select für writability in einem anderen thread?
  • veer ist falsch, es ist vollkommen legal zu rufen, wählen Sie gleichzeitig. Aber offensichtlich gibt es inhärente race-conditions, wenn beide Anrufer vermuten Operationen auf einer einzelnen Datei-Deskriptor wird nicht blockiert-nur einen thread bekommen, wird jedem einzelnen byte der Daten.
  • Darf ich wissen, was ist Ihre Anforderung, dies zu tun?
  • Ross: eine Weitere interessante Sache: manchmal gibt es eine race-condition sowieso - Z. B. wählen Sie lesbar auf einem socket bedeutet nicht, dass der client wird immer noch versucht die Verbindung herzustellen, wenn anzunehmen ist genannt, es kann also noch blockieren.
  • In älteren Kerneln war es ein problem, bezeichnet als Thundering herd. Wenn mehrere threads/Prozesse blockiert in select und einige der sockets, die bereit ist, alle Prozesse/threads aufwecken. Nur einige von Ihnen geschehen zu verarbeiten, die Bereitschaft Ereignisse auf sockets, während andere einfach eine idle-Schleife und gehen Sie zurück zu schlafen in select wieder. Auf einem ausgelasteten system könnte dies Auswirkungen auf die Gesamtleistung.
  • Dies ist ein Allgemeines problem (nicht spezifisch auswählen) im Zusammenhang mit der futex-Mechanismus zugrunde liegt, dass fast alle die synchronisierungsprimitiven. Es wurde eine neue Funktion Hinzugefügt, um futex-zu-Adresse-diese finden Sie unter man futex.
  • Alle Prozesse erhalten die Ereignisse, aber die langsameren bekommen EWOULDBLOCK, wenn Sie versuchen, die liest und die Daten schon Weg in ein schneller Prozess.

InformationsquelleAutor Andrew Tomazos | 2012-08-23
  1. 6

    Entsprechend der POSIX 2008 select Spezifikation, es gibt nichts, das es verbietet, zwei threads aus beiden aufrufen select zur gleichen Zeit.

    Ist es vernünftig zu folgern, dass, wenn beide threads sind monitoring-überlappende Sätze von Datei-Deskriptoren, und einige der gemeinsamen Datei-Deskriptoren werden lesbar oder schreibbar oder Fehler diagnostiziert, dann beide Fäden können am Ende mit einem Bericht, dass die gemeinsame Datei-Deskriptoren, die bereit sind. Kann dies nicht garantiert werden; es gibt timing-Probleme sorgen zu machen, und es kann abhängen auf Terminierung des threads, etc. Es bedeutet auch, einer der threads, die bis Ende Mai nicht zu finden, Daten zu Lesen, die auf einem Datei-Deskriptor, es wurde gesagt, die enthaltenen Daten zu Lesen, gerade weil der andere thread habe dort. Jede gegebene byte Daten gelesen werden, indem nur einer der Fäden.

    InformationsquelleAutor Jonathan Leffler
  2. 3

    Entsprechend der Linux manual page, select ist eine thread-sichere Funktion und eine Stornierung Punkt.

    Auf Linux einige Betriebssysteme, ein thread erfolgreich geben Sie select, während andere threads blockiert werden würde (der Körper von select ist ein Kritischer Abschnitt). Was auch immer Deskriptoren zurückgegeben werden an den ersten thread, dann den zweiten thread, der erfolgreich in select würde wahrscheinlich aufwachen sofort mit dem gleichen Satz, da select ist ein level-triggered-Schnittstelle.

    So, Sie können nicht select wählen Sie auf mehrere Sätze von Datei-Deskriptoren, die sich gleichzeitig auf die - Linux diejenigen Betriebssysteme.

    Linux zu unterstützen scheint, voll re-entrant-Ausführung, demonstriert mit diesem test-Programm:

    void * reader (void *arg) {
    int *fds = (int *)arg;
    struct timeval to = { 2, 0 };
    fd_set rfds;

    FD_ZERO(&rfds);
    FD_SET(fds[0], &rfds);

    select(fds[0]+1, &rfds, 0, 0, &to);
}

int main () {
    int sp[2];
    pthread_t t[2];
    socketpair(AF_UNIX, SOCK_STREAM, 0, sp);
    pthread_create(&t[0], 0, reader, sp);
    pthread_create(&t[1], 0, reader, sp);
    pthread_join(t[0], 0);
    pthread_join(t[1], 0);
    return 0;
}

    Wenn timing, das Programm auf Linux (bei mir war 2.6.43), das Programm zurückgegeben, nach 2 Sekunden, der angibt, die beiden threads eingetragen select gleichzeitig.

    • Was ist der kritische Abschnitt pro? (pro Prozess? pro thread? pro fd? pro fd_set?)
    • Pro thread, so wie ich bin, nur wenn man es in der MT-safe Kontext.
    • Auch kannst du erläutern, wie du zu der Schlussfolgerung gelangt "man kann nicht mit select auf mehrere Sätze von Datei-Deskriptoren, die sich gleichzeitig auf Linux". Solange mindestens einer der wählt aufgewacht ist, könnte dies ausreichend sein, für einige Anwendungen.
    • Wenn der kritische Abschnitt ist pro thread - warum würde der zweite thread blockiert, wenn es seine eigenen kritischen Abschnitt?
    • Ich habe nur meine in der MT Sinn, es gibt keine solche Sache wie zwei threads gleichzeitig auswählen, die in demselben Prozess. Es ist ein thread, gefolgt von einem weiteren.
    • Pro Prozess, jeder thread sieht, den gleichen kritischen Abschnitt.
    • Also, wenn zwei verschiedene Fäden wählen Sie auf verschiedene fd_sets als eine blockiert das andere?
    • Ja.
    • Blick auf die POSIX 2008 select manual-Seite, ich sehe nichts, was rechtfertigt die Behauptung, dass zwei verschiedene threads auswählen, die auf verschiedenen (oder auch gleichen) fd_sets werden gegenseitig blockieren. Es könnte etwas in der Linux-Implementierung, die Grenzen, aber es gibt nichts, was ich sehen, in der POSIX-standard darauf hin, dass.
    • Ja, ich war absichtlich targeting Linux in meiner Antwort.
    • Es sagt Ihnen, wählen Sie thread-sicher ist - so was hat das zu bedeuten, in diesem Fall?
    • Mein Verständnis von "thread-safe" bedeutet, dass zwei threads können beide es nennen, ohne sich gegenseitig zu stören. Die strtok() - Funktion ist ein Beispiel für eine nicht-thread-sichere Funktion; es ist nicht sicher für die zwei threads zu verwenden, es gleichzeitig. Eigentlich strtok() ist schlimmer als das: auch ein single-threaded Programm kann nicht zwei Sätze der analysis über strtok() zur gleichen Zeit arbeiten. Andere non-thread-safe-Funktion gehören Perlen wie ctime(); es wird ein Zeiger auf einen Datenbereich, der wiederverwendet werden kann bei nachfolgenden aufrufen.
    • Was bedeutet es für die zwei threads aufrufen wählen Sie speziell, um "gegenseitig stören"?
    • Unter der Annahme, dass die beiden threads nicht in die gleiche (Globale) FD-sets als jeder andere, dann die zwei threads nicht gegenseitig stören, da die Funktion thread-sicher ist. Wenn Sie die gleichen global FD-sets in zwei threads gleichzeitig, bricht die Hölle Los, aber Sie bekommen, was Sie verdienen. Die einzige "Einmischung" in Linux zu sein scheint, dass Sie zwei separate threads können nicht gleichzeitig aktiv sein innerhalb select zur gleichen Zeit (eine behaupten, ich bin nicht überzeugt, ich habe nun gescannt die referenzierten manual-Seite und sehen, nichts zur Unterstützung der Annahme in der Antwort).
    • Klar niemand ist darauf hindeutet, es zu verwenden fd_set Struktur aus verschiedenen threads, nur gleiche fd. Sie definiert "wählen Sie" thread-safety" gemäß POSIX im Sinne von "intefering mit jedem anderen", und dann "intefering" zu reden, threadsafety. Meine Frage ist konkret, was hat POSIX sagen, wählen Sie thread-sicher ist, bedeutet darüber hinaus in der Regel, dass Sie nicht "stören".
    • Wenn eine Funktion thread-sicher ist, es in der Regel bedeutet, dass es nicht global memory; er ändert lediglich lokale Variablen oder Datenstrukturen übergeben werden. Weiter, es wird nicht berührt von einem anderen thread Daten ändert. So, die thread-safe-Funktionen-Aktionen wirken sich nicht auf andere threads, noch sind Sie unabhängig von anderen threads. Wenn ein thread wird benachrichtigt, dass fd 37 ist bereit für Lesen und diesen thread liest, fd 37 (wobei Sie in einen nicht-bereit-Zustand), bevor ein anderer thread, der auch die überwachung fd 37 mitgeteilt wird, dann der zweite thread wohl nie erwacht wegen der Aktivität auf fd 37.
    • Ich sah auf die Quelle, und ich habe nicht die Sperre, die ich suchte. Ein test-Programm zeigt, dass select scheint voll reentrant in Linux, so dass ich entweder auf Linux geändert hat, auf diesen Aspekt seit dem letzten versuchte ich, oder ich mischte es mit einem anderen OS.
    • Winsock nicht verhängen Serialisierung auf select, wie dargestellt wurde hier. Die Sperre, die ich suchte war in der Linux-kernel system call Umsetzung, nicht die user-space-Bibliothek-Schnittstelle.

    InformationsquelleAutor jxh
Schreibe einen Kommentar