Home > Archive > Prolog > November 2005 > Synchronized Predicate Call
You are viewing an archived Text-only version of the thread.
To view this thread in it's original format and/or if you want to reply to
this thread please [click here]
| Author |
Synchronized Predicate Call
|
|
| shwdai 2005-10-31, 3:56 am |
| In my work, i need to implement a mechanism of Synchronized Predicate
Call, anyone will give me a suggestion?
I use swi-prolog.
| |
| Jan Wielemaker 2005-10-31, 3:56 am |
| On 2005-10-31, shwdai <shwdai@gmail.com> wrote:
> In my work, i need to implement a mechanism of Synchronized Predicate
> Call, anyone will give me a suggestion?
Google has 0 hits on "Synchronized Predicate Call" ... I bet none or
very few (your teacher?) in this group has a clue what it means.
--- Jan
| |
| Benjamin Johnston 2005-11-01, 3:57 am |
|
The poster is possibly after a predicate that executes as a critical section
in a multithreaded application (i.e., like Java's "synchronized" keyword).
In which case s/he should possibly look at using with_mutex/2 and
mutex_create/1.
-Benjamin Johnston
"Jan Wielemaker" <jan@nospam.ct.xs4all.nl> wrote in message
news:slrndmblqj.l82.jan@ct.xs4all.nl...
> On 2005-10-31, shwdai <shwdai@gmail.com> wrote:
>
> Google has 0 hits on "Synchronized Predicate Call" ... I bet none or
> very few (your teacher?) in this group has a clue what it means.
>
> --- Jan
| |
| Nameless 2005-11-01, 6:59 pm |
| "Benjamin Johnston" wrote in message
news:4366f929@news.comindico.com.au...
>
> The poster is possibly after a predicate that executes as a critical
> section in a multithreaded application (i.e., like Java's "synchronized"
> keyword).
Maybe.
> In which case s/he should possibly look at using with_mutex/2 and
> mutex_create/1.
Section 15, Maintenance Models, in Bowen/Breuer/Lano's
paper "A Compendium of Formal Techniques for Software
Maintenance" http://www.jpbowen.com/pub/sum-sej.pdf (223k)
may also be relevant. In particular, the partial sentence
"... in terms of synchronized Predicate Nets, and was
easily implemented in Prolog." would seem to indicate a
minimum level of applicability to Prolog.
--
Mail sent to this email address is deleted unread
on the server. Please send replies to the newsgroup.
| |
|
|
"Jan Wielemaker" <jan@nospam.ct.xs4all.nl> wrote in message
news:slrndmblqj.l82.jan@ct.xs4all.nl...
> On 2005-10-31, shwdai <shwdai@gmail.com> wrote:
>
> Google has 0 hits on "Synchronized Predicate Call" ... I bet none or
> very few (your teacher?) in this group has a clue what it means.
The OP or anyone else may or may not know the meaning of this particular
colocation in their particular (albeit implied and missing) context, but
it's pretty scary to base your assessment of these people on Google's lack
of results.
>
> --- Jan
| |
| Jan Wielemaker 2005-11-22, 4:00 am |
| On 2005-11-21, Mike <vimakefile@yahoo.com> wrote:
>
> "Jan Wielemaker" <jan@nospam.ct.xs4all.nl> wrote in message
> news:slrndmblqj.l82.jan@ct.xs4all.nl...
>
> The OP or anyone else may or may not know the meaning of this particular
> colocation in their particular (albeit implied and missing) context, but
> it's pretty scary to base your assessment of these people on Google's lack
> of results.
Well, the web has a very good coverage of the computer science field. If
Google can't find a term like this, it isn't very likely to be known
widely enough to be used in this list without providing context and a
description of what it means.
Someone suggested it may relate to "Synchronized Methods" in Java, which
is probably a reasonable assumption. Then the problem arrises that
multi-threading is not widespread in Prolog implementations and they
differ at various points in how they handle synchronization. In other
words, even with this insight it is very much an underspecified question.
--- Jan
| |
|
|
"Jan Wielemaker" <jan@nospam.ct.xs4all.nl> wrote in message
news:slrndo5mhv.eii.jan@ct.localnet...
> On 2005-11-21, Mike <vimakefile@yahoo.com> wrote:
> Well, the web has a very good coverage of the computer science field. If
> Google can't find a term like this, it isn't very likely to be known
> widely enough to be used in this list without providing context and a
> description of what it means.
I didn't say you were necessarily wrong, just that it was scary... ;)
> Someone suggested it may relate to "Synchronized Methods" in Java, which
> is probably a reasonable assumption. Then the problem arrises that
> multi-threading is not widespread in Prolog implementations and they
> differ at various points in how they handle synchronization. In other
> words, even with this insight it is very much an underspecified question.
Agreed.
|
|
|
|
|