#!/usr/bin/env python2.4
# -*- encoding: iso-8859-1 -*-
# vim: set et sw=4 sts=4 :

# Módulos estándar
import os
import pwd
import time
import signal
import glob
import shutil
import datetime
import subprocess
import email.MIMEMultipart
# Módulos locales
import sercom
import sercom.sqlo
from sercom.sqlo import *

class secure_process:
    def __init__(self, chroot, uid, gid, cpu):
        self.chroot = chroot
        self.uid = uid
        self.gid = gid
        self.cpu = cpu
    def __call__(self):
        from os import chroot, setuid, setgid
        import resource
        chroot(self.chroot)
        setgid(self.gid)
        setuid(self.uid)
        x2 = lambda val: (val, val) # Devuelve una tupla con val 2 veces
        resource.setrlimit(resource.RLIMIT_AS, x2(20*1024*1024))
        resource.setrlimit(resource.RLIMIT_CORE, x2(0))
        resource.setrlimit(resource.RLIMIT_CPU, x2(self.cpu))
        resource.setrlimit(resource.RLIMIT_DATA, x2(20*1024*1024))
        resource.setrlimit(resource.RLIMIT_FSIZE, x2(20*1024*1024)) #XXX Obtener de archivos esperados?
        #resource.setrlimit(resource.RLIMIT_LOCKS, x2(100)) XXX NO EXISTE EN python
        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, log
    log.debug('Murió el hijo')
    hijo_muerto = True

def sigterm(signum, frame):
    """Signal handler para SIGTERM y SIGINT."""
    global continuar, log
    continuar = False
    log.debug('Señal %d recibida', signum)

def compilar(intento, mail):
    global log
    # Busco makefile
    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), 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
    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?
    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
    # 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 = conf.get('general', 'tiempo_cpu')
    tiempo_cpu = int(tiempo_cpu)
    # Creo prueba nueva
    prueba = Prueba(intento=intento, casoDePrueba=caso_de_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
    options = {
        'cwd': intento.chrootPath,
        'close_fds': True,
        'preexec_fn': secure_process(intento.chrootPath, uid, gid, tiempo_cpu),
    }
    if os.path.exists(os.path.join(caso_de_prueba.path, 'stdin')):
        options['stdin'] = file(os.path.join(caso_de_prueba.path, 'stdin'), 'r')
    if os.path.exists(os.path.join(caso_de_prueba.path, 'stdout')):
        options['stdout'] = subprocess.PIPE
    if os.path.exists(os.path.join(caso_de_prueba.path, 'stderr')):
        options['stderr'] = subprocess.PIPE
    # Ejecuto programa
    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)
    try:
        proc = subprocess.Popen(params, **options)
    except Exception, e: # FIXME poner en el manejo de exceptiones estandar
        try:
            print e.child_traceback
            raise
        except:
            raise
    os.seteuid(uid) # Mortal de nuevo
    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 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)
        os.kill(proc.pid, signal.SIGKILL)
        os.seteuid(uid) # Mortal de nuevo
        log.debug('Prueba cancelada (kill)')
        proc.wait()
        prueba.observaciones = 'Excedió el límite de tiempo de ejecución ' \
            '(%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 = 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)
        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
        mail.agregarResultado(prueba)
        return prueba
    # Si tenemos que verificar el código de retorno
    if caso_de_prueba.codigoRetorno is not None:
        #FIXME trucho lo de 256
        # Si el código de error esperado es 256 => el código de error debe ser != 0
        # Si no el código de error esperado debe ser igual al obtenido
        if caso_de_prueba.codigoRetorno != proc.returncode \
                or caso_de_prueba.codigoRetorno == 256 \
                    and proc.returncode != 0:
            log.debug('Código de retorno incorrecto (debía ser %d y se obtuvo %d)',
                caso_de_prueba.codigoRetorno, proc.returncode)
            prueba.pasada = False
            prueba.observaciones = 'Código de retorno incorrecto (debía ' \
                'ser %d y se obtuvo %d)' % (caso_de_prueba.codigoRetorno,
                proc.returncode)
            mail.agregarResultado(prueba)
            return prueba
    # Verifico salidas estándar/de error
    prueba.pasada = True # Asumo que está bien, ya habrá tiempo para cambiarlo
    obs = diff(prueba, mail, proc.stdout.readlines(),
        file(os.path.join(caso_de_prueba.path, 'stdout')).readlines(),
        'stdout', longname='La salida estándar')
    obs += diff(prueba, mail, proc.stderr.readlines(),
        file(os.path.join(caso_de_prueba.path, 'stderr')).readlines(),
        '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(), 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)
    if obs:
        prueba.observaciones = obs
    mail.agregarResultado(prueba)
    log.debug('Resultado de la prueba: %s', prueba)
    return prueba

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 0.3'
        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')
log.info('Iniciado')

# Obtengo id de usuario con el cual ejecutar las pruebas
uid, gid = pwd.getpwnam(conf.get('general', 'user'))[2:4]

# Cambio UID efectivo
os.seteuid(uid)

# 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
while continuar:
    # Busco intento a probar
    intento = Intento.getProximoAProbar(conn)
    if not intento:
        log.debug('No hay intento para probar')
        time.sleep(intervalo)
        continue
    log.info('Nuevo intento a probar (%s)', intento)
    mail = MailIntento(intento)
    # Compila
    compilar(intento, mail)
    if not intento.compila:
        mail.send('NO COMPILA')
        continue
    # Ejecución de casos de prueba
    intento.inicioPruebas = datetime.datetime.now()
    resultado = True
    for caso_de_prueba in intento.entrega.ejercicio.casosDePrueba:
        # Preparo chroot
        preparar(intento)
        # Pruebo y agrego prueba a la lista
        prueba = probar(intento, caso_de_prueba, mail)
        resultado = resultado and prueba.pasada
        if not prueba.casoDePrueba.privado and not prueba.pasada:
            resultado = False
        # Limpio chroot
        limpiar(intento)
    intento.finPruebas = datetime.datetime.now()
    # 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