> Actually (though I've been busy implementing other things), I've been > planning a somewhat different way to solve the scalability problems that I > called "auto rollup."
This is more or less the direction I've thought we'd move in as well. Basically try in bigger batches but have blame pinpointing stay the same. It does share one of the same drawbacks as the pipelining proposal, which is that in the case that things aren't mostly succeeding by default, it makes things slower. That said I think this is worth trying. jack. _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
