arrays - 如何分配 RAM 容纳不下的单个数组

Question

我以为我永远不会说这句话。我想让我的机器运行得超慢。

这是我想要执行此操作的方式:我想在 F# (Array.init) 中分配一个大数组。它应该太大，以至于对数组的随机访问会产生页面错误。我有 4GB RAM，并以 64 位模式运行。当我分配 2^29 4 字节整数时，运行时抛出内存不足异常。

> Array.init (1 <<< 28) (fun i->i);;
val it : int [] =
  [|0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; 19; 20;
    21; 22; 23; 24; 25; 26; 27; 28; 29; 30; 31; 32; 33; 34; 35; 36; 37; 38; 39;
    40; 41; 42; 43; 44; 45; 46; 47; 48; 49; 50; 51; 52; 53; 54; 55; 56; 57; 58;
    59; 60; 61; 62; 63; 64; 65; 66; 67; 68; 69; 70; 71; 72; 73; 74; 75; 76; 77;
    78; 79; 80; 81; 82; 83; 84; 85; 86; 87; 88; 89; 90; 91; 92; 93; 94; 95; 96;
    97; 98; 99; ...|]
> Array.init (1 <<< 29) (fun i->i);;
System.OutOfMemoryException: Exception of type 'System.OutOfMemoryException' was thrown.
   at <StartupCode$FSI_0003>.$FSI_0003.main@()
Stopped due to error
> 

Answer 1

无论您是在 32 位还是 64 位平台上运行，Microsoft CLR 允许的单个对象的最大大小为 2GB。

当您尝试分配 2**29 整数数组时，您就会遇到此硬限制。 (数组的数据正好是 2GB，但对象还需要一些额外的字节来进行内务处理等，从而使您超过 2GB。)

尝试分配一个稍微较小的数组，以允许额外的几个字节的开销。我不记得它需要小多少——用 (2**29)-3 整数、(2**29)-4< 进行一些实验 整数、(2**29)-5 整数等应该很快就会告诉你。