Mercurial > ~astiob > upreckon > hgweb
annotate config.py @ 82:06356af50bf9
Finished testcases reorganization and CPU time limit implementation
We now have:
* Win32-specific code in the win32 module (including bug fixes),
* UNIX-specific and generic code in the unix module,
* a much cleaner testcases module,
* wait4-based resource limits working on Python 3 (this is a bug fix),
* no warning/error reported on non-Win32 when -x is not passed
  but standard input does not come from a terminal,
* the maxtime configuration variable replaced with two new variables
  named maxcputime and maxwalltime,
* CPU time reported if it can be determined unless an error occurs sooner
  than it is determined (e. g. if the wall-clock time limit is exceeded),
* memory limits enforced even if Upreckon's forking already breaks them,
* CPU time limits and private virtual memory limits honoured on Win32,
* CPU time limits honoured on UNIX(-like) platforms supporting wait4
  or getrusage,
* address space limits honoured on UNIX(-like) platforms supporting
  setrlimit with RLIMIT_AS/RLIMIT_VMEM,
* resident set size limits honoured on UNIX(-like) platforms supporting
  wait4.
| author | Oleg Oshmyan <chortos@inbox.lv> | 
|---|---|
| date | Wed, 23 Feb 2011 23:35:27 +0000 | 
| parents | ee8a99dcaaed | 
| children | 37c4ad87583c | 
| rev | line source | 
|---|---|
| 21 | 1 #! /usr/bin/env python | 
| 78 | 2 # Copyright (c) 2010-2011 Chortos-2 <chortos@inbox.lv> | 
| 16 | 3 | 
| 21 | 4 from __future__ import division, with_statement | 
| 5 | |
| 6 try: | |
| 
25
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
7 from compat import * | 
| 21 | 8 import files | 
| 9 except ImportError: | |
| 10 import __main__ | |
| 11 __main__.import_error(sys.exc_info()[1]) | |
| 12 else: | |
| 13 from __main__ import options | |
| 14 | |
| 15 if files.ZipArchive: | |
| 16 try: | |
| 17 import zipimport | |
| 18 except ImportError: | |
| 19 zipimport = None | |
| 20 else: | |
| 21 zipimport = None | |
| 22 | |
| 22 | 23 import imp, os, sys, tempfile | 
| 21 | 24 | 
| 25 __all__ = 'load_problem', 'load_global', 'globalconf' | |
| 26 | |
| 74 | 27 defaults_problem = {'kind': 'batch', | 
| 28 'usegroups': False, | |
| 
82
 
06356af50bf9
Finished testcases reorganization and CPU time limit implementation
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
79 
diff
changeset
 | 
29 'maxcputime': None, | 
| 
 
06356af50bf9
Finished testcases reorganization and CPU time limit implementation
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
79 
diff
changeset
 | 
30 'maxwalltime': None, | 
| 21 | 31 'maxmemory': None, | 
| 32 'dummies': {}, | |
| 33 'testsexcluded': (), | |
| 34 'padtests': 0, | |
| 35 'paddummies': 0, | |
| 36 'taskweight': 100, | |
| 
76
 
0e5ae28e0b2b
Points are now weighted on a test context basis
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
74 
diff
changeset
 | 
37 'groupweight': {}, | 
| 21 | 38 'pointmap': {}, | 
| 39 'stdio': False, | |
| 40 'dummyinname': '', | |
| 41 'dummyoutname': '', | |
| 42 'tester': None, | |
| 43 'maxexitcode': 0, | |
| 44 'inname': '', | |
| 45 'ansname': ''} | |
| 
79
 
ee8a99dcaaed
Renamed configuration variable tasknames to problems
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
78 
diff
changeset
 | 
46 defaults_global = {'problems': None, | 
| 22 | 47 'force_zero_exitcode': True} | 
| 43 | 48 defaults_noerase = {'inname': '%.in', | 
| 49 'outname': '%.out', | |
| 50 'ansname': '%.ans'} | |
| 21 | 51 patterns = ('inname', 'outname', 'ansname', 'testcaseinname', | 
| 52 'testcaseoutname', 'dummyinname', 'dummyoutname') | |
| 53 | |
| 54 class Config(object): | |
| 55 __slots__ = 'modules', '__dict__' | |
| 56 | |
| 57 def __init__(self, *modules): | |
| 58 self.modules = modules | |
| 59 | |
| 60 def __getattr__(self, name): | |
| 61 for module in self.modules: | |
| 62 try: | |
| 63 return getattr(module, name) | |
| 64 except AttributeError: | |
| 65 pass | |
| 66 # TODO: provide a message | |
| 67 raise AttributeError(name) | |
| 16 | 68 | 
| 22 | 69 # A helper context manager | 
| 70 class ReadDeleting(object): | |
| 
25
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
71 __slots__ = 'name', 'file' | 
| 22 | 72 | 
| 73 def __init__(self, name): | |
| 74 self.name = name | |
| 75 | |
| 76 def __enter__(self): | |
| 77 try: | |
| 
25
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
78 self.file = open(self.name, 'rU') | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
79 return self.file | 
| 22 | 80 except: | 
| 81 try: | |
| 82 self.__exit__(None, None, None) | |
| 83 except: | |
| 84 pass | |
| 85 raise | |
| 86 | |
| 87 def __exit__(self, exc_type, exc_val, exc_tb): | |
| 
25
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
88 self.file.close() | 
| 22 | 89 os.remove(self.name) | 
| 90 | |
| 21 | 91 def load_problem(problem_name): | 
| 
70
 
