Skip to content

Append Metadata to metadata file using a file lock#605

Merged
kkysen merged 2 commits intomasterfrom
kkysen/append-metadata-file-lock
Aug 15, 2022
Merged

Append Metadata to metadata file using a file lock#605
kkysen merged 2 commits intomasterfrom
kkysen/append-metadata-file-lock

Conversation

@kkysen
Copy link
Contributor

@kkysen kkysen commented Aug 12, 2022

Fixes #586.

This uses fs2 file locking to append serialized Metadatas to the metadata file without race conditions. Thanks for the suggestion, @ahomescu!

I'm unsure how to test for any race conditions, though.

@kkysen kkysen force-pushed the kkysen/append-metadata-file-lock branch from 4ad6176 to 7073b06 Compare August 12, 2022 01:02
Base automatically changed from kkysen/read-multiple-metadatas to master August 15, 2022 17:15
@kkysen kkysen merged commit 898e2da into master Aug 15, 2022
@kkysen kkysen deleted the kkysen/append-metadata-file-lock branch August 15, 2022 18:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

rustc_wrapper is invoked twice during dynamic instrumentation

3 participants