My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
  Advanced search   Search tips   Subscriptions
Issue 5: Simple NIMBY analysis throws frozen exception
1 person starred this issue and may be notified of changes. Back to list
Status:  Invalid
Owner:  nels.bec...@gmail.com
Closed:  Sep 2008


 
Project Member Reported by nels.bec...@gmail.com, Aug 28, 2008
What steps will reproduce the problem?
1. Run NIMBY on the attached program

What is the expected output? What do you see instead?
We expect no errors. Instead, the runtime exception "frozen is thrown."

java.lang.IllegalStateException: Object cannot be packed or is frozen.
	at
edu.cmu.cs.plural.track.PluralTupleLatticeElement.packReceiver(PluralTupleLatticeElement.java:638)
	at
edu.cmu.cs.plural.track.SingleTruthFractionalAnalysis$FractionalChecker.wrangleIntoPackedStates(SingleTruthFractionalAnalysis.java:596)
	at
edu.cmu.cs.plural.track.SingleTruthFractionalAnalysis$FractionalChecker.wrangleIntoPackedState(SingleTruthFractionalAnalysis.java:519)
	at
edu.cmu.cs.plural.track.SingleTruthFractionalAnalysis$FractionalChecker.checkDynamicStateTest(SingleTruthFractionalAnalysis.java:450)
	at
edu.cmu.cs.plural.track.SingleTruthFractionalAnalysis$FractionalChecker.endVisit(SingleTruthFractionalAnalysis.java:181)
	at org.eclipse.jdt.core.dom.ReturnStatement.accept0(ReturnStatement.java:137)
	at org.eclipse.jdt.core.dom.ASTNode.accept(ASTNode.java:2476)
	at org.eclipse.jdt.core.dom.ASTNode.acceptChildren(ASTNode.java:2546)
	at org.eclipse.jdt.core.dom.Block.accept0(Block.java:135)
	at org.eclipse.jdt.core.dom.ASTNode.accept(ASTNode.java:2476)
	at org.eclipse.jdt.core.dom.ASTNode.acceptChild(ASTNode.java:2523)
	at
org.eclipse.jdt.core.dom.MethodDeclaration.accept0(MethodDeclaration.java:501)
	at org.eclipse.jdt.core.dom.ASTNode.accept(ASTNode.java:2476)
	at
edu.cmu.cs.plural.track.SingleTruthFractionalAnalysis.analyzeMethod(SingleTruthFractionalAnalysis.java:137)
	at
edu.cmu.cs.crystal.AbstractCrystalMethodAnalysis.runAnalysis(AbstractCrystalMethodAnalysis.java:69)
	at edu.cmu.cs.crystal.Crystal.runAnalysesOnSingleUnit(Crystal.java:490)
	at edu.cmu.cs.crystal.Crystal.runAnalysesOnMultiUnit(Crystal.java:450)
	at edu.cmu.cs.crystal.Crystal.runAnalyses(Crystal.java:316)
	at
edu.cmu.cs.crystal.internal.CrystalFileAction$1.run(CrystalFileAction.java:85)
	at org.eclipse.core.internal.jobs.Worker.run(Worker.java:55)

 
Aug 28, 2008
Project Member #1 nels.bec...@gmail.com
(No comment was entered for this change.)
AtomicShare.java
550 bytes   View   Download
Sep 11, 2008
Project Member #2 nels.bec...@gmail.com
This error is only thrown on the given example when we omit, "fieldAccess = true," 
which is necessary anyway. I am down-grading this defect. Then, I need to actually 
try it to make sure it still exists.
Labels: -Priority-Critical Priority-Medium
Sep 12, 2008
Project Member #3 nels.bec...@gmail.com
This test program no longer throws any exception.
Status: Invalid

Powered by Google Project Hosting