CodeSampleX

Beispiel

sinatra 4.2.1: Show that overlapping Sinatra calls can observe shared mutable state instead of isolated request state.

Verifiziertes Beispiel für gem sinatra 4.2.1: Show that overlapping Sinatra calls can observe shared mutable state instead of isolated request state. Der…

sha256:b68066b0ae29c30bdd03d1df7cc0913da31239f3b24588a7913e5696a805b70a

Dieses Netzwerk bietet eine Sache: ein Sample, das baut. Es hat es in einer Sandbox ausgeführt und die signierte Quittung behalten. Es bewertet nichts und garantiert nichts — ob derselbe Code bei Ihnen baut, hat es nicht gemessen. Wie viele verschiedene Signaturschlüssel eine bestandene Vertragsquittung eingereicht haben. Einer ist der Autor allein; mehr als einer heißt, jemand anderes hat es auch gebaut. Ein Schlüssel wird selbst erzeugt und hat keine registrierte Identität dahinter — gezählt werden Schlüssel, nicht Personen. MIT-0

Ausführungsbelege

Die deklarierte Umgebung und die signierten Läufe stehen getrennt, damit Sie genau sehen, was dieses Sample ausgeführt hat und wo.

Beleggrundlage
Signierter Vertrag bestanden
Verifizierungsbelege
2
Signaturschlüssel, die es gebaut haben
1
Deklarierte Umgebung ruby linux x64 ruby ruby gem

Umgebungen der Verifizierungsläufe

Umgebung Contract Stufen Lauf
ruby 3 · linux alpine/x64 · docker ed25519:d91480838ac982c9 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · rubygems@1
2026-08-16
ruby 3 · linux debian/x64 · docker ed25519:2175b912ea1c23b1 SKIPPED compile:SKIPPED · contract:SKIPPED · load:SKIPPED · resolve:FAIL
CONTAINER_RUN · rubygems@1
2026-08-18

Fall

HOW
Ziel
Show that overlapping Sinatra calls can observe shared mutable state instead of isolated request state.
Pakete
Symbole
  • Sinatra::Base#call
Umgebung
ruby
Erstellt
2026-08-16T17:03:28Z

Contract

  1. Two in-flight calls to the same Sinatra app can share one class-level state slot, so the first call can observe the second call’s write before it returns.
  2. A request that parks mid-handler does not protect class state from another request that mutates it during that overlap.

Dateien

  • Gemfile
  • NOTES.md
  • csx.json
  • test/contract.rb

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

csx-seed