| Commit message (Collapse) | Author | Age |
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
| |
Using the plain, old C API seems to be *much* faster.
single:
lp_dpcp_bounds::cpu_costs: total=19569.9ms last=93.2767ms average=88.9543ms count=220
lp_dflp_bounds::cpu_costs: total=21537.3ms last=102.459ms average=97.8969ms count=220
|
| |
|
|
|
| |
Add a bridge to the GLPK library. Availability is auto-discovered by
the build system. Most of the code is solver-agnostic.
|
| |
|
|
|
| |
...via Swig to Python. The actual Python API will
be finalized later.
|
| |
|
|
|
| |
These files implement the generation and evaluation of linear programs
that bound maximum s-aware pi-blocking under the DPCP and the DFLP.
|
| |
|
|
|
|
|
| |
This patch introduces a concrete subclass of Solution that implements the actual
solving of linear programs by means of invoking the CPLEX Concert Technology API.
The project can still be compiled on systems that do not have CPLEX installed.
|
| | |
|
| |
|
|
| |
Based on Zhang and Burns (2009), "Schedulability Analysis for Real-Time Systems with EDF Scheduling", IEEE Transactions on Computers, Vol 58, No 9.
|
| |
|
|
| |
It's better to crash with an assertation than to produce wrong results...
|
| |
|
|
|
|
| |
- Normalize line endings.
- Introduce DEFS variable to allow user to specify definitions in .config.
- Add -Werror to avoid accumulating warnings.
|
| |
|
|
|
|
| |
Use the more accurate clock under Linux when available. getrusage()
unfortunately only has a resolution of 1/HZ (i.e., one jiffie), which
is too coarse-grained in many cases.
|
| | |
|
| |
|
|
| |
Part of refactoring sharedres.cpp.
|
| |
|
|
| |
Part of refactoring sharedres.cpp.
|
| |
|
|
| |
Part of refactoring sharedres.cpp.
|
| |
|
|
| |
Part of refactoring sharedres.cpp.
|
| |
|
|
| |
Part of refactoring sharedres.cpp.
|
| |
|
|
| |
Part of refactoring sharedres.cpp.
|
| |
|
|
| |
Part of refactoring sharedres.cpp.
|
| |
|
|
| |
Part of refactoring sharedres.cpp.
|
| |
|
|
|
|
| |
The C++ code didn't build on my system (ubuntu 11.10, gcc 4.6.1) out
of the box. Switching the order of some arguments to g++ solved the
problem.
|
| |
|
|
|
|
|
|
|
|
|
|
| |
- There are many unused parameters. This is ok, so tell gcc to ignore
them.
- The code still uses the (well-working) class ext::hash_map<>, which
will trigger deprecation warnings. Ignore this for now; the
alternatives are only available in recent C++ standard libraries.
- Disable warnings alltogether for Swig-generated code. Swig
sometimes generates meaningless self-assignments and triggers strict
aliasing and a bunch of other warnings. Let's just trust Swig that
it knows what it is doing.
|
|
|
Using SConstruct hasn't panned out. SConstruct introduces too much of
its own boilerplate code and regular makefiles are understood by more
people. Also, SConstruct needs to be installed separately, whereas GNU
Make is available virtually anywhere.
|