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

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

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

Это очевидно только в том случае, если реализация сервера такова, что PUT учитывает это идемпотентное свойство. В контексте HTTP RFC 2616 говорит:

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

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

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

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

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

PUT — это побочный эффект вашей функции f(), а не ее результат.