diff options
author | Lukas Larsson <[email protected]> | 2015-09-11 16:35:48 +0200 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2015-12-15 10:05:46 +0100 |
commit | 0ad8c5f46bc0173c09fa5e7e91f917de82389068 (patch) | |
tree | 9848f9145e0ba303cec6d39de3b8c65206cef6e5 /erts/emulator/sys/common | |
parent | 123797a395b96b083d895c6ed7f41c56f4eafc78 (diff) | |
download | otp-0ad8c5f46bc0173c09fa5e7e91f917de82389068.tar.gz otp-0ad8c5f46bc0173c09fa5e7e91f917de82389068.tar.bz2 otp-0ad8c5f46bc0173c09fa5e7e91f917de82389068.zip |
erts: Move os_pid to port hash to child setup
Had to move the hashing because of a race that can otherwise happen
where a new os_pid value was inserted into the hash before the
previous value had been removed.
Also replaced the protocol inbetween erts and child setup to be
a binary protocol. This was done in order to deal with the varying
size of Eterm.
Diffstat (limited to 'erts/emulator/sys/common')
0 files changed, 0 insertions, 0 deletions