diff options
| author | Nika Layzell <nika@thelayzells.com> | 2022-09-04 12:53:29 -0400 |
|---|---|---|
| committer | Nika Layzell <nika@thelayzells.com> | 2022-09-04 14:06:26 -0400 |
| commit | efda49712b35009c0096217ce2aa262fc5ab8174 (patch) | |
| tree | d883f1393ce90018bd05cae7ad3a943211f7659b /compiler/rustc_codegen_llvm/src | |
| parent | b11bf65e4aaa125952b6479a63f36e9e83efc32c (diff) | |
| download | rust-efda49712b35009c0096217ce2aa262fc5ab8174.tar.gz rust-efda49712b35009c0096217ce2aa262fc5ab8174.zip | |
proc_macro/bridge: use the cross-thread executor for nested proc-macros
While working on some other changes in the bridge, I noticed that when running a nested proc-macro (which is currently only possible using the unstable `TokenStream::expand_expr`), any symbols held by the proc-macro client would be invalidated, as the same thread would be used for the nested macro by default, and the interner doesn't handle nested use. After discussing with @eddyb, we decided the best approach might be to force the use of the cross-thread executor for nested invocations, as it will never re-use thread-local storage, avoiding the issue. This shouldn't impact performance, as expand_expr is still unstable, and infrequently used. This was chosen rather than making the client symbol interner handle nested invocations, as that would require replacing the internal interner `Vec` with a `BTreeMap` (as valid symbol id ranges could now be disjoint), and the symbol interner is known to be fairly perf-sensitive. This patch adds checks to the execution strategy to use the cross-thread executor when doing nested invocations. An alternative implementation strategy could be to track this information in the `ExtCtxt`, however a thread-local in the `proc_macro` crate was chosen to add an assertion so that `rust-analyzer` is aware of the issue if it implements `expand_expr` in the future. r? @eddyb
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions
