tablejohn/src
Joscha c7a89867a7 Restructure shared types and db columns
Now, the server sends the runner pretty much all run metadata. This way,
the reservation the server makes for the runner is accurate, providing
the runner responds with the same metadata it was sent. It also means
that only the server's system clock is relevant for tie breakers, and a
run's duration spans from the moment it is reserved to the moment it is
saved.

Also, the bench method is now always called `bench_method` and a
human-readable description is stored in the database for each run.
2023-08-12 21:23:36 +02:00
..
server Restructure shared types and db columns 2023-08-12 21:23:36 +02:00
worker Restructure shared types and db columns 2023-08-12 21:23:36 +02:00
args.rs Rename runners to workers 2023-08-11 02:12:38 +02:00
config.rs Start runs and coordinate with server 2023-08-12 02:16:05 +02:00
id.rs Start runs and coordinate with server 2023-08-12 02:16:05 +02:00
main.rs Launch idle thread for each server 2023-08-12 21:23:36 +02:00
server.rs Rename runners to workers 2023-08-11 02:12:38 +02:00
shared.rs Restructure shared types and db columns 2023-08-12 21:23:36 +02:00
somehow.rs Store more commit info in db 2023-08-06 10:47:45 +02:00
worker.rs Launch idle thread for each server 2023-08-12 21:23:36 +02:00