polypheny / Polypheny-DB

A self-adaptive Polystore that provides cost- and workload aware access to heterogeneous data.
https://polypheny.org
Apache License 2.0
122 stars 82 forks source link

Lock the Polypheny Home Directory #501

Closed gartens closed 1 month ago

gartens commented 3 months ago

Summary

Until now Polypheny used the port 7659 to determine if another instance is running and would then refuse to start. This approach fails to detect instances using other ports. This is especially a problem, if one of these instances were to use the same home directory. So to prevent this, create a .lock file in the home directory and lock it using facilities provided by the operating system. This way each home directory can only be used by one instance at a time.

There are also various other small improvements.

There is also a corresponding UI PR because a field is renamed.