Nigel Cunningham writes: > I guess I want to persist because all of these issues aren't utterly > unsolvable. It's just that we don't have the infrastructure yet to > figure out the solutions to these issues trivially. Take, for example, Ever heard of the halting problem? :) It's not just a matter of infrastructure. You very quickly get into questions that are mathematically undecideable. > the locking issue. If we could call some function to say "What process > holds this lock?", then task A could know that it's waiting on task B > and put that information somewhere. We could then use the information > to freeze task B before task A. But how would that help? If task B holds the lock, then we can't freeze it until it's released the lock. Then the question is, what does task B need in order to get to the point where it releases the lock? And so on. It rapidly gets not just extremely messy, but actually impossible to compute in general. Paul. _______________________________________________ linux-pm mailing list linux-pm@xxxxxxxxxxxxxxxxxxxxxxxxxx https://lists.linux-foundation.org/mailman/listinfo/linux-pm
