Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

The documentation is in Japanese. Good luck. -- Rich $alz


devel / comp.lang.prolog / Re: Request for comments, coroutines and workers ISO core standard

SubjectAuthor
* Request for comments, coroutines and workers ISO core standardMild Shock
`* Re: Request for comments, coroutines and workers ISO core standardMild Shock
 `- Re: Request for comments, coroutines and workers ISO core standardMild Shock

1
Request for comments, coroutines and workers ISO core standard

<ura4qj$gfpf$1@solani.org>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10291&group=comp.lang.prolog#10291

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janbu...@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.prolog
Subject: Request for comments, coroutines and workers ISO core standard
Date: Fri, 23 Feb 2024 13:58:59 +0100
Message-ID: <ura4qj$gfpf$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 23 Feb 2024 12:58:59 -0000 (UTC)
Injection-Info: solani.org;
logging-data="540463"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.1
Cancel-Lock: sha1:6LtyDWKLeaudY9NVlTEOu37+Jyw=
X-User-ID: eJwFwQkBwDAIA0BL0JJA5YzPv4Td4VJZbgQNi83MidXhis6d/AJ0Sm2bm4eYZkPxvELUqxkPd4+XnkSf/QFkfBVt
X-Mozilla-News-Host: news://news.solani.org:119
 by: Mild Shock - Fri, 23 Feb 2024 12:58 UTC

Now launching a new campaign. Might take again
one year or so to complete. Whats the basic idea
here? Vey easy, perform a bifurcation on this here:

ISO/IEC DTR 13211–5:2007
Prolog multi-threading support
https://logtalk.org/plstd/threads.pdf

The main new objects and built-in predicates that
make then underlying concepts of coroutines and
workers visible are suggested as:

- call_later(Goal, Delay):
Borrowed from Python asyncio. Will create a stackless
coroutine. That will at least run after Delay
millisecond on top of the current task.

- create_task(Goal):
Borrowed from Python asyncio. Will create a stackfull
coroutine. That will run as soon as possible, in
a new task.

- create_worker(Path):
Borrowed from JavaScript. Will run the given Prolog
text in an a new Prolog processor. Communication with
the Prolog processor via asynchorous channels.

Why do this? Well to have the cake and eat it two.
Whats the cake here: A totally lockless and global variable
using Prolog system such as Dogelog Player.

And whats the additional benefit: Compensate that
the Prolog system is not freely threading. Allow
embarrassingly parallel via workers.

Re: Request for comments, coroutines and workers ISO core standard

<ura5tu$gga5$1@solani.org>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10292&group=comp.lang.prolog#10292

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janbu...@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.prolog
Subject: Re: Request for comments, coroutines and workers ISO core standard
Date: Fri, 23 Feb 2024 14:17:50 +0100
Message-ID: <ura5tu$gga5$1@solani.org>
References: <ura4qj$gfpf$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 23 Feb 2024 13:17:50 -0000 (UTC)
Injection-Info: solani.org;
logging-data="540997"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.1
Cancel-Lock: sha1:IFZizSc6SBnHVT8sp0JsDaEobeI=
In-Reply-To: <ura4qj$gfpf$1@solani.org>
X-User-ID: eJwVyMERACEIBLCWUJYFyhHE/ku4uTxjysV20Ah79iqlXK3kEHGTjIURo7IRvitk5+kthA56rv+X4HiWrbEPKFwUWA==
 by: Mild Shock - Fri, 23 Feb 2024 13:17 UTC

What are the chances and risks?

- Chances: Well lookless and global variable Prolog
system shows much higher performance. When we
compare Dogelog Player and formerly Jekejeke Prolog,
we see something like 3691 ms against 6339 ms.

Also coroutines offer the same comfort for
internet programming like threads. For example
using call_later/1 amazingly this here works:

Threads: SWI-Prolog

?- time(call_with_time_limit(0.5, sleep(1))).
% 20 inferences, 0.000 CPU in 0.507 seconds (0% CPU, Infinite Lips)
ERROR: Unhandled exception: Time limit exceeded

Coroutines: Dogelog Player for Java (works since today)

?- time(time_out(sleep(1000), 500)).
% Zeit 516 ms, GC 0 ms, Lips 308, Uhr 23.02.2024 14:05
Fehler: Ausführung abgebrochen da Zeitfrist abgelaufen.
user auf 2

