[abc] PQL and LOR

Hello.

I had some email conversation with Michael Marton today about expressing
the LOR pattern in PQL and it seems like it is not possible to express
it at the current time (although they had thought of an extension for
binding threads and matching on them).

Eric

> -----Original Message-----
> From: Michael Martin [mailto:mcmartin@gmail.com]
> Sent: Monday, March 06, 2006 5:32 PM
> To: Eric Bodden
> Subject: Re: Question about a PQL query
>
> On 3/6/06, Eric Bodden <eric.bodden@mail.mcgill.ca> wrote:
> > This of course requires me to bind the current Thread to a
> variable in
> > the PQL query, whenever a lock is tried to be acquired. Can that be
> > done with the current PQL version? If so how? I am sorry,
> but I could
> > not find an example for this in your paper.
>
> That wasn't actually in the paper or the implementation, but
> plans for it existed at the time. (My research focus shifted
> rather dramatically away from extending PQL, so it hasn't
> seen a lot of work lately).
>
> The plans involved prepending statements with variables of
> type Thread, e.g.:
>
> t1: x.lock();
>
> The implementation had a few pieces of the frontend done, but
> it looks like only the Lexer would handle it in the CVS
> version. I'll look at my local copies and see if there's
> more to commit, but I don't think it ever got to full usability.
>
> --Michael
>
Received on Tue Mar 07 00:48:53 2006