Skip to content

Move the mutex module out of std::unstable and straight into libstd. #14011

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

Closed
Closed
Show file tree
Hide file tree
Changes from all commits
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
4 changes: 2 additions & 2 deletions src/libgreen/sched.rs
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ use std::rt::rtio::{RemoteCallback, PausableIdleCallback, Callback, EventLoop};
use std::rt::task::BlockedTask;
use std::rt::task::Task;
use std::sync::deque;
use std::unstable::mutex::NativeMutex;
use std::rt::mutex::NativeMutex;
use std::raw;

use rand::{XorShiftRng, Rng, Rand};
Expand Down Expand Up @@ -1474,7 +1474,7 @@ mod test {

#[test]
fn test_spawn_sched_blocking() {
use std::unstable::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};
use std::rt::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};
static mut LOCK: StaticNativeMutex = NATIVE_MUTEX_INIT;

// Testing that a task in one scheduler can block in foreign code
Expand Down
2 changes: 1 addition & 1 deletion src/libgreen/simple.rs
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ use std::rt::local::Local;
use std::rt::rtio;
use std::rt::task::{Task, BlockedTask};
use std::task::TaskOpts;
use std::unstable::mutex::NativeMutex;
use std::rt::mutex::NativeMutex;

struct SimpleTask {
lock: NativeMutex,
Expand Down
2 changes: 1 addition & 1 deletion src/libgreen/task.rs
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,7 @@ use std::rt::rtio;
use std::rt::stack;
use std::rt::task::{Task, BlockedTask, SendMessage};
use std::task::TaskOpts;
use std::unstable::mutex::NativeMutex;
use std::rt::mutex::NativeMutex;

use context::Context;
use coroutine::Coroutine;
Expand Down
5 changes: 3 additions & 2 deletions src/libnative/io/net.rs
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,8 @@ use std::io::net::ip;
use std::io;
use std::mem;
use std::rt::rtio;
use std::unstable::mutex;
use std::sync::arc::UnsafeArc;
use std::rt::mutex;

use super::{IoResult, retry, keep_going};
use super::c;
Expand Down Expand Up @@ -215,7 +216,7 @@ pub fn init() {}
pub fn init() {

unsafe {
use std::unstable::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};
use std::rt::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};
static mut INITIALIZED: bool = false;
static mut LOCK: StaticNativeMutex = NATIVE_MUTEX_INIT;

Expand Down
3 changes: 2 additions & 1 deletion src/libnative/io/pipe_unix.rs
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,8 @@ use std::intrinsics;
use std::io;
use std::mem;
use std::rt::rtio;
use std::unstable::mutex;
use std::sync::arc::UnsafeArc;
use std::rt::mutex;

use super::{IoResult, retry};
use super::net;
Expand Down
2 changes: 1 addition & 1 deletion src/libnative/io/pipe_win32.rs
Original file line number Diff line number Diff line change
Expand Up @@ -94,7 +94,7 @@ use std::os;
use std::ptr;
use std::rt::rtio;
use std::sync::atomics;
use std::unstable::mutex;
use std::rt::mutex;

use super::IoResult;
use super::c;
Expand Down
149 changes: 149 additions & 0 deletions src/libnative/io/timer_helper.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,149 @@
// Copyright 2013-2014 The Rust Project Developers. See the COPYRIGHT
Copy link
Member

Choose a reason for hiding this comment

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

This seems to have snuck in by accident.

// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.

//! Implementation of the helper thread for the timer module
//!
//! This module contains the management necessary for the timer worker thread.
//! This thread is responsible for performing the send()s on channels for timers
//! that are using channels instead of a blocking call.
//!
//! The timer thread is lazily initialized, and it's shut down via the
//! `shutdown` function provided. It must be maintained as an invariant that
//! `shutdown` is only called when the entire program is finished. No new timers
//! can be created in the future and there must be no active timers at that
//! time.

use std::mem;
use std::rt::bookkeeping;
use std::rt;
use std::rt::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};

use io::timer::{Req, Shutdown};
use task;

// You'll note that these variables are *not* protected by a lock. These
// variables are initialized with a Once before any Timer is created and are
// only torn down after everything else has exited. This means that these
// variables are read-only during use (after initialization) and both of which
// are safe to use concurrently.
static mut HELPER_CHAN: *mut Sender<Req> = 0 as *mut Sender<Req>;
static mut HELPER_SIGNAL: imp::signal = 0 as imp::signal;

static mut TIMER_HELPER_EXIT: StaticNativeMutex = NATIVE_MUTEX_INIT;

