¿Mejores formas de escribir un método que actualice dos objetos en un entorno Java multiproceso?

Question

Supongamos que tenemos una clase llamada AccountService que administra el estado de las cuentas.

AccountService se define como

interface AccountService{ 
public void debit(account); 
public void credit(account); 
public void transfer(Account account, Account account1); 

} 

Dada esta definición, ¿cuál es la mejor manera de implementar la transferencia() de modo que usted puede garantizar que la transferencia es una operación atómica.

Estoy interesado en recibir respuestas que hacen referencia a código Java 1.4, así como las respuestas que podrían utilizar los recursos de java.util.concurrent en Java 5

Answer 1

Sincronizar en ambos Account objetos y hacer la transferencia. Asegúrese de sincronizar siempre en el mismo orden. Para hacerlo, haga que Account implemente Comparable, ordene las dos cuentas y sincronice en ese orden.

Si no pide las cuentas, se corre la posibilidad de estancamiento si uno transferencias de rosca de la A a B y otro transferencias de B a A.

Este ejemplo exacta se discute en la página 207 de Java Concurrency in Practice, un libro crítico para cualquiera que realice un desarrollo de Java multiproceso. El código de ejemplo está disponible en el publisher's website:

• Dynamic lock-ordering deadlock. (mala)
• Inducing a lock ordering to avoid deadlock.

Answer 2

Probablemente necesita tener un soporte completo de transacciones (si se trata de una aplicación real, por supuesto).

La dificultad de la solución apenas depende de su entorno. Describa su sistema en detalle e intentaremos ayudarlo (¿qué tipo de aplicación? ¿Utiliza servidor web? ¿Qué servidor web? ¿Qué se utiliza para almacenar datos? Y así sucesivamente)

Answer 3

Un ejemplo clásico muy bien explicado aquí - http://www.javaworld.com/javaworld/jw-10-2001/jw-1012-deadlock.html?page=4

Answer 4

no podrías evitar tener que sincronizar mediante una AtomicReference<Double> para el saldo de la cuenta, junto con get() y set()?

Answer 5

Si puede garantizar que todos los accesos se realizan a través del método de transferencia, entonces probablemente el enfoque más fácil sea simplemente hacer que la transferencia sea un método sincronizado. Esto será seguro para subprocesos porque esto garantiza que solo un subproceso ejecutará el método de transferencia en cualquier momento.

Si otros métodos también pueden acceder al AccountService, entonces puede decidir que todos ellos utilicen un único bloqueo global. Una manera fácil de hacerlo es rodear todo el código que accede al AccountService en un bloque synchronized (X) {...} donde X es una instancia de objeto shared/singleton (que podría ser la instancia de AccountService en sí misma). Esto será seguro para subprocesos, ya que solo un subproceso accederá al Servicio de cuenta en cualquier momento, incluso si tienen diferentes métodos.

Si eso aún no es suficiente, entonces tendrá que utilizar enfoques de bloqueo más sofisticados. Un enfoque común sería bloquear las cuentas individualmente antes de modificarlas ... pero debe tener mucho cuidado de tomar las cerraduras en un orden coherente (por ejemplo, mediante la identificación de la cuenta), de lo contrario, se encontrará con puntos muertos.

Finalmente si AccountService es un servicio remoto, entonces usted está en el territorio de bloqueo distribuido ... a menos que tenga un doctorado en informática y años de presupuesto de investigación para quemarlo, probablemente debería evitar ir allí.