File: primes.pl

package info (click to toggle)
swi-prolog 9.0.4%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 82,408 kB
  • sloc: ansic: 387,503; perl: 359,326; cpp: 6,613; lisp: 6,247; java: 5,540; sh: 3,147; javascript: 2,668; python: 1,900; ruby: 1,594; yacc: 845; makefile: 428; xml: 317; sed: 12; sql: 6
file content (35 lines) | stat: -rw-r--r-- 877 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
:- module(primes,
          [ r_primes/1
          ]).
:- use_module(library(debug)).
:- use_module(library(redis)).
:- use_module(library(redis_streams)).
:- use_module(library(statistics)).

:- use_module(common).

r_primes(PerSecond) :-
    Sleep is 1/PerSecond,
    repeat,
    A is random(1 000 000 000),
    call_time(r_prime(A, p(_,_,Consumer,_CPU,_)), Time),
    format('~w answered ~D in ~6f sec~n', [Consumer, A, Time.wall]),
    sleep(Sleep),
    fail.

r_prime(Num, Reply) :-
    rlist_id(Id),
    add_candidate(Num, Id),
    redis(test, blpop(Id, 10), [_,Reply]),
    redis(test, del(Id), _).

rlist_id(Id) :-
    current_prolog_flag(pid, Pid),
    thread_self(Me),
    thread_property(Me, id(Tid)),
    format(atom(Id), 'list:~w:~w', [Pid, Tid]).

add_candidate(I, Into) :-
    get_time(Now),
    xadd(test, candidates, _, _{candidate:I, time:Now, drain:Into}).