Manasse, M. S. and Nelson, G. Trestle Reference Manual. Technical Report Research Report 68, Digital Equipment Corporation 's Systems Research Center, Palo Alto, California, December 1991.  Home/Search   Document Not in Database   Summary   Related Articles

....but it is not so much aimed at increasing concurrency as at avoiding deadlock in a program that contains upcalls. Using an earlier version of Eraser that detected race conditions in multi threaded Modula 3 programs, we found that the Lockset al..gorithm reported false alarms for Trestle programs [Manasse Nelson 91] that protected shared locations with multiple locks, because each of two readers could access the location while holding two different locks. As an experiment, we dealt with the problem by modifying the Lockset al..gorithm to refine the candidate set only for writes, while checking it for both ....

Manasse, M. S. and Nelson, G. Trestle Reference Manual. Technical Report Research Report 68, Digital Equipment Corporation 's Systems Research Center, Palo Alto, California, December 1991.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC