Skip to main content
SpringerLink
Log in

Event Stream Processing with Multiple Threads

  • Conference paper
  • First Online:
Runtime Verification (RV 2017)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10548))

Included in the following conference series:

Abstract

We present an extension to the BeepBeep 3 event stream engine that allows the use of multiple threads during the evaluation of a query. Compared to the single-threaded version of BeepBeep, the allocation of just a few threads to specific portions of a query provides improvement in terms of throughput.

An extended version of this paper is available as a technical report [14].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://liflab.github.io/beepbeep-3.

  2. 2.

    https://support.hyperic.com/display/SIGAR/Home.

  3. 3.

    https://datahub.io/dataset/beepbeep-mt-lab.

References

  1. Abadi, D.J., Ahmad, Y., Balazinska, M., Çetintemel, U., Cherniack, M., Hwang, J.-H., Lindner, W., Maskey, A., Rasin, A., Ryvkina, E., Tatbul, N., Xing, Y., Zdonik, S.B.: The design of the Borealis stream processing engine. In: CIDR, pp. 277–289 (2005)

    Google Scholar 

  2. Apache Software Foundation. Samza. Accessed 1st December 2016

    Google Scholar 

  3. Apache Software Foundation. Storm incubation status. Accessed 1st December 2016

    Google Scholar 

  4. Apers, P.M.G., van den Berg, C.A., Flokstra, J., Grefen, P.W.P.J., Kersten, M.L., Wilschut, A.N.: PRISMA/DB: a parallel main memory relational DBMS. IEEE Trans. Knowl. Data Eng. 4(6), 541–554 (1992)

    Article  Google Scholar 

  5. Basin, D.A., Caronni, G., Ereth, S., Harvan, M., Klaedtke, F., Mantel, H.: Scalable offline monitoring of temporal specifications. Formal Methods Syst. Des. 49(1–2), 75–108 (2016)

    Article  Google Scholar 

  6. Berkovich, S., Bonakdarpour, B., Fischmeister, S.: Runtime verification with minimal intrusion through parallelism. Formal Methods Syst. Des. 46(3), 317–348 (2015)

    Article  MATH  Google Scholar 

  7. Brenna, L., Demers, A.J., Gehrke, J., Hong, M., Ossher, J., Panda, B., Riedewald, M., Thatte, M., White, W.M.: Cayuga: a high-performance event processing engine. In: Chan, C.Y., Ooi, B.C., Zhou, A. (eds.) Proceedings of the ACM SIGMOD International Conference on Management of Data, Beijing, China, June 12–14, 2007, pp. 1100–1102. ACM (2007)

    Google Scholar 

  8. Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), vol. 995(1072), p. 5 (1990)

    Google Scholar 

  9. Falcone, Y., Sánchez, C. (eds.): RV 2016. LNCS, vol. 10012. Springer, Cham (2016)

    Google Scholar 

  10. Ganguly, S., Hasan, W., Krishnamurthy, R.: Query optimization for parallel execution. In: Stonebraker, M. (ed.) Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, San Diego, California, June 2–5, 1992, pp. 9–18. ACM Press (1992)

    Google Scholar 

  11. Graefe, G.: Parallel query execution algorithms. In: Liu, L., Özsu, M.T. (eds.) Encyclopedia of Database Systems, pp. 2030–2035. Springer, New York (2009)

    Google Scholar 

  12. Ha, J., Arnold, M., Blackburn, S.M., McKinley, K.S.: A concurrent dynamic analysis framework for multicore hardware. ACM SIGPLAN Not. 44, 155–174 (2009). ACM

    Article  Google Scholar 

  13. Hallé, S.: LabPal: repeatable computer experiments made easy. In: Bultan, T., Sen, K. (eds.) International Symposium on Software Testing and Analysis, ISSTA 2017, Santa Barbara, CA, USA, July 10–14, 2017, pp. 404–407. ACM (2013)

    Google Scholar 

  14. Hallé, S., Khoury, R., Gaboury, S.: Event stream processing with multiple threads (extended version). CoRR, abs/1707.02600 (2017)

    Google Scholar 

  15. Hallé, S., Soucy-Boivin, M.: MapReduce for parallel trace validation of LTL properties. J. Cloud Comp. 4, 8 (2015)

    Article  Google Scholar 

  16. Hallé, S.: When RV meets CEP. In: Falcone and Sánchez [9], pp. 68–91

    Google Scholar 

  17. Harrow, J.J.: Runtime checking of multithreaded applications with visual threads. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol. 1885, pp. 331–342. Springer, Heidelberg (2000). doi:10.1007/10722468_20

    Chapter  Google Scholar 

  18. Krikellas, K., Viglas, S., Cintra, M.: Modeling multithreaded query execution on chip multiprocessors. In: Bordawekar, R., Lang, C.A. (eds.) International Workshop on Accelerating Data Management Systems Using Modern Processor and Storage Architectures - ADMS 2010, Singapore, September 13, 2010, pp. 22–33 (2010)

    Google Scholar 

  19. Kuhtz, L., Finkbeiner, B.: Efficient parallel path checking for linear-time temporal logic with past and bounds. Log. Methods Comput. Sci. 8(4), 1–24 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  20. Li, K., Kavi, M., Naz, A., Sweany, P.H.: Speculative thread execution in a multithreaded dataflow architecture. In: Peterson, G.D. (ed.) Proceedings of the ISCA 19th International Conference on Parallel and Distributed Computing Systems, September 20–11, 2006, San Francisco, California, USA, pp. 102–107. ISCA (2006)

    Google Scholar 

  21. Luo, Q., Rosu, G.: EnforceMOP: a runtime property enforcement system for multithreaded programs. In: Pezzè, M., Harman, M. (eds.) International Symposium on Software Testing and Analysis, ISSTA 2013, Lugano, Switzerland, July 15–20, 2013, pp. 156–166. ACM (2013)

    Google Scholar 

  22. Nazarpour, H., Falcone, Y., Bensalem, S., Bozga, M., Combaz, J.: Monitoring multi-threaded component-based systems. In: Ábrahám, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 141–159. Springer, Cham (2016). doi:10.1007/978-3-319-33693-0_10

    Chapter  Google Scholar 

  23. Neumeyer, L., Robbins, B., Nair, A., Kesari, A.: S4: distributed stream computing platform. In: Fan, W., Hsu, W., Webb, G.I., Liu, B., Zhang, C., Gunopulos, D., Wu, X. (eds.) ICDMW 2010, The 10th IEEE International Conference on Data Mining Workshops, Sydney, Australia, 13 December 2010, pp. 170–177. IEEE Computer Society (2010)

    Google Scholar 

  24. Paes, M., Lima, A.A.B., Valduriez, P., Mattoso, M.: High-performance query processing of a real-world OLAP database with ParGRES. In: Palma, J.M.L.M., Amestoy, P.R., Daydé, M., Mattoso, M., Lopes, J.C. (eds.) VECPAR 2008. LNCS, vol. 5336, pp. 188–200. Springer, Heidelberg (2008). doi:10.1007/978-3-540-92859-1_18

    Chapter  Google Scholar 

  25. Pellizzoni, R., Meredith, P., Caccamo, M., Rosu, G.: Hardware runtime monitoring for dependable cots-based real-time embedded systems. In: Real-Time Systems Symposium, pp. 481–491. IEEE (2008)

    Google Scholar 

  26. Qadeer, S., Tasiran, S.: Runtime verification of concurrency-specific correctness criteria. STTT 14(3), 291–305 (2012)

    Article  Google Scholar 

  27. Reger, G., Hallé, S., Falcone, Y.: Third international competition on runtime verification - CRV 2016. In: Falcone and Sánchez [9], pp. 21–37

    Google Scholar 

  28. Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.E.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15(4), 391–411 (1997)

    Article  Google Scholar 

  29. Sen, K., Rosu, G., Agha, G.: Runtime safety analysis of multithreaded programs. In: Paakki, J., Inverardi, P. (eds.) Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1–5, 2003, pp. 337–346. ACM (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d’informatique Formelle, Université du Québec à Chicoutimi, Saguenay, Canada

    Sylvain Hallé, Raphaël Khoury & Sébastien Gaboury

Authors
  1. Sylvain Hallé
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Raphaël Khoury
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sébastien Gaboury
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sylvain Hallé .

Editor information

Editors and Affiliations

  1. Microsoft Research, Redmond, Washington, USA

    Shuvendu Lahiri

  2. The University of Manchester, Manchester, United Kingdom

    Giles Reger

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Hallé, S., Khoury, R., Gaboury, S. (2017). Event Stream Processing with Multiple Threads. In: Lahiri, S., Reger, G. (eds) Runtime Verification. RV 2017. Lecture Notes in Computer Science(), vol 10548. Springer, Cham. https://doi.org/10.1007/978-3-319-67531-2_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-67531-2_22

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-67530-5

  • Online ISBN: 978-3-319-67531-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation