Program Specialization
Home > Computing and Information Technology > Computer programming / software engineering > Programming and scripting languages: general > Program Specialization
Program Specialization

Program Specialization


     0     
5
4
3
2
1



Available


X
About the Book

This book presents the principles and techniques of program specialization — a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline program specializer for C that can also specialize code at runtime, and provides figures for concrete applications in various domains. Technical details address issues related to program analysis precision, value reification, incomplete program specialization, strategies to exploit specialized program, incremental specialization, and data specialization. The book, that targets both researchers and software engineers, also opens scientific and industrial perspectives.

Table of Contents:
Chapter 1. Main Principles of Program Specialization 1 1.1. Specialized program 2 1.2. Specializing to improve performance 16 1.3. Automatic specialization 22 1.4. Main applications of specialization 27 1.5. Specialization times 33 1.6. Financial viability of specialization 37 Chapter 2. Specialization Techniques 43 2.1. Transforming specialization programs 44 2.2. Termination of specialization 57 2.3. Correctness of specialization 60 2.4. Other forms of specialization 65 Chapter 3. Offline Specialization 71 3.1. Main principles of offline specialization 72 3.2. Compared advantages of offline specialization 92 3.3. Main components of binding-time analysis 99 3.4. When static inputs become dynamic 109 Chapter 4. A Specializer for C: Tempo 117 4.1. History 118 4.2. Disruptive technologies 121 4.3. Architecture 123 4.4. Engineering economics 132 4.5. Beyond Tempo 139 4.6. Other specializers for the C language 142 Chapter 5. Applications of Specialization 145 5.1. Applications in operating systems and networks 146 5.2. Applications to numerical computation 159 5.3. Applications to compilation using an interpreter 160 5.4. Applications to the optimization of software architectures 164 5.5. Specialization as a software engineering tool 180 Chapter 6. Precision of Program Analysis 185 6.1. Choosing the precision of an analysis 186 6.2. Sensitivity to (control) flow 189 6.3. Sensitivity to speculative evaluation 193 6.4. Sensitivity to data structure components 194 6.5. Sensitivity to data structure instances 196 6.6. Sensitivity to use (of memory locations) 201 6.7. Sensitivity to use of literal constants 208 6.8. Intraprocedural versus interprocedural analysis 211 6.9. Sensitivity to the context (of function call) 213 6.10. Sensitivity to the return value 214 6.11. Other precision forms 216 6.12. Precision of the existing C specializers 217 Chapter 7. Reification: From a Value to a Term 221 7.1. Different types of reification 222 7.2. Constraints of lifting 226 7.3. Lifting of immutable data 231 7.4. Lifting of a non-shared mutable piece of data 234 7.5. Reification of a shared mutable piece of data 237 7.6. Reification of a reference 238 7.7. Physical data sharing between execution times 243 7.8. Reification and binding time 245 Chapter 8. Specialization of Incomplete Programs 249 8.1. Constraints on the code to be specialized 250 8.2. Specialization module and language module 254 8.3. Revision of the expression of specialization 256 8.4. Calling context of a function to be specialized 264 8.5. Effect of external function calls 266 8.6. Abstract modeling languages 269 8.7. Concrete modeling 272 Chapter 9. Exploitation of Specialization 283 9.1. Means of exploiting specialization 284 9.2. Invariant execution context 286 9.3. Optimistic specialization 288 9.4. Selection by necessity of a specialized function 294 9.5. Selection by anticipation of a specialized function 298 Chapter 10. Incremental Runtime Specialization 309 10.1. Data availability staging 310 10.2. Models for incremental specialization 313 10.3. Binding-time analyses for incremental specialization 322 10.4. Implementation 323 10.5. Compared advantages of iterated specialization 335 10.6. Related works 339 10.7. Improving incremental runtime specialization 341 Chapter 11. Data Specialization 343 11.1. Program specialization and loop unrolling 344 11.2. General concept of data specialization 350 11.3. Caching and binding time 360 11.4. Structuring the cache 365 11.5. The question of control in data specialization 371 11.6. Reconstructions of control 375 11.7. Program specialization versus data specialization 382 11.8. Experimental results 387 Chapter 12. Scientific Perspectives 393 12.1. Improving the specialized code 394 12.2. Complexity of the process of specialization 404 12.3. Simplifying the process of specialization 408 12.4. Integration into a software engineering process 418 Chapter 13. Conclusion: From Prototype to Product 421 13.1. The race for performance 422 13.2. A different viewpoint 423 13.3. Difficulties for investing in software engineering 425 13.4. Niche uses 429 13.5. Developing a specialization platform 432 Appendix. Basic Facts about Languages and Programs 435 Bibliography 487 Index 523

About the Author :
Renaud Marlet is senior researcher at école des Ponts ParisTech (ENPC), head of the IMAGINE research group, and delegate director by interim of the Laboratoire d'Informatique Gaspard Monge (LIGM) for the école des Ponts ParisTech, France.


Best Sellers


Product Details
  • ISBN-13: 9781848213999
  • Publisher: ISTE Ltd and John Wiley & Sons Inc
  • Publisher Imprint: ISTE Ltd and John Wiley & Sons Inc
  • Height: 243 mm
  • No of Pages: 544
  • Returnable: N
  • Weight: 957 gr
  • ISBN-10: 1848213999
  • Publisher Date: 18 Dec 2012
  • Binding: Hardback
  • Language: English
  • Returnable: N
  • Spine Width: 34 mm
  • Width: 163 mm


Similar Products

Add Photo
Add Photo

Customer Reviews

REVIEWS      0     
Click Here To Be The First to Review this Product
Program Specialization
ISTE Ltd and John Wiley & Sons Inc -
Program Specialization
Writing guidlines
We want to publish your review, so please:
  • keep your review on the product. Review's that defame author's character will be rejected.
  • Keep your review focused on the product.
  • Avoid writing about customer service. contact us instead if you have issue requiring immediate attention.
  • Refrain from mentioning competitors or the specific price you paid for the product.
  • Do not include any personally identifiable information, such as full names.

Program Specialization

Required fields are marked with *

Review Title*
Review
    Add Photo Add up to 6 photos
    Would you recommend this product to a friend?
    Tag this Book Read more
    Does your review contain spoilers?
    What type of reader best describes you?
    I agree to the terms & conditions
    You may receive emails regarding this submission. Any emails will include the ability to opt-out of future communications.

    CUSTOMER RATINGS AND REVIEWS AND QUESTIONS AND ANSWERS TERMS OF USE

    These Terms of Use govern your conduct associated with the Customer Ratings and Reviews and/or Questions and Answers service offered by Bookswagon (the "CRR Service").


    By submitting any content to Bookswagon, you guarantee that:
    • You are the sole author and owner of the intellectual property rights in the content;
    • All "moral rights" that you may have in such content have been voluntarily waived by you;
    • All content that you post is accurate;
    • You are at least 13 years old;
    • Use of the content you supply does not violate these Terms of Use and will not cause injury to any person or entity.
    You further agree that you may not submit any content:
    • That is known by you to be false, inaccurate or misleading;
    • That infringes any third party's copyright, patent, trademark, trade secret or other proprietary rights or rights of publicity or privacy;
    • That violates any law, statute, ordinance or regulation (including, but not limited to, those governing, consumer protection, unfair competition, anti-discrimination or false advertising);
    • That is, or may reasonably be considered to be, defamatory, libelous, hateful, racially or religiously biased or offensive, unlawfully threatening or unlawfully harassing to any individual, partnership or corporation;
    • For which you were compensated or granted any consideration by any unapproved third party;
    • That includes any information that references other websites, addresses, email addresses, contact information or phone numbers;
    • That contains any computer viruses, worms or other potentially damaging computer programs or files.
    You agree to indemnify and hold Bookswagon (and its officers, directors, agents, subsidiaries, joint ventures, employees and third-party service providers, including but not limited to Bazaarvoice, Inc.), harmless from all claims, demands, and damages (actual and consequential) of every kind and nature, known and unknown including reasonable attorneys' fees, arising out of a breach of your representations and warranties set forth above, or your violation of any law or the rights of a third party.


    For any content that you submit, you grant Bookswagon a perpetual, irrevocable, royalty-free, transferable right and license to use, copy, modify, delete in its entirety, adapt, publish, translate, create derivative works from and/or sell, transfer, and/or distribute such content and/or incorporate such content into any form, medium or technology throughout the world without compensation to you. Additionally,  Bookswagon may transfer or share any personal information that you submit with its third-party service providers, including but not limited to Bazaarvoice, Inc. in accordance with  Privacy Policy


    All content that you submit may be used at Bookswagon's sole discretion. Bookswagon reserves the right to change, condense, withhold publication, remove or delete any content on Bookswagon's website that Bookswagon deems, in its sole discretion, to violate the content guidelines or any other provision of these Terms of Use.  Bookswagon does not guarantee that you will have any recourse through Bookswagon to edit or delete any content you have submitted. Ratings and written comments are generally posted within two to four business days. However, Bookswagon reserves the right to remove or to refuse to post any submission to the extent authorized by law. You acknowledge that you, not Bookswagon, are responsible for the contents of your submission. None of the content that you submit shall be subject to any obligation of confidence on the part of Bookswagon, its agents, subsidiaries, affiliates, partners or third party service providers (including but not limited to Bazaarvoice, Inc.)and their respective directors, officers and employees.

    Accept

    New Arrivals


    Inspired by your browsing history


    Your review has been submitted!

    You've already reviewed this product!