Mostrar el registro sencillo del ítem
An Event Based programming language for Runtime Monitoring and Dynamic Instrumentation of Concurrent and Distributed Programs
dc.contributor.author | Benavides, Luis Daniel | |
dc.contributor.author | Durán, David | |
dc.contributor.author | Pimienta, Camilo | |
dc.contributor.author | Arboleda, Hugo | |
dc.date.accessioned | 2024-07-16T22:02:04Z | |
dc.date.available | 2024-07-16T22:02:04Z | |
dc.date.issued | 2016 | |
dc.identifier.uri | https://repositorio.escuelaing.edu.co/handle/001/3177 | |
dc.description.abstract | In this paper we introduce EKETAL, an event based programming language for runtime monitoring and dynamic instrumentation of distributed and concurrent applications. We argue that development, maintenance and evolution of distributed applications can be greatly improved by such a language. To support this claim, we first present the programming model and corresponding compiler implementation (compiler generates distributed AspectJ’s code), then we present micro-benchmarks of the runtime infrastructure and a qualitative study of the usage of the language for debugging and testing liveness and datarace problems found in BigData middleware. | eng |
dc.description.abstract | En este artículo presentamos EKETAL, un lenguaje de programación basado en eventos para monitoreo en tiempo de ejecución e instrumentación dinámica de aplicaciones distribuidas y concurrentes. Sostenemos que dicho lenguaje puede mejorar enormemente el desarrollo, el mantenimiento y la evolución de aplicaciones distribuidas. Para respaldar esta afirmación, primero presentamos el modelo de programación y la implementación del compilador correspondiente (el compilador genera el código de AspectJ distribuido), luego presentamos micro puntos de referencia de la infraestructura de tiempo de ejecución y un estudio cualitativo del uso del lenguaje para depurar y probar la vida y la carrera de datos. Problemas encontrados en el middleware BigData. | spa |
dc.format.extent | 17 páginas | spa |
dc.format.mimetype | application/pdf | spa |
dc.language.iso | eng | spa |
dc.publisher | Universidad Escuela Colombiana de Ingeniería Julio Garavito | spa |
dc.publisher | Universidad Icesi | spa |
dc.source | http://ldbn.is.escuelaing.edu.co/workingpapers/Distributed_Debugging_of_Liveness_and_Datarace_Errors_Using_an_Event_Based_Language.pdf | spa |
dc.title | An Event Based programming language for Runtime Monitoring and Dynamic Instrumentation of Concurrent and Distributed Programs | eng |
dc.type | Documento de trabajo | spa |
dc.type.version | info:eu-repo/semantics/publishedVersion | spa |
oaire.accessrights | http://purl.org/coar/access_right/c_abf2 | spa |
oaire.version | http://purl.org/coar/version/c_970fb48d4fbd8a85 | spa |
dc.contributor.researchgroup | CTG - Informática | spa |
dc.identifier.instname | Universidad Escuela Colombiana de Ingeniería Julio Garavito | spa |
dc.identifier.reponame | Repositorio Digital | spa |
dc.identifier.repourl | https://repositorio.escuelaing.edu.co/ | spa |
dc.publisher.place | Bogotá (Colombia) | spa |
dc.relation.references | J.-R. Abrial. Modeling in Event-B: System and Software Engineering. Cambridge University Press, New York, NY, USA, 1st edition, 2010. | spa |
dc.relation.references | L. D. Benavides Navarro, R. Douence, and M. S¨ udholt. Debugging and testing middleware with aspect-based control-flow and causal patterns. In In Proc. of the 9th Int. Middleware Conference, Leuven, Belgium, Dec. 2008. Springer-Verlag. | spa |
dc.relation.references | N. Benton, L. Cardelli, and C. Fournet. Modern concurrency abstractions for c#. In Proc. of the 16th European Conference on Object-Oriented Programming, ECOOP ’02, pages 415–440, London, UK, UK, 2002. Springer-Verlag. | spa |
dc.relation.references | M. Butler and S. Hallerstede. The rodin formal modeling tool. In Proc. of the 2007th Int. Conference on Formal Methods in Industry, FACS-FMI’07, pages 2–2, Swinton, UK, UK, 2007. British Computer Society | spa |
dc.relation.references | F. Chen and G. Ro¸ su. Mop: An efficient and generic runtime verification framework. SIGPLAN Not., 42(10):569–588, Oct. 2007. | spa |
dc.relation.references | C. Colombo, G. J. Pace, and G. Schneider. Larva — safer monitoring of real-time java programs (tool paper). In Seventh IEEE International Conference on Software Engineering and Formal Methods (SEFM), pages 33–37. IEEE Computer Society, November 2009. | spa |
dc.relation.references | A. Demers, J. Gehrke, M. Hong, M. Riedewald, and W. White. Towards expressive publish/subscribe systems. In Proc. of the 10th Int. Conf. on Advances in Database Technology, EDBT’06, pages 627–644, Berlin, Heidelberg, 2006. Springer-Verlag. | spa |
dc.relation.references | M. Eriksen. Effective http://twitter.github.io/effectivescala/. scala, 2012. Available: | spa |
dc.relation.references | P. Eugster and K. Jayaram. Eventjava: An extension of java for event correlation. In S. Drossopoulou, editor, ECOOP 2009– Object-Oriented Prog., volume 5653 of Lec. Notes in Computer Science, pages 570–594. Springer Berlin Heidelberg, 2009. | spa |
dc.relation.references | C. Fournet and G. Gonthier. The reflexive cham and the join-calculus. In Proc. of the 23rd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL ’96, pages 372–385, New York, NY, USA, 1996. ACM. | spa |
dc.relation.references | W. Inc. Whatsapp open https://www.whatsapp.com/opensource/. source, 2016. Available | spa |
dc.relation.references | K. R. Jayaram and P. Eugster. Scalable efficient composite event detection. In Proc. of the 12th Int. Conf. on Coordination Models and Languages, COORDINATION’10, pages 168–182, Berlin, Heidelberg, 2010. Springer-Verlag. | spa |
dc.relation.references | Jgroups home page. latest visit on June 2015, 2011. | spa |
dc.relation.references | G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of aspectj. In Proc. of the 15th European Conf. on Object-Oriented Prog., ECOOP ’01, pages 327–353, London, UK, 2001. Springer-Verlag. | spa |
dc.relation.references | P. Leger, E. Tanter, and H. Fukuda. An expressive stateful aspect language. Sci. Comput. Program., 102(C):108–141, May 2015. | spa |
dc.relation.references | Q. Luo and G. Rosu. EnforceMOP: a runtime property enforcement system for multithreaded programs. In the 2013 International Symposium, pages 156–166, New York, New York, USA, 2013. ACM Press. | spa |
dc.relation.references | F. Mattern. Virtual time and global states of distributed systems. In Proc. of the Int. Workshop on Parallel and distributed Algorithms, Chateau de Bonas, France, October 1988. | spa |
dc.relation.references | A. Møller. dk.brics.automaton– finite-state automata and regular expressions for Java. latest visit on May 2011, 2010. | spa |
dc.relation.references | V. Rivera and N. Cata˜ no. Translating event-b to jml-specified java programs. In Proc. of the 29th Annual ACM Symp. on Applied Computing, SAC ’14, pages 1264–1271, New York, NY, USA, 2014. ACM. | spa |
dc.relation.references | K. Serebryany and T. Iskhodzhanov. Threadsanitizer: Data race detection in practice. In Proc. of the Workshop on Binary Instrumentation and Applications, WBIA ’09, pages 62–71, New York, NY, USA, 2009. ACM. | spa |
dc.relation.references | J. C. TreeCache. A structured, replicated, transactional cache. user documentation., 2013. Available: http://docs.jboss.org/jbosscache/1.4.0/TreeCache/. | spa |
dc.relation.references | Y. Zhuang and S. Chiba. Method slots: Supporting methods, events, and advices by a single language construct. In Proc. of the 12th Annual Int. Conf. on Aspectoriented Software Development, AOSD ’13, pages 197–208, N.Y., USA, 2013. ACM. | spa |
dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
dc.subject.armarc | Eketal (Lenguaje de programación para computadores) | |
dc.subject.armarc | Software de aplicación | |
dc.subject.armarc | Application software | |
dc.subject.armarc | Desarrollo de software | |
dc.subject.armarc | Computer software - Development | |
dc.subject.armarc | Eketal (Computer programming language) | |
dc.subject.proposal | Debugging | eng |
dc.subject.proposal | Depuración | spa |
dc.subject.proposal | Testing | eng |
dc.subject.proposal | Pruebas | spa |
dc.subject.proposal | Event patterns | eng |
dc.subject.proposal | Patrones de eventos | spa |
dc.subject.proposal | Runtime monitoring | eng |
dc.subject.proposal | Monitoreo de tiempo de ejecución | spa |
dc.subject.proposal | Event based languages | eng |
dc.subject.proposal | Lenguajes basados en eventos | spa |
dc.subject.proposal | Distributed applications | eng |
dc.subject.proposal | Aplicaciones distribuidas | spa |
dc.subject.proposal | Datarace error | eng |
dc.subject.proposal | Error de carrera de datos | spa |
dc.type.coar | http://purl.org/coar/resource_type/c_8042 | spa |
dc.type.content | Text | spa |
dc.type.driver | info:eu-repo/semantics/workingPaper | spa |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
AD - CTG – Informática [89]
Clasificación B- Convocatoria 2018