1 | // iterate safely (& quickly) in the face of concurrent modifications |
2 | static <A> IterableIterator<A> concurrentlyIterateSet(final NavigableSet<A> set) {
|
3 | fO mutex = collectionMutex(set); |
4 | class ConcurrentlyIterateSet extends F0<A> {
|
5 | Iterator<A> it = set.iterator(); |
6 | A key; |
7 | |
8 | A get() {
|
9 | synchronized(mutex) {
|
10 | try {
|
11 | if (!it.hasNext()) null; |
12 | ret key = it.next(); |
13 | } catch (ConcurrentModificationException e) {
|
14 | print("Re-iterating");
|
15 | it = set.tailSet(key, false).iterator(); |
16 | if (!it.hasNext()) null; |
17 | ret key = it.next(); // Can't throw another exception |
18 | } |
19 | } |
20 | } |
21 | } |
22 | ret iteratorFromFunction(new ConcurrentlyIterateSet); |
23 | } |
Began life as a copy of #1012173
download show line numbers debug dex old transpilations
Travelled to 13 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
| Snippet ID: | #1013140 |
| Snippet name: | concurrentlyIterateSet |
| Eternal ID of this version: | #1013140/4 |
| Text MD5: | 2ccd90b7cb6a7de305ce52f0072ab235 |
| Author: | stefan |
| Category: | javax / collections |
| Type: | JavaX fragment (include) |
| Public (visible to everyone): | Yes |
| Archived (hidden from active list): | No |
| Created/modified: | 2018-01-12 11:18:33 |
| Source code size: | 754 bytes / 23 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 615 / 673 |
| Version history: | 3 change(s) |
| Referenced in: | [show references] |