Yh... que se puede decir que no se haya dicho ya acerca de... eh... una musica...
Eso que decis de transacciones me parece que tiene sentido si primero se define que es lo que cambia mediante una transaccion. Asi como pones el ejemplo no esta explicito cual es el conjunto de objetos sobre el cual se basa la transaccion (o sea, el cuerpo de objetos subordinados al regimen de transacciones). Esas preguntas que haces las responde todas GemStone... no pasa nada si T2 hace cosas en su copia local de aRect. Pero cuando intenta hacer commit, el commit rebota porque el objeto cambio desde la ultima vez que T2 miro a aRect en el "repositorio". Ahi T2 tiene varias opciones... hacer un abort para obtener una nueva copia de aRect (y tal vez volver a cambiar a aRect y ahi hacer un commit), o hacer commit igual a lo bruto, etc... la utilidad de cada alternativa depende de la aplicacion. Asi a primera vista, me parece dificil implementar esto de manera general sin una division clara entre "repositorio" y "copia local". Por ejemplo, que quiere decir que una transaccion local vaya y cambie el regimen de transacciones para todos los demas? Siendo que en una imagen vale obtener referencias a cualquier objeto, como se hace exactamente para imponer alguna frontera mas o menos segura entre los objetos transaccionados y el resto? Asi con las imagenes que tenemos hoy, no se. Andres. 2010/10/12 Angel Java Lopez <[email protected]>: > Hola gente! > > Ayer, el bueno de Valloud menciono transacciones, imagino transacciones de > objetos. Menciono tambien GemStone. Antes de preguntar sobre GemStone, > quisiera preguntar algo sobre Smalltalk en general. > > Que consideran como transacciones de objetos, aca, en Smalltalk? En lo que > viene abajo, no hablo de distribuido, simplemente transacciones en una VM > digamos local. > > Me imagino: > > aRect := Rectangle new. > > En algun momento > > aRect width: 100. > > En un proceso P1, se arma una transaccion T1 (no se si esto existe en lo que > llaman por aca transacciones). > > Un poco mas adelante, en un proceso P2, se arma una transaccion T2. > > Durante T1, la evaluacion de: > > aRect width > > devuelve 100. Lo mismo en T2. > > En algun momento, T1 hace > > aRect witdh: 200 > > con lo que se cambia algun estado interno, supongamos una variable de > instancia width. Todavia no hace T1 commit. > > Luego de ese instante, en T2 se evalua > > aRect width > > y sigue dando 100 (aca asumo que T2 siempre ve una especie de snapshot de lo > que tenian los objetos al comienzo de la vida de T2, y por supuesto, ve los > cambios que hace T2, pero no los de otras Tn). > > T1 hace commit. T2 sigue funcionando. > > Aparece en algun proceso P3, una transaccion T3, nacida luego de T1 commit. > En esa T3, el evaluar > > aRect width > > devuelve 200, de acuerdo a los valores YA committeados por T1. Mientras > tanteo, en T2 sigue siendo > > aRect width > > valiendo 100, segun lo que habia al comienzo de T2. > > Que pasa cuando T2 hace: > > aRect width: 300 > > ? Da error ahi? Da error mas adelante, cuando hace commit y se ve que algun > cambio de estado esta en conflicto con lo que ya committeo T1? Gana > simplemente T2? > > Es esto que describo arriba, lo que llaman por aca transacciones de objetos? > > Existe esto en algun Smalltalk? (recuerden, estoy considerando NO objetos > distribuidos, sino cambios en la memoria de una simple VM local). > > Bueno, esas son mis preguntas, cualquier info, bienvenida y se agradece! > > Algo implemente en [1], y queria pasar a implementar algo similar en [2], mi > pet project. La idea seria tener algo como Software Transactional Memory > (mis enlaces http://delicious.com/ajlopez/stm) > > Nos leemos! > > [1] > http://ajlopez.wordpress.com/2010/06/07/memory-transactions-in-ajsharp-using-references/ > [2] http://code.google.com/p/ajtalk/ > > Angel "Java" Lopez > http://www.ajlopez.com > http://twitter.com/ajlopez > > -- > To post to this group, send email to [email protected] > To unsubscribe from this group, send email to > [email protected] > > http://www.clubSmalltalk.org -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] http://www.clubSmalltalk.org
