Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.prolog > #14602

Jeff Barnett might have a point, although he sounds boring (Re: Jazelle DBX and ARM926EJ-S ~~> Pantilope)

Show all headers | View raw

Hi,

Jeff Barnet might have a point:

 > Fran's specialty was bring graph theory into computer development

although he sounds boring. Prolog is very
weak when using graph theory to code generation.
Even Prolog Cafe is based on WAM, and not LLVM.

WAM is linear code, LLVM sees code as graph
of blocks. Here is an example:

entry:
   %cond = icmp eq i32 %x, 0
   br i1 %cond, label %if_zero, label %if_nonzero

if_zero:
   ; do something
   br label %merge

if_nonzero:
   ; do something else
   br label %merge

merge:
   %val = phi i32 [0, %if_zero], [1, %if_nonzero]
   ret i32 %val

Its not the AST of the source code, but the IR,
i.e. internal representation after some AST
processing.

Today I was wrestling quite a number of hours,
to figure out whether liveness analysis can
be done in one pass. My Prolog system Dogelog

Player uses two passes, so that assertz/1 is
a little slow. Maybe I implement a fast path
without the liveness analysis for the

dynamic database, to speed it up.

Bye

Mild Shock schrieb:
> Hi,
> 
> Back in the early days SUN was already talking
> about Java on in CPU. Interestingly this happened:
> 
> The most prominent use of Jazelle DBX is by
> manufacturers of mobile phones to increase the
> execution speed of Java ME games and applications.
> A Jazelle-aware Java virtual machine (JVM) will
> attempt to run Java bytecode in hardware, while
> returning to the software for more complicated,
> or lesser-used bytecode operations. ARM claims that
> approximately 95% of bytecode in typical program
> usage ends up being directly processed in the hardware.
> https://en.wikipedia.org/wiki/Jazelle
> 
> So in the 90's we had first internet, and then
> in the 00's we had mobile phones. The 10's had
> big data and early deep leearning.
> 
> But Python is still slow as fuck in the 20's.
> They should invent a CPU that can do Pantilope,
> i.e. direct executon of Python.
> 
> Bye

Back to comp.lang.prolog | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Jazelle DBX and ARM926EJ-S ~~> Pantilope Mild Shock <janburse@fastmail.fm> - 2025-06-28 01:26 +0200
  Jeff Barnett might have a point, although he sounds boring (Re: Jazelle DBX and ARM926EJ-S ~~> Pantilope) Mild Shock <janburse@fastmail.fm> - 2025-06-28 01:27 +0200
    www.softwarepreservation.org is less boring than Jeff Barnett (Re: Jeff Barnett might have a point, although he sounds boring) Mild Shock <janburse@fastmail.fm> - 2025-06-28 01:27 +0200
      Is SWI-Prolog backward oriented or forward oriented? (Was: www.softwarepreservation.org is less boring than Jeff Barnett) Mild Shock <janburse@fastmail.fm> - 2025-06-29 13:05 +0200
        Corr. Typo (Was: Is SWI-Prolog backward oriented or forward oriented?) Mild Shock <janburse@fastmail.fm> - 2025-06-29 13:13 +0200

csiph-web