Matches in SemOpenAlex for { <https://semopenalex.org/work/W75445674> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W75445674 abstract "It is all too easy to write unsafe multithreaded Java code, in part because the language’snotify() and wait() methods can be di fficult to use correctly. In 1974, Tony Hoare proposedthe concept of monitors for designing and reasoning about objects that are shared betweenmultiple threads. The key property of these “Hoare-style” monitors is that threads canwait until some speci fic assertion about the monitor’s state is true and will be guaranteedthat the assertion is still true after the thread has been awakened.In this article, I describe a Java class library that supports the monitor concept muchas Hoare originally proposed it. As I will demonstrate, object-oriented technology makesit possible to improve on Hoare’s concept by making assertions – which are traditionallystatedas comments andthen repeatedin if statements and assert statements –executableobjects. Thisapproachreducesredundantcodingandautomatesassertionscheckingduringexecution.I’ll start by explaining why multithreaded programming is as unavoidable as it is chal-lenging, then introduce you to the use of exclusive access, conditions, and assertions inHoare-style monitors. See the Resources section to download the Java-based monitorspackage, which you are free to use." @default.
- W75445674 created "2016-06-24" @default.
- W75445674 creator A5000569965 @default.
- W75445674 date "2007-01-01" @default.
- W75445674 modified "2023-09-27" @default.
- W75445674 title "Better Monitors for Java" @default.
- W75445674 cites W1582831902 @default.
- W75445674 cites W1855301476 @default.
- W75445674 cites W2003040530 @default.
- W75445674 cites W2022185456 @default.
- W75445674 cites W2174305619 @default.
- W75445674 cites W2912036880 @default.
- W75445674 hasPublicationYear "2007" @default.
- W75445674 type Work @default.
- W75445674 sameAs 75445674 @default.
- W75445674 citedByCount "0" @default.
- W75445674 crossrefType "journal-article" @default.
- W75445674 hasAuthorship W75445674A5000569965 @default.
- W75445674 hasConcept C132106392 @default.
- W75445674 hasConcept C138101251 @default.
- W75445674 hasConcept C145428669 @default.
- W75445674 hasConcept C154945302 @default.
- W75445674 hasConcept C181907185 @default.
- W75445674 hasConcept C199360897 @default.
- W75445674 hasConcept C2777212361 @default.
- W75445674 hasConcept C40422974 @default.
- W75445674 hasConcept C41008148 @default.
- W75445674 hasConcept C548217200 @default.
- W75445674 hasConcept C73752529 @default.
- W75445674 hasConceptScore W75445674C132106392 @default.
- W75445674 hasConceptScore W75445674C138101251 @default.
- W75445674 hasConceptScore W75445674C145428669 @default.
- W75445674 hasConceptScore W75445674C154945302 @default.
- W75445674 hasConceptScore W75445674C181907185 @default.
- W75445674 hasConceptScore W75445674C199360897 @default.
- W75445674 hasConceptScore W75445674C2777212361 @default.
- W75445674 hasConceptScore W75445674C40422974 @default.
- W75445674 hasConceptScore W75445674C41008148 @default.
- W75445674 hasConceptScore W75445674C548217200 @default.
- W75445674 hasConceptScore W75445674C73752529 @default.
- W75445674 hasLocation W754456741 @default.
- W75445674 hasOpenAccess W75445674 @default.
- W75445674 hasPrimaryLocation W754456741 @default.
- W75445674 hasRelatedWork W125251596 @default.
- W75445674 hasRelatedWork W1551944976 @default.
- W75445674 hasRelatedWork W1555410723 @default.
- W75445674 hasRelatedWork W1568026814 @default.
- W75445674 hasRelatedWork W1576857586 @default.
- W75445674 hasRelatedWork W2004115326 @default.
- W75445674 hasRelatedWork W2100706678 @default.
- W75445674 hasRelatedWork W2123246871 @default.
- W75445674 hasRelatedWork W2181917986 @default.
- W75445674 hasRelatedWork W2274321283 @default.
- W75445674 hasRelatedWork W2547195317 @default.
- W75445674 hasRelatedWork W2549659604 @default.
- W75445674 hasRelatedWork W2550341122 @default.
- W75445674 hasRelatedWork W2550784145 @default.
- W75445674 hasRelatedWork W26303940 @default.
- W75445674 hasRelatedWork W2730332304 @default.
- W75445674 hasRelatedWork W3140253150 @default.
- W75445674 hasRelatedWork W3207402727 @default.
- W75445674 hasRelatedWork W325236687 @default.
- W75445674 hasRelatedWork W310593085 @default.
- W75445674 isParatext "false" @default.
- W75445674 isRetracted "false" @default.
- W75445674 magId "75445674" @default.
- W75445674 workType "article" @default.