Ecdar / Ecdar-GUI

A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)
MIT License
3 stars 5 forks source link

Backend refactor #80

Closed Nielswps closed 2 years ago

Nielswps commented 2 years ago

Refactoring and performance improvements of the communication with the engines. This is mainly achieved through the use of BlockingQueue's for queries and connections, preventing multiple queries from being executed on the same connection at the same time

The following issues have been resolved:

Additionally, multiple consumer threads could be started in the ´BackendDriver´ to execute queries multithreaded (this has been tested). However, as the performance is quite good with just a single thread, this has not been implemented yet.