Skip to main content
SpringerLink
Log in

Reowolf: Synchronous Multi-party Communication over the Internet

  • Conference paper
  • First Online:
Formal Aspects of Component Software (FACS 2019)

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

Included in the following conference series:

  • 437 Accesses

Abstract

In this position paper we introduce Reowolf: an on-going project that aims to replace the decades-old application programming interface, BSD sockets, for communication on the Internet. A novel programming interface is being implemented at the systems level that is inter-operable with existing Internet applications.

Received support from NLnet: NGI Zero PET fund from the European Union’s Horizon 2020 research and innovation programme under grant agreement No. 825310.

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.

    E.g. local host (virtualized) networking, wireless sensor networks, Beowulf class cluster computing, high-speed local area networks in datacenters, wide-area networks spanning the globe, and satellite networks.

References

  1. Arbab, F.: Abstract behavior types: a foundation model for components and their composition. Sci. Comput. Program. 55(1–3), 3–52 (2005)

    Article  MathSciNet  Google Scholar 

  2. Arbab, F.: Proper protocol. In: Ábrahám, E., Bonsangue, M., Johnsen, E.B. (eds.) Theory and Practice of Formal Methods. LNCS, vol. 9660, pp. 65–87. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-30734-3_7

    Chapter  Google Scholar 

  3. Awerbuch, B.: Complexity of network synchronization. J. ACM 32(4), 804–823 (1985)

    Article  MathSciNet  Google Scholar 

  4. Ciatto, G., Mariani, S., Louvel, M., Omicini, A., Zambonelli, F.: Twenty years of coordination technologies: state-of-the-art and perspectives. In: Di Marzo Serugendo, G., Loreti, M. (eds.) COORDINATION 2018. LNCS, vol. 10852, pp. 51–80. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-92408-3_3

    Chapter  Google Scholar 

  5. Claffy, K.C., Huston, G., Clark, D.: Workshop on Internet Economics (WIE2017) final report. SIGCOMM Comput. Commun. Rev. 48(3), 42–45 (2018). https://doi.org/10.1145/3276799.3276805

    Article  Google Scholar 

  6. Dharmapurikar, S., Krishnamurthy, P., Sproull, T., Lockwood, J.: Deep packet inspection using parallel Bloom filters. In: Proceedings of the 11th Symposium on High Performance Interconnects, pp. 44–51. IEEE (2003)

    Google Scholar 

  7. Dokter, K., Jongmans, S.S., Arbab, F., Bliudze, S.: Relating BIP and Reo. arXiv preprint arXiv:1508.04848 (2015)

  8. Hergarden, M., Jongmans, S.S.: Shared memory implementations of protocol programming languages, data-race-free. In: Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, pp. 36–40. ACM (2018). https://doi.org/10.1145/3242947.3242952

  9. Jenčik, M., Mihályi, D.: Program components & abstract behavioral types. Acta Electrotech. Inform. 12(1), 38–43 (2012)

    Article  Google Scholar 

  10. Jongmans, S.S.: Automata-theoretic protocol programming. Ph.D. thesis, Centrum Wiskunde & Informatica (CWI), Leiden University (2016)

    Google Scholar 

  11. Jongmans, S.-S.T.Q., Arbab, F.: Can high throughput atone for high latency in compiler-generated protocol code? In: Dastani, M., Sirjani, M. (eds.) FSEN 2015. LNCS, vol. 9392, pp. 238–258. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-24644-4_17

    Chapter  Google Scholar 

  12. Mühl, G., Fiege, L., Pietzuch, P.: Distributed Event-Based Systems. Springer, Heidelberg (2006). https://doi.org/10.1007/3-540-32653-7

    Book  MATH  Google Scholar 

  13. Proença, J., Clarke, D., de Vink, E., Arbab, F.: Dreams: a framework for distributed synchronous coordination. In: Proceedings of the 27th Annual ACM Symposium on Applied Computing, pp. 1510–1515. ACM (2012). https://doi.org/10.1145/2245276.2232017

  14. Tankard, C.: What the GDPR means for businesses. Netw. Secur. 2016(6), 5–8 (2016). https://doi.org/10.1016/S1353-4858(16)30056-3. http://www.sciencedirect.com/science/article/pii/S1353485816300563

    Article  Google Scholar 

  15. Yu, F., Chen, Z., Diao, Y., Lakshman, T.V., Katz, R.H.: Fast and memory-efficient regular expression matching for deep packet inspection. In: Proceedings of the 12th Symposium on Architecture for Networking and Communications Systems, pp. 93–102. IEEE (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centrum Wiskunde & Informatica, Science Park 123, 1098 XG, Amsterdam, The Netherlands

    Christopher A. Esterhuyse & Hans-Dieter A. Hiep

Authors
  1. Christopher A. Esterhuyse
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hans-Dieter A. Hiep
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hans-Dieter A. Hiep .

Editor information

Editors and Affiliations

  1. CWI, University of Leiden, Leiden, The Netherlands

    Farhad Arbab

  2. Open University of the Netherlands, Heerlen, The Netherlands

    Sung-Shik Jongmans

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Esterhuyse, C.A., Hiep, HD.A. (2020). Reowolf: Synchronous Multi-party Communication over the Internet. In: Arbab, F., Jongmans, SS. (eds) Formal Aspects of Component Software. FACS 2019. Lecture Notes in Computer Science(), vol 12018. Springer, Cham. https://doi.org/10.1007/978-3-030-40914-2_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-40914-2_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-40913-5

  • Online ISBN: 978-3-030-40914-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation