[BUG] Directory port and host should be removed in partition - Githubissues

resource-disaggregation / jiffy

Virtual Memory Abstraction for Serverless Architectures

Apache License 2.0

45 stars 14 forks source link

[BUG] Directory port and host should be removed in partition #99

Closed charles-typ closed 4 years ago

charles-typ commented 5 years ago

TODO:

Remove directory port and host
Move remove merged partition logic into auto_scaling handler