Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 22:15:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

Make --profile-trace-path work without -p

Browse source
This commit is contained in:
Matt Brubeck 2016-05-10 14:03:10 -07:00
parent 82cc51280e
commit c4f9576368
1 changed files with 32 additions and 31 deletions
Download patch file Download diff file Expand all files Collapse all files

63
components/profile/time.rs
View file

@ -135,39 +135,40 @@ pub struct Profiler {
impl Profiler { impl Profiler {
pub fn create(period: Option<f64>, file_path: Option<String>) -> ProfilerChan { pub fn create(period: Option<f64>, file_path: Option<String>) -> ProfilerChan {
let (chan, port) = ipc::channel().unwrap(); let (chan, port) = ipc::channel().unwrap();
match period { if let Some(period) = period {
Some(period) => { let chan = chan.clone();
let chan = chan.clone(); spawn_named("Time profiler timer".to_owned(), move || {
spawn_named("Time profiler timer".to_owned(), move || { loop {
loop { thread::sleep(duration_from_seconds(period));
thread::sleep(duration_from_seconds(period)); if chan.send(ProfilerMsg::Print).is_err() {
if chan.send(ProfilerMsg::Print).is_err() { break;
break;
}
} }
}); }
// Spawn the time profiler. });
spawn_named("Time profiler".to_owned(), move || {
let trace = file_path.as_ref()
.map(path::Path::new)
.map(fs::File::create)
.map(|res| TraceDump::new(res.unwrap()));
let mut profiler = Profiler::new(port, trace);
profiler.start();
});
}
None => {
// No-op to handle messages when the time profiler is inactive.
spawn_named("Time profiler".to_owned(), move || {
loop {
match port.recv() {
Err(_) | Ok(ProfilerMsg::Exit) => break,
_ => {}
}
}
});
}
} }
if period.is_some() || file_path.is_some() {
// Spawn the time profiler.
spawn_named("Time profiler".to_owned(), move || {
let trace = file_path.as_ref()
.map(path::Path::new)
.map(fs::File::create)
.map(|res| TraceDump::new(res.unwrap()));
let mut profiler = Profiler::new(port, trace);
profiler.start();
});
} else {
// No-op to handle messages when the time profiler is inactive.
spawn_named("Time profiler".to_owned(), move || {
loop {
match port.recv() {
Err(_) | Ok(ProfilerMsg::Exit) => break,
_ => {}
}
}
});
}
heartbeats::init(); heartbeats::init();
let profiler_chan = ProfilerChan(chan); let profiler_chan = ProfilerChan(chan);