Sobre los semáforos

En un programa de ordenador, un semáforo es una herramienta que se utiliza para protegerse de las acciones que deben ser realizadas por un único proceso o usuario a la vez.

En 4D, la necesidad convencional de uso de un semáforo es para modificar un array interproceso: si un proceso está modificando los valores del array, otro proceso no debe poder hacer lo mismo al mismo tiempo. El desarrollador utiliza un semáforo para indicar a un proceso que sólo puede realizar su secuencia de operaciones si ningún otro proceso está llevando a cabo las mismas tareas. Cuando un proceso se encuentra con un semáforo, hay tres posibilidades:

• Obtiene inmediatamente el derecho a pasar
• Espera su turno hasta que obtiene el derecho a pasar
• Continúa su camino, abandonando la idea de realizar las tareas.

En 4D, se establece un semáforo llamando a la función Semaphore. Para liberar un semáforo, se llama al comando CLEAR SEMAPHORE.

La función Semaphore tiene un comportamiento muy especial ya que realiza potencialmente dos acciones a la vez:

• Si el semáforo ya está asignado, la función devuelve True
• Si no se asigna el semáforo, la función lo asigna al proceso y devuelve False al mismo tiempo.
  

Esta doble acción realizada por el mismo comando asegura que ninguna operación externa se puede insertar entre la prueba del semáforo y su asignación.

Puede utilizar el comando Test semaphore para saber si un semáforo ya está asignado o no. Este comando se utiliza principalmente como parte de las operaciones largas, tales como el cierre anual de las cuentas, en donde Test semaphore le permite controlar la interfaz para evitar el acceso a ciertas operaciones tales como la adición de los datos contables.

Los semáforos deben utilizarse respetando los siguientes principios:

• un semáforo se debe definir y lanzar en el mismo método,
• la ejecución de código protegido por el semáforo debe ser lo más corta posible,
• el código debe ser temporizado por medio del parámetro contTics de la función Semaphore para esperar la liberación del semáforo.

Este es el código típico para el uso de un semáforo:

Un semáforo que no se libera puede bloquear parte de la base. Configurar y liberar el semáforo en el mismo método ayuda a eliminar este riesgo.

Minimizar el código protegido por el semáforo aumenta la fluidez de la aplicación y evita que el semáforo sea un cuello de botella.

Por último, utilizando el parámetro opcional contTics del comando Semaphore es esencial para optimizar la espera del semáforo a liberar. Utilizando este parámetro, los comandos funcionan de la siguiente manera:

• El proceso espera un máximo del número especificado de tics (300 en el ejemplo) para que el semáforo esté disponible, sin la ejecución de código pasa a la siguiente línea,
• Si se libera el semáforo antes del final de este límite, se le asigna inmediatamente al proceso (Semaphore devuelve False) y se reanuda la ejecución de código,
• Si el semáforo no se libera antes del final de este límite y se reanuda la ejecución del código.

El comando también da prioridad a las peticiones estableciendo una cola. De esta manera, el primer proceso que solicita un semáforo será el primero en obtener uno.

Tenga en cuenta que el tiempo de espera se establece en función de las características específicas de la aplicación.

Hay dos tipos de semáforos en 4D: semáforos locales y semáforos globales.

• Un semáforo local es visible para todos los procesos de un mismo puesto  y sólo en el puesto. Un semáforo local puede ser creado al añadir un prefijo al nombre del semáforo un signo de dólar ($). Se utiliza semáforos locales para supervisar las operaciones entre los diferentes procesos que se ejecutan en el misma equipo. Por ejemplo, un semáforo local se puede utilizar para controlar el acceso a un array interproceso compartido por todos los procesos de una base de datos mono usuario o de un equipo cliente.

• Un semáforo global es accesible a todos los usuarios y todos sus procesos. Los semáforos globales se utilizan para controlar las operaciones entre los usuarios de una base de datos multiusuario.

Los semáforos globales y locales son idénticos en su lógica. La diferencia reside en su alcance.

En el modo cliente-servidor, los semáforos globales se comparten entre todos los procesos que se ejecutan en todos los clientes y servidores. Un semáforo local solamente se comparte entre los procesos que se ejecutan en la máquina donde se ha creado.

En 4D, los semáforos globales o locales tienen el mismo alcance, ya que usted es el único usuario. Sin embargo, si su base se está utilizando en ambas configuraciones, asegúrese de usar semáforos globales o locales, dependiendo de lo que quiere hacer.

Nota: se recomienda el uso de semáforos locales cuando se necesita un semáforo para gestionar un aspecto local para un cliente de la aplicación, tales como la interfaz o un conjunto de variables interproceso. Si se utiliza un semáforo global en este caso, no sólo haría intercambios de red innecesarios, sino también podría afectar a otros equipos cliente innecesariamente. El uso de un semáforo local evitaría estos indeseables efectos secundarios.