- Risks: How bring this to all targets JavaScript, Python
and Java. JavaScript is obviously the simplest, since
it offers already Workers. But how about Python and
Java. Here some ideas:

Python: asyncio
We could view workers as process, and then use
the to_process() primitive call that already exists
in Python. Thus adding to workers to the existing
coroutines in Python.

Java: GraalVM
Java had already in the past so called isolates
http://apt.cs.manchester.ac.uk/intranet/csonly/jamaica/j2se_isolate-1_0-prd-spec/docs/java/lang/isolate/package-summary.html
Now they come up again:
https://medium.com/graalvm/isolates-and-compressed-references-more-flexible-and-efficient-memory-management-for-graalvm-a044cc50b67e

The article suggest also one might want to keep
a 32-bit implementation of a Prolog system,
64-bit are the bane of garbage collection.

Mild Shock schrieb:
> Now launching a new campaign. Might take again
> one year or so to complete. Whats the basic idea
> here? Vey easy, perform a bifurcation on this here:
>
> ISO/IEC DTR 13211–5:2007
> Prolog multi-threading support
> https://logtalk.org/plstd/threads.pdf
>
> The main new objects and built-in predicates that
> make then underlying concepts of coroutines and
> workers visible are suggested as:
>
> - call_later(Goal, Delay):
>   Borrowed from Python asyncio. Will create a stackless
>   coroutine. That will at least run after Delay
>   millisecond on top of the current task.
>
> - create_task(Goal):
>   Borrowed from Python asyncio. Will create a stackfull
>   coroutine. That will run as soon as possible, in
>   a new task.
>
> - create_worker(Path):
>   Borrowed from JavaScript. Will run the given Prolog
>   text in an a new Prolog processor. Communication with
>   the Prolog processor via asynchorous channels.
>
> Why do this? Well to have the cake and eat it two.
> Whats the cake here: A totally lockless and global variable
> using Prolog system such as Dogelog Player.
>
> And whats the additional benefit: Compensate that
> the Prolog system is not freely threading. Allow
> embarrassingly parallel via workers.
>

Re: Request for comments, coroutines and workers ISO core standard

<urand1$gr4f$1@solani.org>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=10293&group=comp.lang.prolog#10293

  copy link   Newsgroups: comp.lang.prolog
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janbu...@fastmail.fm (Mild Shock)
Newsgroups: comp.lang.prolog
Subject: Re: Request for comments, coroutines and workers ISO core standard
Date: Fri, 23 Feb 2024 19:16:01 +0100
Message-ID: <urand1$gr4f$1@solani.org>
References: <ura4qj$gfpf$1@solani.org> <ura5tu$gga5$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 23 Feb 2024 18:16:01 -0000 (UTC)
Injection-Info: solani.org;
logging-data="552079"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.18.1
Cancel-Lock: sha1:vVO8pDSz+e++7Zpxw9Okssn1+QE=
In-Reply-To: <ura5tu$gga5$1@solani.org>
X-User-ID: eJwNy8kNwEAIA8CWwmEI5axZ6L+E5DvSwEKi0wPhWKxfTkz0SQVZFZUunmi4rE5ckmlDnBKDzo/m99E9zf+/H1z0FcY=
 by: Mild Shock - Fri, 23 Feb 2024 18:16 UTC

We still keep formerly Jekejeke Prolog on current
so that it has functionality to emulate Dogelog Player.
Now we have hit a spot, where we must rework it,

so that it also features task contexts. Interestingly
as a result this will also go down the drain.

Logic Engines as Interactors
Paul Tarau - 5 Aug 2008
https://arxiv.org/abs/0808.0556

The paper had lasting impact on SWI-Prolog, in that
they have an engines library. The impact on Jekejeke Prolog
was not that big. We demonstrated how to make an

interleaved call of an interpreters spun from an
interpreter. This was done by handcoding Java.
No engines library made it into our runtime library.

So in favor of coroutines we will discontinue
some designs that allowed piggy packed interpreters.
Besides that we expect that through channels,

- create_channel:
Will create an async channel for coroutine
communication. Thats the replacement of messages
queues from the threads world.

we can redo engines in case this would be needed.
We expect an emergent effect of synchronizity
since these channels just like coroutines,

should also work when single threaded.


devel / comp.lang.prolog / Re: Request for comments, coroutines and workers ISO core standard

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor