Skip to content

Free memory before calling linker #66707

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

Merged
merged 11 commits into from
Nov 30, 2019
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
35 changes: 23 additions & 12 deletions src/librustc_driver/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -283,7 +283,7 @@ pub fn run_compiler(
return sess.compile_status();
}

compiler.enter(|queries| {
let linker = compiler.enter(|queries| {
queries.parse()?;

if let Some(ppm) = &sess.opts.pretty {
Expand All @@ -309,17 +309,20 @@ pub fn run_compiler(
compiler.output_file().as_ref().map(|p| &**p),
);
}
return sess.compile_status();
sess.compile_status()?;
return Ok(None);
}

if callbacks.after_parsing(compiler) == Compilation::Stop {
return sess.compile_status();
sess.compile_status()?;
return Ok(None);
}

if sess.opts.debugging_opts.parse_only ||
sess.opts.debugging_opts.show_span.is_some() ||
sess.opts.debugging_opts.ast_json_noexpand {
return sess.compile_status();
sess.compile_status()?;
return Ok(None);
}

{
Expand All @@ -328,28 +331,32 @@ pub fn run_compiler(
// Lint plugins are registered; now we can process command line flags.
if sess.opts.describe_lints {
describe_lints(&sess, &lint_store, true);
return sess.compile_status();
sess.compile_status()?;
return Ok(None);
}
}

queries.expansion()?;
if callbacks.after_expansion(compiler) == Compilation::Stop {
return sess.compile_status();
sess.compile_status()?;
return Ok(None);
}

queries.prepare_outputs()?;

if sess.opts.output_types.contains_key(&OutputType::DepInfo)
&& sess.opts.output_types.len() == 1
{
return sess.compile_status();
sess.compile_status()?;
return Ok(None);
}

queries.global_ctxt()?;

if sess.opts.debugging_opts.no_analysis ||
sess.opts.debugging_opts.ast_json {
return sess.compile_status();
sess.compile_status()?;
return Ok(None);
}

if sess.opts.debugging_opts.save_analysis {
Expand Down Expand Up @@ -381,7 +388,8 @@ pub fn run_compiler(
queries.global_ctxt()?.peek_mut().enter(|tcx| tcx.analysis(LOCAL_CRATE))?;

if callbacks.after_analysis(compiler) == Compilation::Stop {
return sess.compile_status();
sess.compile_status()?;
return Ok(None);
}

if sess.opts.debugging_opts.save_analysis {
Expand All @@ -397,11 +405,14 @@ pub fn run_compiler(
sess.code_stats.print_type_sizes();
}

queries.link()?;

Ok(())
let linker = queries.linker()?;
Ok(Some(linker))
})?;

if let Some(linker) = linker {
linker.link()?
}

if sess.opts.debugging_opts.perf_stats {
sess.print_perf_stats();
}
Expand Down
64 changes: 44 additions & 20 deletions src/librustc_interface/queries.rs
Original file line number Diff line number Diff line change
Expand Up @@ -81,7 +81,6 @@ pub struct Queries<'comp> {
prepare_outputs: Query<OutputFilenames>,
global_ctxt: Query<BoxedGlobalCtxt>,
ongoing_codegen: Query<Box<dyn Any>>,
link: Query<()>,
}

impl<'comp> Queries<'comp> {
Expand All @@ -98,7 +97,6 @@ impl<'comp> Queries<'comp> {
prepare_outputs: Default::default(),
global_ctxt: Default::default(),
ongoing_codegen: Default::default(),
link: Default::default(),
}
}

Expand Down Expand Up @@ -278,35 +276,54 @@ impl<'comp> Queries<'comp> {
})
}

pub fn link(&self) -> Result<&Query<()>> {
self.link.compute(|| {
let sess = self.session();
pub fn linker(self) -> Result<Linker> {
let dep_graph = self.dep_graph()?;
let prepare_outputs = self.prepare_outputs()?;
let ongoing_codegen = self.ongoing_codegen()?;

let ongoing_codegen = self.ongoing_codegen()?.take();
let sess = self.session().clone();
let codegen_backend = self.codegen_backend().clone();

self.codegen_backend().join_codegen_and_link(
ongoing_codegen,
sess,
&*self.dep_graph()?.peek(),
&*self.prepare_outputs()?.peek(),
).map_err(|_| ErrorReported)?;

Ok(())
Ok(Linker {
sess,
dep_graph: dep_graph.take(),
prepare_outputs: prepare_outputs.take(),
ongoing_codegen: ongoing_codegen.take(),
codegen_backend,
})
}
}

pub struct Linker {
sess: Lrc<Session>,
dep_graph: DepGraph,
prepare_outputs: OutputFilenames,
ongoing_codegen: Box<dyn Any>,
codegen_backend: Lrc<Box<dyn CodegenBackend>>,
}

impl Linker {
pub fn link(self) -> Result<()> {
self.codegen_backend.join_codegen_and_link(
self.ongoing_codegen,
&self.sess,
&self.dep_graph,
&self.prepare_outputs,
).map_err(|_| ErrorReported)
}
}

impl Compiler {
// This method is different to all the other methods in `Compiler` because
// it lacks a `Queries` entry. It's also not currently used. It does serve
// as an example of how `Compiler` can be used, with additional steps added
// between some passes. And see `rustc_driver::run_compiler` for a more
// complex example.
pub fn enter<'c, F, T>(&'c self, f: F) -> Result<T>
where F: for<'q> FnOnce(&'q Queries<'c>) -> Result<T>
where F: FnOnce(Queries<'c>) -> Result<T>
Copy link
Contributor

Choose a reason for hiding this comment

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

This closure should take &Queries<'_>. We don't want to give out ownership. The 'c lifetime also isn't needed here. The comment above is also for the wrong function.

{
let queries = Queries::new(&self);
f(&queries)
f(queries)
}

// This method is different to all the other methods in `Compiler` because
Expand All @@ -315,13 +332,13 @@ impl Compiler {
// between some passes. And see `rustc_driver::run_compiler` for a more
// complex example.
pub fn compile(&self) -> Result<()> {
self.enter(|queries| {
let linker = self.enter(|queries| {
queries.prepare_outputs()?;

if self.session().opts.output_types.contains_key(&OutputType::DepInfo)
&& self.session().opts.output_types.len() == 1
{
return Ok(())
return Ok(None)
}

queries.global_ctxt()?;
Expand All @@ -334,7 +351,14 @@ impl Compiler {
// Drop GlobalCtxt after starting codegen to free memory.
mem::drop(queries.global_ctxt()?.take());
Copy link
Contributor

Choose a reason for hiding this comment

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

This can also be dropped.


queries.link().map(|_| ())
})
let linker = queries.linker()?;
Ok(Some(linker))
})?;

if let Some(linker) = linker {
linker.link()?
}

Ok(())
}
}