Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Dec 19, 2012
Jesper Louis Andersen Bump safetyvalve to version 1.0.0.
This is the first version of safetyvalve.
cdd5aba
Jesper Louis Andersen Bump README. 85a1691
Commits on Dec 20, 2012
Jesper Louis Andersen Use a stable lager tag for now. 48d9338
Jesper Louis Andersen Update MANIFESTO a0ab36d
Jesper Louis Andersen Bump version. 9287185
Commits on Dec 23, 2012
Jesper Louis Andersen Merge branch 'correct-call'
Conflicts:
	src/safetyvalve.app.src
f2d723a
Commits on Dec 25, 2012
Jesper Louis Andersen Extract dropped packets from FQ-codel. f1a275b
Jesper Louis Andersen Introduce code to run the CoDel queue base.
This eqc test will just run the queue aggressively in order to test that
it really works like it was intended for it to work. This makes sure there
are no ways by which we can force the queue to crash.

In other words, we just proved a termination property.
c15fcb2
Jesper Louis Andersen Introduce a TODO list. dc3d70b
Jesper Louis Andersen New Property: empty_q_no_drop. cf96286
Jesper Louis Andersen New rule.
If a queue is empty, then first_above_time is set to 0.
e5fff28
Jesper Louis Andersen Generalize test model more and enable correct dequeueing.
Begin adding more properties in there for the CoDel code.
6835e21
Jesper Louis Andersen Documentation. cf95321
Jesper Louis Andersen Bump time advancement. 6d7fbcf
Jesper Louis Andersen Generalize over target and interval. e262967
Jesper Louis Andersen Classify observations. 0956e0d
Jesper Louis Andersen Reset frequencies to something a bit more standard. e0e1add
Jesper Louis Andersen Start a bit higher up in time. 0 is a kind of special case. f99960e
Jesper Louis Andersen Add a USING document. 647a73b
Jesper Louis Andersen Fix a documentation bug found by @nox (Anthony Ramine) 40056b9
Jesper Louis Andersen More documentation notes. c441bab
Jesper Louis Andersen Simplify dodequeue by splitting into two functions. d49aa85
Jesper Louis Andersen New CoDel implementation. The old one had trouble. 35ac54e
Jesper Louis Andersen Reflect API changes in the code base. 6ba0b0c
Jesper Louis Andersen Add a new class for when dropping starts. 977942b
Jesper Louis Andersen Document the CoDel classifier. 1b11c71
Jesper Louis Andersen Bump TODO. 10fc9ef
Jesper Louis Andersen Fix EQC test so it runs. f1cb8fd
Jesper Louis Andersen Improve packet code. 25505ea
Jesper Louis Andersen Improve model generation.
Define a better way to SHRINK the model upon encountering an error.
5096f1e
Jesper Louis Andersen Integrate CoDel support. 288f32b
Jesper Louis Andersen Bump version yet again. 1ccdac5
Jesper Louis Andersen Update TODO list. f40cc99
Jesper Louis Andersen Interesting paper to read from Fred Hebert. 378a72a
Jesper Louis Andersen Modularize the queue type. 675d1bb
Jesper Louis Andersen Bump version. dc198a9
Jesper Louis Andersen Document `sv_codel`. b7b26c8
Jesper Louis Andersen Add tracing routines. 282bcba
Jesper Louis Andersen Enable Trace measurements in tests. bf74541
Jesper Louis Andersen Carry out a benchmark. b398de6
Commits on Dec 26, 2012
Jesper Louis Andersen Fix EQC model so it works again. 61704eb
Jesper Louis Andersen Clean up after having run CoDel test cases.
Otherwise, we run out of ETS tables pretty quickly!
76ebd37
Commits on Dec 28, 2012
Jesper Louis Andersen Benchmarks and analysis through web servers. 21df1bb
Jesper Louis Andersen Add optional parameters to CoDel. 70e15bc
Jesper Louis Andersen Bump to version 2.2.0. 2ca5f14
Something went wrong with that request. Please try again.