search

Barnard-PL-Labs / SequencerLiveCoding

Live Coding for the Novation Circuit
19 stars 5 forks source link

Move synthesis to AWS Lambda #18

Closed santolucito closed 2 years ago

santolucito commented 2 years ago

We should put the call to cvc5 that occurs here:

https://github.com/Barnard-PL-Labs/SequencerLiveCoding/blob/e63429a562506f5caf73ad0c1b98e37e4c0b0bfe/serverSide/cvc4.js#L71

onto an AWS lambda. It might get a bit pricey (or not, depending on how long we set the timeout), but it is really the only way we get proper scaling with lots of users.

For now, we should just migrate that call to an AWS Lambda, but eventually, we should put a caching system in between so we don't waste as much time. Maybe the caching also goes into the lambda?

santolucito commented 2 years ago

Should have a flag for dev vs prod tho that let's us still run queries locally on dev using the current version of the code