Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on Sep 14, 2012
  1. @uwiger

    relabeled parse_trans

    uwiger authored
Commits on Jul 9, 2012
  1. @uwiger

    labeled dependencies

    uwiger authored
  2. @uwiger

    regenerated docs

    uwiger authored
  3. @uwiger
Commits on May 25, 2012
  1. @uwiger

    more modular configuration

    uwiger authored
Commits on Apr 15, 2012
  1. @uwiger
  2. @uwiger
  3. @uwiger

    Bug fixes around sharing named counters

    uwiger authored
    - Regulators can be defined as top-level queue options, and are
      automatically moved into the {regulators, [...]} option.
    - COUNTER_SAMPLE_INTERVAL is now infinity (rather than the arbitrary 2000)
    - if queue goes from empty to non-empty, check the queue immediately
    - always revisit queues when counters are returned. Previously, this
      only happened if the counter regulator was at Max, but with
      Incr > 1, this could mean that some jobs never get to execute.
    - When revisiting queues, first sort them on latest_dispatch, to get
      more fair distribution.
    
    - put an -ifdef(EQC) wrapper into the jobs_eqc_queue module
Commits on Mar 12, 2012
  1. @uwiger

    Merge pull request #12 from jlouis/eqc-queue

    uwiger authored
    Eqc queue
  2. Fix calculation of the oldest job.

    authored
    The oldest job is *always* the first element in the queue if present.
    So just look it up rather than trying to be smart here.
  3. Fix an error in jobs_queue:timedout/1.

    authored
    When timeouts happen, we search the wrong end of the queue. This
    change fixes it by search the dequeue end, which has the oldest
    elements. This makes timedout observations pass in the quickcheck
    test.
  4. Fix observation for timedout/1

    authored
    When considering the output of a timedout/1 observation, do not carry
    about the order, but only that we return the right amount of elements.
    Thus by sorting the output we make sure that we get the right kind of
    observation.
Commits on Mar 11, 2012
  1. Introduce meck. Use meck to control timing.

    authored
    We can now simulate timing changes in the code base via meck.
Commits on Mar 10, 2012
  1. Update TODO list.

    authored
  2. Bump with a TODO file.

    authored
Commits on Mar 8, 2012
Commits on Mar 4, 2012
  1. Advance time more often.

    authored
  2. Allow for advancement of time.

    authored
  3. Implement queue emptying.

    authored
  4. Allow the peak observation.

    authored
  5. Build up test case which can handle the generation of random queues.

    authored
    Also verify that the representation is the same when we are building
    up the queue.
Commits on Mar 3, 2012
  1. @uwiger

    regenerated docs to fix links

    uwiger authored
Something went wrong with that request. Please try again.