История изменений

Но это тоже мутирование коллекции.

Мутация коллекции это совсем не то же, что мутация ее элементов.

Как это будет происходить? Ты огораживаешь коллекцию R/W блокировкой?

Я требую от коллекции определенных свойств.

Пусть для простоты коллекция будет ordered_map (хотя там ordered_multimap может быть лучше).

Мне нужно, чтобы:

1. Любой читатель (точнее: читатель-итератор по коллекции) в итоге (eventually) увидел в orderd_map вставку любого писателя; читателей-итераторов будет 2 шт. для каждой нити

2. ordered_map могла в итоге (eventually) показать отсутствие прогресса (т.е. что писатели в нее вставляют только те элементы, которые в ней и так есть). (Это весьма своеобразное свойство мутабельной коллекции в целом. Понятно, что речь может идти об инстансах, но мне достаточно 1 инстанса на коллекцию).

3. (послабление) несмотря на то, что это ordered_map, элементы имеют право реально быть в нескольких экземплярах, так как там семантика значения. Но при этом в разумных пределах несколько (например, 2*количество_нитей, и только нововставленные)

Вроде больше мне ничего и не надо.

Псевдокод завтра. Там оказывается подумать надо.

Но это тоже мутирование коллекции.

Мутация коллекции это совсем не то же, что мутация ее элементов.

Как это будет происходить? Ты огораживаешь коллекцию R/W блокировкой?

Я требую от коллекции определенных свойств.

Пусть для простоты коллекция будет ordered_map (хотя там ordered_multimap может быть лучше).

Мне нужно, чтобы:

1. Любой читатель (точнее: читатель-итератор по коллекции) в итоге (eventually) увидел в orderd_map вставку любого писателя; читателей-итераторов будет 2 шт. для каждой нити

2. ordered_map могла в итоге (eventually) показать отсутствие прогресса (т.е. что писатели в нее вставляют только те элементы, которые в ней и так есть). (Это весьма своеобразное свойство, а-ля «итератор по коллекции в целом», но он имеет право быть 1 шт.)

3. (послабление) несмотря на то, что это ordered_map, элементы имеют право реально быть в нескольких экземплярах, так как там семантика значения. Но при этом в разумных пределах несколько (например, 2*количество_нитей, и только нововставленные)

Вроде больше мне ничего и не надо.

Псевдокод завтра. Там оказывается подумать надо.

Но это тоже мутирование коллекции.

Мутация коллекции это совсем не то же, что мутация ее элементов.

Как это будет происходить? Ты огораживаешь коллекцию R/W блокировкой?

Я требую от коллекции определенных свойств.

Пусть для простоты коллекция будет ordered_map (хотя там ordered_multimap может быть лучше).

Мне нужно, чтобы:

1. Любой читатель (точнее: читатель-итератор по коллекции) в итоге (eventually) увидел в orderd_map вставку любого писателя; читателей-итераторов будет 2 шт. для каждой нити

2. ordered_map могла в итоге (eventually) показать отсутствие прогресса (т.е. что писатели в нее вставляют только те элементы, которые в ней и так есть)

3. (послабление) несмотря на то, что это ordered_map, элементы имеют право реально быть в нескольких экземплярах, так как там семантика значения. Но при этом в разумных пределах несколько (например, 2*количество_нитей, и только нововставленные)

Вроде больше мне ничего и не надо.

Псевдокод завтра. Там оказывается подумать надо.

Но это тоже мутирование коллекции.

Мутация коллекции это совсем не то же, что мутация ее элементов.

Как это будет происходить? Ты огораживаешь коллекцию R/W блокировкой?

Я требую от коллекции определенных свойств.

Пусть для простоты коллекция будет ordered_map (хотя там ordered_multimap может быть лучше).

Мне нужно, чтобы:

1. любой читатель (точнее даже читатель-итератор по коллекции) в итоге (eventually) увидел в orderd_map вставку любого писателя; читателей-итераторов будет 2 шт. для каждой нити

2. ordered_map могла в итоге (eventually) показать отсутствие прогресса (т.е. что писатели в нее вставляют только те элементы, которые в ней и так есть)

3. (послабление) несмотря на то, что это ordered_map, элементы имеют право реально быть в нескольких экземплярах, так как там семантика значения

Вроде больше мне ничего и не надо.

Псевдокод завтра. Там оказывается подумать надо.

Но это тоже мутирование коллекции.

Мутация коллекции это совсем не то же, что мутация ее элементов.

Как это будет происходить? Ты огораживаешь коллекцию R/W блокировкой?

Я требую от коллекции определенных свойств.

Пусть для простоты коллекция будет ordered_map (хотя там ordered_multimap может быть лучше).

Мне нужно, чтобы:

1. любой читатель (точнее даже читатель-итератор по коллекции) в итоге (eventually) увидел в orderd_map вставку любого писателя; читателей-итераторов будет 2 шт. для каждой нити

2. ordered_map могла в итоге (eventually) показать отсутствие прогресса (т.е. что писатели в нее вставляют только те элементы, которые в ней и так есть)

Вроде больше мне ничего и не надо.

Псевдокод завтра. Там оказывается подумать надо.

Но это тоже мутирование коллекции.

Мутация коллекции это совсем не то же, что мутация ее элементов.

Как это будет происходить? Ты огораживаешь коллекцию R/W блокировкой?

Я требую от коллекции определенных свойств.

Пусть для простоты коллекция будет ordered_map (хотя там ordered_multimap может быть лучше).

Мне нужно, чтобы:

1. любой читатель (точнее даже итератор по коллекции) в итоге (eventually) увидел в orderd_map вставку любого писателя; итераторов будет 2 шт. для каждой нити

2. ordered_map могла в итоге (eventually) показать отсутствие прогресса (т.е. что писатели в нее вставляют только те элементы, которые в ней и так есть)

Вроде больше мне ничего и не надо.

Псевдокод завтра. Там оказывается подумать надо.