Skip to content

Improve native AOT compatibility#222

Open
MichalStrehovsky wants to merge 1 commit intobenaadams:mainfrom
MichalStrehovsky:naot
Open

Improve native AOT compatibility#222
MichalStrehovsky wants to merge 1 commit intobenaadams:mainfrom
MichalStrehovsky:naot

Conversation

@MichalStrehovsky
Copy link

In the end, someone will need to do the work to enable the AOT/trim/single file safety analyzers and address all the warnings, but this is enough to have a golden path that makes sample/StackTrace project produce the same results under native AOT as under JIT.

Necessary fixes:

  • GetMethodBody under AOT throws. This will not return anything useful under Mono with ILStrip either. The code simply needs to deal with it.
  • Runtime reflection stack doesn't guarantee referential equality of MemberInfos (except for TypeInfo). This is also true on JIT-based runtimes, but there's even less caching on native AOT. Use operator ==.
  • The reflection to read TupleElementNamesAttribute is trim-unfriendly and cannot be analyzed. Replace with no-reflection.
  • Some fallout from the previous point because the nullable annotations on the thing returned by reflection were wrong.

In the end, someone will need to do the work to enable the AOT/trim/single file safety analyzers and [address all the warnings](https://devblogs.microsoft.com/dotnet/creating-aot-compatible-libraries/), but this is enough to have a golden path that makes `sample/StackTrace` project produce the same results under native AOT as under JIT.

Necessary fixes:

* `GetMethodBody` under AOT throws. This will not return anything useful under Mono with ILStrip either. The code simply needs to deal with it.
* Runtime reflection stack doesn't guarantee referential equality of `MemberInfo`s (except for `TypeInfo`). This is also true on JIT-based runtimes, but there's even less caching on native AOT. Use operator `==`.
* The reflection to read `TupleElementNamesAttribute` is trim-unfriendly and cannot be analyzed. Replace with no-reflection.
* Some fallout from the previous point because the nullable annotations on the thing returned by reflection were wrong.
@bruno-garcia
Copy link
Contributor

@jamescrosswell work bringing this in too https://github.com/getsentry/Ben.Demystifier/

We're keeping our fork going while Ben isn't available here. Since this is used in https://github.com/getsentry/sentry-dotnet

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.

2 participants