An offline Linux synchronization fixture author needs atomic expected-word admis...

{ "body": { "artifact": { "futex_queues": { "claim": 2, "events": [ [ 0, 0, 0, 0 ], [ 0, 1, 0, 0 ], [ 3, 0, 1, 0, 2, 0, 1, 0 ], [ 2, 1, 1, 0 ] ], "threads": 2, "words": [ 0, 9 ] } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "Only the explicitly supplied bounded anonymous operand model and exact integer claim are evaluated.", "No external resource or native system is queried or changed; source contents and contact values are not returned.", "This is a declared-model correspondence finding without a security, legal, operational or compliance verdict." ], "module": "linux-private-futex-compare-wake-requeue-state", "state": "not_observed", "value": { "claim_matches": true, "compare_failures": 0, "explicit_wait_returns": 0, "final_queues": [ [], [ 1 ] ], "final_wait_results": [ 0, null ], "final_waiting_addresses": [ -1, 1 ], "final_words": [ 0, 9 ], "history": [ { "event": 0, "requeued": [], "result": null, "wait_results": [ null, null ], "waiting_addresses": [ 0, -1 ], "woken": [], "words": [ 0, 9 ] }, { "event": 1, "requeued": [], "result": null, "wait_results": [ null, null ], "waiting_addresses": [ 0, 0 ], "woken": [], "words": [ 0, 9 ] }, { "event": 2, "requeued": [ 1, 0 ], "result": 2, "wait_results": [ null, null ], "waiting_addresses": [ 1, 1 ], "woken": [], "words": [ 0, 9 ] }, { "event": 3, "requeued": [], "result": 1, "wait_results": [ 0, null ], "waiting_addresses": [ -1, 1 ], "woken": [ 0 ], "words": [ 0, 9 ] } ], "original_expected_values": [ -1, 0 ], "queue_transfers": 2, "statistic": 2, "woken_waiters": 1 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }