Limit memory and CPU usage of docker containers

leanprover-community / lean4game

Server to host lean games.

https://adam.math.hhu.de

GNU General Public License v3.0

167 stars 26 forks source link

Limit memory and CPU usage of docker containers #1

Open abentkamp opened 1 year ago

abentkamp commented 1 year ago

We should limit memory and CPU usage of the Docker containers to prevent misuse and avoid one Lean instance blocking another. There are suitable Docker options to do that.

joneugster commented 10 months ago

Is this still relevant now that we're on bubblewrap?

abentkamp commented 10 months ago

This can probably also be done with bubblewrap. But maybe it's not crucial since we didn't have any issues so far.