Abstract
The abstract state machine execJava defines the behavior of Java executing a single phrase at a time and by a single thread. In this chapter we extend Java ε to Java T so that execJava can be embedded into a machine execJavaThread, for multithreaded Java, which provides support for execution of multiple tasks with shared main and local working memory. We consider the mechanisms Java provides for thread creation and destruction, for synchronizing the concurrent activity of threads using locks, and for waiting and notification introduced for an efficient transfer of control between threads. We describe the methods for starting (start), interrupting (interrupt), suspending (wait),and resuming (notify) threads as normal methods, which for the purpose of executability are included here into native methods.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Stärk, R.F., Schmid, J., Börger, E. (2001). The concurrent extension Java T of Java ε . In: Java and the Java Virtual Machine. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-59495-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-59495-3_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-63997-5
Online ISBN: 978-3-642-59495-3
eBook Packages: Springer Book Archive