driver: possible data races in `kick` method
Dieses Issue hat noch niemand übernommen.
Bewertung
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Anfängerfreundlichkeit
- 35/100
- Issue-Typ
- Bug
- Klarheit
- Größtenteils klar
- Aktivitätsstatus
- Veraltet
- Tech-Stack
- lua
- Bereich
- backend, distributed-systems
Rechercherichtung
Beginne mit den Zeilen 158–173 in queue/abstract/driver/fifo.lua und verfolge, wie kick über fifo, fifottl, utube und utubettl hinweg verborgene Aufgaben auswählt und aktualisiert. Vergleiche dies mit der Transaktionsbehandlung in put und take in den Zeilen 101–117, einschließlich des erwähnten subtilen Punkts. Als erledigt gilt, dass nebenläufige kick-Aufrufe nicht dieselbe Aufgabe auswählen oder ein falsches Ergebnis erzeugen können.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Beschreibung
kick method is used to unbury several tasks in the tube. After analyzing this method for drivers fifo, fifottl, utube, utubettl, I came to the conclusion, that it still possible to get a data race and incorrect, unexpected result.
We take a task with minimal task_id and BURIED status. After that we are updating it, commiting. But lua can also yield before WAL write. So this very task could also be taken in a parallel kick call for the second time.
Possible fix: do changes inside a transaction, like in put, take methods. But there is a subtle point here (which is described in a comment below).
https://github.com/tarantool/queue/blob/aa7c092a1f2ac80d3cfc63c75595d10c5a95c908/queue/abstract/driver/fifo.lua#L101-L117
- Vorherrschende Sprache
- Lua
- Sterne
- 243
- Forks
- 56
- Ø Merge
- 6 T. 8 Std.
- Gemergte PRs (30 T.)
- 1
Entwicklungsumgebung
Dieses Projekt bietet weder Dev-Container noch Dockerfile noch Beitragsleitfaden – die Einrichtung liegt bei Ihnen. Beginnen Sie mit der README; die allgemeinen Schritte stehen in unserem Leitfaden für den ersten Beitrag.
Erste Schritte
- Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
- Forken Sie das Repository und arbeiten Sie in einem Branch.
- Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.
Mehr aus tarantool/queue
-
documentation good first issue
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 85/100
-
*ttl drivers: TTL branch dereferences delete() result without a nil check, killing the fiberEvtl. vergeben @maksimuimin hat das vor 21 Tagen übernommen. Offen
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 76/100
-
*ttl drivers: a dead TTL fiber cannot be restarted and wedges the queue in ENDING on the next RO switchEvtl. vergeben @maksimuimin hat das vor 21 Tagen übernommen. Offen
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100
-
fifottl/limfifottl: stop() blocks forever while RW, drop() leaks the TTL fiberEvtl. vergeben @maksimuimin hat das vor 21 Tagen übernommen. Offen
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 55/100
-
1sp bug teamE
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100
Alle Issues in tarantool/queue
Ähnliche Issues
-
bug
Schwierigkeit 1/5 1-3 Stunden Anfängerfreundlichkeit 85/100
bradcypert/plum#265 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Lasso not PastingOffenbug
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 65/100
-
code:todo
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 72/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 83/100
koreader/koreader#16221 · 1 Kommentar ·
Maintainer antworten meist innerhalb von 1 Tag
-
bug
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100
ibhagwan/fzf-lua#2828 · 2 Kommentare ·
Maintainer antworten meist innerhalb von 1 Tag