Definizione idempotence

Question

Così "idempotence" può essere definito come:

Un'azione, che se eseguite N volte ha lo stesso effetto di eseguire l'azione una sola volta.

Capito, abbastanza facile.

La mia domanda riguarda la sottigliezza di questa definizione -si un'azione considerata idempotente di per sé, o deve prendere in considerazione anche i dati che vengono passati in azione?

Vorrei chiarire con un esempio:

Supponiamo che io sono un metodo PUT che aggiorna alcune risorse, che chiameremo f(x)

Ovviamente, f(3) è idempotente, finché io fornisco 3 come ingresso. E ugualmente ovvio, f(5) cambierà il valore della risorsa (cioè non sarà più 3 o qualunque valore fosse precedentemente)

Quindi quando parliamo di idempotenza, ci riferiamo alla generalizzazione dell'azione/funzione come (es., f(x)), o ci riferiamo all'azione/funzione + ai dati che ci sono passati (ad esempio, f(3))?

Answer 1

Supponiamo che io sono un metodo PUT che aggiorna alcune risorse, che chiameremo f (x)

Ovviamente, f (3) è idempotente, finché io tensione 3 come ingresso. E altrettanto evidente, f (5) cambierà il valore della risorsa (cioè essa sarà più 3 o qualsiasi valore era precedentemente).

Ciò è ovvio solo se l'implementazione del server è tale che PUT rispetta questa proprietà idempotente. Nel contesto di HTTP, RFC 2616 says:

metodi possono avere la proprietà di "idempotence" in quanto (a parte da problemi di errore o di scadenza) gli effetti collaterali di N> 0 identici richieste è il come per una singola richiesta.

Andando un po 'fuori tema ... In un sistema distribuito come il web, si può anche prendere in considerazione commutativity e richieste simultanee. Ad esempio N + 1 della stessa richiesta PUT (x1) dovrebbe avere lo stesso effetto, ma non sai se un altro client ha fatto una richiesta PUT (x2) diversa tra le tue, così mentre n PUT (x1) = PUT (x1) e m PUT (x2) = PUT (x2), i due gruppi di richieste potrebbero essere intercalati.

Answer 2

Si presume che l'idempotenza significhi che lo stato del server verrà modificato al massimo una volta da da una serie di invocazioni. La maggior parte del tempo, la gente usa questo termine per indicare che lo Stato sul server non verrà modificato affatto da qualsiasi numero di invocazioni. In queste circostanze, la distinzione tra i due casi è irrilevante.

Answer 3

L'idempotenza richiede che l'azione sia valida per tutti i valori sul proprio dominio, ad esempio f(f(x)) = f(x) per tutti x. Un altro modo di pensarci è che un'operazione è idempotente se la composizione dell'operazione con se stessa è solo quell'operazione.

Answer 4

Questo non è proprio la definizione di idempotence. Una funzione è idempotente se per qualsiasi elemento x, f (f (x)) == f (x).

PUT è un effetto collaterale della vostra f() la funzione qui, non è il risultato di essa.