Synopsis
Concurrency is the source of many real-world software reliability and security problems. Concurrency defects are difficult to detect because they defy conventional software testing techniques due to their non-local and non-deterministic nature. We focus on one important aspect of this problem: static detection of the possibility of deadlock--a situation in which two or more processes are prevented from continuing while each waits for resources to be freed by the continuation of the other. This thesis proposes a flow-insensitive interprocedural static analysis that detects the possibility that a program can deadlock at runtime. Our analysis proceeds in two steps. The first extracts the "real" call graph decorated with acquired locks from the target program.
"synopsis" may belong to another edition of this title.
Search results for Toward the Static Detection of Deadlock in Java Software
Seller Image
Toward the Static Detection of Deadlock in Java Software
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 19396289-n
Seller Image
Toward the Static Detection of Deadlock in Java Software (Paperback or Softback)
Published by
Biblioscholar 11/21/2012, 2012
ISBN 10: 1288335202
ISBN 13: 9781288335206
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Toward the Static Detection of Deadlock in Java Software. Book. Seller Inventory # BBS-9781288335206
Stock Image
Toward the Static Detection of Deadlock in Java Software
Published by
British Library, Historical Print Editions, 2012
ISBN 10: 1288335202
ISBN 13: 9781288335206
New
PAP
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781288335206
Stock Image
Toward the Static Detection of Deadlock in Java Software
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9781288335206
Buy New
£ 15.51
£ 4.16 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Toward the Static Detection of Deadlock in Java Software
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781288335206_new
Buy New
£ 16.24
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Toward the Static Detection of Deadlock in Java Software
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 122. Seller Inventory # 390047502
Buy New
£ 22.63
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Toward the Static Detection of Deadlock in Java Software
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 19396289-n
Buy New
£ 15.50
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Toward the Static Detection of Deadlock in Java Software
Print on DemandSeller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 122. Seller Inventory # 26390600913
Stock Image
Toward the Static Detection of Deadlock in Java Software
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 122. Seller Inventory # 18390600923
Seller Image
Toward the Static Detection of Deadlock in Java Software
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. KlappentextrnrnConcurrency is the source of many real-world software reliability and security problems. Concurrency defects are difficult to detect because they defy conventional software testing techniques due to their non-local and non-determi. Seller Inventory # 6556277
Buy New
£ 19.29
£ 42.67 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available