pub fn boot(helper: fn(imp::signal, Receiver<Req>)) {
static mut LOCK: StaticNativeMutex = NATIVE_MUTEX_INIT;
static mut INITIALIZED: bool = false;

unsafe {
let mut _guard = LOCK.lock();
if !INITIALIZED {
let (tx, rx) = channel();
// promote this to a shared channel
drop(tx.clone());
HELPER_CHAN = mem::transmute(box tx);
let (receive, send) = imp::new();
HELPER_SIGNAL = send;

task::spawn(proc() {
bookkeeping::decrement();
helper(receive, rx);
TIMER_HELPER_EXIT.lock().signal()
});

rt::at_exit(proc() { shutdown() });
INITIALIZED = true;
}
}
}

pub fn send(req: Req) {
unsafe {
assert!(!HELPER_CHAN.is_null());
(*HELPER_CHAN).send(req);
imp::signal(HELPER_SIGNAL);
}
}

fn shutdown() {
// Request a shutdown, and then wait for the task to exit
unsafe {
let guard = TIMER_HELPER_EXIT.lock();
send(Shutdown);
guard.wait();
drop(guard);
TIMER_HELPER_EXIT.destroy();
}


// Clean up after ther helper thread
unsafe {
imp::close(HELPER_SIGNAL);
let _chan: Box<Sender<Req>> = mem::transmute(HELPER_CHAN);
HELPER_CHAN = 0 as *mut Sender<Req>;
HELPER_SIGNAL = 0 as imp::signal;
}
}

#[cfg(unix)]
mod imp {
use libc;
use std::os;

use io::file::FileDesc;

pub type signal = libc::c_int;

pub fn new() -> (signal, signal) {
let pipe = os::pipe();
(pipe.input, pipe.out)
}

pub fn signal(fd: libc::c_int) {
FileDesc::new(fd, false).inner_write([0]).unwrap();
}

pub fn close(fd: libc::c_int) {
let _fd = FileDesc::new(fd, true);
}
}

#[cfg(windows)]
mod imp {
use libc::{BOOL, LPCSTR, HANDLE, LPSECURITY_ATTRIBUTES, CloseHandle};
use std::ptr;
use libc;

pub type signal = HANDLE;

pub fn new() -> (HANDLE, HANDLE) {
unsafe {
let handle = CreateEventA(ptr::mut_null(), libc::FALSE, libc::FALSE,
ptr::null());
(handle, handle)
}
}

pub fn signal(handle: HANDLE) {
assert!(unsafe { SetEvent(handle) != 0 });
}

pub fn close(handle: HANDLE) {
assert!(unsafe { CloseHandle(handle) != 0 });
}

extern "system" {
fn CreateEventA(lpSecurityAttributes: LPSECURITY_ATTRIBUTES,
bManualReset: BOOL,
bInitialState: BOOL,
lpName: LPCSTR) -> HANDLE;
fn SetEvent(hEvent: HANDLE) -> BOOL;
}
}
2 changes: 1 addition & 1 deletion src/libnative/task.rs
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ use std::rt::task::{Task, BlockedTask, SendMessage};
use std::rt::thread::Thread;
use std::rt;
use std::task::TaskOpts;
use std::unstable::mutex::NativeMutex;
use std::rt::mutex::NativeMutex;

use io;
use task;
Expand Down
3 changes: 2 additions & 1 deletion src/librustuv/queue.rs
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,8 @@ use alloc::arc::Arc;
use libc::c_void;
use std::mem;
use std::rt::task::BlockedTask;
use std::unstable::mutex::NativeMutex;
use std::sync::arc::UnsafeArc;
use std::rt::mutex::NativeMutex;
use mpsc = std::sync::mpsc_queue;

use async::AsyncWatcher;
Expand Down
2 changes: 1 addition & 1 deletion src/libstd/comm/shared.rs
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ use rt::local::Local;
use rt::task::{Task, BlockedTask};
use rt::thread::Thread;
use sync::atomics;
use unstable::mutex::NativeMutex;
use rt::mutex::NativeMutex;

use mpsc = sync::mpsc_queue;

Expand Down
2 changes: 1 addition & 1 deletion src/libstd/comm/sync.rs
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@ use rt::local::Local;
use rt::task::{Task, BlockedTask};
use sync::atomics;
use ty::Unsafe;
use unstable::mutex::{NativeMutex, LockGuard};
use rt::mutex::{NativeMutex, LockGuard};
use vec::Vec;

pub struct Packet<T> {
Expand Down
2 changes: 1 addition & 1 deletion src/libstd/os.rs
Original file line number Diff line number Diff line change
Expand Up @@ -161,7 +161,7 @@ Accessing environment variables is not generally threadsafe.
Serialize access through a global lock.
*/
fn with_env_lock<T>(f: || -> T) -> T {
use unstable::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};
use rt::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};

static mut lock: StaticNativeMutex = NATIVE_MUTEX_INIT;

