search

DynamoRIO / dynamorio

Dynamic Instrumentation Tool Platform
Other
2.57k stars 552 forks source link

i#6648 trim tool: Move file removal to the end #6669

Closed derekbruening closed 4 months ago

derekbruening commented 4 months ago

Since file removal of now-empty shards can involve global operations that could race among shards, we move shard removal to the aggregation stage print_results() in the record filter.

Issue: #6648, #6593

derekbruening commented 4 months ago

win64 failure is the build race #5888. Will re-run.