![]() Hoare, C.A.R.: Monitors: an operating system structuring concept. Technical Report 159, Compaq SRC (1998)įlanagan, C., Leino, R., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. ACM Computing Surveys 3(2), 67–78 (1971)ĭetlefs, D.L., Leino, R., Nelson, G., Saxe, J.B.: Extended static checking. ![]() ACM, New York (2002)Ĭlarke, D.G., Potter, J.M., Noble, J.: Ownership types for flexible alias protection. ACM, New York (2006)īoyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: preventing data races and deadlocks. ACM, New York (2000)īensalem, S., Fernandez, J., Havelund, K., Mounier, L.: Confirmation of deadlock potentials detected by runtime analysis. This process is experimental and the keywords may be updated as the learning algorithm improves.īacon, D.F., Strom, R.E., Tarafdar, A.: Guava: a dialect of Java without data races. These keywords were added by machine and not by the authors. The scheme has been implemented and we demonstrate its usefulness by applying it to the example of a simple web server. We prove deadlock-freedom of well-formed programs using a rigorous formalization of the locking semantics of the programming model. The scheme facilitates modular reasoning about deadlocks by associating annotations with the interfaces of routines. In this paper we review SCOOP, an existing race-free programming model for concurrent object-oriented programming, and extend it with a scheme for deadlock prevention based on locking orders. In an alternative approach, programming models that exclude certain classes of errors by design can address concurrency problems at a language level. Fundamental problems such as data races and deadlocks still persist for programmers since available detection and prevention tools are unsound or have otherwise not been well adopted. ![]() Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |