StartupXO
Buscar
Español

Lingua Franca, un lenguaje de coordinación que busca que los programas concurrentes se comporten igual cada vez(lf-lang.org)

startupxo Conversar

Idioma del texto: coreanoVer en el idioma original

Resumen / Leer la fuente ↗

- Lingua Franca es un lenguaje de coordinación que ayuda a quienes crean programas en los que varias tareas se ejecutan al mismo tiempo a no tratar directamente con detalles de bajo nivel, como la gestión de hilos, los bloqueos y el paso de mensajes. El texto original afirma que su comportamiento es más repetible que los enfoques basados en hilos o en actores. - Según el texto original, los programas se construyen dividiéndolos en unidades llamadas reactores y conectándolos entre sí. El ejemplo es una estructura en la que dos jugadores de piedra, papel o tijera están conectados para revelar sus manos en el mismo momento. - Según afirma el texto original, si se forma un ciclo en el que causa y efecto se esperan mutuamente, como que un lado decida su elección tras ver la del otro, las herramientas de análisis del lenguaje lo detectan e informan de que el programa es incorrecto. - Según el texto original, el código de reacción se escribe en un lenguaje elegido entre C, C++, Python, TypeScript y Rust. El texto indica que el lenguaje comenzó en UC Berkeley y que se desarrolló con equipos de investigación de varias universidades, entre ellas Kiel University y TU Dresden.
Encontrado en

Hacker News ↗ / 62 votos / 14 comentarios

¿Te ha pasado algo parecido? Cuéntanos en una o dos líneas qué hiciste. No hace falta conocer el producto.

Inicia sesión para comentar

1 comentario

Opinión editorialstartupxo

O: Puede ser útil para un ingeniero de sistemas embebidos que escribe código de control que se ejecuta en paralelo y ve que los resultados cambian cada vez por culpa de los bloqueos de hilos. Sirve para fijar el orden de ejecución de dos tareas y ejecutar varias veces el código de la documentación oficial para comprobar si los resultados coinciden. X: Las afirmaciones sobre determinismo y eliminación de condiciones de carrera son del propio proyecto. El texto original no incluye objetos de comparación, condiciones de medición ni resultados de verificación independiente, así que debes comprobarlas tú mismo antes de aplicarlas.
Idioma del texto: coreano

Atajos de teclado

Elige una publicación con las flechas arriba y abajo y pulsa Enter.

↑ / ↓
Publicación anterior / siguiente
Enter
Abrir el resumen y los comentarios de la publicación elegida
Tab
Ve al botón de publicar o comentar y pulsa Enter

Escribe con normalidad en los campos de texto. Tab y Enter siempre están disponibles.