Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

F A NIGHT OS SEMOP / sysv semaphore atomic operation undo ledger

An offline IPC fixture author needs atomic vector success or rollback and the resulting semaphore/SEM_UNDO ledger through process exit and direct SETVAL/SETALL resets, without running processes.

POST https://detect.halowerk.com/v1/F-A-NIGHT-OS-SEMOP/sysv-semaphore-atomic-operation-undo-ledger

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "additionalProperties": false,
  "required": [
    "artifact"
  ],
  "properties": {
    "artifact": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "semop_undo"
      ],
      "properties": {
        "semop_undo": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "claim",
            "events",
            "processes",
            "values"
          ],
          "properties": {
            "claim": {
              "type": "number",
              "minimum": -1000000000000,
              "maximum": 1000000000000
            },
            "events": {
              "type": "array",
              "maxItems": 512,
              "items": {
                "type": "object",
                "additionalProperties": false,
                "required": [
                  "op",
                  "process"
                ],
                "properties": {
                  "child": {
                    "type": "number",
                    "minimum": -1000000000000,
                    "maximum": 1000000000000
                  },
                  "index": {
                    "type": "number",
                    "minimum": -1000000000000,
                    "maximum": 1000000000000
                  },
                  "op": {
                    "type": "string",
                    "maxLength": 1024
                  },
                  "operations": {
                    "type": "array",
                    "maxItems": 512,
                    "items": {
                      "type": "object",
                      "additionalProperties": false,
                      "required": [
                        "delta",
                        "index",
                        "undo"
                      ],
                      "properties": {
                        "delta": {
                          "type": "number",
                          "minimum": -1000000000000,
                          "maximum": 1000000000000
                        },
                        "index": {
                          "type": "number",
                          "minimum": -1000000000000,
                          "maximum": 1000000000000
                        },
                        "undo": {
                          "type": "boolean"
                        }
                      }
                    }
                  },
                  "process": {
                    "type": "number",
                    "minimum": -1000000000000,
                    "maximum": 1000000000000
                  },
                  "value": {
                    "type": "number",
                    "minimum": -1000000000000,
                    "maximum": 1000000000000
                  },
                  "values": {
                    "type": "array",
                    "maxItems": 512,
                    "items": {
                      "type": "number",
                      "minimum": -1000000000000,
                      "maximum": 1000000000000
                    }
                  }
                }
              }
            },
            "processes": {
              "type": "array",
              "maxItems": 512,
              "items": {
                "type": "number",
                "minimum": -1000000000000,
                "maximum": 1000000000000
              }
            },
            "values": {
              "type": "array",
              "maxItems": 512,
              "items": {
                "type": "number",
                "minimum": -1000000000000,
                "maximum": 1000000000000
              }
            }
          }
        }
      }
    }
  }
}

Originalschema öffnen

Ergebnis & Dokumentation

Maschinenlesbare Dokumentation dieses Hubs

Quelle dieser Seite: der veröffentlichte HALOWERK-Katalog. Stand: 2026-11-01, 15:19 UTC.

Weitere Endpunkte dieses Hubs

Alle Endpunkte dieses Hubs →