2011-03-24 20:20:49 -05:00
|
|
|
// based on:
|
|
|
|
// http://shootout.alioth.debian.org/u32/benchmark.php?test=nbody&lang=java
|
|
|
|
|
2012-01-14 22:26:44 -06:00
|
|
|
use std;
|
|
|
|
|
|
|
|
// Using sqrt from the standard library is way slower than using libc
|
|
|
|
// directly even though std just calls libc, I guess it must be
|
|
|
|
// because the the indirection through another dynamic linker
|
|
|
|
// stub. Kind of shocking. Might be able to make it faster still with
|
|
|
|
// an llvm intrinsic.
|
2011-12-15 14:25:29 -06:00
|
|
|
#[nolink]
|
2012-01-14 22:26:44 -06:00
|
|
|
native mod libc {
|
2011-10-24 14:33:08 -05:00
|
|
|
fn sqrt(n: float) -> float;
|
2011-03-28 10:23:33 -05:00
|
|
|
}
|
|
|
|
|
2012-01-14 22:26:44 -06:00
|
|
|
fn main(args: [str]) {
|
|
|
|
let n = if vec::len(args) == 2u {
|
2012-02-22 06:18:15 -06:00
|
|
|
option::get(int::from_str(args[1]))
|
2012-01-14 22:26:44 -06:00
|
|
|
} else {
|
2012-01-14 22:34:00 -06:00
|
|
|
100000
|
2012-01-14 22:26:44 -06:00
|
|
|
};
|
2011-08-12 17:42:39 -05:00
|
|
|
let bodies: [Body::props] = NBodySystem::MakeNBodySystem();
|
2012-03-12 22:04:27 -05:00
|
|
|
io::println(#fmt("%f", NBodySystem::energy(bodies)));
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut i: int = 0;
|
2012-01-14 22:26:44 -06:00
|
|
|
while i < n { NBodySystem::advance(bodies, 0.01); i += 1; }
|
2012-03-12 22:04:27 -05:00
|
|
|
io::println(#fmt("%f", NBodySystem::energy(bodies)));
|
2011-03-24 20:20:49 -05:00
|
|
|
}
|
|
|
|
|
2011-05-12 10:24:54 -05:00
|
|
|
// Body::props is a record of floats, so
|
2011-08-10 11:27:22 -05:00
|
|
|
// vec<Body::props> is a vector of records of floats
|
2011-03-24 20:20:49 -05:00
|
|
|
|
|
|
|
mod NBodySystem {
|
|
|
|
|
2011-08-12 17:42:39 -05:00
|
|
|
fn MakeNBodySystem() -> [Body::props] {
|
2011-07-27 07:48:34 -05:00
|
|
|
// these each return a Body::props
|
2011-08-12 17:42:39 -05:00
|
|
|
let bodies: [Body::props] =
|
2011-08-19 17:16:48 -05:00
|
|
|
[Body::sun(), Body::jupiter(), Body::saturn(), Body::uranus(),
|
2011-07-27 07:19:39 -05:00
|
|
|
Body::neptune()];
|
|
|
|
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut px: float = 0.0;
|
|
|
|
let mut py: float = 0.0;
|
|
|
|
let mut pz: float = 0.0;
|
2011-07-27 07:19:39 -05:00
|
|
|
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut i: int = 0;
|
2011-07-27 07:19:39 -05:00
|
|
|
while i < 5 {
|
2011-08-19 17:16:48 -05:00
|
|
|
px += bodies[i].vx * bodies[i].mass;
|
|
|
|
py += bodies[i].vy * bodies[i].mass;
|
|
|
|
pz += bodies[i].vz * bodies[i].mass;
|
2011-03-26 17:14:22 -05:00
|
|
|
|
|
|
|
i += 1;
|
2011-03-24 20:20:49 -05:00
|
|
|
}
|
2011-03-25 15:40:40 -05:00
|
|
|
|
|
|
|
// side-effecting
|
2011-08-19 17:16:48 -05:00
|
|
|
Body::offsetMomentum(bodies[0], px, py, pz);
|
2011-03-24 20:20:49 -05:00
|
|
|
|
|
|
|
ret bodies;
|
|
|
|
}
|
|
|
|
|
2011-09-12 04:27:30 -05:00
|
|
|
fn advance(bodies: [Body::props], dt: float) {
|
2011-03-24 20:20:49 -05:00
|
|
|
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut i: int = 0;
|
2011-07-27 07:19:39 -05:00
|
|
|
while i < 5 {
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut j: int = i + 1;
|
2011-08-19 17:16:48 -05:00
|
|
|
while j < 5 { advance_one(bodies[i], bodies[j], dt); j += 1; }
|
2011-03-24 20:20:49 -05:00
|
|
|
|
2011-03-26 17:14:22 -05:00
|
|
|
i += 1;
|
2011-03-24 20:20:49 -05:00
|
|
|
}
|
|
|
|
|
2011-03-26 17:14:22 -05:00
|
|
|
i = 0;
|
2011-08-19 17:16:48 -05:00
|
|
|
while i < 5 { move(bodies[i], dt); i += 1; }
|
2011-03-24 20:20:49 -05:00
|
|
|
}
|
|
|
|
|
2011-10-10 17:21:50 -05:00
|
|
|
fn advance_one(bi: Body::props, bj: Body::props, dt: float) unsafe {
|
2011-07-27 07:19:39 -05:00
|
|
|
let dx: float = bi.x - bj.x;
|
|
|
|
let dy: float = bi.y - bj.y;
|
|
|
|
let dz: float = bi.z - bj.z;
|
2011-03-27 01:06:06 -05:00
|
|
|
|
2011-07-27 07:19:39 -05:00
|
|
|
let dSquared: float = dx * dx + dy * dy + dz * dz;
|
2011-03-27 01:06:06 -05:00
|
|
|
|
2012-01-14 22:26:44 -06:00
|
|
|
let distance: float = libc::sqrt(dSquared);
|
2011-07-27 07:19:39 -05:00
|
|
|
let mag: float = dt / (dSquared * distance);
|
2011-03-27 01:06:06 -05:00
|
|
|
|
|
|
|
bi.vx -= dx * bj.mass * mag;
|
|
|
|
bi.vy -= dy * bj.mass * mag;
|
|
|
|
bi.vz -= dz * bj.mass * mag;
|
|
|
|
|
|
|
|
bj.vx += dx * bi.mass * mag;
|
|
|
|
bj.vy += dy * bi.mass * mag;
|
|
|
|
bj.vz += dz * bi.mass * mag;
|
|
|
|
}
|
|
|
|
|
2011-09-12 04:27:30 -05:00
|
|
|
fn move(b: Body::props, dt: float) {
|
2011-03-28 10:23:33 -05:00
|
|
|
b.x += dt * b.vx;
|
|
|
|
b.y += dt * b.vy;
|
|
|
|
b.z += dt * b.vz;
|
|
|
|
}
|
|
|
|
|
2011-10-10 17:21:50 -05:00
|
|
|
fn energy(bodies: [Body::props]) -> float unsafe {
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut dx: float;
|
|
|
|
let mut dy: float;
|
|
|
|
let mut dz: float;
|
|
|
|
let mut distance: float;
|
|
|
|
let mut e: float = 0.0;
|
2011-07-27 07:19:39 -05:00
|
|
|
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut i: int = 0;
|
2011-07-27 07:19:39 -05:00
|
|
|
while i < 5 {
|
|
|
|
e +=
|
2011-08-19 17:16:48 -05:00
|
|
|
0.5 * bodies[i].mass *
|
|
|
|
(bodies[i].vx * bodies[i].vx + bodies[i].vy * bodies[i].vy
|
|
|
|
+ bodies[i].vz * bodies[i].vz);
|
2011-07-27 07:19:39 -05:00
|
|
|
|
2012-03-22 10:39:41 -05:00
|
|
|
let mut j: int = i + 1;
|
2011-07-27 07:19:39 -05:00
|
|
|
while j < 5 {
|
2011-08-19 17:16:48 -05:00
|
|
|
dx = bodies[i].x - bodies[j].x;
|
|
|
|
dy = bodies[i].y - bodies[j].y;
|
|
|
|
dz = bodies[i].z - bodies[j].z;
|
2011-03-24 20:20:49 -05:00
|
|
|
|
2012-01-14 22:26:44 -06:00
|
|
|
distance = libc::sqrt(dx * dx + dy * dy + dz * dz);
|
2011-08-19 17:16:48 -05:00
|
|
|
e -= bodies[i].mass * bodies[j].mass / distance;
|
2011-07-13 17:44:09 -05:00
|
|
|
|
2011-03-26 17:14:22 -05:00
|
|
|
j += 1;
|
2011-03-24 20:20:49 -05:00
|
|
|
}
|
2011-03-26 17:14:22 -05:00
|
|
|
|
|
|
|
i += 1;
|
2011-03-24 20:20:49 -05:00
|
|
|
}
|
|
|
|
ret e;
|
|
|
|
|
2011-03-26 17:14:22 -05:00
|
|
|
}
|
2011-03-24 20:20:49 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
mod Body {
|
2011-03-26 17:14:22 -05:00
|
|
|
|
2011-07-27 07:19:39 -05:00
|
|
|
const PI: float = 3.141592653589793;
|
|
|
|
const SOLAR_MASS: float = 39.478417604357432;
|
2011-08-19 17:16:48 -05:00
|
|
|
// was 4 * PI * PI originally
|
2011-07-27 07:19:39 -05:00
|
|
|
const DAYS_PER_YEAR: float = 365.24;
|
2011-03-24 20:20:49 -05:00
|
|
|
|
2011-07-27 07:19:39 -05:00
|
|
|
type props =
|
2012-03-26 20:35:18 -05:00
|
|
|
{mut x: float,
|
|
|
|
mut y: float,
|
|
|
|
mut z: float,
|
|
|
|
mut vx: float,
|
|
|
|
mut vy: float,
|
|
|
|
mut vz: float,
|
2011-07-27 07:19:39 -05:00
|
|
|
mass: float};
|
2011-03-24 20:20:49 -05:00
|
|
|
|
2011-05-12 10:24:54 -05:00
|
|
|
fn jupiter() -> Body::props {
|
2012-03-26 20:35:18 -05:00
|
|
|
ret {mut x: 4.84143144246472090e+00,
|
|
|
|
mut y: -1.16032004402742839e+00,
|
|
|
|
mut z: -1.03622044471123109e-01,
|
|
|
|
mut vx: 1.66007664274403694e-03 * DAYS_PER_YEAR,
|
|
|
|
mut vy: 7.69901118419740425e-03 * DAYS_PER_YEAR,
|
|
|
|
mut vz: -6.90460016972063023e-05 * DAYS_PER_YEAR,
|
2011-07-27 07:19:39 -05:00
|
|
|
mass: 9.54791938424326609e-04 * SOLAR_MASS};
|
2011-03-24 20:20:49 -05:00
|
|
|
}
|
|
|
|
|
2011-05-12 10:24:54 -05:00
|
|
|
fn saturn() -> Body::props {
|
2012-03-26 20:35:18 -05:00
|
|
|
ret {mut x: 8.34336671824457987e+00,
|
|
|
|
mut y: 4.12479856412430479e+00,
|
|
|
|
mut z: -4.03523417114321381e-01,
|
|
|
|
mut vx: -2.76742510726862411e-03 * DAYS_PER_YEAR,
|
|
|
|
mut vy: 4.99852801234917238e-03 * DAYS_PER_YEAR,
|
|
|
|
mut vz: 2.30417297573763929e-05 * DAYS_PER_YEAR,
|
2011-07-27 07:19:39 -05:00
|
|
|
mass: 2.85885980666130812e-04 * SOLAR_MASS};
|
|
|
|
}
|
2011-03-24 20:20:49 -05:00
|
|
|
|
2011-05-12 10:24:54 -05:00
|
|
|
fn uranus() -> Body::props {
|
2012-03-26 20:35:18 -05:00
|
|
|
ret {mut x: 1.28943695621391310e+01,
|
|
|
|
mut y: -1.51111514016986312e+01,
|
|
|
|
mut z: -2.23307578892655734e-01,
|
|
|
|
mut vx: 2.96460137564761618e-03 * DAYS_PER_YEAR,
|
|
|
|
mut vy: 2.37847173959480950e-03 * DAYS_PER_YEAR,
|
|
|
|
mut vz: -2.96589568540237556e-05 * DAYS_PER_YEAR,
|
2011-07-27 07:19:39 -05:00
|
|
|
mass: 4.36624404335156298e-05 * SOLAR_MASS};
|
2011-03-24 20:20:49 -05:00
|
|
|
}
|
|
|
|
|
2011-05-12 10:24:54 -05:00
|
|
|
fn neptune() -> Body::props {
|
2012-03-26 20:35:18 -05:00
|
|
|
ret {mut x: 1.53796971148509165e+01,
|
|
|
|
mut y: -2.59193146099879641e+01,
|
|
|
|
mut z: 1.79258772950371181e-01,
|
|
|
|
mut vx: 2.68067772490389322e-03 * DAYS_PER_YEAR,
|
|
|
|
mut vy: 1.62824170038242295e-03 * DAYS_PER_YEAR,
|
|
|
|
mut vz: -9.51592254519715870e-05 * DAYS_PER_YEAR,
|
2011-07-27 07:19:39 -05:00
|
|
|
mass: 5.15138902046611451e-05 * SOLAR_MASS};
|
|
|
|
}
|
2011-03-24 20:20:49 -05:00
|
|
|
|
2011-07-27 07:19:39 -05:00
|
|
|
fn sun() -> Body::props {
|
2012-03-26 20:35:18 -05:00
|
|
|
ret {mut x: 0.0,
|
|
|
|
mut y: 0.0,
|
|
|
|
mut z: 0.0,
|
|
|
|
mut vx: 0.0,
|
|
|
|
mut vy: 0.0,
|
|
|
|
mut vz: 0.0,
|
2011-07-27 07:19:39 -05:00
|
|
|
mass: SOLAR_MASS};
|
|
|
|
}
|
|
|
|
|
2011-09-12 04:27:30 -05:00
|
|
|
fn offsetMomentum(props: Body::props, px: float, py: float, pz: float) {
|
2011-07-27 07:19:39 -05:00
|
|
|
props.vx = -px / SOLAR_MASS;
|
|
|
|
props.vy = -py / SOLAR_MASS;
|
|
|
|
props.vz = -pz / SOLAR_MASS;
|
|
|
|
}
|
|
|
|
|
2011-08-15 23:54:52 -05:00
|
|
|
}
|