Programación para ordenadores con electricidad intermitente

Ejecución intermitente Con Internet de Cosas, está surgiendo una nueva clase de sistemas de recolección y procesamiento de datos que incluye dispositivos demasiado pequeños para contar con baterías que no pueden depender de cables. Para funcionar, estos dispositivos utilizan la llamada cosecha de energía, capturando la electricidad que necesitan de su entorno. El problema es que para que estos dispositivos se vuelvan más complejos y funcionales, necesitan sistemas de software que sean radicalmente diferentes de los que se ejecutan en computadoras y teléfonos móviles. Por ejemplo, si extrae el ordenador del tomacorriente o de la batería del teléfono, dejan de funcionar inmediatamente. Esta es la característica fundamental de los equipos autónomos que necesitan ser operados a tiempo completo por fuentes tales como vibraciones ambientales, calor, ondas de radio o incluso energía eólica y solar que no están disponibles continuamente. Por lo tanto, requerirán la creación de sistemas operativos y software capaces de "ejecución intermitente", deteniéndose cuando la energía falla y regresando desde el mismo punto cuando se restablece la energía. Lenguaje de programación para Internet de las Cosas Un paso importante en esta dirección ha sido dado por Alexei Colin y Brandon Lucia de Carnegie Mellon University en los Estados Unidos que han creado el primer lenguaje de programación diseñado para generar programas confiables para las computadoras intermitentes que trabajan sobre la base de la recolección de energía. El nuevo lenguaje de programación, llamado Chain, obliga al programador a definir un conjunto de tareas computacionales -instrucciones o rutinas- que procesan e intercambian datos a través de una nueva forma de manipular la memoria del ordenador, llamada "canal". El lenguaje de cadena garantiza una ejecución correcta y ordenada de las tareas en cada canal, independientemente de un fallo de alimentación arbitrario. "Cuando la energía no está disponible continuamente, los fallos interrumpen la ejecución del software, por lo general conduce a errores irrecuperables.Corneo soluciona este problema, requiriendo que las tareas computacionales en el programa utilizan una nueva abstracción de memoria basada en canales que garantiza que las tareas son Completado sin error ", dijo Brandon. Cuando se interrumpe la alimentación, los canales aseguran que cada instrucción siempre tenga una versión intacta de los datos que necesita cuando la energía regrese. Los dos investigadores dicen que reiniciar un programa de cadena después de un corte de energía cuesta prácticamente cero porque el sistema no funciona como los programas convencionales, que utilizan mecanismos como los puntos de control de memoria. Las instrucciones de las tareas no se enlazan directamente entre sí, por medio de canales, que mantienen el conjunto de datos de cada uno incluso cuando el ordenador se reinicia. Software para el espacio Brandon escribió: "El potencial beneficio de sistemas informáticos confiables basados en la recolección de energía es enorme", agregó. "Los satélites más pequeños están proliferando y la industria espacial en sí misma se está expandiendo.Si podemos asegurar que incluso los minúsculos satélites basados en la recolección de energía se ejecuten sin interrupción, podemos hacer más fácil llevar a cabo la investigación científica en el espacio.Tales como el descubrimiento de recursos naturales extraterrestres utilizando Esta tecnología ", Podemos disparar micro-satélites al espacio y de vez en cuando nos traen información que incluye meteoros que aún no han sido detectados