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

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

Topic: updating information with locking (20 items)