News
- 2025/04/14
- NEWS
Product Version Update Information (SharedVariableChecker2)
Thank you for using Gaio Technology products.
The following Product Update has taken place.
The following Product Update has taken place.
Update Information
[Product name] SharedVariableChecker2
[Product Version] V4.1
[Release Date] 2025/04/14
[Product Version] V4.1
[Release Date] 2025/04/14
Update Contents
Added Functionality
• Added function to allow analysis of the possibility of deadlock
–When using semaphores for exclusive control of inter-core contention variables, it is now possible to detect accesses that may result in deadlock.
• Added functionality to improve the accuracy of analysis of variable contention between tasks and multiple cores.
–In the indications C, D, and F for possible variable conflicts between tasks or multiple cores, it is now possible to output indications that take conditional branching into account.
–When using semaphores for exclusive control of inter-core contention variables, it is now possible to detect accesses that may result in deadlock.
• Added functionality to improve the accuracy of analysis of variable contention between tasks and multiple cores.
–In the indications C, D, and F for possible variable conflicts between tasks or multiple cores, it is now possible to output indications that take conditional branching into account.
