DOMjudge-devel April 2017

domjudge-devel@domjudge.org

4 participants
3 discussions

Checktestdata as EDSL
by Jeroen Bransen 30 May '17

30 May '17

Hi all, Checktestdata is a nice DSL and has proved helpful in many situation, but from the moment I used it I was missing features and wondering why it wasn't implemented as an EDSL (Embedded Domain Specific Language). Now, many years later, I've finally found some time to create it. I've implemented a little library in Haskell, and as a sneak preview I've taken the interception problem from NCPC 2016 as referenced to in [1] and attached it. The first question is: where shall I put the sources to the library? Somewhere in the checktestdata repository (and if so, where), or maybe create a checktestdata2 repository? Let me give a little more information on why I think an EDSL is a good idea here, and why I choose for Haskell (other than my background): + With an EDSL, you get so much for free from the underlying language, such as (typed) variables, all sorts of abstraction mechanisms, compiler optimizations, etc. For example, some testdata script may consist of some repeated parts, which in an EDSL can simply be given a name to get rid of the duplication. + Compiler optimizations, which of course also exist for C++ in which checktestdata is built now, don't only optimize the checktestdata runtime, but also the script itself since it is just a program and not some custom script anymore. Especially with a functional language such as Haskell this means definitions of primitives can be inlined and whole parts of the script may get fused to a very efficient version. + Maintainability: my library is now +- 200 LOC, including docs and empty lines, and contains quite a lot of the checktestdata language already. Because Haskell has many well optimized parsing libraries, we get a lot for free, and only have to create a nice generalization for this particular use case. + Efficiency: the current checktestdata is just too slow, as mentioned in [1]. As a reference, on my machine the checktestdata script for interception 09.max_ans.in takes 35.5s, the python script takes 2.2s, and the attached version only 2s. And I haven't done anything to optimize specifically for this case, I've just translated the ctd script to the syntax of my EDSL. + With this, the script can do more than just checking the syntax. I.e. when the problem specifies that it contains a connected graph, one can check the syntax, but also the connectedness of the graph, while still separating concerns, i.e. the syntax of the input can be separated from the semantic checks, but the semantic checks don't need to come in a separate program which also has to read the input again, like we should now. All can be combined naturally. + Create your own combinators: the primitives can be easily combined into more complex combinators which you can then reuse. I.e. think of a 'point2d' combinator that reads two space separated integers. - Haskell Platform needs to be available, this is easy on all major OS, but is a quite large dependency. Then again, GCC and Boost are large as well, and are less Windows-friendly. - Slighly different syntax: although Haskell is quite liberal in its syntax for EDSL's, users have to get used to particularities of the language/ - Data generation is not easily possible, if not infeasible. There should be some way of embedding the language to make this possible, and this is actually what I've been working on for the past few years when thinking about this problem, but since we mostly use it for checking data I went with a monadic embedding which is very easy for data checking. - Backwards compatibility: parsing existing scripts and running it with the new backend is not going to be easy. I don't expect show stoppers, but it definitely won't be as efficient as writing scripts within the language because of variable bindings. I need to work on this a bit to be sure though. That's it, of course my libary is not done yet (no good error messages, no regex yet), but it's a proof of concept that is already usable for simpler problems. I hope to convince you that this is the way to go, and to get some ideas to create the POC into a working tool. Also, suggestions on 'interesting use cases' are welcome, the interception is a nice one but I am sure there are many more problems for which the standard checktestdata just not works. Yours truly, Jeroen [1] https://github.com/DOMjudge/checktestdata/issues/3

2 10

error with judgedaemon
by Fredy Vanegas 19 Apr '17

19 Apr '17

Hi, i am try install the domjudge, domserver and judgehost in the same machine, but when i execute the judgedaemon "./judgedaemon" in the path ~/domjudge/judgehost/bin give me the next error: [Apr 18 13:22:11] judgedaemon[5016]: Judge started on dom-judge [DOMjudge/5.1.3] [Apr 18 13:22:11] judgedaemon[5016]: Not using cgroups. Using cgroups is highly recommended. See the manual for details. [Apr 18 13:22:11] judgedaemon[5016]: Registering judgehost on endpoint http://localhost/domjudge/api [Apr 18 13:22:12] judgedaemon[5016]: error: Error while executing curl POST to url http://localhost/domjudge/api/judgehosts: http status code: 403, response: <!DOCTYPE html> <html lang="en" xml:lang="en"> <head>  <meta charset="utf-8"/> <title>Login failed</title> <link rel="icon" href="../images/favicon.png" type="image/png" /> <link rel="stylesheet" href="../style.css" type="text/css" /> <link rel="stylesheet" href="style_jury.css" type="text/css" /> <script type="text/javascript" src="../js/jquery.min.js"></script> <script type="text/javascript" src="../js/jury.js"></script> <script type="text/javascript" src="../js/sorttable.js"></script> <script type="text/javascript" src="../js/domjudge.js"></script> </head> <body onload="setInterval('updateMenu(0, 0, 0)', 20000); updateMenu(0,0,0)"> <h1>Not Authenticated</h1> <p>Invalid username or password supplied. Please try again or contact a staff member.</p> </body> </html> I appreciate all the help you can give me.

2 1

Dependent problems
by Solal Pirelli 18 Apr '17

18 Apr '17

Hi all, At the Helvetic Coding Contest - as its name implies, Switzerland's largest programming contest - we patched DOMJudge to add support for hiding problem statements until another problem is solved. For instance, if C depends on B and B depends on A, teams are forced to first solve A, then B, then C. This year we had 5 such chains, for a total of 15 problems. This has two advantages: - It forces beginners to solve easy problems first, ensuring they'll solve a few problems and have fun rather than picking a hard problem whose difficulty is not apparent and getting stuck on it for hours. (This looks like a problem that should be solved by educating users, but as any software engineer knows, that is all but impossible :) ) - It allows us to have a bunch of problems on a common theme, where in a few cases the harder one's statement is simply "like the easier one, but with much larger bounds on the input" without allowing teams to solve the hard one first and then submit that solution to the easier one. More problems, less work for problem creators. Thus our contest is suitable for both beginners and experts (even if beginners don't have a chance of actually winning, they enjoy it). I recently rewrote that patch on top of the master branch of the DOMJudge repo, it's quite small (about 40 modified lines). Is this something DOMJudge users are interested in? Should I open a PR? Cheers, Solal Pirelli

3 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

DOMjudge-devel April 2017