Introducción
Después de años de llenar formularios y esperar, por fin conseguiste tu licencia bancaria.
Esto significa que ahora ya puedes abrir oficialmente tu propio banco, ¡hurra!
Tu primera prioridad es poner en marcha los sistemas informáticos.
Después de un día de duro trabajo, ya puedes abrir y cerrar cuentas, además de manejar retiros y depósitos.
Como no tenías ganas de escribir pruebas, invitas a unos amigos para que te ayuden a probar el sistema.
Sin embargo, apenas cinco minutos después, ¡uno de tus amigos dice que perdió dinero!
Aunque confías en que tu código no tiene errores, empiezas a revisar los registros para investigar.
Ah, claro, tal como sospechabas, ¡la culpa es de tu amigo!
Compartió sus credenciales de prueba con otro amigo y juntos conspiraron para hacer depósitos y retiros de la misma cuenta en paralelo.
¿A quién se le ocurriría hacer algo así?
Mientras argumentas que es físicamente imposible que alguien acceda a su cuenta en paralelo, tu amigo te informa con aire de superioridad que las reglas bancarias exigen que lo soportes.
Así que, si no hay soporte para banca en paralelo, no hay luz verde para el lanzamiento.
Suspiras y te haces una nota mental para trabajar en esto mañana.
Esto retrasará tu fecha de lanzamiento al menos un día más, pero bueno...
Instrucciones
Tu tarea es implementar cuentas bancarias que permitan abrir y cerrar cuentas, hacer retiros y depositar dinero.
Como se puede acceder a las cuentas bancarias de muchas maneras distintas (internet, teléfonos móviles, cargos automáticos), tu software bancario debe permitir que se acceda a las cuentas de forma segura desde varios hilos o procesos en paralelo (la terminología depende de tu lenguaje de programación).
Por ejemplo, puede haber muchos depósitos y retiros ocurriendo en paralelo; debes asegurarte de que no haya condiciones de carrera entre el momento en que lees el saldo de la cuenta y el momento en que estableces el nuevo saldo.
Debe ser posible cerrar una cuenta; las operaciones sobre una cuenta cerrada deben fallar.
Implementación
Este ejercicio introduce la concurrencia.
Para pasar la última prueba, puede que te resulte útil la palabra clave synchronized o los bloqueos.
Los problemas que surgen al ejecutar código de forma concurrente suelen ser intermitentes, porque dependen del orden en que se ejecuta el código.
Por eso, la última prueba ejecuta muchos hilos varias veces para aumentar las posibilidades de detectar un bug.
Eso significa que esta prueba debería fallar si tu implementación no es segura para hilos, pero existe la posibilidad de que pase solo porque no hubo ningún intento de modificación concurrente.
Es poco probable que esto ocurra varias veces seguidas, ya que el orden en que se ejecuta el código debería variar cada vez que ejecutes la prueba.
Así que, si ejecutas la última prueba un par de veces y pasa todas las veces, puedes confiar razonablemente en que tu implementación es correcta.
