diff options
| author | bors <bors@rust-lang.org> | 2013-09-12 04:36:06 -0700 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2013-09-12 04:36:06 -0700 |
| commit | 0a2d3c5a6f3bbd5f8cd8e3361995d5fa6c4d1e73 (patch) | |
| tree | df63170dd1385f7f4b5d23dd95d9bb02faa5196a /src/libextra | |
| parent | 4825db44c81ca2b122282dfb59aa705ad2475e5d (diff) | |
| parent | a9184975da62769dfccbca73fb9bd554298a4d36 (diff) | |
| download | rust-0a2d3c5a6f3bbd5f8cd8e3361995d5fa6c4d1e73.tar.gz rust-0a2d3c5a6f3bbd5f8cd8e3361995d5fa6c4d1e73.zip | |
auto merge of #9096 : huonw/rust/linenoise, r=brson
- Wrap calls into linenoise in a mutex so that the functions don't have to be `unsafe` any more (fixes #3921)
- Stop leaking every line that linenoise reads.
- Handle the situation of `rl::complete(some_function); do spawn { rl::read(""); }` which would crash (`fail!` that turned into an abort, possibly due to failing with the lock locked) when the user attempted to tab-complete anything.
- Add a test for the various functions; it has to be run by hand to verify anything works, but it won't bitrot.
Diffstat (limited to 'src/libextra')
| -rw-r--r-- | src/libextra/rl.rs | 104 |
1 files changed, 73 insertions, 31 deletions
diff --git a/src/libextra/rl.rs b/src/libextra/rl.rs index 09ef7f22be5..74b7aea9978 100644 --- a/src/libextra/rl.rs +++ b/src/libextra/rl.rs @@ -8,13 +8,10 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -// FIXME #3921. This is unsafe because linenoise uses global mutable -// state without mutexes. - use std::c_str::ToCStr; use std::libc::{c_char, c_int}; -use std::local_data; -use std::str; +use std::{local_data, str, rt}; +use std::unstable::finally::Finally; #[cfg(stage0)] pub mod rustrt { @@ -28,6 +25,9 @@ pub mod rustrt { fn linenoiseHistoryLoad(file: *c_char) -> c_int; fn linenoiseSetCompletionCallback(callback: *u8); fn linenoiseAddCompletion(completions: *(), line: *c_char); + + fn rust_take_linenoise_lock(); + fn rust_drop_linenoise_lock(); } } @@ -42,65 +42,107 @@ pub mod rustrt { externfn!(fn linenoiseHistoryLoad(file: *c_char) -> c_int) externfn!(fn linenoiseSetCompletionCallback(callback: extern "C" fn(*i8, *()))) externfn!(fn linenoiseAddCompletion(completions: *(), line: *c_char)) + + externfn!(fn rust_take_linenoise_lock()) + externfn!(fn rust_drop_linenoise_lock()) +} + +macro_rules! locked { + ($expr:expr) => { + unsafe { + // FIXME #9105: can't use a static mutex in pure Rust yet. + rustrt::rust_take_linenoise_lock(); + let x = $expr; + rustrt::rust_drop_linenoise_lock(); + x + } + } } /// Add a line to history -pub unsafe fn add_history(line: &str) -> bool { +pub fn add_history(line: &str) -> bool { do line.with_c_str |buf| { - rustrt::linenoiseHistoryAdd(buf) == 1 as c_int + (locked!(rustrt::linenoiseHistoryAdd(buf))) == 1 as c_int } } /// Set the maximum amount of lines stored -pub unsafe fn set_history_max_len(len: int) -> bool { - rustrt::linenoiseHistorySetMaxLen(len as c_int) == 1 as c_int +pub fn set_history_max_len(len: int) -> bool { + (locked!(rustrt::linenoiseHistorySetMaxLen(len as c_int))) == 1 as c_int } /// Save line history to a file -pub unsafe fn save_history(file: &str) -> bool { +pub fn save_history(file: &str) -> bool { do file.with_c_str |buf| { - rustrt::linenoiseHistorySave(buf) == 1 as c_int + // 0 on success, -1 on failure + (locked!(rustrt::linenoiseHistorySave(buf))) == 0 as c_int } } /// Load line history from a file -pub unsafe fn load_history(file: &str) -> bool { +pub fn load_history(file: &str) -> bool { do file.with_c_str |buf| { - rustrt::linenoiseHistoryLoad(buf) == 1 as c_int + // 0 on success, -1 on failure + (locked!(rustrt::linenoiseHistoryLoad(buf))) == 0 as c_int } } /// Print out a prompt and then wait for input and return it -pub unsafe fn read(prompt: &str) -> Option<~str> { +pub fn read(prompt: &str) -> Option<~str> { do prompt.with_c_str |buf| { - let line = rustrt::linenoise(buf); + let line = locked!(rustrt::linenoise(buf)); if line.is_null() { None } - else { Some(str::raw::from_c_str(line)) } + else { + unsafe { + do (|| { + Some(str::raw::from_c_str(line)) + }).finally { + // linenoise's return value is from strdup, so we + // better not leak it. + rt::global_heap::exchange_free(line); + } + } + } } } pub type CompletionCb = @fn(~str, @fn(~str)); -static complete_key: local_data::Key<@CompletionCb> = &local_data::Key; - -/// Bind to the main completion callback -pub unsafe fn complete(cb: CompletionCb) { - local_data::set(complete_key, @cb); - - extern fn callback(line: *c_char, completions: *()) { - do local_data::get(complete_key) |cb| { - let cb = **cb.unwrap(); - - unsafe { - do cb(str::raw::from_c_str(line)) |suggestion| { - do suggestion.with_c_str |buf| { - rustrt::linenoiseAddCompletion(completions, buf); +static complete_key: local_data::Key<CompletionCb> = &local_data::Key; + +/// Bind to the main completion callback in the current task. +/// +/// The completion callback should not call any `extra::rl` functions +/// other than the closure that it receives as its second +/// argument. Calling such a function will deadlock on the mutex used +/// to ensure that the calls are thread-safe. +pub fn complete(cb: CompletionCb) { + local_data::set(complete_key, cb); + + extern fn callback(c_line: *c_char, completions: *()) { + do local_data::get(complete_key) |opt_cb| { + // only fetch completions if a completion handler has been + // registered in the current task. + match opt_cb { + None => {}, + Some(cb) => { + let line = unsafe { str::raw::from_c_str(c_line) }; + do (*cb)(line) |suggestion| { + do suggestion.with_c_str |buf| { + // This isn't locked, because `callback` gets + // called inside `rustrt::linenoise`, which + // *is* already inside the mutex, so + // re-locking would be a deadlock. + unsafe { + rustrt::linenoiseAddCompletion(completions, buf); + } + } } } } } } - rustrt::linenoiseSetCompletionCallback(callback); + locked!(rustrt::linenoiseSetCompletionCallback(callback)); } |
