I have a model with 7 servers and 5 HR atoms. 3 servers are with with high priority (1) tasks and 4 with low priority (2) tasks. If one HR atom is required for task in servers then the priority interruption works fine. But if one server with a high priority needs two HR atoms for a task then the interrupt function does not work.
When all HR atoms are occupied and the high priority server calls for two HR atoms, then only one comes and the server will crash. The high priority server does not even start the task, when rest of the HR atoms are released form other servers.