Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

update --strip-metadata for new debug format #53969

Merged
merged 1 commit into from
May 1, 2024
Merged

Conversation

JeffBezanson
Copy link
Sponsor Member

It would be nice to be able to remove the DebugInfo objects themselves, but this gets the vast majority of the bytes, and removing those objects I think would require adding lots of checks in various places so this is good for now.

Copy link
Sponsor Member

@vtjnash vtjnash left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

FWIW, this may be unsound, technically, since they are immutable objects

@JeffBezanson
Copy link
Sponsor Member Author

Good point. I think it would be ok to just make them mutable then?

@vtjnash
Copy link
Sponsor Member

vtjnash commented Apr 6, 2024

Not ideal to mutate them ever though, since we reference them from many places

@vtjnash
Copy link
Sponsor Member

vtjnash commented Apr 6, 2024

And we rely on them not changing for efficient ji files

@JeffBezanson
Copy link
Sponsor Member Author

How do we rely on that?

But anyway, are you saying you'd prefer to make the debuginfo fields Union{Nothing, DebugInfo}? That would be fine since it would save more space anyway.

@vtjnash
Copy link
Sponsor Member

vtjnash commented Apr 6, 2024

We can avoid copying them into the caller, since we know they cannot change. You could grab something like Serialization.NullDebugInfo and use that everywhere?

src/staticdata.c Outdated Show resolved Hide resolved
@JeffBezanson JeffBezanson merged commit 57b9b59 into master May 1, 2024
7 checks passed
@JeffBezanson JeffBezanson deleted the jb/stripnewdbg branch May 1, 2024 18:51
lazarusA pushed a commit to lazarusA/julia that referenced this pull request Jul 12, 2024
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.

3 participants