Thread Synch AOSV 2020  1.2
LKM for exchanging messages between threads
Bug List
Global getCurrentStorageSize (thread_group_t *group)
Sometimes this function will return the incorrect value "0", when this happens a subsequent call of the function will return the correct value
Global loadGroupFromID (const int group_id)
The group's descriptor is not loaded, thus the diplayed name will appear as "(null)"
Global readMessage (msg_t *dest_buffer, msg_manager_t *manager)
: when 'revoke delay' functionality is called, messages trigger this if and will not be delivered