import pwd
import time
import signal
+import glob
import shutil
import datetime
import subprocess
+import email.MIMEMultipart
# Módulos locales
import sercom
-from sercom.dbo import *
+import sercom.sqlo
+from sercom.sqlo import *
class secure_process:
def __init__(self, chroot, uid, gid, cpu):
resource.setrlimit(resource.RLIMIT_MEMLOCK, x2(100))
resource.setrlimit(resource.RLIMIT_NOFILE, x2(100))
resource.setrlimit(resource.RLIMIT_NPROC, x2(0))
+ # Tratamos de forzar un sync para que entre al sleep del padre
+ time.sleep(0)
def sigchld(signum, frame):
"""Signal handler para SIGCHILD."""
- #global hijo_muerto
- #hijo_muerto = True
- pass
+ global hijo_muerto, log
+ log.debug('Murió el hijo')
+ hijo_muerto = True
def sigterm(signum, frame):
"""Signal handler para SIGTERM y SIGINT."""
continuar = False
log.debug('Señal %d recibida', signum)
-def compilar(intento, intento_dir, entrega_dir, log):
+def compilar(intento, mail):
+ global log
# Busco makefile
- makefile = os.path.join(entrega_dir, 'Makefile')
- if not os.path.exists(makefile):
- makefile = os.path.join(data_dir, 'Makefile')
- shutil.copy(makefile, intento_dir)
+ makefile = os.path.join(intento.entrega.ejercicio.path, 'Makefile')
# Compilo
log.debug('Ejecutando: make -f %s', makefile)
intento.inicioCompila = datetime.datetime.now()
- make = subprocess.Popen(('make', '-f', makefile), stdout=subprocess.PIPE,
- stderr=subprocess.PIPE, cwd=intento_dir)
+ make = subprocess.Popen(('make', '-f', makefile), stderr=subprocess.PIPE,
+ cwd=intento.path)
make.wait()
intento.finCompila = datetime.datetime.now()
log.debug('Fin del comando: make -f %s', makefile)
# Verifico compilación
- if make.returncode:
- log.debug('Error al compilar, código de retorno: %d, salida estándar: '
- '%s, salida de error: %s)', make.returncode, make.stdout.read(),
- make.stderr.read())
- intento.compila = False
- #TODO enviar_respuesta(R_ERR, $mail, "ERROR AL COMPILAR!\n\n$err\n\nCódigo de retorno: $ret\n", $intento);
- return False
- log.debug('Compilado OK')
- intento.compila = True
- #TODO mail acumulativo
- return True
-
-def preparar(intento_dir, chroot_dir):
+ stderr = make.stderr.read()
+ intento.compila = not make.returncode
+ msg = 'Compilación: '
+ if intento.compila and not stderr:
+ msg += 'BIEN'
+ elif intento.compila:
+ msg += 'CON ADVERTENCIAS'
+ else:
+ msg += 'ERROR (código de retorno: %d)' % make.returncode
+ mail.body += msg
+ if stderr:
+ msg += '''
+Salida:
+------------------------------------------------------------------------
+%s
+------------------------------------------------------------------------
+
+''' % stderr
+ mail.body += "\n(se adjunta salida, archivo 'make.stderr')\n"
+ mail.attachText(stderr, 'make.stderr')
+ mail.body += '\n\n'
+ intento.observaciones = msg + '\n\n'
+ log.debug(msg)
+
+def preparar(intento):
# Creo chroot - TODO copiarlo de algún lado donde ande el valgrind?
- ejecutable = os.path.join(chroot_dir, 'tp')
- os.mkdir(chroot_dir)
- shutil.move(os.path.join(intento_dir, 'tp'), ejecutable)
+ os.mkdir(intento.chrootPath)
+ shutil.copy(os.path.join(intento.path, 'tp'),
+ os.path.join(intento.chrootPath, 'tp'))
+
+def limpiar(intento):
+ # Borro chroot entero
+ shutil.rmtree(intento.chrootPath)
+
+def probar(intento, caso_de_prueba, mail):
+ def diff(prueba, mail, orig, new, name, origname='alumno', newname='catedra', longname=None):
+ from difflib import unified_diff, HtmlDiff
+ #TODO diferenciar pruebas públicas de privadas
+ if longname is None: longname = name
+ diff = ''.join(list(unified_diff(orig, new, fromfile=name+'.'+origname, tofile=name+'.'+newname)))
+ nota = ''
+ if diff:
+ prueba.pasada = False
+ nota = "- %s no coincide con lo esperado (archivo '%s.diff').\n" % (longname, name)
+ if not prueba.casoDePrueba.privado:
+ mail.attachText(diff, name + '.diff')
+ diff = HtmlDiff().make_file(orig, new, fromdesc=name+'.'+origname, todesc=name+'.'+newname, context=True, numlines=3)
+ mail.attachText(diff, name + '.diff.html', 'html')
+ return nota
+ def usa_stdin():
+ return os.path.exists(os.path.join(caso_de_prueba.path, 'stdin'))
+ def usa_stdout():
+ return os.path.exists(os.path.join(caso_de_prueba.path, 'stdout'))
+ def usa_stderr():
+ return os.path.exists(os.path.join(caso_de_prueba.path, 'stderr'))
-def probar(intento, caso_de_prueba, uid, gid, chroot_dir, conf, conn, log):
+ # Cosas útiles
+ global log, conn, conf, uid, gid
+ # Para manejo de SIGCHLD
+ global hijo_muerto
+ hijo_muerto = False
# Obtengo datos útiles del caso de prueba
tiempo_cpu = caso_de_prueba.tiempoCpu
if tiempo_cpu is None:
tiempo_cpu = int(tiempo_cpu)
# Creo prueba nueva
prueba = Prueba(intento=intento, casoDePrueba=caso_de_prueba,
- inicio=datetime.datetime.now(), connection = conn)
- log.debug('Prueba: %s', prueba)
+ inicio=datetime.datetime.now(), connection=conn)
+ log.debug('Iniciando prueba: %s', prueba)
+ log.debug('Caso de prueba: %s', prueba.casoDePrueba)
# Abro archivos para fds básicos
- #XXX sacar nombres de archivos de prueba????
- #stdin = file(os.path.join(intento_dir, 'stdin'), 'r')
- stdout = file(os.path.join(intento_dir, 'stdout'), 'w')
- stderr = file(os.path.join(intento_dir, 'stderr'), 'w')
+ options = {
+ 'cwd': intento.chrootPath,
+ 'close_fds': True,
+ 'preexec_fn': secure_process(intento.chrootPath, uid, gid, tiempo_cpu),
+ }
+ if usa_stdin():
+ options['stdin'] = file(os.path.join(caso_de_prueba.path, 'stdin'), 'r')
+ if usa_stdout():
+ options['stdout'] = subprocess.PIPE
+ if usa_stderr():
+ options['stderr'] = subprocess.PIPE
# Ejecuto programa
- log.debug('Ejecutando /tp %s', caso_de_prueba.parametros)
+ params = ['/tp']
+ if caso_de_prueba.parametros:
+ params += params2seq(caso_de_prueba.parametros)
+ log.debug('Ejecutando %s', ' '.join(params))
os.seteuid(0) # Dios! (para chroot)
- # FIXME caso_de_prueba.parametros
try:
- proc = subprocess.Popen('/tp', stdout=stdout, stderr=stderr, #stdin=stdin,
- preexec_fn=secure_process(chroot_dir, uid, gid, tiempo_cpu))
+ proc = subprocess.Popen(params, **options)
except Exception, e: # FIXME poner en el manejo de exceptiones estandar
try:
- print e.child_traceback
+ log.debug('ERROR! Trace del hijo: %s', e.child_traceback)
raise
except:
raise
os.seteuid(uid) # Mortal de nuevo
- time.sleep(tiempo_cpu)
+ if not hijo_muerto: # Recibido por el sigchld, para saber si murió
+ time.sleep(tiempo_cpu) # Controlo que no tarde mucho
# Si el proceso sigue andando lo tenemos que matar
- if proc.poll() is None:
+ if not hijo_muerto:
log.debug('La prueba tardó más del tiempo permitido (%d segundos)',
tiempo_cpu)
os.seteuid(0) # Dios! (corre como Dios, hay que matarlo como Dios)
'(%d seg)' % tiempo_cpu
prueba.fin = datetime.datetime.now()
prueba.pasada = False
+ mail.agregarResultado(prueba)
return prueba
proc.wait() # Para que no queden zombies
- prueba.fin = str(datetime.datetime.now())
+ prueba.fin = datetime.datetime.now()
# Salió con una señal?
if proc.returncode < 0:
sig = -proc.returncode
- log.debug('El programa salió con la señal %d', sig)
+ sigs = {}
+ for s in [s for s in dir(signal) if s.startswith('SIG') and s.isalpha()]:
+ sigs[getattr(signal, s)] = s
+ log.debug('El programa salió con la señal %s', sigs[sig])
prueba.pasada = False
#TODO otras señales conocidas
if sig == signal.SIGXCPU:
prueba.observaciones = 'Excedió el límite de tiempo de CPU ' \
'(%d seg)' % tiempo_cpu
else:
- prueba.observaciones = 'Salió con la señal %d' % sig
+ prueba.observaciones = 'Salió con la señal %s' % sigs[sig]
+ mail.agregarResultado(prueba)
return prueba
# Si tenemos que verificar el código de retorno
if caso_de_prueba.codigoRetorno is not None:
prueba.observaciones = 'Código de retorno incorrecto (debía ' \
'ser %d y se obtuvo %d)' % (caso_de_prueba.codigoRetorno,
proc.returncode)
- #TODO verificar salidas, hacer diff
+ mail.agregarResultado(prueba)
+ return prueba
+ # Verifico salidas estándar/de error
+ prueba.pasada = True # Asumo que está bien, ya habrá tiempo para cambiarlo
+ obs = ''
+ if usa_stdout():
+ obs += diff(prueba, mail, proc.stdout.readlines(),
+ file(os.path.join(caso_de_prueba.path, 'stdout')).readlines(),
+ caso_de_prueba.nombre + '.stdout', longname='La salida estándar')
+ if usa_stderr():
+ obs += diff(prueba, mail, proc.stderr.readlines(),
+ file(os.path.join(caso_de_prueba.path, 'stderr')).readlines(),
+ caso_de_prueba.nombre + '.stderr', longname='La salida de error')
+ for f in caso_de_prueba.archivosSalida:
+ if f not in prueba.archivosSalida:
+ #TODO agregar error FALTA ARCHIVO
+ log.debug('Falta el archivo %s y no lo hizo.', f)
+ prueba.pasada = False
+ obs += "- Falta el archivo de salida '%s'.\n" % f
+ continue
+ obs += diff(prueba, mail,
+ file(os.path.join(intento.chrootPath, f)).readlines(),
+ file(os.path.join(caso_de_prueba.pathSalidas, f)).readlines(),
+ caso_de_prueba.nombre + '.' + f)
+ for f in prueba.archivosSalida - (caso_de_prueba.archivosSalida | caso_de_prueba.archivosEntrada):
+ #TODO agregar error SOBRA ARCHIVO
+ log.debug('El programa debía generar el archivo %s y no lo hizo.', f)
+ prueba.pasada = False
+ obs += "- Se generó un archivo ('%s') que no se esperaba.\n" % f
log.debug('Fin de ejecución de caso de prueba (hijo: %d, ret: %d)',
proc.pid, proc.returncode)
- prueba.pasada = True
- log.debug('Prueba OK: %s', prueba)
+ if obs:
+ prueba.observaciones = obs
+ mail.agregarResultado(prueba)
+ log.debug('Resultado de la prueba: %s', prueba)
return prueba
-# Conecto señales
-signal.signal(signal.SIGCHLD, sigchld)
+def params2seq(params):
+ r"""Parsea un string de forma similar al bash, separando por espacios y
+ teniendo en cuenta comillas simples y dobles para agrupar. Para poner
+ comillas se puede usar el \ como caracter de escape (\' y \") y también
+ interpreta \n y \t. Devuelve una lista con los parámetros encontrados."""
+ # Constantes
+ SEP, TOKEN, DQUOTE, SQUOTE = ' ', None, '"', "'"
+ seq = []
+ buff = ''
+ escape = False
+ state = SEP
+ for c in params:
+ # Es un caracter escapado
+ if escape:
+ if c == 'n':
+ buff += '\n'
+ elif c == 't':
+ buff += '\t'
+ else:
+ buff += c
+ escape = False
+ continue
+ # Es una secuencia de escape
+ if c == '\\':
+ escape = True
+ continue
+ # Si está buscando espacios
+ if state == SEP:
+ if c == SEP:
+ continue
+ else:
+ state = TOKEN # Encontró
+ if state == TOKEN:
+ if c == DQUOTE:
+ state = DQUOTE
+ continue
+ if c == SQUOTE:
+ state = SQUOTE
+ continue
+ if c == SEP:
+ state = SEP
+ seq.append(buff)
+ buff = ''
+ continue
+ buff += c
+ continue
+ if state == DQUOTE:
+ if c == DQUOTE:
+ state = TOKEN
+ continue
+ buff += c
+ continue
+ if state == SQUOTE:
+ if c == SQUOTE:
+ state = TOKEN
+ continue
+ buff += c
+ continue
+ raise Exception, 'No tiene sentido'
+ if state == DQUOTE or state == SQUOTE:
+ raise Exception, 'Parse error, falta cerrar comilla (%s)' % state
+ if buff:
+ seq.append(buff)
+ return seq
+
+class MailIntento(email.MIMEMultipart.MIMEMultipart, object):
+ def __init__(self, intento):
+ global conf
+ from email.MIMEMultipart import MIMEMultipart
+ from email.MIMEMessage import MIMEMessage
+ from email.MIMEText import MIMEText
+ MIMEMultipart.__init__(self)
+ self.subject = '[%s] Resultado del intento %d (ejercicio %d.%d)' % \
+ (conf.get('mail', 'prefijo'), intento.numero,
+ intento.entrega.nroEjercicio, intento.entrega.entrega)
+ self['From'] = conf.get('mail', 'from')
+ self['To'] = intento.mailRespuesta
+ self['Reply-To'] = conf.get('mail', 'admin')
+ self['Return-Path'] = conf.get('mail', 'admin')
+ self['X-Mailer'] = 'sercom ' + sercom.VERSION
+ self['X-Priority'] = '5'
+ self.epilogue = 'Para ver correctamente este e-mail su cliente debe ' \
+ 'soportar MIME.\n\n'
+ self.prologue = '' # Garantiza que termine en \n el mensaje
+ self.attach(MIMEMessage(MIMEText('', 'plain', 'iso-8859-1')))
+ self.resultado = None
+ def __set_body(self, body):
+ self.get_payload(0).get_payload(0).set_payload(body)
+ def __get_body(self):
+ return self.get_payload(0).get_payload(0).get_payload()
+ body = property(__get_body, __set_body, doc='Cuerpo del mensaje.')
+ def attachText(self, text, nombre=None, subtype='plain'):
+ from email.MIMEText import MIMEText
+ attach = MIMEText(text, subtype, 'iso-8859-1')
+ if nombre:
+ attach.add_header('Content-Disposition', 'attachment', filename=nombre)
+ self.attach(attach)
+ def send(self, resultado=None):
+ import smtplib
+ global conf
+ smtp = smtplib.SMTP(conf.get('mail', 'smtp'))
+ if resultado:
+ self.subject += ': ' + resultado
+ self['Subject'] = self.subject
+ smtp.sendmail(self['From'], self['To'], self.as_string())
+ smtp.close()
+ def agregarResultado(self, prueba):
+ if not prueba.casoDePrueba.privado:
+ if prueba.pasada:
+ result = 'BIEN'
+ else:
+ result = 'ERROR'
+ self.body += '''
+Prueba '%s': %s
+%s
+''' % (prueba.casoDePrueba.nombre, result, prueba.observaciones or '')
+ pass
+
+
+# Manejadores de señales
signal.signal(signal.SIGTERM, sigterm)
signal.signal(signal.SIGINT, sigterm)
+signal.signal(signal.SIGCHLD, sigchld)
+hijo_muerto = False # Cambia con SIGCHLD
+continuar = True # Cambia con SIGTERM o SIGINT
# Inicializo
-conf, conn, log = sercom.init('test')
+conf, conn, log = sercom.init('test')
log.info('Iniciado')
# Obtengo id de usuario con el cual ejecutar las pruebas
-(uid, gid) = pwd.getpwnam(conf.get('general', 'user'))[2:4]
+uid, gid = pwd.getpwnam(conf.get('general', 'user'))[2:4]
# Cambio UID efectivo
os.seteuid(uid)
-# Algunas variables de configuración útiles
-data_dir = conf.get('general', 'data_dir')
+# Atajo
intervalo = float(conf.get('general', 'intervalo'))
+# Utilizo el directorio de datos como base para todos los SQLObjects
+sercom.sqlo.dir_base = conf.get('general', 'data_dir')
+
# Hasta que nos maten
-continuar = True # Cambia con una señal
while continuar:
# Busco intento a probar
intento = Intento.getProximoAProbar(conn)
log.debug('No hay intento para probar')
time.sleep(intervalo)
continue
- log.info('Nuevo intento a probar (%s)', intento)
- # Obtengo paths
- intento_dir = os.path.join(data_dir, intento.path('intentos'))
- entrega_dir = os.path.join(data_dir, 'ejercicios', str(intento.entrega.ejercicioID))
- chroot_dir = os.path.join(intento_dir, 'chroot')
+ log.info('Nuevo intento a probar (%d %d.%d.%d %d%d%d)',
+ intento.inscripto.padron, intento.entrega.nroEjercicio,
+ intento.entrega.entrega, intento.numero, intento.entrega.curso.anio,
+ intento.entrega.curso.cuatrimestre, intento.entrega.curso.curso)
+ mail = MailIntento(intento)
# Compila
- if not compilar(intento, intento_dir, entrega_dir, log):
+ compilar(intento, mail)
+ if not intento.compila:
+ log.info('Intento no compila')
+ mail.send('NO COMPILA')
continue
- # Prepara archivos
- preparar(intento_dir, chroot_dir)
# Ejecución de casos de prueba
intento.inicioPruebas = datetime.datetime.now()
- pruebas = []
+ resultado = True
for caso_de_prueba in intento.entrega.ejercicio.casosDePrueba:
- pruebas.append(probar(intento, caso_de_prueba, uid, gid, chroot_dir, conf, conn, log))
+ # Preparo chroot
+ preparar(intento)
+ # Pruebo y agrego prueba a la lista
+ prueba = probar(intento, caso_de_prueba, mail)
+ if not prueba.casoDePrueba.privado and not prueba.pasada:
+ log.info('Prueba %s no pasada' % prueba.casoDePrueba.nombre)
+ resultado = False
+ # Limpio chroot
+ limpiar(intento)
intento.finPruebas = datetime.datetime.now()
- #TODO make clean
- #TODO Armar mail de respuesta al alumno
- for prueba in pruebas:
- #TODO Si es publica, veo si se hizo ok o no y voy creando mail
- pass
- time.sleep(intervalo)
+ # Envío mail con resultado al alumno
+ if resultado:
+ mail.send('ACEPTADO')
+ else:
+ mail.send('FALLA PRUEBAS')
+ # Limpio directorio
+ log.debug('Borrando ejecutable y código objeto (*.o)')
+ os.remove(os.path.join(intento.path, 'tp'))
+ [os.remove(obj) for obj in glob.glob(os.path.join(intento.path, '*.o'))]
+ # time.sleep(intervalo) #XXX Puede servir para enlentecer el server
projects / software / sercom-old.git / blobdiff