Определение идемпотентность

Question

Так «идемпотентность» может быть определена как:

действия, что, если выполняемые N раз имеют тот же эффект, выполняя действие только один раз.

Получил это, легко.

Вопрос о тонкости этого определения - это действие, рассматриваемое как идемпотент, или вы также должны учитывать данные, передаваемые в действие?

Поясню на примере:

Предположим, у меня есть метод PUT, который обновляет некоторый ресурс, мы будем называть его f(x)

Очевидно, что f(3) идемпотентна, до тех пор, как я поставляю 3 как вход. И так же очевидно, что f(5) изменит значение ресурса (т. Е. Оно больше не будет 3 или какое-либо значение ранее)

Итак, когда мы говорим об идемпотентности, мы имеем в виду обобщение действия/функции (т.е. f(x)), или мы имеем в виду действие/функцию + данные, передаваемые в нее (т. е. f(3))?

Answer 1

Предположим, у меня есть метод PUT, который обновляет некоторый ресурс, мы будем называть его е (х)

Очевидно, что F (3) является тождественной, до тех пор, как я поставляю 3 в качестве входных данных. И одинаково очевидно, что f (5) изменит значение ресурса (то есть больше не будет 3 или каким-либо другим значением ранее).

Это очевидно, что реализация сервера такова, что PUT уважает это свойство idempotent. В контексте HTTP, RFC 2616 says:

Методы могут также обладать свойством «идемпотентности» в этом (в сторону от проблем, ошибок или истечения срока действия) побочные эффекты N> 0 идентичных запросов является то же, что и для одного запроса.

Забегая не по теме ... В распределенной системе, как в Интернете, вы можете также рассмотреть вопрос о коммутативности и одновременных запросов. Например, N + 1 одного и того же запроса PUT (x1) должен иметь тот же эффект, но вы не знаете, сделал ли другой клиент другой запрос PUT (x2) между вашими, поэтому в то время как n PUT (x1) = PUT (x1) и m PUT (x2) = PUT (x2), два набора запросов могут чередоваться.

Answer 2

Вы предполагаете, что идемпотенция означает, что состояние сервера будет изменено не более серией выписок. Большую часть времени люди используют этот термин для обозначения того, что состояние на сервере не будет изменено на любое число любым количеством вызовов. В этих условиях различие между вашими двумя случаями несущественно.

Answer 3

Idempotence требует, чтобы действие выполнялось для всех значений по его домену, то есть f(f(x)) = f(x) для всех x. Другой способ подумать об этом заключается в том, что операция является идемпотентной, если состав операции с самим собой является именно этой операцией.

Answer 4

Это не совсем определение идемпотенции. Функция является идемпотентной, если для любого элемента x, f (f (x)) == f (x).

PUT - побочный эффект функции f() здесь, а не результат этого.