Star Exec Test
From Termination-Portal.org
Revision as of 13:59, 24 June 2012 by J.waldmann (talk | contribs)
This is an collection of notes that I (JW) am making while using the Star Exec service. The plan is to submit some benchmarks (from TPDB), submit some solvers (initially, my own Matchbox because that's easiest for me to modify if necessary), and run some jobs. Ordering of notes is mostly by time (during that process), and not by importance.
- password is transmitted via http (not https)?
- white on black lettering is hurting my eyes. Please make it black on white. (The "public dev wiki" does it right)
- "report a bug" equals "mail to developer". I would much prefer a bug tracker that is world-readable, to avoid double reports, and be able to follow progress.
Defining a benchmark type
- order of user guide is inverted (I am doing: 1. define benchmark type, 2. upload benchmark, 3. upload solver)
- when adding a benchmark type, platform asks for name/description/processor. I don't want a processor, but it seems I am required to do so. Platform could provide a default processor that just says "starexec-valid=true".
- definining the benchmark type (SRS_Standard) seems OK.
Uploading a benchmark set
- the "upload benchmarks" in the space explorer is somewhat hidden (need to expand the "root" symbol in the left bar). I upload a .tar.gz file that corresponds to the SRS_Standard subdir of tpdb-8.0.6. There are several import options, I keep the defaults. Import seems OK, I see the directory structure in the left bar.
Uploading a solver
- platform spec says that executable must be named ./bin/run_* (after extracting the archive).
Hm, that will most likely result in a tar bomb.
- spec does not say (but Ben told me) that OS/Hardware is Redhat 5.8/x86_64. So I am compiling and statically linking matchbox in a Centos5.8 VM, and add run_cert and run_nocert bash scripts. Upload seems OK, I see the two run_ scripts as "configurations".
Defining and starting a Job
- I want to run matchbox on a subset of the benchmarks that I just uploaded. I select 20 seconds timeout.
The unit of measurement is missing when entering the timeout (minutes? seconds? but it is in the user guide) I leave "postprocessor = none" as it is.
- the "next" button is on the far right. I have a narrow browser window, so I need to scroll.
- when I select "choose benchmark, next", I don't see how to select a subset (it shows "benchmark/empty").
- so I go back to "run all benchmarks" where I don't know the difference between "in current space" and "in current space with hierarchy". (platform should show the benchmark tree, and provide "next" button for selection of subsets anyway)
- I say "run Ternmination" and "submit". Resulting in "http 400 - bad request - the create job request was malformed"
- There's an option to go back, which I do, and chose "run termination and hierarchy", and this seems to work.
Looking at job's output