HALOWERKTechnische Prüfungen & Formate
F A NIGHT OS ROBUST / posix robust mutex owner death recovery
An offline recovery fixture author needs whether owner death grants an inconsistent robust mutex, whether consistency repair rescues it, or an unrepaired unlock permanently prevents acquisition, including a second recovery owner dying.
POST https://detect.halowerk.com/v1/F-A-NIGHT-OS-ROBUST/posix-robust-mutex-owner-death-recoveryEingaben
| Feld | Typ | Pflicht | Beschreibung |
|---|---|---|---|
| artifact | object | Ja |
Vollständiges Eingabeschema anzeigen
{
"type": "object",
"additionalProperties": false,
"required": [
"artifact"
],
"properties": {
"artifact": {
"type": "object",
"additionalProperties": false,
"required": [
"robust_mutex"
],
"properties": {
"robust_mutex": {
"type": "object",
"additionalProperties": false,
"required": [
"claim",
"events",
"mutexes",
"threads"
],
"properties": {
"claim": {
"type": "number",
"minimum": -1000000000000,
"maximum": 1000000000000
},
"events": {
"type": "array",
"maxItems": 512,
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"op",
"thread"
],
"properties": {
"mutex": {
"type": "number",
"minimum": -1000000000000,
"maximum": 1000000000000
},
"op": {
"type": "string",
"maxLength": 1024
},
"thread": {
"type": "number",
"minimum": -1000000000000,
"maximum": 1000000000000
}
}
}
},
"mutexes": {
"type": "array",
"maxItems": 512,
"items": {
"type": "number",
"minimum": -1000000000000,
"maximum": 1000000000000
}
},
"threads": {
"type": "array",
"maxItems": 512,
"items": {
"type": "number",
"minimum": -1000000000000,
"maximum": 1000000000000
}
}
}
}
}
}
}
}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
- Technische Prüfungen & Formate0,003 USDC
aria concrete role property support closure
POSThttps://detect.halowerk.com/u/aria-concrete-role-property-support-closureA component API exporter needs properties that are unsupported or prohibited for its selected explicit ARIA role rather than losing them silently during conversion.
- Technische Prüfungen & Formate0,003 USDC
aria description author source precedence
POSThttps://detect.halowerk.com/u/aria-description-author-source-precedenceA description-metadata exporter needs which author ARIA source survives precedence and which competing source is overridden before transferring help text.
- Technische Prüfungen & Formate0,003 USDC
aria explicit concrete role token fallback
POSThttps://detect.halowerk.com/u/aria-explicit-concrete-role-token-fallbackBefore removing compatibility role tokens, a website migration agent needs which concrete source role survives the normative fallback order.