Procedimiento y dispositivo de control de acceso a un recurso compartido entre tareas de software ejecutadas en un contexto de aplicación predeterminado

Procedimiento de control de acceso a al menos un recurso de hardware de un dispositivo electrónico de cálculo, compartido por una pluralidad de tareas de software que se ejecutarán en un contexto de aplicación predeterminado, de manera que las tareas de software están adaptadas para ser implementadas por un procesador del dispositivo electrónico de cálculo, estando el o los recursos de hardware gestionados por un sistema de explotación (8) de núcleo (10) ejecutable en modo de ejecución privilegiado, caracterizado porque es implementado por dicho núcleo (10) del sistema de explotación y porque incluye: una memorización (50) de una estructura (36) de configuración de acceso a los recursos de hardware compartidos que incluye una información (42) relativa a transferencias autorizadas que comprende, para cada recurso de hardware compartido, al menos una indicación de transferencia autorizada entre una primera tarea y una segunda tarea para un uso de dicho recurso, incluyendo el procedimiento, además, después de una ejecución de una primera tarea que usa un recurso de hardware, - una recepción (54) de una solicitud de adquisición de dicho recurso de hardware por una segunda tarea, y - una verificación de autorización de adquisición (66, 68, 74) por dicha segunda tarea, que incluye, si dicho recurso no está libre, una verificación de transferencia (74, 72, 84) del uso de dicho recurso de hardware de dicha primera tarea hacia dicha segunda tarea, efectuándose la transferencia en función de dicha información (42) relativa a las transferencias autorizadas memorizada en la estructura de configuración de acceso a los recursos de hardware compartidos.