CostFed requires special handling in case of error or timeout

GDD-Nantes / FedShop

Code for FedShop: The Federated Shop Benchmark

GNU General Public License v3.0

8 stars 1 forks source link

Open mhoangvslev opened 1 year ago

mhoangvslev commented 1 year ago

Like FedX, it saturates Virtuoso. When Virtuoso saturates:

Virtuoso didn't crash and CostFed reaches enforceMaxQueryTime and exit naturally. In this case in costfed.py when subprocess return error, stop virtuoso and snakemake will retry.
Virtuoso crashes and CostFed gets stuck thus never reach enforceMaxQueryTime. In this case, costfed.py should handle the timeout and kill CostFed, then raise error.

mhoangvslev commented 1 year ago

The last-ditch effort to work around this problem is to restart Virtuoso docker container when CostFed timed out from Python.