diff options
author | Björn-Egil Dahlberg <[email protected]> | 2016-02-15 18:16:18 +0100 |
---|---|---|
committer | Björn-Egil Dahlberg <[email protected]> | 2016-02-16 15:07:17 +0100 |
commit | f58e74b08380758d97c4d8a1d9ef53217f73fe6b (patch) | |
tree | cd8e6f5381cab13ef5a98ec7c95887dd5a3d3b50 /lib/configure.in.src | |
parent | 4ea67ffdac2629255b1b0ed4e9423823f62c0947 (diff) | |
download | otp-f58e74b08380758d97c4d8a1d9ef53217f73fe6b.tar.gz otp-f58e74b08380758d97c4d8a1d9ef53217f73fe6b.tar.bz2 otp-f58e74b08380758d97c4d8a1d9ef53217f73fe6b.zip |
kernel: Add basic system check of schedulers on heartbeat
Before a heartbeat to the port program a responsiveness check of
the schedulers is performed. If the responsiveness check fails,
stalls, the heartbeat will not be performed (as intended).
Diffstat (limited to 'lib/configure.in.src')
0 files changed, 0 insertions, 0 deletions