klee / klee-web

KLEE in the browser
Other
50 stars 15 forks source link

Dockerize #131

Closed Denis-Gavrielov closed 4 years ago

Denis-Gavrielov commented 5 years ago

Dockerize all the components of the application. The components are:

The Ansible rules now separate the build and deployment of the containers. Tags are added which can be used to re-build and deploy only specific containers to speed up provisioning once the VM is running.

The disk size on the Vagrant VM for the development environment is increased. This is dependent on a vagrant plugin. The README is updated to instruct installing this plugin before running vagrant up.

Additionally, I have updated the provisioning rules for the production and development environment to reflect an architecture which has one Master VM, one to many Worker VMs, and one Testing VM.

andronat commented 5 years ago

Let's rebase this too! 🎉

Denis-Gavrielov commented 5 years ago

@andronat done! Note there is still some minor WiP which includes:

Denis-Gavrielov commented 5 years ago

Please note, there seems to be an issue with celery that the worker stops listening to request if a celery heartbeat is missed. These are some threats that I found where people seemed to have similar issues: https://github.com/celery/celery/pull/4997 https://github.com/celery/celery/issues/4185 https://github.com/analyseether/ether_sql/issues/42 https://github.com/celery/celery/issues/2296

Right now, there is a cronjob that checks every hour if the worker's log shows a missed heartbeat and restarts the container in that case. This works fine for now, but there might be more elegant solutions for the future.

ccadar commented 5 years ago

@Denis-Gavrielov I would add this last comment as a separate issue.

Denis-Gavrielov commented 5 years ago

@ccadar done

ccadar commented 5 years ago

Thanks!

ccadar commented 5 years ago

@Denis-Gavrielov can you rebase this branch so that the tests run again? @andronat is this close to being merged?

andronat commented 4 years ago

Merged in #137.