Skip to content

Commit

Permalink
Optimize jobserver try_acquire (#1037)
Browse files Browse the repository at this point in the history
* Bump dep jobserver from 0.1.20 to 0.1.30

Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>

* Add `parallel::OnceLock` impl copied from `std::sync::OnceLock`

Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>

* Optimize `inherited_jobserver` acquire

First try `jobserver::Client::try_acquire`, which will work:
 - If a fifo is used as jobserver
 - On linux and:
    - preadv2 with non-blocking read available (>=5.6)
    - /proc is available
 - On Windows
 - On wasm

if not, we will simply fallback to help thread implementation, spawning one
thread to maintain compatibility with other platforms.

Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>

* Use `OnceLock` in `JobTokenServer::new`

Also impls `Send`, `Sync`, `RefUnwindSafe` and `UnwindSafed` when the `T`
meets the criterior.

Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>

* Replace vendored `OnceLock` with dep `once_cell`

Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>

* Fix dep: `once_cell` is needed on all targets

whenever feature parallel is enabled.

Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>

* Refactor: `ActiveJobTokenServer::new` no longer returns `Result`

There is no need to, it never fails.

Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>

* Add back TODO

---------

Signed-off-by: Jiahao XU <Jiahao_XU@outlook.com>
  • Loading branch information
NobodyXu authored Apr 20, 2024
1 parent c284566 commit 9af6b95
Show file tree
Hide file tree
Showing 3 changed files with 62 additions and 46 deletions.
5 changes: 3 additions & 2 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -20,15 +20,16 @@ edition = "2018"
rust-version = "1.63"

[dependencies]
jobserver = { version = "0.1.20", default-features = false, optional = true }
jobserver = { version = "0.1.30", default-features = false, optional = true }
once_cell = { version = "1.19", optional = true }

[target.'cfg(unix)'.dependencies]
# Don't turn on the feature "std" for this, see https://github.com/rust-lang/cargo/issues/4866
# which is still an issue with `resolver = "1"`.
libc = { version = "0.2.62", default-features = false, optional = true }

[features]
parallel = ["libc", "jobserver"]
parallel = ["libc", "jobserver", "once_cell"]

[dev-dependencies]
tempfile = "3"
Expand Down
2 changes: 1 addition & 1 deletion src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1449,7 +1449,7 @@ impl Build {
}

// Limit our parallelism globally with a jobserver.
let tokens = parallel::job_token::ActiveJobTokenServer::new()?;
let tokens = parallel::job_token::ActiveJobTokenServer::new();

// When compiling objects in parallel we do a few dirty tricks to speed
// things up:
Expand Down
101 changes: 58 additions & 43 deletions src/parallel/job_token.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,9 @@
use std::{marker::PhantomData, mem::MaybeUninit, sync::Once};
use std::marker::PhantomData;

use crate::Error;

use once_cell::sync::OnceCell;

pub(crate) struct JobToken(PhantomData<()>);

impl JobToken {
Expand Down Expand Up @@ -35,18 +37,13 @@ impl JobTokenServer {
/// compilation.
fn new() -> &'static Self {
// TODO: Replace with a OnceLock once MSRV is 1.70
static INIT: Once = Once::new();
static mut JOBSERVER: MaybeUninit<JobTokenServer> = MaybeUninit::uninit();

unsafe {
INIT.call_once(|| {
let server = inherited_jobserver::JobServer::from_env()
.map(Self::Inherited)
.unwrap_or_else(|| Self::InProcess(inprocess_jobserver::JobServer::new()));
JOBSERVER.write(server);
});
JOBSERVER.assume_init_ref()
}
static JOBSERVER: OnceCell<JobTokenServer> = OnceCell::new();

JOBSERVER.get_or_init(|| {
unsafe { inherited_jobserver::JobServer::from_env() }
.map(Self::Inherited)
.unwrap_or_else(|| Self::InProcess(inprocess_jobserver::JobServer::new()))
})
}
}

Expand All @@ -56,14 +53,12 @@ pub(crate) enum ActiveJobTokenServer {
}

impl ActiveJobTokenServer {
pub(crate) fn new() -> Result<Self, Error> {
pub(crate) fn new() -> Self {
match JobTokenServer::new() {
JobTokenServer::Inherited(inherited_jobserver) => {
inherited_jobserver.enter_active().map(Self::Inherited)
}
JobTokenServer::InProcess(inprocess_jobserver) => {
Ok(Self::InProcess(inprocess_jobserver))
Self::Inherited(inherited_jobserver.enter_active())
}
JobTokenServer::InProcess(inprocess_jobserver) => Self::InProcess(inprocess_jobserver),
}
}

Expand All @@ -76,7 +71,7 @@ impl ActiveJobTokenServer {
}

mod inherited_jobserver {
use super::JobToken;
use super::{JobToken, OnceCell};

use crate::{parallel::async_executor::YieldOnce, Error, ErrorKind};

Expand Down Expand Up @@ -139,31 +134,39 @@ mod inherited_jobserver {
}
}

pub(super) fn enter_active(&self) -> Result<ActiveJobServer<'_>, Error> {
ActiveJobServer::new(self)
pub(super) fn enter_active(&self) -> ActiveJobServer<'_> {
ActiveJobServer {
jobserver: self,
helper_thread: OnceCell::new(),
}
}
}

pub(crate) struct ActiveJobServer<'a> {
jobserver: &'a JobServer,
helper_thread: jobserver::HelperThread,
struct HelperThread {
inner: jobserver::HelperThread,
/// When rx is dropped, all the token stored within it will be dropped.
rx: mpsc::Receiver<io::Result<jobserver::Acquired>>,
}

impl<'a> ActiveJobServer<'a> {
fn new(jobserver: &'a JobServer) -> Result<Self, Error> {
impl HelperThread {
fn new(jobserver: &JobServer) -> Result<Self, Error> {
let (tx, rx) = mpsc::channel();

Ok(Self {
rx,
helper_thread: jobserver.inner.clone().into_helper_thread(move |res| {
inner: jobserver.inner.clone().into_helper_thread(move |res| {
let _ = tx.send(res);
})?,
jobserver,
})
}
}

pub(crate) struct ActiveJobServer<'a> {
jobserver: &'a JobServer,
helper_thread: OnceCell<HelperThread>,
}

impl<'a> ActiveJobServer<'a> {
pub(super) async fn acquire(&self) -> Result<JobToken, Error> {
let mut has_requested_token = false;

Expand All @@ -173,26 +176,38 @@ mod inherited_jobserver {
break Ok(JobToken::new());
}

// Cold path, no global implicit token, obtain one
match self.rx.try_recv() {
Ok(res) => {
let acquired = res?;
match self.jobserver.inner.try_acquire() {
Ok(Some(acquired)) => {
acquired.drop_without_releasing();
break Ok(JobToken::new());
}
Err(mpsc::TryRecvError::Disconnected) => {
break Err(Error::new(
ErrorKind::JobserverHelpThreadError,
"jobserver help thread has returned before ActiveJobServer is dropped",
))
}
Err(mpsc::TryRecvError::Empty) => {
if !has_requested_token {
self.helper_thread.request_token();
has_requested_token = true;
Ok(None) => YieldOnce::default().await,
Err(err) if err.kind() == io::ErrorKind::Unsupported => {
// Fallback to creating a help thread with blocking acquire
let helper_thread = self
.helper_thread
.get_or_try_init(|| HelperThread::new(&self.jobserver))?;

match helper_thread.rx.try_recv() {
Ok(res) => {
let acquired = res?;
acquired.drop_without_releasing();
break Ok(JobToken::new());
}
Err(mpsc::TryRecvError::Disconnected) => break Err(Error::new(
ErrorKind::JobserverHelpThreadError,
"jobserver help thread has returned before ActiveJobServer is dropped",
)),
Err(mpsc::TryRecvError::Empty) => {
if !has_requested_token {
helper_thread.inner.request_token();
has_requested_token = true;
}
YieldOnce::default().await
}
}
YieldOnce::default().await
}
Err(err) => break Err(err.into()),
}
}
}
Expand Down

0 comments on commit 9af6b95

Please sign in to comment.