mirror of
https://github.com/stargieg/bacnet-stack
synced 2025-10-26 23:35:52 +08:00
0f0fb2664d
Replace Receive_Packet_Flag conditional variable with a semaphore and update the related library functions accordingly. Analysis of the problem determined that the issue lay in the transfer of APDU packets between the FSM and the APDU packet handler thread. The mechanism previously used by the FSM to notify the APDU packet handler thread that a packet was available for processing used a pthread conditional variable which packet handler thread was supposed to wait on before being signalled by the FSM. However the packet handler thread has other tasks to perform and sometimes was not waiting on the conditional variable which it was signalled. Unlike other synchronisation mechanisms such as semaphores, if the waiting task (the consumer) is not blocked on the conditional variable when the producer signals, then that signal is lost and the consumer is never signalled again, leading to a continual sequence of timeouts on the conditional variable. This in turn led to the packet handler thread never being notified of a packet waiting to be processed thus causing the interface hang. The main problem is that a conditional variable is supposed to be used with a mutex to prevent this behaviour occurring, but this mutex was not present (and in fact had been removed from the code, most likely because it was causing other synchronisation issues) Further inspection revealed that this code was copied from another file but modified to remove the mutex which is an essential part of using a conditional variable for synchronisation. This then prevents the producer task being blocked until the consumer task is waiting on the conditional variable, thus leading to a race condition which is causing the issues seen. The fix is to replace the conditional variable with a semaphore as this provides the required mechanism in this case. Thank you Ian Smith at Abelon Systems Ltd. for the patch! ........