diff options
| author | John Högberg <[email protected]> | 2018-03-23 13:15:08 +0100 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2018-03-26 09:57:34 +0200 |
| commit | f278cee87dd7ef929a64b411b4e83c3d7028687a (patch) | |
| tree | ffcd33cb7cbc01f15e1dedf76a682db393cc1425 /erts/etc | |
| parent | 837cf1979852b439dd8fed555ad8c6cb10d9a794 (diff) | |
| download | otp-f278cee87dd7ef929a64b411b4e83c3d7028687a.tar.gz otp-f278cee87dd7ef929a64b411b4e83c3d7028687a.tar.bz2 otp-f278cee87dd7ef929a64b411b4e83c3d7028687a.zip | |
Add +sbwt/+swt analogues for dirty schedulers
Sharing these settings for all schedulers can degrade performance,
so it makes sense to be able to configure them separately.
This also changes the default busy-wait time to "short" for both
kinds of dirty schedulers.
Diffstat (limited to 'erts/etc')
| -rw-r--r-- | erts/etc/common/erlexec.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/erts/etc/common/erlexec.c b/erts/etc/common/erlexec.c index f7774c6e2e..cf6d1bacca 100644 --- a/erts/etc/common/erlexec.c +++ b/erts/etc/common/erlexec.c @@ -129,6 +129,8 @@ static char *plusM_other_switches[] = { /* +s arguments with values */ static char *pluss_val_switches[] = { "bt", + "bwtdcpu", + "bwtdio", "bwt", "cl", "ct", @@ -136,6 +138,8 @@ static char *pluss_val_switches[] = { "fwi", "tbt", "wct", + "wtdcpu", + "wtdio", "wt", "ws", "ss", |