diff options
| author | Paul Buetow <paul@buetow.org> | 2026-07-22 23:52:43 +0300 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2026-07-22 23:52:43 +0300 |
| commit | 17bf7e042496a4afcbf6ee7a583378adb3ec502d (patch) | |
| tree | 380d89c2ca5157a067244857aa4fd5ebf2387915 /docker/serverlist.txt | |
| parent | bc2767c87c4090798c4c7d15e101ed066e947301 (diff) | |
build: DTail fork — benchmarks, PGO tooling, Makefile, docker
Squashed development of the build/benchmark/profiling tooling:
- Turbo-vs-normal and per-tool benchmark harnesses under benchmarks/ (with dated
baseline and result artifacts preserved), plus MapReduce/SSH/network suites.
- Profile-Guided Optimization workflow (internal/tools/pgo lives with the code):
Makefile targets (make pgo / pgo-quick / build-pgo), profile generation with
non-zero-sample and representativeness guards.
- Makefile targets for build, test (unit + integration), lint, vet, benchmarking
and profiling; docker config updates.
- .gitignore hardened against pgo profiles and accidental integration-test
debug/output dumps.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Diffstat (limited to 'docker/serverlist.txt')
| -rw-r--r-- | docker/serverlist.txt | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/docker/serverlist.txt b/docker/serverlist.txt index 8a5d389..62a6ea6 100644 --- a/docker/serverlist.txt +++ b/docker/serverlist.txt @@ -8,43 +8,3 @@ localhost:2229 localhost:2230 localhost:2231 localhost:2232 -localhost:2233 -localhost:2234 -localhost:2235 -localhost:2236 -localhost:2237 -localhost:2238 -localhost:2239 -localhost:2240 -localhost:2241 -localhost:2242 -localhost:2243 -localhost:2244 -localhost:2245 -localhost:2246 -localhost:2247 -localhost:2248 -localhost:2249 -localhost:2250 -localhost:2251 -localhost:2252 -localhost:2253 -localhost:2254 -localhost:2255 -localhost:2256 -localhost:2257 -localhost:2258 -localhost:2259 -localhost:2260 -localhost:2261 -localhost:2262 -localhost:2263 -localhost:2264 -localhost:2265 -localhost:2266 -localhost:2267 -localhost:2268 -localhost:2269 -localhost:2270 -localhost:2271 -localhost:2272 |