Adlair Cerecedo

Llegué a la ciudad de Tapachula el 24 de este mes y llegué sin mi celular. Resulta que hace dos visitas a Tapachula por ahí de Marzo o Abril, no recuerdo bien, mi celular fue robado casi casi en mi presencia, bastó un descuido para que desapareciera. Sin embargo, hoy por la tarde encontré a la persona que lo tenía. Cómo saber que era mi teléfono?, pues bien, mi teléfono es un Sony Ericsson W300i (ustedes pensarán que es un teléfono X pero era mío), mientras estaba cotorreando con unos viejos camaradas ví que una persona tenía un teléfono similar, se lo pedí prestado para ver que tenía de nuevo, sin embargo empecé a notar que tenía cosas que había bajado de la red para mi teléfono, cosas como unos temas únicos: Linux Vs. Windows (quién más podría tener un tema así que no sea amante de las computadoras?), un par de temas de Metallica el cuál a uno le había modificado el nombre a Metali-K y casualmente tenia ese mismo nombre, y otros más que son sin importancia. Debo mencionar que estos temas no le interesaban a mis amigos por lo que nunca los compartí así que esa persona se convirtió en un sospechoso potencial, lo llamé, hablamos y le decomisé el teléfono para checarlo y ya conectado a mi computadora faltaba analizar algo que seria clave y seguro, checar el archivo Traceability el cuál había modificado cuando lo compré y apareció lo siguiente:

Haz click aqui para agrandar la imagen

Como se darán cuenta aparece mi nombre como propietario y una fecha de creación del 27 de Enero de este año. Ahora lo que necesito es comprobar de manera segura que esto es cierto ya que esta persona insiste en que es de él y que se lo quite a la “malagueña” y quisiera cerrarle la boca porque además de todo era un “cuate”, así es, no hay que confiar en nadie. Ojalá y los que leen puedan darme sugerencias. De todas formas iré a Telcel a pedir algún documento comprobable para que no piense que he modificado el Traceability de mi chip.

Hace unos días el Ing. Luis Álvarez Oval catedrático de la materia de Sistemas Operativos me envió una información muy interesante en la que se hace un analisis minucioso a los hilos (threads). Cuántos de nosotros hemos preferido dentro de la programación concurrente el uso de threads?, sólo porque son de memoria compartida, su especificación parece ser más optima o simplemente porque es la “moda”, pero la verdad es que la universidad de Berkeley en California se encargó de analizar este método y como resultado fork sigue siendo la opción más viable, aunque es un poco mas lento pero tiene un punto a favor, fork es un finito determinista.

Muchos de los que leen este post no lo imaginaban y deben estar sorprendidos aunque muchos otros ya lo sepan pero si, los hilos (threads) son finitos NO deterministas… ¿Qué significa esto? Bien, las embarazosamente llamadas aplicaciones paralelas que esencialmente engendran múltiples procesos independientes tales como herramientas de construcción (PVM gmake) o Servidores Web. Dada esta independencia de las aplicaciones, la programación es relativamente fácil y la abstracción usada es mucho más parecida a los procesos que a los hilos. ¿Cómo es esto? Desde una perspectiva fundamental los hilos están seriamente debilitados como modelo computacional ya que son salvajemente no deterministas. El trabajo del programador es eliminar ese no determinismo. Se han desarrollado herramientas que nos ayudan a la eliminación: Semáforos, monitores y los modernos hilos ofrecen al programador una eliminación mucho más efectiva. Pero eliminar una masa salvaje de zarzas raramente produce una cerca satisfactoria.

Una oportunidad más desafiante y de largo plazo podría adaptar la teoría de la computación para que ésta provea mejores fundamentos al cálculo concurrente. Aunque los investigadores han hecho un considerable progreso en ésta dirección, mucho más debe de ser hecho. Además de la computación secuencial modelada como funciones proyectando secuencias de bits, un correspondiente modelo concurrente que, en lugar de una función:

f: B** AE B**

De un cálculo concurrente como una función

f: (T AE B**) AE (T AE B**)

Con conjunto de etiquetas T total o parcialmente ordenado, donde el orden puede representar el tiempo, causando mas relaciones de dependencia. Un calculo visto de éste modo proyecta un patrón de bits en evolución. Ésta fórmula básica ha demostrado ser adaptable a muchos modelos de cálculo concurrentes. Lograr la concurrencia en software es difícil.

Si esperamos que la programación concurrente se convierta en el modelo principal, y si demandamos confiabilidad y previsibilidad de los programas, debemos de descartar los hilos como modelo de programación. Podemos construir modelos de programación concurrente que sean mucho más previsibles y comprensibles que los hilos basados en un simple principio: las metas deterministas deben ser logradas con medios deterministas. El indeterminismo debe ser juiciosa y cuidadosamente introducido solo donde sea necesario, y debe de ser explicito en los programas. Este principio parece obvio, pero los hilos no lo cumplen. Deben de ser relegados a un laboratorio de computación, pare ser experimentados solo por expertos proveedores de tecnología. ¿Seguimos usando hilos?, ¿qué opinas?

Pero como viajo, dios mío!!!… :p… Bien pues actualmente me encuentro en mi Altotonga visitando a mi abuelo y demás familia pero lamentablemente mañana regreso a Tuxpan. Es una lástima que conozca muy poca gente de Altotonga a pesar de ser el pueblo donde nací pero ya conoceré gente.

Palacio Municipal de Altotonga, Veracruz

Por si fuera poco (respecto a los viajes), la otra semana viajo a Tapachula nuevamente pero esta vez con mi madre y mi padre nos alcanzará allá. Aprovecharé a visitar algunos nerds y geeks Linuxeros.

Cambiando de tema, estuve platicando con Tigrux acerca de un proyecto que tengo en mente, de hecho envié algunos mails buscando puntos de vista y orientación, próximamente mencionaré al respecto.

Sandino Flores “Tigrux”

Aprovecho para enviarle un saludo y una felicitación a Eric “Crac” por su cumpleaños.

Buena caricatura del “Crac”

Hasta la vista!!!