Skip to content

Commit 2fb3d41

Browse files
maikebingmaikebing
committed
P2-08.02: verify native deadline with exact second probe scope
1 parent 6a49cba commit 2fb3d41

2 files changed

Lines changed: 180 additions & 3 deletions

File tree

‎docs/evidence/p2/formatter-native-deadline-v1.json‎

Lines changed: 175 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,175 @@
1+
{
2+
"bindings": [
3+
{
4+
"path": "src/RustSharp.Cli/FormatterNativeOpenProbe.cs",
5+
"sha256": "6F905B84F2A4DBAC97BA925C5E233D572CB1A5D7285BB28806288F4E4DD2561A"
6+
},
7+
{
8+
"path": "artifacts/p2-supervision/formatter-deadline-round44/Driver.cs",
9+
"sha256": "D5C0EF2FEC46391A34687DE78B1E1B2636575600700E3C5EFADD1FF6A26AD019"
10+
},
11+
{
12+
"path": "artifacts/p2-supervision/formatter-deadline-round44/Run-Cli.ps1",
13+
"sha256": "FAEED8F7DBD7916BE7825ED519F36BFC0FE4BADD39634274B29FF16DD5D28870"
14+
},
15+
{
16+
"path": "D:\\GitHub\\RustSharp\\artifacts\\p2-supervision\\formatter-deadline-round44\\cli-bin\\rsc.dll",
17+
"sha256": "E4AFBF7E8E02E7F12D33383F41CB3D5D6364855CA06049000C1E80E454350EAC"
18+
},
19+
{
20+
"path": "D:\\GitHub\\RustSharp\\artifacts\\p2-supervision\\formatter-deadline-round44\\root-build\\bin\\CliOpenDriver.dll",
21+
"sha256": "D3AE26A03D828B55E24BD6D28DE86A80C71CCCA2653542B49B5B9D4DB5A1EE88"
22+
},
23+
{
24+
"path": "artifacts\\p2-supervision\\formatter-deadline-round44\\runtime\\2c1d5f8710964af3b86fa81f9efdc94c\\child-report.json",
25+
"sha256": "FD1342B0ECDCEC619730F963115C6D0AF478209E8563480EEE4EC0C821F827D3"
26+
},
27+
{
28+
"path": "artifacts\\p2-supervision\\formatter-deadline-round44\\runtime\\2c1d5f8710964af3b86fa81f9efdc94c\\open-finished.json",
29+
"sha256": "497630A32F3131E31E51111F60B7BF2F5C6F9FF4D22130FAA7A226259972E7FA"
30+
},
31+
{
32+
"path": "artifacts\\p2-supervision\\formatter-deadline-round44\\runtime\\2c1d5f8710964af3b86fa81f9efdc94c\\supervisor-report.json",
33+
"sha256": "3F634E9087C3E8F31CFCCB8CCB82B801FB5F7B27497EF82529E9204B8023BDBD"
34+
}
35+
],
36+
"taskId": "P2-08.02.native-deadline",
37+
"outerActualChildExit": 0,
38+
"fixedFormatterDenominator": 59,
39+
"caseRoot": "artifacts/p2-supervision/formatter-deadline-round44/runtime/2c1d5f8710964af3b86fa81f9efdc94c",
40+
"scope": "WORKING_TREE_NATIVE_COMPONENT",
41+
"sourceBytes": 13,
42+
"passed": 1,
43+
"actualChild": {
44+
"taskId": "P2-08.02.native-deadline-v1",
45+
"version": 2,
46+
"caseDenominator": 1,
47+
"cliNativePendingProven": true,
48+
"cliNativeCancellationProven": true,
49+
"cliLaunched": true,
50+
"state": "CLI_OPEN_DEADLINE_PASS",
51+
"errors": [],
52+
"cleanupErrors": [],
53+
"actualDriver": "D:\\GitHub\\RustSharp\\artifacts\\p2-supervision\\formatter-deadline-round44\\root-build\\bin\\CliOpenDriver.dll",
54+
"actualPdb": "D:\\GitHub\\RustSharp\\artifacts\\p2-supervision\\formatter-deadline-round44\\root-build\\bin\\CliOpenDriver.pdb",
55+
"actualDriverSha256": "D3AE26A03D828B55E24BD6D28DE86A80C71CCCA2653542B49B5B9D4DB5A1EE88",
56+
"actualPdbSha256": "D4073EBD03736C09D0B75AB9FBA45F4C8A75D85CD31768A67C87B2E0DC639198",
57+
"actualDriverMvid": "088abea1-8e97-4500-a3c3-c636aed61416",
58+
"owner": {
59+
"pid": 81820,
60+
"nativeBirthFileTime": "134364357049344191",
61+
"parentPid": 11440,
62+
"fullCommand": "\"C:\\Program Files\\dotnet\\dotnet.exe\" \"D:\\GitHub\\RustSharp\\artifacts\\p2-supervision\\formatter-deadline-round44\\root-build\\bin\\CliOpenDriver.dll\" \"--child\" \"2c1d5f8710964af3b86fa81f9efdc94c\" \"4561DB131A40BD7B202CCDCD04912FAEE16FF7A877C756F8311EACF89E351F8B\""
63+
},
64+
"host": {
65+
"pid": 11440,
66+
"nativeBirthFileTime": "134364357043390244",
67+
"parentPid": 50472,
68+
"fullCommand": "\"C:\\Program Files\\PowerShell\\7\\pwsh.exe\" \"-NoProfile\" \"-File\" \"D:/GitHub/RustSharp/artifacts/p2-supervision/formatter-deadline-round44/Run-Cli.ps1\" \"-Nonce\" \"2c1d5f8710964af3b86fa81f9efdc94c\" \"-DriverDll\" \"D:\\GitHub\\RustSharp\\artifacts\\p2-supervision\\formatter-deadline-round44\\root-build\\bin\\CliOpenDriver.dll\" \"-CliDll\" \"D:\\GitHub\\RustSharp\\artifacts\\p2-supervision\\formatter-deadline-round44\\cli-bin\\rsc.dll\" \"-ExpectedCliSha256\" \"E4AFBF7E8E02E7F12D33383F41CB3D5D6364855CA06049000C1E80E454350EAC\" \"-ExpectedDriverSha256\" \"D3AE26A03D828B55E24BD6D28DE86A80C71CCCA2653542B49B5B9D4DB5A1EE88\""
69+
},
70+
"launchSha256": "E3430FF2CDE2873B1C05C0028B8B47E68F586F1F4181C14C0C736885A46BAB36",
71+
"parentBoundaryVerified": true,
72+
"systemAncestorsComplete": false,
73+
"source": {
74+
"volume": "12462597171130787332",
75+
"fileIdLow": "4",
76+
"fileIdHigh": "1875441",
77+
"nativeBirth": "134364357050657703",
78+
"attributes": 32,
79+
"absoluteFinalPath": "D:\\GitHub\\RustSharp\\artifacts\\p2-supervision\\formatter-deadline-round44\\runtime\\2c1d5f8710964af3b86fa81f9efdc94c\\source.rs"
80+
},
81+
"sourceSha256": "536E506BB90914C243A12B397B9A998F85AE2CBD9BA02DFD03A9E155CA5CA0F4",
82+
"sourceLeaseSha256": "7422DA9DC9F61F7D6E295B2F3F07FE442A8F82A86061F2DDC9A5F26112134AB1",
83+
"nativeRequestStatus": 259,
84+
"helperOplockPending": true,
85+
"holderAccess": "Read",
86+
"holderShare": "ReadWriteDelete",
87+
"holdKind": "BATCH",
88+
"consoleBeforeGuardSha256": "2496E19A93EE3558C3CEDCB41B4A55CFECF086C2629F83EB2B9AFE827CED3C1C",
89+
"windowOwnerIsDriver": true,
90+
"conhostDiscoveryIdentity": {
91+
"pid": 23772,
92+
"nativeBirthFileTime": "134364357050752276",
93+
"parentPid": 81820,
94+
"fullCommand": "\\??\\C:\\Windows\\system32\\conhost.exe 0x4"
95+
},
96+
"conhostDiscoveryImage": "C:\\Windows\\System32\\conhost.exe",
97+
"conhostDiscoveryImageSha256": "C86146188B78E484F32CC29E2331689659943B47689A85570342044F499938AC",
98+
"conhostDiscovery": "Actual current owned job + native image/identity/parent",
99+
"conhostImage": "C:\\Windows\\System32\\conhost.exe",
100+
"conhostImageSha256": "C86146188B78E484F32CC29E2331689659943B47689A85570342044F499938AC",
101+
"conhost": {
102+
"pid": 23772,
103+
"nativeBirthFileTime": "134364357050752276",
104+
"parentPid": 81820,
105+
"fullCommand": "\\??\\C:\\Windows\\system32\\conhost.exe 0x4"
106+
},
107+
"cli": {
108+
"pid": 84048,
109+
"nativeBirthFileTime": "134364357051299901",
110+
"parentPid": 81820,
111+
"fullCommand": "\"C:\\Program Files\\dotnet\\dotnet.exe\" \"D:\\GitHub\\RustSharp\\artifacts\\p2-supervision\\formatter-deadline-round44\\cli-bin\\rsc.dll\" \"fmt\" \"D:\\GitHub\\RustSharp\\artifacts\\p2-supervision\\formatter-deadline-round44\\runtime\\2c1d5f8710964af3b86fa81f9efdc94c\\source.rs\""
112+
},
113+
"controlSignalCalls": 0,
114+
"cancellationSource": "Production fmt10second internal linked deadline; no control event sent",
115+
"cliRuntimeMilliseconds": 10080,
116+
"productionFinish": {
117+
"nonce": "2c1d5f8710964af3b86fa81f9efdc94c",
118+
"pid": 84048,
119+
"processBirth": "134364357051299901",
120+
"source": "D:\\GitHub\\RustSharp\\artifacts\\p2-supervision\\formatter-deadline-round44\\runtime\\2c1d5f8710964af3b86fa81f9efdc94c\\source.rs",
121+
"threadId": 72732,
122+
"threadBirth": "134364357052243207",
123+
"tokenRegistered": true,
124+
"handlerRegistered": true,
125+
"createError": 995,
126+
"nativeExitAndJoin": true,
127+
"threadHandleClosed": true
128+
},
129+
"casePassedBeforeCleanup": true,
130+
"cliActualExit": 1,
131+
"cliProcessReclaimed": true,
132+
"cliJobCumulativeTotal": 1,
133+
"cliJobZero": true,
134+
"cliJobClosed": true,
135+
"conhostExited": true,
136+
"observerThreadHandleClosed": true,
137+
"retainedConhostHandleClosed": true,
138+
"holdReleaseAfterFailedCase": false,
139+
"nativeCompletedBeforeFree": true,
140+
"fileHandleClosed": true,
141+
"eventHandleClosed": true,
142+
"nativeStorageFreed": true,
143+
"ownedSourceRetainedAsArtifact": true,
144+
"ownedSourceIdentityVerified": true,
145+
"ownedSourceDeletionAttempted": false,
146+
"elapsedMilliseconds": 10181,
147+
"exitCode": 0
148+
},
149+
"priorRejectedScopePreserved": "artifacts/p1-supervision/resume-root-v44/deadline-binding.json",
150+
"failed": 0,
151+
"actualNativeFinished": {
152+
"nonce": "2c1d5f8710964af3b86fa81f9efdc94c",
153+
"pid": 84048,
154+
"processBirth": "134364357051299901",
155+
"source": "D:\\GitHub\\RustSharp\\artifacts\\p2-supervision\\formatter-deadline-round44\\runtime\\2c1d5f8710964af3b86fa81f9efdc94c\\source.rs",
156+
"threadId": 72732,
157+
"threadBirth": "134364357052243207",
158+
"tokenRegistered": true,
159+
"handlerRegistered": true,
160+
"createError": 995,
161+
"nativeExitAndJoin": true,
162+
"threadHandleClosed": true
163+
},
164+
"fullP2Closure": false,
165+
"outerCumulative": 3,
166+
"fixedParentDenominator": 91,
167+
"executed": 1,
168+
"schemaVersion": 1,
169+
"fullLeafAccepted": false,
170+
"diagnosticStderrCaptured": false,
171+
"outerResourceClosure": true,
172+
"baseHead": "08d522f69f93649aa551651ff51f3644ef9d3305",
173+
"denominator": 1,
174+
"consoleSignalCallsInReviewedDriver": 0
175+
}

