Re: [Javapathfinder-devel] How can I model a blocked method?

[Peter C. M. <Pet...@na...>]

just look at Object.wait(). Blocking MJI methods have an upper and  
lower half - the upper one being responsible for registering the CG  
and rescheduling the insn/call, the lower one for doing whatever is  
required to complete the insn/call when it gets re-executed. The  
return value in the upper half doesn't matter, since it gets re- 
executed anyways

-- Peter


On Sep 9, 2008, at 4:08 AM, Taehoon Lee wrote:

> Hi,
>
> When I implement MJI of java.net, it is hard that implementing a MJI  
> of method which can be blocked.
> Such as ServerSocket.accept(),
>
> "The method blocks until a connection is made."
>
> Because MJI should return some object , I don't have any idea that  
> implement such status.
> I've tryed "env.repeatInvocation();". However, infinite loop is  
> occured by it.
> If you have any idea, Please let me know.
>
> -- 
> -- 
> Taehoon Lee(이태훈)
> Ph.D candidate
> Kyonggi University , Korea