[mercury-users] Possum

[Fergus Henderson]

On 20-Sep-1999, Dan Hazel <d.hazel at mailbox.uq.edu.au> wrote:
> I guess I'd hoped there was some known problem with Mercury on Solaris.
> For example the Linux/Solaris speed ratio seems to be about the same
> for compiling Possum as it is for answering a runtime Possum query.
> You'd think the Linux machine was about 4 times faster.  It's not
> by the way.

Well, I downloaded Possum 1.0 for Linux and Solaris, and ran a simple
timing test for a runtime Possum query on a couple of Linux boxes and 
a couple of Solaris boxes.  But the times were just what I would have
expected from the relative speeds of the machine.

----------

Here's the query I ran:

	$ cat query
	schema Fermat is
	dec
		x,y,z,n:2..10000
	pred
		x^n + y^n = z^n   
	end Fermat;
	Fermat

	$ ./Posh < query

Here's the performance results:

kryten: 60MHz, Solaris, sparc architecture
quicksilver: 166MHz, Linux, x86 architecture
hydra: 200MHz, Linux, x86 architecture
taifun: 240MHz, Solaris, sparc architecture

kryten:		4.80u 1.31s 0:06.36 96.0%
kryten:		4.45u 1.34s 0:06.03 96.0%
kryten:		4.64u 1.15s 0:06.02 96.1%

quicksilver:	user 2.480, system 0.590, real 4.726, cpu usage 64.96%
quicksilver:	user 2.430, system 0.460, real 3.059, cpu usage 94.46%
quicksilver:	user 2.520, system 0.450, real 3.113, cpu usage 95.40%

hydra:		user 1.760, system 1.620, real 3.410, cpu usage 99.13%
hydra:		user 2.030, system 1.330, real 3.547, cpu usage 94.73%
hydra:		user 1.910, system 1.270, real 3.339, cpu usage 95.24%

taifun:		user 1.220, system 0.310, real 2.323, cpu usage 65.86%
taifun:		user 1.300, system 0.230, real 2.224, cpu usage 68.81%
taifun:		user 1.220, system 0.300, real 1.952, cpu usage 77.87%

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------