Map
Index
Random
Help
th

Quote: automatic lock allocation by instrumentation and 0-1 integer linear programming; use with Autolocker

QuoteRef: emmiM1_2007 , p. abstract



Topic:
updating information with locking

Quotation Skeleton

We introduce lock allocation, an automatic technique that … lock assignment from global variables to locks and … resulting instrumented program is guaranteed to preserve atomicity … in the presence of pointers and procedures, and … atomic sections while simultaneously minimizing the number of … it to infer locks in 15K lines of … code, while solving the optimization instances within a … [p. 291] Our optimization scheme can be seen as …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: updating information with locking (20 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.