diff options
| author | Björn Gustavsson <[email protected]> | 2019-02-22 13:32:52 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-02-22 13:32:52 +0100 |
| commit | bc4f7cc80adf166f0f53b712fbe5101f675f84d0 (patch) | |
| tree | 9b786d536fd079f6597f95dd3c2dc809f5a50e60 | |
| parent | 9fc7abf9e8741552d11a64470b3c489120d069b1 (diff) | |
| parent | b1da810f5702e4bedfacd24eb37907648891b277 (diff) | |
| download | otp-bc4f7cc80adf166f0f53b712fbe5101f675f84d0.tar.gz otp-bc4f7cc80adf166f0f53b712fbe5101f675f84d0.tar.bz2 otp-bc4f7cc80adf166f0f53b712fbe5101f675f84d0.zip | |
Merge pull request #2153 from bjorng/bjorn/stdlib/minor-clarification
Clarify the atomic guarantees for ets:update_counter()
| -rw-r--r-- | lib/stdlib/doc/src/ets.xml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/stdlib/doc/src/ets.xml b/lib/stdlib/doc/src/ets.xml index 622edc072e..b9ceaa1d69 100644 --- a/lib/stdlib/doc/src/ets.xml +++ b/lib/stdlib/doc/src/ets.xml @@ -2008,9 +2008,8 @@ true</pre> <p>This function provides an efficient way to update one or more counters, without the trouble of having to look up an object, update the object by incrementing an element, and insert the resulting - object into the table again. (The update is done atomically, - that is, no process - can access the ETS table in the middle of the operation.)</p> + object into the table again. The operation is guaranteed to be + <seealso marker="#concurrency">atomic and isolated</seealso>.</p> <p>This function destructively update the object with key <c><anno>Key</anno></c> in table <c><anno>Tab</anno></c> by adding <c><anno>Incr</anno></c> to the element at position |