.net - Difference between Array.zeroCreate and Array.init -


i wanted show colleague can allocate more 2gb of ram, made little test application.

let mega = 1 <<< 20 let konst x y = x let allocate1mb _ = array.init mega (konst 0uy) let memoryhog = array.parallel.init 8192 allocate1mb  printfn "i'm done..." system.console.readkey() |> ignore

this works , see process happily hogging away @ system's memory. however, takes long - hence array.parallel.init.

i noticed, same code not work, if write with

let allocate1mb _ = array.zerocreate mega

more precisely, no data allocated , takes no time.

so question; what difference in semantics between array.zerocreate , array.init?

i understand array.init run konst 0uy function each time, explain time difference. why array.zerocreate not allocate memory?

from fsharp.core sources:

let inline init (count:int) (f: int -> 't) =      if count < 0 invalidarg "count" inputmustbenonnegativestring     let arr = (zerocreateunchecked count : 't array)       = 0 count - 1          arr.[i] <- f     arr  let zerocreate count =      if count < 0 invalidarg "count" (sr.getstring(sr.inputmustbenonnegative))     microsoft.fsharp.primitives.basics.array.zerocreateunchecked count  let inline zerocreateunchecked (count:int) =      (# "newarr !0" type ('t) count : 't array #)

as can see, both functions use zerocreateunchecked under hood, compiled newarr il supposed push new array onto stack.

the fact not consume memory in case might indicate kind of optimization responsible. think either jit or compiler removing operation since created array never used, , not happen in case of array.init.


Comments

Post a Comment

Popular posts from this blog

php - Add the correct number of days for each month -

using following function can display years , months between 2 dates, how can add correct days each month array within each month? can't add days manually need account leap years etc. function yearmonth($start_date, $end_date) { $begin = new datetime( $start_date ); $end = new datetime( $end_date); $interval = new dateinterval('p1m'); // 1 month interval $period = new dateperiod($begin, $interval, $end); foreach ( $period $dt ) $years[$dt->format( "y" )][] = $dt->format( "f" ); return $years; } $list = yearmonth("2007-03-24", "2009-06-26"); var_dump($list); since nobody else answered: function yearmonth($start_date, $end_date) { $begin = new datetime( $start_date ); $end = new datetime( $end_date); $interval = new dateinterval('p1d'); // 1 month interval $period = new dateperiod($begin, $interval, $end); $lastmonth = null; $lastyear = null; $aresult = array(); forea...
Read more

java.util.scanner - How to read and add only numbers to array from a text file -

i'm learning java , have question regarding reading file want read numbers file contains strings well. here example of file: 66.56 "3 java 3-43 5-42 2.1 1 and here coding: public class test { public static void main (string [] args){ if (0 < args.length) { file x = new file(args[0]); try{ scanner in = new scanner( new fileinputstream(x)); arraylist<double> test = new arraylist<>(); while(in.hasnext()){ if(in.hasnextdouble()){ double f=in.nextdouble(); test.add(f);} else {in.next();} } catch(ioexception e) { system.err.println("exception during reading: " + e); } } my problem add 66.56,2.1 , 1 doesn't add 3 after "3 or ignores 3-43 , 5-42 can tell me how skip strings , add doubles here? thanks all said 3 ie; "3, 3-43 , 4-42 strings either u read string , split , check number @ " , - or put in space between characters , integers. jvm after compilation tre...
Read more