caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: malc <malc@pulsesoft.com>
To: Richard Nyberg <rnyberg@it.su.se>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Bigarray access speed
Date: Fri, 16 Aug 2002 14:27:26 +0400 (MSD)	[thread overview]
Message-ID: <Pine.LNX.4.44.0208161417580.941-100000@home.oyster.ru> (raw)
In-Reply-To: <20020815225004.GA5959@gromit.it.su.se>

On Fri, 16 Aug 2002, Richard Nyberg wrote:

> In the following small programs 3) is faster than 1) and 2), which run
> equally fast. However, 4 is significantly slower than the rest. If you
> change the line "a.{i} <- a.{i} + i" to "a.{i} <- i" the execution time
> is halfed but it's still much slower.
> 
> Are access to Bigarrays slower when passed to functions? If so, is it
> fixable? or is there some workaround?
> 
> I stumbled upon this while coding on a school assignment ((not too ;) fast
> multiplication of large integers).
> 
> 1)
> let a = Array.make 1000000 0 in
> for i = 0 to 999999 do
>     a.(i) <- a.(i) + i;
> done;;
> 
> 2)
> let a = Array.make 1000000 0 in
> let rec loop a i =
>   if i <= 999999 then begin
>     a.(i) <- a.(i) + i;
>     loop a (i + 1)
>   end in
> loop a 0;;
> 
> 3)
> open Bigarray;;
> let a = Array1.create int c_layout 1000000 in
> Array1.fill a 0;
> for i = 0 to 999999 do
>   a.{i} <- a.{i} + i
> done;;
> 
> 4)
> open Bigarray;;
> let a = Array1.create int c_layout 1000000 in
> Array1.fill a 0;
> let rec loop a i =
>   if i <= 999999 then begin
>     a.{i} <- a.{i} + i;
>     loop a (i + 1)
>   end in
> loop a 0;;

http://caml.inria.fr/archives/200110/msg00148.html

An aside(not all facts are cheked):

Bigarrays(of at least floats) can have a slight edge over normals arrays.
To get maximal speed of the inner loops data needs to be naturally 
aligned. OCaml does nothing to enforce it for non-big arrays. Bigarrays on 
the other hand are mmaped(4k on IA32) and you get perfectly aligned data 
for free. I was thinking that maybe Array can be extended with
make[create]_aligned, for speed/space tradeoff.

-- 
mailto:malc@pulsesoft.com

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


  reply	other threads:[~2002-08-16 10:28 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-08-15 22:50 Richard Nyberg
2002-08-16 10:27 ` malc [this message]
2002-08-16 10:40   ` Markus Mottl
2002-08-16 11:08   ` float array alignment; was " William Chesters
2002-08-19 12:56     ` Xavier Leroy
2002-08-19 13:07       ` malc
2002-08-16 18:46   ` Richard Nyberg
2002-08-16  6:19 Joe HELL

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=Pine.LNX.4.44.0208161417580.941-100000@home.oyster.ru \
    --to=malc@pulsesoft.com \
    --cc=caml-list@inria.fr \
    --cc=rnyberg@it.su.se \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).