Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Sistema Operativo Microcontroladores Pic Rtos PDF
Sistema Operativo Microcontroladores Pic Rtos PDF
Ultima actualizacin:
07/03/2007
RTOS
para
PIC
INTRODUCCIN:
Gracias a la labor del amigo Reinier Torres Labrada, del foro sobre
microcontroladores
TODOPIC,
ponemos
en
uControl
esta
Introduccin
a
los
Sistemas
Operativos
para
Microcontroladores.
Realmente, Reinier esta haciendo un muy buen trabajo con este
tema, y debido a que no hay demasiada informacin sobre RTOS para
PIC en espaol, es que vamos a ir recopilando en esta pagina sus post
sobre el tema. Como podrn ver, abundan los ejemplos, y sus
explicaciones son muy claras.
NDICE:
> Introduccin
> Presentacin de la gua
> Un poco de teora sobre los Sistemas Operativos (SO)
> Diferencias entre usar un SO o usar las libreras del compilador de turno
> Qu es un Sistema Operativo?
> Clasificacin de los SO
> Introduccin al RTOS de CCS
> Funciones del RTOS
> Controlando la ejecucin de las tareas
> Yield vs delay
> Coordinar para no daar
> En sus marcas, listos, FUERA!
> RTOS mail
> Datos de Contacto
> Bibliografa
2 de 22
(matemticos locos la mayora), no estaban interesados en conocer los detalles de las interfaces, controladores
y dems cacharros electrnicos que adornan a una computadora, y por otro lado algunos programadores ya
haban escrito controladores para esos dispositivos y por tanto los que venan detrs simplemente queran
utilizarlos y ya (algo parecido a lo que hacemos en el foro).
Pues bien, con el tiempo se acumularon programas tiles para manejar dispositivos y tareas complejas que
deban programar personas no interesadas en la electrnica, entonces la gente, que trabajaba en equipo,
organiz todo aquello de manera que los programadores, los programas y el hardware (HW) pudieran coexistir
sin que se produjera una guerra hubiteana (guerra en la que los hombres y los bits se pelean hasta que los
hombres se mueren de alguna clase de infarto o pierden a la mujer). Surgieron as los primeros intentos de
crear un SO y los hombres mantuvieron la Paz sobre la tierra y tambin la guerra fra, aunque las cosas se
calentaran a intervalos.
Pas el tiempo y lleg Bill Gates con DOS y luego Windows y Steve Jobs con su Mac, unos tipos ms listos y
cabrones que ingenieros o programadores. y despus tambin apareci Linus Torvalds con Linux, uno que
estaba ms loco que El Quijote y entonces las personas corrientes creyeron que en el mundo solo existen a lo
sumo tres SO (Windows, Mac, y Linux), pero no es as hay un montn de SO, algunos muy poderosos y otros
no tanto, dependiendo de en que lugar y para que se hayan diseado.
Como es lgico suponer, en la parte de la historia que les acabo de contar est el por qu los SO son tiles,
pero eso lo iremos viendo poco a poco porque hay muchas formas en las que un SO nos puede servir. Vamos a
ver algunas:
1) Un SO convierte a las computadoras en equipos tiles.
Pone una o varias capas de Software (SW) sobre el HW, y con eso podemos escribir programas y utilizar
programas ya escritos por otros para hacer otros programas escritos por nosotros mismos, sin tener que
meternos en detalles tales como bueno ahora mi procesador de textos ya trabaja y como guardo el
documento?. Seguramente si usted le dice al programador del procesador de texto que para guardar el
documento tiene que tirarse meses escribiendo las rutinas que guardan el doc. seguramente le da un ataque.
2) Un SO es una herramienta poderosa en la gestin de procesos.
Nosotros mismos cuando programamos los PICs tenemos que leer el puerto serie, escribir en una LCD,
controlar el motor y todas esas cosas las hacemos a la vez. Pero cada una de esas tareas podemos
considerarla un proceso, y un SO puede ayudarnos a gestionarlos eficientemente, aprovechando al mximo el
procesador. Por ejemplo en vez de poner al PIC a esperara a que el motor se mueva un poco poniendo una
demora, podemos utilizar ese tiempo en ir escribiendo un poco en la LCD y despus volver a donde nos
quedamos con el motor.
3) Un SO nos ayuda a disear ms rpido sistemas mas complejos.
Imagnense ahora una aplicacin donde tengamos que hacer clculos, encender y apagar cosas, comunicarnos
con otros dispositivos y otras tareas ms, y que adems tengamos que hacerlo rpido y trabajando con otras
personas. Entonces el concepto de divide y vencers nos pude ser til y un SO es el arma que podemos utilizar
para derrotar a nuestros enemigos: el tiempo y la complejidad. Pues s nos auxiliamos del SO para dividir y
gestionar los procesos, y con ello no eliminamos la complejidad pero le damos una vuelta elegante, y no
matamos al tiempo pero le damos menos oportunidad de que sea l el que nos mate y si no que el jefe nos
bote.
4) Un SO nos puede ayudar a hacer sistemas ms estables.
Ahora tenemos unas rutinas que demoran cierto tiempo en hacer unos clculos y como somos listos, hemos
activado el WatchDog (WD) para que si la cosa se cuelga en el campo se reinicie el sistema. Pero que pasa si
la rutina demora ms de lo debido y el WatchDog nos reinicia sin que haya ningn problema real?. Otra vez la
gestin de recursos nos puede ayudar en eso, ya que si nuestra tarea demora ms de lo debido el SO puede
quitarle el procesador para atender al WatchDog y darle el procesador a otra tarea que tambin lo necesita por
algn tiempo. Este caso tambin sirve cuando an sin el WD ponemos una llamada a una funcin que se queda
esperando indefinidamente por que ocurra algo que no ocurre y el cdigo que le sigue no se ejecuta en los
tiempos establecidos.
Bueno amigos, hasta aqu hemos visto algunas de las cosas en que puede ayudarnos un SO, y sera
maravilloso poder contar con esas herramientas para programar nuestros PIC. Ms adelante seguiremos
aprendiendo un poco sobre la teora de los SO, para despus meterle el cuerpo a los programas.
Hay algunos libros interesantes sobre los SO, les recomiendo uno que puede ayudarles mucho en esta primera
parte: Sistemas Operativos Diseo e Implementacin. Andrew S. Tanenbaum.
[Volver al ndice]
> Diferencias entre usar un SO o usar las libreras del compilador de turno.
Nocturno, un integrante del foro, le plantea a Reinier la siguiente pregunta, que es aprovechada para avanzar
en la explicacin de los SO:
3 de 22
4 de 22
Segn Tanenbaum, una de las personalidades ms reconocidas en el mundo acadmico de los SO, no es fcil
dar una definicin definitiva de lo que es un SO. El problema consiste en que los SO tienen la caracterstica de
comportarse para el usuario (que puede ser una persona cualquiera, un programador, o un programa de
computadora), como un tipo con "doble personalidad".
Veamos esto con ms detenimiento:
1) El SO como mquina extendida:
En esta faceta de la personalidad del SO, la caracterstica destacable es simplificar al programador los detalles
del funcionamiento de los dispositivos conectados al sistema.
Esta caracterstica se pone tambin de manifiesto en aplicaciones donde no se usan los SO, un ejemplo tpico
son las funciones output_x() e input_x() del compilador CCS. Un programador puede utilizar estas funciones
sin conocer que para que los datos se pongan en los pines o se lean, hay que cambiar varios registros en el
uC. Se dice que estas funciones son una abstraccin del proceso de E/S en puerto. Esto es bueno porque
ayuda a los programadores a desarrollar soluciones ms rpidamente y con menor probabilidad de errores ya
que si la funcin est bien escrita es poco probable que falle.
La funcin de la mquina extendida es ofrecer al programador una "interfaz" gracias a la cual se utilizan los
recursos del sistema, sin tener que profundizar demasiado en los detalles del funcionamiento de sus diferentes
componentes. Esta interfaz que el SO ofrece al programador o el usuario, se conoce comnmente como
Llamadas al Sistema o API (Aplication Programmer Interface).
Sin embargo esta visin de los sistemas operativos es poco aplicable a nuestro entorno, en el sentido en que
hoy se clasifican a las llamadas al sistema, ya que en nuestro mundo todo es pequeo en cuanto a capacidad y
el crear una mquina extendida poderosa consume recursos que usualmente no tendremos. Entonces en este
caso la mquina extendida queda limitada a algunas llamadas a funciones del SO y al uso de las libreras que
hasta el momento hemos utilizado habitualmente.
2) El SO como administrador de recursos:
En este caso el SO, se comporta como un administrador de nuestros recursos. La ventaja de tener alguien que
administre eficientemente los recursos consiste en que el SO ofrezca al usuario un conjunto de reglas para
compartir y hacer uso de los recursos disponibles con eficacia y eficiencia.
Un ejemplo de administracin de los recursos es el uso de la CPU, en un sistema sin SO, el programador tiene
que estar muy pendiente de la implementacin de su sistema, porque puede que determinados requisitos
temporales en la ejecucin de algunas funciones tengan que cumplirse.
En nuestro caso lo usual es que nos rompamos el coco manipulando interrupciones, poniendo demoras,
cambiando contadores y chequeando banderas Uf solo de pensarlo me dan ganas de llorar! Sin embargo un
SO puede hacerse cargo de todos esos temas de manera eficaz y eficiente, incluso ahorrando memoria y
tiempo, y nosotros los programadores concentrarnos en la implementacin de la solucin, ms que en la
gestin eficiente de nuestros recursos.
Por supuesto que el SO no es mago ni adivino, para ello debe ofrecernos un conjunto de mecanismos,
relativamente sencillos, que nos ayuden a "indicarle" o "pedirle" que es lo que queremos hacer.
En el caso de los uC, las implementaciones de los SO, se caracterizan por potenciar la administracin de
recursos del SO, por lo que es esta la faceta de personalidad que ms a menudo encontraremos en los RTOS.
[Volver al ndice]
5 de 22
facultad de quitarle el procesador y drselo a otro si usted se ha excedido en su tiempo o hay alguien que tiene
mayor prioridad.
En cuanto al destino hay unas cuantas clasificaciones pero me voy a concentrar en los RTOS. Un RTOS
(Sistema Operativo de Tiempo Real) es un sistema operativo concebido para dispositivos pequeos como los
uC. Aunque el concepto de "tiempo real" es muy controversial, la idea es ejecutar determinadas tareas de
forma que parece que cada tarea se est ejecutando en un sistema independiente, donde el procesador y el
resto de los recursos son slo para ella.
Los RTOS pueden ser utilizados tambin para computadoras grandes, pero la idea sigue siendo la misma,
ejecutar las tareas cumpliendo estrictamente con los requisitos temporales de cada una, sin violaciones de
ninguna ndole. Otro caso de SO, son los de propsito general como UNIX, LINUX, Windows, en este caso a
diferencia de los RTOS, las tareas cambian de prioridades en funcin de satisfacer las exigencias de los
humanos que actan como usuarios, no importa si algunas cosas se ejecutan o no cumpliendo tiempos
estrictos.
En la prxima entrega ya tendremos cdigo para ejecutar y ver como funciona un RTOS.
[Volver al ndice]
> Introduccin al RTOS de CCS
Despus de teorizar un poco sobre los Sistemas Operativos, vamos a introducirnos en la programacin de
aplicaciones empleando un RTOS.
En nuestro caso, para comenzar, utilizaremos el RTOS que viene con el compilador de CCS. Las razones de mi
eleccin las expongo a continuacin:
-
La versin del compilador que tengo instalada en estos momentos es la 3.249, as que si en versiones
posteriores han aparecido nuevas caractersticas, les ruego que lo informen para tomar las debidas
providencias en el momento oportuno, y comenzar a utilizar esas nuevas caractersticas.
El RTOS de CCS es un Sistema Operativo de Tiempo Real que implementa la tcnica de multiprocesamiento
cooperativo (non preemptive), por lo que es responsabilidad del programador asegurarse de que el control del
procesador retorna al planificador de tareas en algn momento. As que cuando programemos nuestra
aplicacin, tenemos que asegurarnos de que no llamamos a una funcin que se queda esperando por algn
evento largo como es el caso de gets(), o dentro de un lazo infinito o demasiado extenso.
Planificador de tareas
Uno de los elementos fundamentales de cualquier SO es el planificador de tareas, ste seor es el
administrador de nuestros recursos. Su misin fundamental es determinar dentro de las tareas que estn listas
para ejecutarse, a cul de ellas le entrega el procesador. La poltica de planificacin empleada por CCS no la
conozco, pero eso no importa porque el RTOS funciona y para lo que queremos hacer, nos sirve bien.
Directivas del preprocesador
Existen dos directivas del preprocesador para el uso del RTOS, ellas son:
#USE RTOS: Se utiliza para indicarle al compilador que se va a utilizar el RTOS
#TASK: Se utiliza para indicarle al compilador se la funcin definida a continuacin es una tarea a ejecutar por
el RTOS
Vamos a ver ms detenidamente cada una de las directivas, as como sus parmetros de configuracin:
#USE RTOS : Opciones del RTOS:
timer: especifica que temporizador, de los disponibles, es el que se utilizar para la ejecucin de las tareas.
Este temporizador solamente debe ser utilizado por el RTOS y tpicamente se escoge Timer0.
minor_cycle: especifica la cantidad de tiempo mnima que una tarea tendr para ejecutarse, y los tiempos de
ejecucin de cada tarea deben ser mltiplos de esta cantidad. Si por ejemplo decimos que el tiempo mnimo de
ejecucin para todas las tareas es de 1ms, debemos conocer que cada tarea se ejecutar, en menos tiempo
que este. Lo realmente importante de este dato es que ayuda a establecer la frecuencia con que se ejecutan
las tareas, luego veremos un ejemplo de esto. Este parmetro, si no se especifica, es calculado por el
compilador en el momento de la compilacin.
statistics: le indica al compilador que lleve las estadsticas de las tareas, esto sirve para conocer que tiempo
6 de 22
statistics: le indica al compilador que lleve las estadsticas de las tareas, esto sirve para conocer que tiempo
consume cada tarea en ejecutarse, sin embargo como veremos ms adelante, la estadstica realmente
importante es la que nos indica si nuestra tarea se ha sobrepasado en su tiempo mnimo de ejecucin.
#TASK: Opciones para las tareas:
rate: especifica con que frecuencia se ejecuta la tarea, este parmetro debe ser igual a minor_cycle de
#use_rtos o un mltiplo de este valor.
max: especifica que cantidad de tiempo debe consumir esta tarea en su ejecucin, si se sobrepasa este tiempo
y estn activadas las estadsticas, entonces esta tarea es marcada con el valor overrun. Este parmetro es til
para informar al programador que una tarea se ha pasado de su tiempo de ejecucin, y si el RTOS fuera de
tiempo compartido seguramente especificara el tiempo en que el planificador le retira el procesador para
drselo a otra tarea.
queue: especifica el tamao de la cola de mensajes de la tarea. Si la tarea no recibe mensajes, entonces debe
dejarse en blanco para no consumir memoria RAM innecesariamente.
Hasta aqu hemos visto una pequea explicacin de las directivas para utilizar el RTOS. Sin embargo, la
utilidad de esto es mejor verla con un ejemplo.
[Volver al ndice]
7 de 22
void Tarea2()
{
printf("Ejecutada tarea 2\r");
}
void Tarea3()
{
printf("Ejecutada tarea 3\r");
}
Este cdigo funciona y si lo simulan con el Proteus comprobarn que las cadenas salen por el puerto serie.
Como pueden ver es un ejemplo sencillo pero que muestra el funcionamiento del RTOS. Al ejecutarlo pueden
comprobar que primero se ejecuta la Tarea 1, pero despus comprobarn que las tareas no se ejecutan en
orden secuencial porque la Tarea 2 se ejecutar cada 2 segundos y la Tarea 3 cada 3 segundos.
La no ejecucin secuencial de cada tarea se debe al parmetro rate de la directiva #task, que le dice al
planificador con que frecuencia ejecutar cada tarea. Este programa puede ser fcilmente modificado para
cualquier aplicacin especfica, un ejemplo que se me ocurre es la lectura de teclados y eliminacin de rebotes.
[Volver al ndice]
Led Rojo parpadea con una frecuencia de 250ms por un perodo de 5s, el resto apagado.
Led Verde parpadea con una frecuencia de 350ms por un perodo de 10s, el resto apagado.
Led Amarillo parpadea con una frecuencia de 450ms por un perodo de 15s, el resto apagado.
Todos los LED parpadean, cada uno con su frecuencia correspondiente durante 5s.
Comenzamos por el LED rojo nuevamente y repetimos el ciclo.
8 de 22
iB0);
9 de 22
}
void LED_V()
{
iB1 = !iB1;
output_bit( PIN_B1,
if (iCountV++==27)
{
iCountV = 0;
rtos_disable(LED_V);
rtos_enable(LED_A);
}
}
void LED_A()
{
iB2 = !iB2;
output_bit( PIN_B2,
if (iCountA++==33)
{
iCountA = 0;
rtos_disable(LED_A);
rtos_enable(LEDS);
}
}
iB1);
iB2);
void LEDS()
{
if(!iLEDS)
{
rtos_enable(LED_R);
rtos_enable(LED_V);
rtos_enable(LED_A);
iLEDS = 1;
}
else
{
rtos_disable(LED_V); //Hay que habilitar y deshabilitar explcitamente
rtos_disable(LED_A); //cada tarea sobre todo LED_R que debe continuar
rtos_disable(LEDS); //ejecutndose otros 5 segundos ms
rtos_enable(LED_R);
iCountR = 0;
iCountV = 0;
iCountA = 0;
iLEDS = 0;
}
}
Cuando corran y simulen el ejemplo vern que a veces los LEDs se quedan encendidos o apagados
indistintamente, este es un problema del programa, ya que lo deseable sera que los LEDs se quedaran
apagados cuando termina la funcin. Sin embargo lo he dejado as porque en el futuro vamos a ver cmo
podemos hacer esto con las propias funciones del RTOS.
Como la vez anterior, les dejo de tarea hacerlo sin RTOS para ver como les queda, a mi llev menos de dos
horas elaborar el texto y escribir el cdigo. Me imagino que sin RTOS me tardara ms de un da completo,
consumira un montn de pginas de explicacin y otro montn para el cdigo.
Este es un mtodo simple, pero hay otros mucho ms elaborados que iremos viendo poco a poco. La prxima
entrega ser yield() vs delay(), vamos a ver el mtodo de las esperas eficientes.
[Volver al ndice]
10 de 22
ocupado en perder el tiempo, y es por eso que a este mecanismo se le llama espera ocupada.
Sin embargo un RTOS nos ofrece un conjunto de herramientas para eliminar este molesto inconveniente, el
ms sencillo de ellos es aquel que le permite a una tarea decirle al RTOS: ponme a dormir hasta que me toque
de nuevo mi turno de ejecutarme. Para ese efecto el RTOS de CCS implementa la funcin rtos_yield().
Este mecanismo es muy bueno puesto que mientras la tarea se duerme nuestro microcontrolador puede
dedicarse a realizar otras tareas tiles y hacer de la espera ocupada una espera eficiente. Para la tarea que
est dormida esto no representa nada, a ella le da lo mismo ocupar al procesador en hacer nada que en hacer
algo productivo, sin embargo no ocurre lo mismo para el resto de las tareas que estn esperando que se les
entregue el procesador.
Otro caso en que yield() nos puede ser til es para entregar el procesador cuando nos hemos pasado de
tiempo en la ejecucin de alguna tarea. Ya sabemos que el RTOS de CCS es cooperativo, por lo que si una
tarea consume ms tiempo de la cuenta puede hacer que el sistema colapse, ya que hay que entregar
explcitamente el procesador al RTOS para que se lo de a otra tarea.
Sin embargo con la funcin de las estadsticas habilitadas, podemos comprobar si alguna tarea se ha pasado
de tiempo, y con ello implementar mecanismos adecuados para que la tarea en cuestin reajuste su dinmica
y ceda el procesador oportunamente, para ello podemos auxiliarnos de la funcin rtos_overrun(). Esta funcin
no tiene valor si se usa dentro de una tarea para comprobar si ella misma se ha pasado porque la actualizacin
de las estadsticas se hace despus de ceder el procesador, considero que esta es una de las debilidades de
este RTOS, en ese sentido.
El uso de rtos_overrun(), debera poderse utilizar dentro de una misma tarea para comprobar si desde que me
cedieron el procesador para ejecutar, me he pasado de tiempo o no y en consecuencia entregar el procesador
al RTOS.
En el ejemplo que les traigo hoy vamos a emplear rtos_yield() para ceder el procesador y rtos_overrun() para
conocer si una tarea se ha pasado de tiempo.
Sin embargo yield() no es una funcin realmente poderosa, al menos en este RTOS, porque pone a dormir a la
tarea durante un perodo completo del valor rate, que especificamos al declarar la funcin como una tarea del
RTOS, y eso en ocasiones no es lo que deseamos. An as es mejor que el procesador de nuestro PIC est
haciendo algo til y no perdiendo el tiempo.
En las entregas futuras veremos otras funciones que nos ofrece este RTOS para hacer esperas ms eficientes
vinculadas al uso de recursos compartidos en nuestras aplicaciones. El uso eficiente del procesador, los
recursos del sistema y la no linealidad en la ejecucin de las tareas en un sistema que emplea SO, ha obligado
a los diseadores de SO a crear mecanismos para proteger los datos y hacer uso de esos recursos de forma
ordenada y segura. Estos mecanismos se clasifican en dos grupos: La sincronizacin y la coordinacin que
comenzaremos a ver en la prxima entrega.
Ejemplo:
Implemente en un PIC16F877 una aplicacin en la que se ejecuten tres tareas, con las siguientes
caractersticas:
- La tarea No. 1 Tendr un contador el cual se incrementa en un lazo hasta que alcanza el valor de 1000.
Cuando llegue a ese valor imprime el siguiente mensaje: Tarea contadora completada y adems pone una
bandera a 1, para indicar que ha concluido. Debe colocar en esta tarea cdigo para que la tarea ceda el
procesador en algn momento al RTOS. El tiempo mximo de ejecucin de esta tarea es de 10ms y debe
ejecutarse cada 30ms.
- La tarea No. 2 debe esperar a que la tarea No. 1 termine para enviar por el puerto serie un mensaje similar
al de la tarea No. 1, sin embargo, esta tarea tambin enviar, por el puerto serie, un mensaje cada vez que le
cede el procesador al RTOS. Esta debe ejecutarse en un tiempo de 10ms y debe ejecutarse cada 40ms.
- Por ltimo, existe una tarea que se encarga de hacer parpadear un LED conectado en RB0, cada 100ms y
enviar un menaje por el puerto serie en caso de que la Tarea 1 o la Tarea 2 se hayan pasado en algn
momento de su tiempo de ejecucin. El tiempo de procesador para esta tarea debe ser de 10ms.
Cdigo:
#include "D:\Documentos\Projects\RTOS\RTOS.h"
#use rs232(baud=19200,parity=N,xmit=PIN_C6,rcv=PIN_C7,bits=9)
#use RTOS(timer=0, minor_cycle=10ms, statistics) //se utilizan las estadsticas
//hace falta para usar rtos_overrun()
int32 iT1Counter = 0;
int1 bT1Flag = 0;
int1 bLed = 0;
#task (rate=30ms, max=10ms)
11 de 22
12 de 22
cdigo en ese tiempo. Sin embargo esas ventajas no son nada comparado con dos herramientas
fundamentales que nos ofrecen los SO: la coordinacin y la sincronizacin, de ellas hoy vamos a ver solamente
una de ellas: la coordinacin.
La coordinacin es un trmino en la programacin para SO, que se basa en la proteccin de recursos
compartidos, es un concepto orientado a evitar que diferentes tareas puedan acceder a los datos o recursos y
poner al sistema en un estado inestable o inseguro.
Ejemplos que ponen de manifiesto el problema de la coordinacin hay muchsimos pero en aras de mantener el
curso lo ms sencillo posible y adecuarlo un poco ms a las aplicaciones que normalmente se nos presentan yo
utilizar un problema ms cercano a nuestro entorno.
El problemas de la coordinacin tambin se conoce como el problema de la concurrencia o acceso concurrente
a recursos, a mi me gusta llamarlo coordinacin para establecer una mejor diferencia con respecto al otro
mecanismo; el de la sincronizacin que veremos en la prxima entrega.
Destripando un poco ms a la coordinacin diremos que: "la coordinacin es el mecanismo que debe
implementar un SO para asegurar el acceso seguro a recursos compartidos del sistema, y que no tiene en
cuenta restricciones temporales". Con esto queda claro que proteger a los recursos de un acceso no seguro es
lo ms importante en la coordinacin, no importa durante que tiempo alguien (una tarea) est utilizando el
recurso, hasta que no lo libere nadie ms podr utilizarlo.
Hay mecanismos de coordinacin que implementan tambin el problema de la sincronizacin, que si tiene en
cuenta el factor tiempo, pero el RTOS de CCS no los implementa. Esto puede considerarse una limitante o una
ventaja, segn el tipo de aplicacin en que se vaya a utilizar.
Un RTOS que implementa un mecanismo de coordinacin con sincronizacin es el LMOS de Darukur, que
veremos dentro de algn tiempo en este foro, debidamente documentado gracias a un proyecto que Darukur y
un servidor, llevaremos a ustedes. Por el momento este simple cursillo es un buen mtodo (no el nico) para
acercarse al mundo de los RTOS.
Veamos la coordinacin con un ejemplo sencillo pero bien claro:
"Supongamos que una madre ha comprado una camisa muy bonita, ella quera comprar dos, pero en la tienda
solo haba una as que decidi comprarla de todas formas. Cuando lleg a casa llama a sus hijos (ambos usan
la misma talla de camisa), y les dice: he comprado esta camisa, pero en la tienda solamente haba una, as
que deben compartirla como buenos hermanos.
Las palabras de la madre no son alentadoras porque a ambos les gusta mucho la camisa y sin embargo deben
compartirla, entonces la decisin de ambos es colocar la camisa en una percha, y cada vez que uno de los dos
decida utilizarla se la ponga (dejando el perchero vaco). Pero hay una regla adicional, si cuando uno de los dos
va a utilizar la camisa el otro ya se la llev dejar una marca para indicarle al otro hermano que no podr
utilizar la camisa hasta que el que la marc haya hecho uso de ella."
Este es un mecanismo en que los hermanos se han puesto de acuerdo para utilizar un recurso (la camisa), de
manera compartida (porque es la nica), de forma coordinada (para eso se pusieron de acuerdo e hicieron
unas reglas simples).
Para implementar las reglas mostradas en el ejemplo anterior, el RTOS de CCS tiene dos funciones
rtos_wait() y rtos_signal().
Para utilizar estas funciones primero hay que crear una variable entera que har las funciones de percha y, que
hablando con propiedad, se llama semforo. El semforo es el elemento que le permite a la tarea reclamar el
recurso compartido o esperar por l si ya est en uso. Las funciones rtos_wait() y rtos_signal() se utilizan
para marcar el momento de inicio y fin del cdigo que utiliza el recurso compartido. A la seccin de cdigo que
utiliza el recurso compartido se le conoce como seccin crtica.
Veamos como funciona esto en trminos de programacin:
Usted crea una variable entera que ser su semforo o marcador de uso del recurso compartido.
El recurso compartido puede ser una o varias variables del sistema, en este caso el recurso compartido es un
recurso de memoria. O puede ser un perifrico del sistema, como es el caso del puerto serie o la memoria
EEPROM, o cualquier otro.
rtos_wait() y rtos_signal() son los marcadores de inicio y fin del cdigo que hace uso de nuestro recurso
compartido.
Cuando se inicia el programa usted inicializa el semforo en algn valor positivo que determina la cantidad de
tareas que pueden utilizar el recurso al mismo tiempo, normalmente es uno para las tareas que modificarn el
recurso compartido, mientras que para tareas que solamente leen datos puede que no se usen secciones
crticas o se permita ms de una tarea que acceda simultneamente al recurso compartido.
13 de 22
Cuando una tarea llegue a la seccin de cdigo que hace uso del recurso compartido, debe, primero que nada,
ejecutar la funcin rtos_wait(sem). Si el semforo es mayor que cero, el RTOS decrementar la variable y
permitir que la tarea contine su ejecucin, sin embargo si el semforo est en cero, el RTOS le quitar el
procesador a la tarea y se lo ceder a otra que le toque ejecutarse. Cuando le corresponda nuevamente a la
tarea que pidi el acceso al recurso compartido, el RTOS comprobar el estado del semforo, si ste es mayor
que cero, lo decrementar y le dar el procesador a la tarea para que se siga ejecutando, si no, volver a
dormir a la tarea hasta el prximo turno y as sucesivamente.
Al final del cdigo de la seccin crtica hay que colocar un rtos_signal(sem) para que el RTOS incremente el
semforo permitiendo que otra tarea pueda utilizar el recurso compartido.
El ejemplo de hoy es el siguiente:
Elabore un programa para un PIC16F877 que permita mantener actualizada la cantidad de botellas que hay en
un tramo de cinta transportadora en una embotelladora. La cinta es alimentada desde un almacn de botellas
que tiene un robot que incrementa la variable Cantidad cada vez que coloca una botella en la cinta, mientras
que dos robots llenadores de cajas, decrementan en 12 la variable cantidad cada vez que toman 12 botellas de
la cinta transportadora.
Como es de suponer el robot despachador debe llenar la cinta ms rpido de lo que los robots llenadores la
vacan.
En la prxima entrega utilizaremos la sincronizacin para resolver el problema de que la cinta se quede vaca o
se llene demasiado rpido. Como datos adicionales suponga que el robot despachador despacha una botella
cada 250ms y que los robots llenadores llenan una caja cada 6 segundos. El robot despachador est conectado
a RB0 y cada vez que pone una botella en la cinta transportadora le da un pulso al microcontrolador para
indicrselo. Los robots llenadores estn conectados uno a RB1 y el otro a RB2 e igualmente dan un pulso al
microcontrolador cada vez que despachan una caja. La duracin del pulso es de 100ms.
Como es de suponer este problema lo podemos resolver de muchas maneras y lgicamente sin el uso de los
RTOS, pero eso se los dejo de tarea. Adems el mecanismo de notificacin de cada robot es un poco
deficiente, pero ese no es el tema de este curso, aunque en su momento pondremos un ejemplo mejor al
respecto, cuando rescatemos a las interrupciones del olvido.
Analicemos un poco en detalle el problema: Supongamos que la tarea asociada al robot despachador comienza
a ejecutarse, lee el valor de la variable Cantidad, 100 botellas, y se va adormir esperando que el robot le
notifique que ha puesto una botella en la cinta, en ese momento el RTOS le da permiso a la tarea del robot
llenador 1 para que ejecute su cdigo, sta se da cuenta que el robot llen una caja por lo que lee la variable
Cantidad y le resta 12 botellas, quedando Cantidad = 88 botellas. Ahora le toca de nuevo a la tarea del robot
despachador ejecutarse y como ya se despach una botella le suma uno al valor previamente ledo y actualiza
la variable Cantidad, quedando 101 botellas, lo cual es falso.
Este ejemplo puede mejorarse semnticamente y evitarnos el uso de la seccin crtica, todo ello gracias a que
nuestro RTOS es cooperativo y en este caso, mientras la tarea est ejecutndose tiene todos los recursos para
ella sola hasta que entregue el procesador.
Por lo tanto podemos escribir el cdigo de modo que no haya ningn rtos_yield() intercalado con el cdigo que
accede a un recurso compartido, de esta forma la tarea se asegura el uso exclusivo del recurso compartido a
no ser que aparezcan las interrupciones en la palestra y las cosa se complique. Sin embargo en un sistema de
tiempo compartido (los hay para PIC, ejemplo de ellos es el FreeRTOS), donde no sabemos cuando el RTOS
nos quitar el procesador el uso de secciones crticas es OBLIGATORIO, para evitar problemas como los
mostrados, y por eso es importante que dominemos esta tcnica.
Por otro lado el uso de Perifricos puede complicar ms las cosas que el uso simple de la memoria y puede
ocurrir que para ser eficientes estemos obligados a poner un rtos_yield() dentro del cdigo de la seccin
crtica. Moraleja: aprenda a programar con secciones crticas o no programe con RTOS.
El cdigo:
#include "D:\Documentos\Projects\RTOS\RTOS.h"
#use rs232(baud=9600,parity=N,xmit=PIN_C6,rcv=PIN_C7,bits=9)
#use RTOS(timer=0, minor_cycle=10ms)
int8 semaphore; //Este es nuestro semforo
int16 iCantidad; //Esta es la cantidad de botellas en la estera
//constituye nuestro recurso compartido
#task (rate=50ms, max=10ms)
void R_Despachador();
#task (rate=50ms, max=10ms)
void R_Llenador1();
14 de 22
Este programa lo simul en Proteus poniendo en RB0 una fuente digital de tipo pattern con los siguientes
parmetros:
First Edge at (Secs)=1
Desmarcar el check mark: Equal Mark/Space Timing?
Mark Time (Secs) = 100m
Sapce Time(Secs) = 150m
Marcar el check mark: Continuos Secuence of Pulses
Marcar el check mark: Standard Hig-Low Pulse Train
Para RB1 y RB2 se utiliza una fuente del mismo tipo con los siguientes parrametros cambiados
Para RB1:
First Edge at (Secs)=5
Mark Time (Secs) = 100m
Sapce Time(Secs) = 5.9
Para RB2:
First Edge at (Secs)=7
Mark Time (Secs) = 100m
15 de 22
Simulen y vean como cada vez que se pasa por rtos_wait() y si el semforo es mayor que cero, se decrementa
y se entra en la seccin crtica, si el semforo es 0 entonces la tarea espera a que est disponible el recurso
(semforo>0) para ejecutar el cdigo de la seccin crtica.
[Volver al ndice]
16 de 22
estaremos sometindonos a riesgos durante la ejecucin de nuestro cdigo. Por ejemplo puede ocurrir que
alguna tarea se quede bloqueada esperando por siempre a que la expresin lgica se evale de verdadera y
esto nunca ocurra o que la expresin est mal diseada y la tarea no se bloquee cuando haga falta. Bien todos
esos problemas los veremos ms adelante cuando la seorita Nmesis (diosa griega de la venganza y la
fortuna) haga acto de presencia para echarnos a perder toda la dicha que los RTOS traen al mundo de la
programacin con uC.
Desde aqui puedes descargar el cdigo fuente y la simulacin con Proteus (57Kb, formato ZIP)
Cuando corran el ejemplo noten como la cantidad de botellas en la cinta va descendiendo hasta que al llegar a
las 24 botellas, despus la cantidad de botellas en la cinta se mantendr ms o menos sobre las 20 y nunca
por debajo de 12. Las compuertas AND de conjunto con las formas de onda hacen la funcin de los robots.
El cdigo:
#include "D:\Documentos\Projects\RTOS\RTOS.h"
#use rs232(baud=9600,parity=N,xmit=PIN_C6,rcv=PIN_C7,bits=9)
#use RTOS(timer=0, minor_cycle=10ms)
int8 semaphore; //Este es nuestro semforo
int16 iCantidad; //Esta es la cantidad de botellas en la estera
//constituye nuestro recurso compartido
#task (rate=50ms, max=10ms)
void R_Despachador();
#task (rate=50ms, max=10ms)
void R_Llenador1();
#task (rate=50ms, max=10ms)
void R_Llenador2();
void main()
{
semaphore = 1; //Solo una tarea puede utilizar el recurso cada vez
iCantidad = 120; //Inicializamos esta variable para tener algunas botellas en
//la estera, normalmente deberiamos tener un sensor que nos reporte
//en algun momento el total de botellas en la cinta, ya que un
//robot revisor de llenado o una persona puede retirar botellas
//de la cinta
//Al comenzar todos
output_bit( PIN_B3,
output_bit( PIN_B4,
output_bit( PIN_B5,
setup_timer_0(RTCC_INTERNAL|RTCC_DIV_1);
rtos_run();
}
void R_Despachador()
{
//Note como hacemos la sincronizacion fuera de la seccion critica, mas adelante veremos
//que esto no siempre es posible hacerlo o que las cosas se complican un poco mas
//de lo que hemos visto hasta ahora.
rtos_await(iCantidad<100); //Esperemos a que se vacie un poco la cinta
output_bit( PIN_B3, 1); //A partir de aqui, si no se podia antes,
poner botellas
17 de 22
void R_Llenador1()
{
//El robot debe esperar a que la cinta tenga suficientes botellas para sacar antes
//de comenzar a trabajar.
rtos_await(iCantidad>24); //Esperemos a que se llene un poco la cinta
output_bit( PIN_B4, 1); //A partir de aqui, si no se podia antes, sacar botellas
rtos_wait(semaphore);
if(input(PIN_B1)==1)
iCantidad -= 12;
if(iCantidad <= 24)
output_bit( PIN_B4, 0); //Le decimos al robot que no saque mas botellas
rtos_signal(semaphore);
printf("%3.0w \r",iCantidad);
rtos_yield(); // A dormir por otros 50ms para evitar poner dos veces la misma botella
}
void R_Llenador2()
{
rtos_await(iCantidad>24); //Esperemos a que se llene un poco la cinta
output_bit( PIN_B5, 1); //A partir de aqui, si no se podia antes, sacar botellas
rtos_wait(semaphore);
if(input(PIN_B2)==1)
iCantidad -= 12;
if(iCantidad <= 24)
output_bit( PIN_B5, 0); //Le decimos al robot que no saque mas botellas
rtos_signal(semaphore);
printf("%3.0w \r",iCantidad);
rtos_yield();
}
Hasta ahora solamente hemos visto ventajas del uso de los RTOS, sin embargo el uso de estas herramientas
presupone un montn de complicaciones que he tratado de no mostrar hasta el momento, en aras de mostrar
lo til que puede ser un RTOS, pero an con esas complicaciones el uso de los RTOS sigue siendo una
bendicin para cualquier desarrollador de sistemas con uC. Simplemente tendremos que ser un poco ms
cuidadosos con la semntica de nuestros programas y pensar un poco ms en la concepcin y modelacin de
las soluciones a nuestros problemas.
En la prxima entrega vamos a ver el uso de las funciones para el paso de mensajes entre tareas, que es otra
de las ventajas que los RTOS traen al mundo de la programacin para uC y cuando terminemos de ver todas
esas cosas buenas comenzaremos a estudiar las desgracias y cmo enfrentarlas.
[Volver al ndice]
18 de 22
utilice en las tcnicas de programacin anterior porque la ejecucin secuencial del cdigo presupone que no se
requiera de un mecanismo como este.
Lo ms cercano al mtodo descrito en el poner datos en algn lugar para que una funcin lo procese es el uso
de las interrupciones, stas deben procesar rpidamente el evento de interrupcin y pude que pongamos el
dato en algn lugar y levantemos una bandera para que cuando a la funcin encargada de procesar los datos
le toque ejecutarse lea la bandera, procese los datos y coloque la bandera en el estado que notifica que ya se
proces, no para notificar a otra funcin sino para notificrselo a ella misma, no vaya a ser que cuando le
toque ejecutarse nuevamente procese los mismos resultados nuevamente o haga algo indebido.
Un ejemplo de lo anterior puede se el uso del conversor AD, en algn lugar del programa lo mandamos a
convertir; una vez hecha la conversin se produce una interrupcin que es atendida en la correspondiente
subrutina de atencin a esa interrupcin; leemos el dato lo ponemos en una variable e incrementamos un
contador. Posteriormente le toca ejecutarse a la funcin que promedia los resultados, sta comprueba si hay,
digamos 200 muestras, si las hay hace el clculo que pone en otra variable y deja el contador en cero. Este
mecanismo es eficaz porque se ha utilizado durante mucho tiempo, pero los RTOS brindan una solucin
elegante para hacer esto en el contexto de la ejecucin de tareas.
Estos mecanismos pueden funcionar tambin entre funciones pero tendremos el problema de tratar con un montn de
estructuras de datos, banderas y contadores, complejas expresiones lgicas a procesar se acuerdan de eso?
Ahora imagnense hacer todo lo anterior cuando, en vez de llamadas a funciones metidas dentro de un cdigo
que se ejecuta ms o menos estructuradamente, lo que tenemos es unas cuantas tareas de las que no
tenemos un control de cuando ni como se ejecutarn. Realmente puede ser una verdadera pesadilla hacer un
programa productivo, y es por ello que los RTOS nos ofrecen un poderoso mecanismo para hacer eso, y como
siempre, este mecanismo tambin es relativamente simple.
Para hacer lo anterior los RTOS implementan un mecanismo de mensajes. S, amigos mos, un RTOS
implementa una funcin similar a la de los correos.
El funcionamiento de ese mecanismo es simple, cuando una tarea o subrutina de atencin a interrupciones
necesita notificarle algo a otra tarea llama a una funcin que pone el dato en la cola de la tarea en cuestin,
cuando a la tarea que recibi el mensaje le toca ejecutarse debe, en algn lugar consultar su cola de
mensajes, si hay mensajes debe leerlos y procesarlos, como pueden ver este mecanismo es bastante parecido
a lo que hacemos habitualmente.
Si yo quiero pasarles un mensaje, por ejemplo un post, hago lo siguiente:
- lo escribo, este es el equivalente a realizar una tarea
- lo mando al foro, este es el equivalente a ponerlo en la cola de mensajes del hilo sobre RTOS
- ustedes llegan y consultan si hay mensajes nuevos en el hilo, por supuesto llegan cuando su tarea de leer el
foro est activa
- si hay un mensaje nuevo, normalmente tratarn de leerlo y poner en prctica los nuevos conocimientos
- si se sienten impresionados, me escribirn un mensaje a mi correo privado, dndome un acuse de recibo (no
hagan esto si no es estrictamente necesario, no vaya a ser que me vuelvan loco)
Aqu se ha puesto de manifiesto un ejemplo del sistema de mensajes ms simple utilizado por un SO: elaborar
y enviar de una parte y consultar si hay un mensaje, procesar y enviar acuse de recibo si es necesario de la
otra parte.
(Todo esto est muy bien. Pero yo quiero cdigo y ejemplos de verdad.)
Vale, no nos ofusquemos, primero entender bien el concepto, luego ponerlo en prctica.
Lo primero que tenemos que hacer es decirle al compilador que le cree una cola de mensajes a aquella tarea a
la cual queremos pasarle mensajes, para eso tenemos el parmetro queue, dentro de la directiva #task, con
este parmetro le indicamos al RTOS que reserve memoria y cree una cola de mensajes para la tarea, la
declaracin de una tarea con cola de mensajes sera como sigue:
El cdigo:
#task(rate = 1s, max=20ms, queue=5)
void Tarea1(void);
En la declaracin de la tarea el parmetro queue = 5, le dice al compilador que cree una cola de 5 bytes para
la Tarea1.
Para el envo y recepcin de mensajes tenemos las siguientes funciones:
RTOS_MSG_SEND( )
RTOS_MSG_POLL( )
RTOS_MSG_READ( )
19 de 22
RTOS_MSG_READ( )
RTOS_MSG_SEND(task, byte); permite enviar un byte de datos a la cola de mensajes de una tarea. Esta es la
nica funcin del RTOS de CCS que puede llamarse desde fuera de una tarea, lo que permite que desde una
subrutina de atencin a interrupcin se le enven mensajes a una tarea. El parmetro task es para el nombre
de la tarea y byte es un dato de 8 bits (un char o un int8), as que si queremos enviar un float o una
estructura tendremos que descomponer antes ese dato en bytes y luego componerlos cuando la cola de
mensajes sea leda.
int RTOS_MSG_POLL(); es la funcin que permite a una tarea conocer si tiene mensajes en su cola de
mensajes, no se puede llamar desde otra tarea para conocer cuantos mensajes tiene la tarea fulana. Devuelve
en un entero la cantidad de bytes ocupados dentro de la cola de mensajes.
int8 RTOS_MSG_READ(); permite leer un byte de la cola de mensajes. Cuando se ejecuta esta funcin se lee el
byte y se saca de la cola, por lo que si el dato se pierde no se podr recuperar, si se llama a la funcin y no
hay mensajes en la cola se pueden obtener datos falsos.
En el ejemplo que hemos estado viendo sobre la embotelladora, vamos a incluir un servicio especial para
balancear la cantidad de botellas que hay dentro de la cinta transportadora, para ello pondremos una tarea
adicional que recibir de las otras tareas el estado de la cantidad de botellas dentro de la cinta. Si la cinta se
est vaciando demasiado rpido, esta tarea se encargar de inhabilitar los robots llenadores de cajas, si se
est llenando muy rpido pues entonces se deshabilita al robot que despacha botellas hacia la cinta.
Para lograr esto cada vez que un robot ejecuta la tarea de llenado de cajas o despacho de botellas le notifica a
la tarea reguladora la cantidad de botellas que hay en la cinta, con este mecanismo evitamos que la tarea
supervisora tenga que leer el recurso compartido iCantidad, y que tenga que sincronizarse con los robots. La
cola de mensajes tendr dos bytes (aunque solo se necesita uno, despus explico por que hacen falta dos)
donde se reflejar la ltima escritura realizada por cualquiera de los tres robots. Adems, delegaremos en esta
tarea la transmisin de la cantidad de botellas que hay en la cinta. La cantidad media de botellas a tener en la
cinta es 50.
El cdigo:
#include "D:\Documentos\Projects\RTOS\RTOS.h"
#use rs232(baud=9600,parity=N,xmit=PIN_C6,rcv=PIN_C7,bits=9)
#use RTOS(timer=0, minor_cycle=10ms)
int8 semaphore; //Este es nuestro semforo
int8 iCantidad; //Esta es la cantidad de botellas en la estera
//constituye nuestro recurso compartido
#task (rate=50ms, max=10ms)
void R_Despachador();
#task (rate=50ms, max=10ms)
void R_Llenador1();
#task (rate=50ms, max=10ms)
void R_Llenador2();
#task (rate=1s, max=10ms, queue=2) //la cola tiene 2 byte aunque solamente necesitamos 1
void Supervisor();
void main()
{
semaphore = 1; //Solo una tarea puede utilizar el recurso cada vez
iCantidad = 120; //Inicializamos esta variable para tener algunas botellas en
//la estera, normalmente deberiamos tener un sensor que nos reporte
//en algun momento el total de botellas en la cinta, ya que un
//robot revisor de llenado o una persona puede retirar botellas
//de la cinta
//Al comenzar todos
output_bit( PIN_B3,
output_bit( PIN_B4,
output_bit( PIN_B5,
setup_timer_0(RTCC_INTERNAL|RTCC_DIV_1);
rtos_run();
}
void R_Despachador()
20 de 22
void R_Despachador()
{
//Note como hacemos la sincronizacion fuera de la seccion critica, mas adelante veremos
//que esto no siempre es posible hacerlo o que las cosas se complican un poco mas
//de lo que hemos visto hasta ahora.
rtos_await(iCantidad<100); //Esperemos a que se vacie un poco la cinta
output_bit( PIN_B3, 1); //A partir de aqui, si no se podia antes,
poner botellas
rtos_signal(semaphore);
rtos_yield(); // A dormir por otros 50ms para evitar poner dos veces la misma botella
}
void R_Llenador2()
{
rtos_await(iCantidad>24); //Esperemos a que se llene un poco la cinta
output_bit( PIN_B5, 1); //A partir de aqui, si no se podia antes, sacar botellas
rtos_wait(semaphore);
if(input(PIN_B2)==1)
iCantidad -= 12;
if(iCantidad <= 24)
output_bit( PIN_B5, 0); //Le decimos al robot que no saque mas botellas
rtos_msg_send(Supervisor, iCantidad); //Enviamos un mensaje con la cant de botellas
rtos_signal(semaphore);
rtos_yield();
}
void Supervisor()
{
int8 iBotellas;
rtos_await(rtos_msg_poll()>0);
21 de 22
}
Este programa se puede simular con el mismo fichero de Proteus que publiqu antes, noten como la cantidad
de botellas en la cinta transportadora se mantiene sobre las 50 botellas. En el caso de la cola de mensajes
deben especificar n+1 bytes de los que necesiten, la razn no la conozco pero con 1 byte no funciona, debe ser
algn problema de la implementacin de CCS o alguna limitacin de los PIC que obliga a ello.
Bueno espero que les sirva.
PD: Lo de esta embotelladora es un invento, en ningn momento esto se ha probado en una planta de ese
tipo.
El tiempo que utilic para este ejemplo fue de 3:30 horas, incluyendo la redaccin y programacin.
[Volver al ndice]
> Bibliografa:
- Sistemas Operativos Diseo e Implementacin. Andrew S. Tanenbaum.
[Volver al ndice]
En construccin...permanentemente.
Pasa en unos das para ver las novedades.
22 de 22