Einhorn: the language-independent shared socket manager