b9d5857f7b9a
Better emulation of built-ins for testconf
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
60 
diff
changeset
 | 
92 global builtins | 
| 21 | 93 dwb = sys.dont_write_bytecode | 
| 94 sys.dont_write_bytecode = True | |
| 95 metafile = files.File('/'.join((problem_name, 'testconf.py')), True, 'configuration') | |
| 96 module = None | |
| 
70
 
b9d5857f7b9a
Better emulation of built-ins for testconf
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
60 
diff
changeset
 | 
97 with CompatBuiltins() as builtins: | 
| 
25
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
98 if zipimport and isinstance(metafile.archive, files.ZipArchive): | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
99 try: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
100 module = zipimport.zipimporter(os.path.dirname(metafile.full_real_path)).load_module('testconf') | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
101 except zipimport.ZipImportError: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
102 pass | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
103 else: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
104 del sys.modules['testconf'] | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
105 if not module: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
106 try: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
107 with metafile.open() as f: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
108 module = imp.load_module('testconf', f, metafile.full_real_path, ('.py', 'r', imp.PY_SOURCE)) | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
109 # Handle the case when f is not a true file object but imp requires one | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
110 except ValueError: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
111 # FIXME: 2.5 lacks the delete parameter | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
112 with tempfile.NamedTemporaryFile(delete=False) as f: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
113 inputdatafname = f.name | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
114 metafile.copy(inputdatafname) | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
115 with ReadDeleting(inputdatafname) as f: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
116 module = imp.load_module('testconf', f, metafile.full_real_path, ('.py', 'r', imp.PY_SOURCE)) | 
| 21 | 117 del sys.modules['testconf'] | 
| 118 if hasattr(module, 'padwithzeroestolength'): | |
| 119 if not hasattr(module, 'padtests'): | |
| 120 try: | |
| 121 module.padtests = module.padwithzeroestolength[0] | |
| 122 except TypeError: | |
| 123 module.padtests = module.padwithzeroestolength | |
| 124 if not hasattr(module, 'paddummies'): | |
| 125 try: | |
| 126 module.paddummies = module.padwithzeroestolength[1] | |
| 127 except TypeError: | |
| 128 module.paddummies = module.padwithzeroestolength | |
| 129 for name in defaults_problem: | |
| 130 if not hasattr(globalconf, name): | |
| 131 setattr(module, name, getattr(module, name, defaults_problem[name])) | |
| 
38
 
a6d554679ce8
Fixed a bug with nested configuration namespaces in config.py
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
27 
diff
changeset
 | 
132 module = Config(module, globalconf) | 
| 27 | 133 if not module.dummyinname: | 
| 134 module.dummyinname = getattr(module, 'testcaseinname', module.dummyinname) | |
| 135 if not module.dummyoutname: | |
| 136 module.dummyoutname = getattr(module, 'testcaseoutname', module.dummyoutname) | |
| 21 | 137 if not hasattr(module, 'path'): | 
| 138 if hasattr(module, 'name'): | |
| 139 module.path = module.name | |
| 140 elif sys.platform != 'win32': | |
| 141 module.path = os.path.join(os.path.curdir, problem_name) | |
| 142 else: | |
| 143 module.path = problem_name | |
| 
76
 
0e5ae28e0b2b
Points are now weighted on a test context basis
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
74 
diff
changeset
 | 
144 for name in 'pointmap', 'groupweight': | 
| 
 
0e5ae28e0b2b
Points are now weighted on a test context basis
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
74 
diff
changeset
 | 
145 oldmap = getattr(module, name) | 
| 
 
0e5ae28e0b2b
Points are now weighted on a test context basis
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
74 
diff
changeset
 | 
146 if isinstance(oldmap, dict): | 
| 
 
0e5ae28e0b2b
Points are now weighted on a test context basis
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
74 
diff
changeset
 | 
147 newmap = {} | 
| 
 
0e5ae28e0b2b
Points are now weighted on a test context basis
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
74 
diff
changeset
 | 
148 for key in oldmap: | 
| 
 
0e5ae28e0b2b
Points are now weighted on a test context basis
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
74 
diff
changeset
 | 
149 if not options.legacy and isinstance(key, basestring): | 
| 
 
