Publication:
An Event Based programming language for Runtime Monitoring and Dynamic Instrumentation of Concurrent and Distributed Programs

Thumbnail Image
Files

Files

An event based programming language for runtime monitoring and dynamic instrumentation of concurrent and distributed programs.pdf (364.43 KB)
View Statistics
Reference Managers
Mendeley
Indexers
Google Scholar CORE
QR Code
QR Code
Authors

Authors

Durán, David
Pimienta, Camilo
Arboleda, Hugo
Benavides Navarro, Luis Daniel
Abstract (Spanish)
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.
Abstract (English)
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.
Extent
17 páginas
URI: https://repositorio.escuelaing.edu.co/handle/001/3177
Collections

Collections

AD - CTG – Informática
References

J.-R. Abrial. Modeling in Event-B: System and Software Engineering. Cambridge University Press, New York, NY, USA, 1st edition, 2010.

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.

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.

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

F. Chen and G. Ro¸ su. Mop: An efficient and generic runtime verification framework. SIGPLAN Not., 42(10):569–588, Oct. 2007.

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.

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.

M. Eriksen. Effective http://twitter.github.io/effectivescala/. scala, 2012. Available:

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.

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.

W. Inc. Whatsapp open https://www.whatsapp.com/opensource/. source, 2016. Available

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.

Jgroups home page. latest visit on June 2015, 2011.

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.

P. Leger, E. Tanter, and H. Fukuda. An expressive stateful aspect language. Sci. Comput. Program., 102(C):108–141, May 2015.

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.

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.

A. Møller. dk.brics.automaton– finite-state automata and regular expressions for Java. latest visit on May 2011, 2010.

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.

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.

J. C. TreeCache. A structured, replicated, transactional cache. user documentation., 2013. Available: http://docs.jboss.org/jbosscache/1.4.0/TreeCache/.

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.