increase benchmark name length limit
2 posters
Page 1 of 1
increase benchmark name length limit
Currently, primitive names are 64 chars at most.
Some (established) benchmark collections' file names do not fit in this scheme,
e.g., SV-COMP has "svcomp_BradleyMannaSipma-2005CAV-Fig1-modified_false-termination.c"
(length 66) (and Termination wants to include some of their benchmarks).
Is this bound critical for starexec's well-being? Can you bump it to 255, or 4096?
- J.
For reference, here's the current definition for valid primitive names (as far as I understand the source)
patternPrimName = Pattern.compile(R.PRIMITIVE_NAME_PATTERN, Pattern.CASE_INSENSITIVE);
public static String PRIMITIVE_NAME_PATTERN="^[\\w\\-\\. \\+\\^=,!?:$%#@]1,"+String.valueOf(SOLVER_NAME_LEN)+"}$";
public static int SOLVER_NAME_LEN=64;
and "\w A word character: [a-zA-Z_0-9]"
http://docs.oracle.com/javase/7/docs/api/java/util/regex/Pattern.html
some extra info: I guess a reasonable upper bound on file name length is the one that is enforced by the underlying OS/file system (cf. http://serverfault.com/questions/9546/filename-length-limits-on-linux) - assuming that the bechmarks are actually on disk at some point (they could be in the data base all the time).
Some (established) benchmark collections' file names do not fit in this scheme,
e.g., SV-COMP has "svcomp_BradleyMannaSipma-2005CAV-Fig1-modified_false-termination.c"
(length 66) (and Termination wants to include some of their benchmarks).
Is this bound critical for starexec's well-being? Can you bump it to 255, or 4096?
- J.
For reference, here's the current definition for valid primitive names (as far as I understand the source)
patternPrimName = Pattern.compile(R.PRIMITIVE_NAME_PATTERN, Pattern.CASE_INSENSITIVE);
public static String PRIMITIVE_NAME_PATTERN="^[\\w\\-\\. \\+\\^=,!?:$%#@]1,"+String.valueOf(SOLVER_NAME_LEN)+"}$";
public static int SOLVER_NAME_LEN=64;
and "\w A word character: [a-zA-Z_0-9]"
http://docs.oracle.com/javase/7/docs/api/java/util/regex/Pattern.html
some extra info: I guess a reasonable upper bound on file name length is the one that is enforced by the underlying OS/file system (cf. http://serverfault.com/questions/9546/filename-length-limits-on-linux) - assuming that the bechmarks are actually on disk at some point (they could be in the data base all the time).
j.waldmann- Posts : 84
Join date : 2014-04-26
Re: increase benchmark name length limit
Hi, Johannes. We did have this set to be 255, but one of us changed it back down to 64. We will bring it back up to almost 255 (which is the max allowed on Linux) -- we might need to reserve three or four characters at the end for file extensions, for space downloads anyhow. This should happen in the next deploy.
Aaron
Aaron
Page 1 of 1
Permissions in this forum:
You cannot reply to topics in this forum
|
|