0e5ae28e0b2b
Points are now weighted on a test context basis
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
74 
diff
changeset
 | 
150 newmap[key] = oldmap[key] | 
| 
 
0e5ae28e0b2b
Points are now weighted on a test context basis
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
74 
diff
changeset
 | 
151 else: | 
| 
 
0e5ae28e0b2b
Points are now weighted on a test context basis
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
74 
diff
changeset
 | 
152 try: | 
| 
 
0e5ae28e0b2b
Points are now weighted on a test context basis
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
74 
diff
changeset
 | 
153 for k in key: | 
| 
 
0e5ae28e0b2b
Points are now weighted on a test context basis
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
74 
diff
changeset
 | 
154 newmap[k] = oldmap[key] | 
| 
 
0e5ae28e0b2b
Points are now weighted on a test context basis
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
74 
diff
changeset
 | 
155 except TypeError: | 
| 
 
0e5ae28e0b2b
Points are now weighted on a test context basis
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
74 
diff
changeset
 | 
156 newmap[key] = oldmap[key] | 
| 
 
0e5ae28e0b2b
Points are now weighted on a test context basis
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
74 
diff
changeset
 | 
157 setattr(module, name, newmap) | 
| 21 | 158 if options.no_maxtime: | 
| 
82
 
06356af50bf9
Finished testcases reorganization and CPU time limit implementation
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
79 
diff
changeset
 | 
159 module.maxcputime = module.maxwalltime = 0 | 
| 21 | 160 sys.dont_write_bytecode = dwb | 
| 
24
 
c23d81f4a1a3
Score returned by TestCase.__call__() is now normalized to 0..1
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
22 
diff
changeset
 | 
161 for name in patterns: | 
| 
 
c23d81f4a1a3
Score returned by TestCase.__call__() is now normalized to 0..1
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
22 
diff
changeset
 | 
162 if hasattr(module, name): | 
| 
 
c23d81f4a1a3
Score returned by TestCase.__call__() is now normalized to 0..1
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
22 
diff
changeset
 | 
163 setattr(module, name, getattr(module, name).replace('%', problem_name)) | 
| 
 
c23d81f4a1a3
Score returned by TestCase.__call__() is now normalized to 0..1
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
22 
diff
changeset
 | 
164 return module | 
| 21 | 165 | 
| 166 def load_global(): | |
| 
70
 
b9d5857f7b9a
Better emulation of built-ins for testconf
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
60 
diff
changeset
 | 
167 global builtins | 
| 21 | 168 dwb = sys.dont_write_bytecode | 
| 169 sys.dont_write_bytecode = True | |
| 170 metafile = files.File('testconf.py', True, 'configuration') | |
| 171 module = None | |
| 
70
 
b9d5857f7b9a
Better emulation of built-ins for testconf
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
60 
diff
changeset
 | 
172 with CompatBuiltins() as builtins: | 
| 
25
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
173 if zipimport and isinstance(metafile.archive, files.ZipArchive): | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
174 try: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
175 module = zipimport.zipimporter(os.path.dirname(metafile.full_real_path)).load_module('testconf') | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
176 except zipimport.ZipImportError: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
177 pass | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
178 else: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
179 del sys.modules['testconf'] | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
180 if not module: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
181 try: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
182 with metafile.open() as f: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
183 module = imp.load_module('testconf', f, metafile.full_real_path, ('.py', 'r', imp.PY_SOURCE)) | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
184 # Handle the case when f is not a true file object but imp requires one | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
185 except ValueError: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
186 # FIXME: 2.5 lacks the delete parameter | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
187 with tempfile.NamedTemporaryFile(delete=False) as f: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
188 inputdatafname = f.name | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
189 metafile.copy(inputdatafname) | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
190 with ReadDeleting(inputdatafname) as f: | 
| 
 
b500e117080e
Bug fixes and overhead reduction
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
24 
diff
changeset
 | 
191 module = imp.load_module('testconf', f, metafile.full_real_path, ('.py', 'r', imp.PY_SOURCE)) | 
| 21 | 192 del sys.modules['testconf'] | 
| 193 for name in defaults_global: | |
| 194 setattr(module, name, getattr(module, name, defaults_global[name])) | |
| 43 | 195 if not options.erase: | 
| 196 for name in defaults_noerase: | |
| 197 setattr(module, name, getattr(module, name, defaults_noerase[name])) | |
| 
79
 
ee8a99dcaaed
Renamed configuration variable tasknames to problems
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
78 
diff
changeset
 | 
198 if hasattr(module, 'tasknames'): | 
| 
 
ee8a99dcaaed
Renamed configuration variable tasknames to problems
 
Oleg Oshmyan <chortos@inbox.lv> 
parents: 
78 
diff
changeset
 | 
199 module.problems = module.tasknames | 
| 21 | 200 global globalconf | 
| 201 globalconf = module | |
| 202 sys.dont_write_bytecode = dwb | |
| 203 return module | 
