K-user mailing list

[Omar Duhaiby <3omarz AT gmail.com>]

Could you please elaborate on that? I couldn't understand what you mean by low ids and high ids, and what is up and down? Do you mean a tree of threads?

On Mon, May 12, 2014 at 11:55 PM, Chris Hathhorn <chathhorn AT gmail.com> wrote:

FWIW, I've done this before by passing a "token" up and down the
threads I wanted to synchronize (from low ids to high ids and back
again). You match the threads two at a time to pass the token, and
when the token comes back down, every thread knows the other threads
have reached the synchronization point.

Chris

On Mon, May 12, 2014 at 3:47 PM, Omar Duhaiby <3omarz AT gmail.com> wrote:
> That is a good idea but I need to delete only the threads which have
> <parentId> ManagerId </parentId>
>
>
> On Mon, May 12, 2014 at 10:31 PM, Traian Florin Şerbănuţă
> <traian.serbanuta AT fmi.unibuc.ro> wrote:
>>
>> The simplest way to achieve this would be to have a special cell wrapping
>> all threads in question.
>>
>> Then, you can write a rule like:
>>
>>   rule <threads>
>>            <thread>...
>>             <k> parallelThreadManager(0) => V ...</k>
>>             <tid> ManagerId </tid>
>>         ...</thread>
>>           (_ => .)
>>         </threads>
>>
>> not sure whether you can rethink your configuration this way, whough.
>>
>> 2014-05-12 16:26 GMT+03:00 Omar Duhaiby <3omarz AT gmail.com>:
>>>
>>> I have parallel sibling threads assigned to a parent thread by a cell
>>> called "parentId". I want anyone of them to match and the rest to be
>>> deleted. I did this:
>>>
>>>     rule <thread>...
>>>             <k> parallelThreadManager(0) => V ...</k>
>>>             <tid> ManagerId </tid>
>>>         ...</thread>
>>>         (<thread>...
>>>             <k> V:Val </k>
>>>             <parentId> ManagerId </parentId>
>>>         ...</thread> => .)
>>>         (<thread>...
>>>             <parentId> ManagerId </parentId>
>>>         ...</thread> => . )
>>>
>>>
>>> The last bit of the rule should delete other threads, but it only deletes
>>> one such thread. I need it to delete ALL such threads. How can I do that?
>>>
>>> _______________________________________________
>>> k-user mailing list
>>> k-user AT cs.uiuc.edu
>>> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>>>
>>
>
>
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>