‎src/RustSharp.Cli/FormatterNativeOpenProbe.cs‎

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -14,9 +14,11 @@ internal static partial class FormatterNativeOpenProbe
1414
internal static void HandlerReady(string[] args)
1515
{
1616
string leasePath=Path.GetFullPath(Environment.GetEnvironmentVariable("RUSTSHARP_FMT_OPEN_PROBE_LEASE")??throw new InvalidDataException("Probe lease absent"));
17-
const string root=@"D:\GitHub\RustSharp\artifacts\p2-supervision\formatter-fresh-round37\runtime";
17+
const string originalRoot=@"D:\GitHub\RustSharp\artifacts\p2-supervision\formatter-fresh-round37\runtime";
18+
const string deadlineRoot=@"D:\GitHub\RustSharp\artifacts\p2-supervision\formatter-deadline-round44\runtime";
1819
string dir=Path.GetDirectoryName(leasePath)!;
19-
if(Path.GetFileName(leasePath)!="cli-probe-lease.json"||Path.GetDirectoryName(dir)!=root||!Guid.TryParseExact(Path.GetFileName(dir),"N",out _)||args.Length!=2||args[0]!="fmt")
20+
string root=Path.GetDirectoryName(dir)??throw new InvalidDataException("Probe runtime root absent");
21+
if(Path.GetFileName(leasePath)!="cli-probe-lease.json"||root is not (originalRoot or deadlineRoot)||!Guid.TryParseExact(Path.GetFileName(dir),"N",out _)||args.Length!=2||args[0]!="fmt")
2022
throw new InvalidDataException("Exact actual CLI probe scope required");
2123
var clock=Stopwatch.StartNew();DirectoryInfo? parent=new(dir);
2224
for(int depth=0;parent is not null&&depth<128&&clock.ElapsedMilliseconds<2000;depth++)
@@ -80,4 +82,4 @@ name is not ("open-ready.json" or "open-finished.json") ||
8082
[LibraryImport("kernel32.dll")]private static partial uint GetCurrentThreadId();
8183
[DefaultDllImportSearchPaths(DllImportSearchPath.System32)]
8284
[LibraryImport("ntdll.dll",EntryPoint="NtQueryInformationProcess")]private static partial int QueryBasic(SafeProcessHandle process,int kind,out Basic basic,uint bytes,out uint returned);
83-
}
85+
}

0 commit comments

Comments
 (0)