1. 12 Jun, 2011 1 commit
    • Davis King's avatar
      I improved the way calls to the separation oracle get dispatched to the · 84daff63
      Davis King authored
      thread_pool.  Previously, each separation oracle call was dispatched
      to a thread individually.  This is inefficient when there are a whole
      lot of samples (and thus separation oracle calls which need to be made).
      So now entire batches of separation oracle calls are dispatched to
      each thread.  This minimizes the thread switching and synchronization
      overhead.
      84daff63
  2. 11 Jun, 2011 2 commits
  3. 10 Jun, 2011 3 commits
  4. 09 Jun, 2011 2 commits
  5. 08 Jun, 2011 4 commits
  6. 07 Jun, 2011 4 commits
  7. 06 Jun, 2011 5 commits
  8. 05 Jun, 2011 9 commits
  9. 04 Jun, 2011 6 commits
  10. 03 Jun, 2011 4 commits