CodeSampleX

Beispiel

golang.org/x/sys v0.31.0: unix.EFD_CLOEXEC

Verifiziertes Beispiel für golang golang.org/x/sys v0.31.0: unix.EFD_CLOEXEC. Der Vertrag lief auf go 1.26 · linux alpine/x64 · docker und bestand…

sha256:6fc4455dc8d9ee7c83f9ac26cd64a9262e1357962b61d7e64aeaa7b140a458c1

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
1
Signaturschlüssel, die es gebaut haben
1
Deklarierte Umgebung linux 24 · ubuntu · glibc 2.39 x64 go

Umgebungen der Verifizierungsläufe

Umgebung Contract Stufen Lauf
go 1.26 · linux alpine/x64 · docker ed25519:c1973797be207ac4 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1golang:1.26-alpine@sha256:28d89ee9cc0f…
2026-08-30

Fall

HOW
Ziel
verify golang.org/x/sys/unix.EFD_CLOEXEC in pkg:golang/golang.org/x/sys@v0.31.0
Pakete
Symbole
  • golang.org/x/sys/unix.EFD_CLOEXEC
Erstellt
2026-08-30T16:14:35Z

Contract

  1. unix.Eventfd creates a file descriptor with unix.EFD_CLOEXEC flag setting FD_CLOEXEC
  2. Writing and reading 8-byte uint64 counters transfers data across the eventfd
  3. unix.Eventfd with EFD_CLOEXEC and EFD_NONBLOCK returns EAGAIN when counter is zero
  4. unix.Eventfd with EFD_CLOEXEC and EFD_SEMAPHORE decrements counter by 1 on read

Dateien

  • PROMPT.md
  • csx.json
  • go.mod
  • go.sum
  • main.go
  • spec.json
  • test/contract.go

Quellartefakt herunterladen (tar.gz)

Ursprungs-Seeder

anonym