Re: [Xsb-development] Wildmatch in multi-threaded XSB

[Michael K. <ki...@cs...>]

On Fri, 10 Aug 2012 19:16:12 -0700
"K. A." <k_a...@ya...> wrote:

> Ah, I just noticed the footnote on page 112. :(
> Thanks anyway. 
> 
> Does anyone know if pcre works ok with threads?

Hasn't been tested. Probably not.

> Are there any other ways of doing regex matching
> in XSB (other than wildmatch and pcre)? 

There is also an older regmatch package, but this has even less chances to work
with threads.

> 
> Thanks,
> 
> K.
> 
> --- On Fri, 8/10/12, Michael Kifer <ki...@cs...> wrote:
> 
> > From: Michael Kifer <ki...@cs...>
> > Subject: Re: [Xsb-development] Wildmatch in multi-threaded XSB
> > To: "K. A." <k_a...@ya...>
> > Cc: Xsb...@li...
> > Date: Friday, August 10, 2012, 9:56 PM
> > I am pretty sure it has not been
> > ported to multithreaded XSB.
> > 
> > 
> > On Fri, 10 Aug 2012 17:41:11 -0700
> > "K. A." <k_a...@ya...>
> > wrote:
> > 
> > > Hi all,
> > > 
> > > Does anyone have any experience using wildmatch (as
> > described 
> > > in chapter 7 of the second volume of the manual) on XSB
> > threads
> > > other than the main thread? Suppose I have (dynamic)
> > facts like
> > > parent(a,b), and hasName(a,'Adam') in the database.
> > When I try 
> > > to evaluate a goal like:
> > > 
> > > parentOf(X,Y), hasName(X,N),
> > wildmatch('Adam*',N,_).  
> > > 
> > > on the main thread, I get the expected results (X ->
> > a, Y -> b,
> > > N -> 'Adam'). But if I try to do it on any other
> > thread, I get
> > > the baffling error message:
> > > 
> > > ++Query Error: misc_error/++Error[XSB/Runtime/P]:
> > [Miscellaneous] 
> > > [th 1]  [WILDMATCH] Wildcard (Arg 1) must be an
> > atom or a character list
> > > 
> > > But of course the first argument of wildmatch IS an
> > atom!! 
> > > In fact the exact same wildmatch subgoal works fine on
> > the
> > > main thread. 
> > > 
> > > Any ideas on what's causing this will be very
> > appreciated.
> > > Thanks,
> > > 
> > > Konstantine
> > > 
> > > 
> > > 
> > > 
> > >
> > ------------------------------------------------------------------------------
> > > Live Security Virtual Conference
> > > Exclusive live event will cover all the ways today's
> > security and 
> > > threat landscape has changed and how IT managers can
> > respond. Discussions 
> > > will include endpoint security, mobile security and the
> > latest in malware 
> > > threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
> > > _______________________________________________
> > > Xsb-development mailing list
> > > Xsb...@li...
> > > https://lists.sourceforge.net/lists/listinfo/xsb-development
> >