-Z profile-queries: remove panic when channel is unset
This commit is contained in:
parent
28cb03d4e1
commit
3c24fea882
@ -75,7 +75,12 @@ pub fn profq_msg(msg: ProfileQueriesMsg) {
|
||||
if let Some(s) = sender.borrow().as_ref() {
|
||||
s.send(msg).unwrap()
|
||||
} else {
|
||||
panic!("no channel on which to send profq_msg: {:?}", msg)
|
||||
// Do nothing.
|
||||
//
|
||||
// FIXME(matthewhammer): Multi-threaded translation phase triggers the panic below.
|
||||
// From backtrace: rustc_trans::back::write::spawn_work::{{closure}}.
|
||||
//
|
||||
// panic!("no channel on which to send profq_msg: {:?}", msg)
|
||||
}
|
||||
})
|
||||
}
|
||||
|
@ -137,9 +137,15 @@ fn write_traces_rec(file: &mut File, traces: &Vec<Rec>, total: Duration, depth:
|
||||
fn compute_counts_rec(counts: &mut HashMap<String,QueryMetric>, traces: &Vec<Rec>) {
|
||||
for t in traces.iter() {
|
||||
match t.effect {
|
||||
Effect::TimeBegin(ref _msg) => {
|
||||
// dont count time-begin effects
|
||||
}
|
||||
Effect::TimeBegin(ref msg) => {
|
||||
let qm = match counts.get(msg) {
|
||||
Some(_qm) => { panic!("TimeBegin with non-unique, repeat message") }
|
||||
None => QueryMetric{
|
||||
count: 1,
|
||||
duration: t.duration
|
||||
}};
|
||||
counts.insert(msg.clone(), qm);
|
||||
},
|
||||
Effect::QueryBegin(ref qmsg, ref _cc) => {
|
||||
let qcons = cons_of_query_msg(qmsg);
|
||||
let qm = match counts.get(&qcons) {
|
||||
@ -239,29 +245,29 @@ body {
|
||||
display: none
|
||||
}
|
||||
.frac-50 {
|
||||
padding: 4px;
|
||||
padding: 10px;
|
||||
border-width: 10px;
|
||||
font-size: 16px;
|
||||
font-size: 32px;
|
||||
}
|
||||
.frac-40 {
|
||||
padding: 4px;
|
||||
padding: 8px;
|
||||
border-width: 8px;
|
||||
font-size: 16px;
|
||||
font-size: 24px;
|
||||
}
|
||||
.frac-30 {
|
||||
padding: 3px;
|
||||
padding: 6px;
|
||||
border-width: 6px;
|
||||
font-size: 16px;
|
||||
font-size: 18px;
|
||||
}
|
||||
.frac-20 {
|
||||
padding: 3px;
|
||||
padding: 4px;
|
||||
border-width: 6px;
|
||||
font-size: 16px;
|
||||
}
|
||||
.frac-10 {
|
||||
padding: 3px;
|
||||
padding: 2px;
|
||||
border-width: 6px;
|
||||
font-size: 16px;
|
||||
font-size: 14px;
|
||||
}
|
||||
").unwrap();
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user