Expand Down
2 changes: 1 addition & 1 deletion src/libstd/rt/args.rs
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@ mod imp {
use iter::Iterator;
use option::{Option, Some, None};
use owned::Box;
use unstable::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};
use rt::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};
use mem;
use vec::Vec;
use ptr::RawPtr;
Expand Down
4 changes: 2 additions & 2 deletions src/libstd/rt/backtrace.rs
Original file line number Diff line number Diff line change
Expand Up @@ -242,7 +242,7 @@ mod imp {
use mem;
use option::{Some, None, Option};
use result::{Ok, Err};
use unstable::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};
use rt::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};
use uw = rt::libunwind;

struct Context<'a> {
Expand Down Expand Up @@ -515,7 +515,7 @@ mod imp {
use str::StrSlice;
use unstable::dynamic_lib::DynamicLibrary;
use intrinsics;
use unstable::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};
use rt::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};
use slice::ImmutableVector;

extern "system" {
Expand Down
2 changes: 1 addition & 1 deletion src/libstd/rt/bookkeeping.rs
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@
#![doc(hidden)]

use sync::atomics;
use unstable::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};
use rt::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};

static mut TASK_COUNT: atomics::AtomicUint = atomics::INIT_ATOMIC_UINT;
static mut TASK_LOCK: StaticNativeMutex = NATIVE_MUTEX_INIT;
Expand Down
3 changes: 2 additions & 1 deletion src/libstd/rt/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -92,9 +92,10 @@ pub mod shouldnt_be_public {
// Internal macros used by the runtime.
mod macros;

/// Implementations of language-critical runtime features like @.
pub mod task;

pub mod mutex;

// The EventLoop and internal synchronous I/O interface.
pub mod rtio;

Expand Down
6 changes: 3 additions & 3 deletions src/libstd/unstable/mutex.rs → src/libstd/rt/mutex.rs
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@
//! # Example
//!
//! ```rust
//! use std::unstable::mutex::{NativeMutex, StaticNativeMutex, NATIVE_MUTEX_INIT};
//! use std::rt::mutex::{NativeMutex, StaticNativeMutex, NATIVE_MUTEX_INIT};
//!
//! // Use a statically initialized mutex
//! static mut LOCK: StaticNativeMutex = NATIVE_MUTEX_INIT;
Expand Down Expand Up @@ -109,7 +109,7 @@ impl StaticNativeMutex {
/// # Example
///
/// ```rust
/// use std::unstable::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};
/// use std::rt::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};
/// static mut LOCK: StaticNativeMutex = NATIVE_MUTEX_INIT;
/// unsafe {
/// let _guard = LOCK.lock();
Expand Down Expand Up @@ -183,7 +183,7 @@ impl NativeMutex {
///
/// # Example
/// ```rust
/// use std::unstable::mutex::NativeMutex;
/// use std::rt::mutex::NativeMutex;
/// unsafe {
/// let mut lock = NativeMutex::new();
///
Expand Down
4 changes: 2 additions & 2 deletions src/libstd/unstable/dynamic_lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -223,8 +223,8 @@ pub mod dl {
dlopen(ptr::null(), Lazy as libc::c_int) as *u8
}

pub fn check_for_errors_in<T>(f: || -> T) -> Result<T, String> {
use unstable::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};
pub fn check_for_errors_in<T>(f: || -> T) -> Result<T, ~str> {
use rt::mutex::{StaticNativeMutex, NATIVE_MUTEX_INIT};
static mut lock: StaticNativeMutex = NATIVE_MUTEX_INIT;
unsafe {
// dlerror isn't thread safe, so we need to lock around this entire
Expand Down
1 change: 0 additions & 1 deletion src/libstd/unstable/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -13,5 +13,4 @@
pub mod dynamic_lib;

pub mod sync;
pub mod mutex;

3 changes: 2 additions & 1 deletion src/libstd/unstable/sync.rs
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,8 @@ use alloc::arc::Arc;
use clone::Clone;
use kinds::Send;
use ty::Unsafe;
use unstable::mutex::NativeMutex;
use sync::arc::UnsafeArc;
Copy link
Member

Choose a reason for hiding this comment

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

UnsafeArc has been removed, there's a number of these I think snuck in by accident

Copy link
Contributor Author

Choose a reason for hiding this comment

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

uhh, nuts. Yeah, the rebasing did some damage. I'll fix these.

use rt::mutex::NativeMutex;

struct ExData<T> {
lock: NativeMutex,
Expand Down
2 changes: 1 addition & 1 deletion src/libsync/mutex.rs
Original file line number Diff line number Diff line change
Expand Up @@ -64,7 +64,7 @@ use std::rt::task::{BlockedTask, Task};
use std::rt::thread::Thread;
use std::sync::atomics;
use std::ty::Unsafe;
use std::unstable::mutex;
use std::rt::mutex;

use q = mpsc_intrusive;

Expand Down
2 changes: 1 addition & 1 deletion src/llvm
Submodule llvm updated 2770 files