*To*: Richard Waldinger <waldinger at AI.SRI.COM>*Subject*: Re: [isabelle] 64-bit Java is 6x faster than 32-bit for a recursive fibonacci*From*: Gottfried Barrow <igbi at gmx.com>*Date*: Fri, 16 May 2014 18:48:10 -0500*Cc*: Makarius <makarius at sketis.net>, Jim McDonald <mcdonald at kestrel.edu>, cl-isabelle-users at lists.cam.ac.uk*In-reply-to*: <8B7099FA-D82C-4E2A-B510-4F006D368326@ai.sri.com>*References*: <5374E9FA.1010201@gmx.com> <5374F12E.2030901@gmx.com> <alpine.LNX.2.00.1405161628320.3424@lxbroy10.informatik.tu-muenchen.de> <5376399E.5060306@gmx.com> <8B7099FA-D82C-4E2A-B510-4F006D368326@ai.sri.com>*User-agent*: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:11.0) Gecko/20120312 Thunderbird/11.0

On 14-05-16 11:26, Richard Waldinger wrote:

*From: *James McDonald <mcdonald at kestrel.edu<mailto:mcdonald at kestrel.edu>>*Subject: **Re: speed of functional language implementations* *Date: *May 15, 2014 at 1:11:05 PM PDT*To: *Richard Waldinger <waldinger at AI.SRI.COM<mailto:waldinger at AI.SRI.COM>>On a Macbook Pro (2.3 GHz) I get 2.4 seconds for fully optimizedSBCL, using fixnums.If I use integers instead, it is 7.8 seconds.

Richard,

Regards, GB

**References**:**[isabelle] 64-bit Java is 6x faster than 32-bit for a recursive fibonacci***From:*Gottfried Barrow

**Re: [isabelle] 64-bit Java is 6x faster than 32-bit for a recursive fibonacci***From:*Gottfried Barrow

**Re: [isabelle] 64-bit Java is 6x faster than 32-bit for a recursive fibonacci***From:*Makarius

**Re: [isabelle] 64-bit Java is 6x faster than 32-bit for a recursive fibonacci***From:*Gottfried Barrow

- Previous by Date: Re: [isabelle] 64-bit Java is 6x faster than 32-bit for a recursive fibonacci
- Next by Date: Re: [isabelle] 64-bit Java is 6x faster than 32-bit for a recursive fibonacci
- Previous by Thread: Re: [isabelle] 64-bit Java is 6x faster than 32-bit for a recursive fibonacci
- Next by Thread: Re: [isabelle] 64-bit Java is 6x faster than 32-bit for a recursive fibonacci
- Cl-isabelle-users May 2014 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list