---

yaml
---
r: 35033
b: refs/heads/master
c: 70886d3
h: refs/heads/master
i:
  35031: 89099d2
v: v3

Author: pcwalton

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: c88c969b3e20e5aa2c36aee2e5154afd9a383517
+refs/heads/master: 70886d314d0e49fe652f022139b03c2ddaca7b14
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: eb8fd119c65c67f3b1b8268cc7341c22d39b7b61
 refs/heads/try: d324a424d8f84b1eb049b12cf34182bda91b0024

trunk/src/libstd/std.rc

@@ -54,6 +54,7 @@ pub mod sync;
 pub mod arc;
 pub mod comm;
 pub mod future;
+pub mod thread_pool;
 
 // Collections
 

trunk/src/libstd/thread_pool.rs

@@ -0,0 +1,85 @@
+/// A thread pool abstraction. Useful for achieving predictable CPU
+/// parallelism.
+
+use pipes::{Chan, Port};
+use task::{SchedMode, SingleThreaded};
+
+enum Msg<T> {
+    Execute(~fn(&T)),
+    Quit
+}
+
+pub struct ThreadPool<T> {
+    channels: ~[Chan<Msg<T>>],
+    mut next_index: uint,
+
+    drop {
+        for self.channels.each |channel| {
+            channel.send(Quit);
+        }
+    }
+}
+
+pub impl<T> ThreadPool<T> {
+    /// Spawns a new thread pool with `n_tasks` tasks. If the `sched_mode`
+    /// is None, the tasks run on this scheduler; otherwise, they run on a
+    /// new scheduler with the given mode. The provided `init_fn_factory`
+    /// returns a function which, given the index of the task, should return
+    /// local data to be kept around in that task.
+    static fn new(n_tasks: uint,
+                  opt_sched_mode: Option<SchedMode>,
+                  init_fn_factory: ~fn() -> ~fn(uint) -> T) -> ThreadPool<T> {
+        assert n_tasks >= 1;
+
+        let channels = do vec::from_fn(n_tasks) |i| {
+            let (chan, port) = pipes::stream::<Msg<T>>();
+            let init_fn = init_fn_factory();
+
+            let task_body: ~fn() = |move port, move init_fn| {
+                let local_data = init_fn(i);
+                loop {
+                    match port.recv() {
+                        Execute(move f) => f(&local_data),
+                        Quit => break
+                    }
+                }
+            };
+
+            // Start the task.
+            match opt_sched_mode {
+                None => {
+                    // Run on this scheduler.
+                    task::spawn(move task_body);
+                }
+                Some(sched_mode) => {
+                    task::task().sched_mode(sched_mode).spawn(move task_body);
+                }
+            }
+
+            move chan
+        };
+
+        return ThreadPool { channels: move channels, next_index: 0 };
+    }
+
+    /// Executes the function `f` on a thread in the pool. The function
+    /// receives a reference to the local data returned by the `init_fn`.
+    fn execute(&self, f: ~fn(&T)) {
+        self.channels[self.next_index].send(Execute(move f));
+        self.next_index += 1;
+        if self.next_index == self.channels.len() { self.next_index = 0; }
+    }
+}
+
+#[test]
+fn test_thread_pool() {
+    let f: ~fn() -> ~fn(uint) -> uint = || {
+        let g: ~fn(uint) -> uint = |i| i;
+        move g
+    };
+    let pool = ThreadPool::new(4, Some(SingleThreaded), move f);
+    for 8.times {
+        pool.execute(|i| io::println(fmt!("Hello from thread %u!", *i)));
+    }
+}
+