This book aims to explain green threads by using a small example where we implement a simple but working program where we use our own green threads to execute code.
JavaScript is single threaded language but multi threading can be achieved in JavaScript using HTML5 Web Workers API. This will enable JavaScript code to run in background AKA parallel programming.
A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web, and distributed computing with complete de-inversion of control (No callbacks, no blocking, pure state)
This is a small post about a specific pattern for cancellation in the Rust programming language. The pattern is simple and elegant, but it’s rather difficult...
D. Wu, L. Chen, Y. Zhou, und B. Xu. 2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), Seite 1-10. (Oktober 2015)
S. Fowler, S. Lindley, und P. Wadler. 31st European Conference on Object-Oriented Programming (ECOOP 2017), Volume 74 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 11:1--11:28. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2017)
N. Cohen, A. Tal, und E. Petrank. Proceedings of the 22Nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seite 17--29. ACM, (2017)
S. Lu, J. Tucek, F. Qin, und Y. Zhou. Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, Seite 37--48. ACM, (2006)
C. Flanagan, und S. Freund. Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seite 121--133. ACM, (2009)
T. Elmas, S. Qadeer, und S. Tasiran. Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seite 245--255. ACM, (2007)
S. Tasharofi, M. Pradel, Y. Lin, und R. Johnson. 2013 28th IEEE/ACM International Conference on Automated Software Engineering, Seite 114-124. (November 2013)
I. Cassar, und A. Francalanza. Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, Seite 54--68. (September 2014)
S. Tasharofi, R. Karmani, S. Lauterburg, A. Legay, D. Marinov, und G. Agha. Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings, Seite 219--234. Springer, (2012)
D. Deng, W. Zhang, und S. Lu. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, Seite 785--802. ACM, (2013)