Deadlock wollok

[fdodino]

@npasserini @PalumboN @lspigariol , no los quiero alarmar... pero le tengo bastante fe a estos toques. Estuve testeando con JConsole los deadlocks porque de casualidad me apareció y encontré el origen del problema:

la clase WollokGlobalScopeProvider tenía este método sincronizado

	override IScope getScope(IScope parent, Resource context, boolean ignoreCase, EClass type,
		Predicate<IEObjectDescription> filter) {
			var explicitImportedObjects = context.importedObjects
			if (filter !== null)
				explicitImportedObjects = explicitImportedObjects.filter(filter)
			val defaultScope = super.getScope(parent, context, ignoreCase, type, filter)
			new SimpleScope(defaultScope, explicitImportedObjects)
	}

El tema es que importedObjects también tenía su método sincronizado:

	def importedObjects(Resource context) {
		if (context === null || context.contents === null) {
			return #{}
		}
		val imports = context.calculateImports
		cache.get(context.URI, imports, [doImportedObjects(context, imports)])
	}

Fíjense que estamos accediendo a la cache que es MapBasedWollokGlobalScopeCache, y el método get, es (era) también sincronizado... y adentro todo bien si es sincronizado y la cache te trae los EObject de la URI. Pero si no está la URI la primera vez, ejecuta ifAbsentBlock.apply, que es el doImportedObjects de WollokGlobalScopeProvider.

	override get(URI uri, Set<String> imports, Function0<Iterable<IEObjectDescription>> ifAbsentBlock) {
		val uriString = uri.toString
		var cacheContent = cache.get(uriString) as MapBasedCacheContent
		if (cacheContent === null || cacheContent.mismatch(imports)) {
			cacheContent = new MapBasedCacheContent(uri, imports, ifAbsentBlock.apply)
			synchronized (this) {
				cache.put(uriString, cacheContent)
			}
		}
		cacheContent.result
	}

O sea, si estoy levantando el entorno como un campeón, y justo, justo, justo, el editor decide que quiere refrescar la vista, o bien cualquier otro elemento visual desde otro Thread necesita acceder a información de las URIs de Wollok, kaboom! En cuanto se entrelazan esos threads ninguno suelta al WollokGlobalScopeProvider y Wollok termina en un deadlock. Esto pasa especialmente cuando renombrás el archivo y el editor necesita refrescar los recursos asociados, y en algunos otros casos.

Lo ideal sería testearlo bastante, yo probé mucho agarrar un import y borrarlo y volverlo a poner, modificar el editor y tratar de grabarlo muchas veces rápido, para ver si no salta el popup molesto que aparecía hace algunos años y que se solucionó con estos synchronized. No me apareció ni una vez, y tampoco tuve deadlocks. Lo ideal sería que se bajen esta versión y lo prueben, sobre todo con workspaces rotos que no levantan ni a palos (a mí me anduvieron).

El único tema que sí noté es que cuando vos cambiás algún archivo de la biblioteca de Wollok (lang, lib, etc.) el workspace anterior no te sirve, queda roto (es como si quedara linkeado con los EObject viejos). Pero eso sigue siendo mejor que quedar bloqueado eternamente.

[coveralls]

Coverage remained the same at 89.173% when pulling cb5497d on deadlock-wollok into 2f7300e on dev.

[npasserini]

Uh, qué gran noticia! El vie., 12 de jul. de 2019 a la(s) 00:23, Coveralls ( notifications@github.com) escribió:

…

[image: Coverage Status] <https://coveralls.io/builds/24521467> Coverage remained the same at 89.155% when pulling *ae94141 <ae94141> on deadlock-wollok* into *614fd70 <614fd70> on dev*. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#1689?email_source=notifications&email_token=ABDLKOIFHWV4SETCYWSYYQ3P672J7A5CNFSM4IB734G2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZYR7NA#issuecomment-510730164>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ABDLKOOYIDLSWAAXYJJDNUTP672J7ANCNFSM4IB734GQ> .

[fdodino]

Confirmado, todos estos días estuve abriendo nuevos branches, cada vez que tuve un deadlock cerré el runtime de Wollok, cambié las clases MapBasedWollokGlobalScopeCache y WollokGlobalScopeProvider (me se los cambios de memoria) y santo remedio, levantó el IDE perfectamente. Por otra parte no me tiró ninguna ventana de error el editor, así que yo diría con toda la fe de mergearlo y que lo empecemos a probar fuerte en nuestros entornos.

[npasserini]

Dale masa!