Food for thought ...
I have a lot of interest in Java serviceability and JVM egregious condition recovery. If you share the same interest, please check out the following research paper http://groups.csail.mit.edu/pac/jolt/paper.pdf that talks about Detecting and Escaping In nite Loops with Java or the more easily digestible http://web.mit.edu/newsoffice/2011/infinite-loops-interrupt-0802.html
One thought that did resonate in the article is from Westley Weimer, an assistant professor of computer science at the University of Virginia who says "The vast majority of software engineering or programming-language researchers are shackled to this notion of full correctness or full soundness: You can’t change anything in the program if there’s even the possibility of getting a slightly wrong answer,”
The article goes on to say that “One of the things that’s really characterized Martin’s research over the last 10 or 15 years is casting off the shackles of soundness in favor of approaches that are probably correct but dramatically more useful in real life.”
This is true in order to achieve resiliency you will need to sacrifice some program consistency and correctness.
I have a lot of interest in Java serviceability and JVM egregious condition recovery. If you share the same interest, please check out the following research paper http://groups.csail.mit.edu/pac/jolt/paper.pdf that talks about Detecting and Escaping In nite Loops with Java or the more easily digestible http://web.mit.edu/newsoffice/2011/infinite-loops-interrupt-0802.html
One thought that did resonate in the article is from Westley Weimer, an assistant professor of computer science at the University of Virginia who says "The vast majority of software engineering or programming-language researchers are shackled to this notion of full correctness or full soundness: You can’t change anything in the program if there’s even the possibility of getting a slightly wrong answer,”
The article goes on to say that “One of the things that’s really characterized Martin’s research over the last 10 or 15 years is casting off the shackles of soundness in favor of approaches that are probably correct but dramatically more useful in real life.”
This is true in order to achieve resiliency you will need to sacrifice some program consistency and correctness.
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.