DOCSLIB.ORG

INTERNALS of ASYNC - ADAM FURMANEK 1 Internals of Async [email protected] FURMANEKADAM

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
INTERNALS of ASYNC - ADAM FURMANEK 1 Internals of Async CONTACT@ADAMFURMANEK.PL FURMANEKADAM Throughout the entire process, a key takeaway is that no thread is dedicated to running the task. HTTPS://DOCS.MICROSOFT.COM/EN - US/DOTNET/STANDARD /ASYNC - IN- DEPTH 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 1 Internals of Async [email protected] HTTP://BLOG.ADAMFURMANEK.PL FURMANEKADAM 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 2 About me Software Engineer, Blogger, Book Writer, Public Speaker. Author of Applied Integer Linear Programming and .NET Internals Cookbook. http://blog.adamfurmanek.pl [email protected] furmanekadam 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 3 Agenda Primitves under the hood. Task detail. SynchronizationContext internals. State machine. Waiting for async void and handling exceptions 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 4 Primitives under the hood 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 5 Native thread Two types: foreground and background (don’t stop application from terminating). Consists of Thread Kernel Object, two stacks (user mode and kernel mode) and Thread Environment Block (TEB). User mode stack by default has 1 MB, kernel mode has 12/24 KB. Has impersonation info, security context, Thread Local Storage (TLS). Windows schedules threads, not processes! How many threads does the notepad.exe have? 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 6 How many threads does a notepad have? 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 7 Managed thread Has ID independent of native thread ID. Can have name. Can be suspended but this should not be done! Can be aborted by Thread.Abort but this doesn’t guarantee anything. Precommits stack when created. Unhandled exception kills the application in most cases. In .NET 1 it was different: ◦ Exception in other thread was printed to the console and the thread was terminated. ◦ Exception on the finalizer was printed to the console and finalizer was still working. ◦ Exception on the main thread resulted in application termination. 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 8 ThreadPool Different from Win32 thread pool. Used by tasks, asynchronous timers, wait handles and ThreadPool.QueueUserWorkItem. Static class – you cannot just create your own thread pool. Threads work in background, do not clear the TLS, have default stack size and default priority. One pool per process, its size depends on the size of the virtual address space. Threads are created and destroyed as needed using hill climbing algorithm. Two types of threads: for ordinary callbacks and for I/O operations. Thrown exception is held until awaiting and then propagated if possible (thrown out of band for async void). In .NET 1 it was different - exception on a thread pool was printed to the console and the thread was returned to the pool. http://aviadezra.blogspot.com/2009/06/net-clr-thread-pool-work.html 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 9 ThreadPool implementation public static class SimpleThreadPool { private static BlockingCollection<Action> _work = new BlockingCollection<Action>(); static SimpleThreadPool() { for (int i = 0; i < Environment.ProcessorCount; i++) { new Thread(() => { foreach (var action in _work.GetConsumingEnumerable()) { action(); } }) { IsBackground = true }.Start(); } } public static void QueueWorkItem(Action workItem) { _work.Add(workItem); } } 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 10 Asynchronous Programming Model (APM) BeginOperation returns an object implementing var fs = new FileStream(@"C:\file.txt"); IAsyncResult. ◦ Triggers the asynchronous calculations on different byte[] data = new byte[100]; thread. fs.BeginRead(data, 0, data.Length, ◦ Can also accept a callback to be called when the operation is finished. (IAsyncResult ar) => IAsyncResult: { ◦ Has some AsyncState. int bytesRead = fs.EndRead(ar); ◦ Contains WaitHandle which we can use to block the application. fs.Close(); ◦ Has flag indicating whether the operation is completed. }, null EndOperation accepts IAsyncResult as a parameter ); and returns the same as synchronous counterpart. ◦ Throws all exceptions if needed. ◦ If the operation hasn’t finished, blocks the thread. 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 11 Event-based Asynchronous Pattern (EAP) MethodNameAsync. backgroundWorker.DoWork += backgroundWorker_DoWork; ◦ Triggers the operation on a separate thread. private void backgroundWorker_DoWork(object sender, DoWorkEventArgs e) MethodNameCompleted. ◦ Event fired when the operation finishes. { ◦ Passes parameter AsyncCompletedEventArgs. // ... AsyncCompletedEventArgs: } ◦ Contains flag if the job was cancelled. private void backgroundWorker_RunWorkerCompleted(object sender, ◦ Contains all the errors. RunWorkerCompletedEventArgs e) ◦ Has some UserState. { Can be canceled. // ... Can be used easily with BackgroundWorker. } 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 12 Task-based Asynchronous Pattern (TAP) Task.Run accepting delegate triggers the job: ◦ Equivalent to Task.Factory.StartNew(job, CancellationToken.None, TaskCreationOptions.DenyChildAttach, TaskScheduler.Default); ◦ Unwraps the result if needed (so we get Task<int> instead of Task<Task<int>>). Task can be created manually via constructor and schedulled using Start method. Can be joined by using ContinueWith. Exceptions are caught and propagated on continuation. Can be used with TaskCompletionSource. Can be cancelled with CancellationToken. Can report progress using IProgress<T>. 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 13 Parallel Language Integrated Queries (PLINQ) Created when AsParallel called on IEnumerable. Can be reverted by AsSequential. Operations defined in ParallelEnumerable class. Can be ordered by calling AsOrdered. Task merging can be configured by specifying ParallelMergeOptions. Maximum number of concurrent tasks can be controlled using WithDegreeOfParallelism. Parallelism is not mandatory! Can be forced with ParallelExcecutionMode. Each AsParallel call reshuffles the tasks. 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 14 async and await await can be executed on anything awaitable – not necessarily a Task! ◦ Task.Yield returns YieldAwaitable Duck typing - awaitable type must be able to return GetAwaiter() with the following: ◦ Implements INotifyCompletion interface ◦ bool IsCompleted { get; } ◦ void OnCompleted(Action continuation); ◦ TResult GetResult(); // or void async means nothing — it only instructs the compiler to create a state machine. We can make any type awaitable using extension methods! Very similar to foreach. 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 15 Awaiting on integer 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 16 Asynchronous code does not block the operating system level thread. 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 17 async in C# async in C# is implemented as: ◦coroutine compiler level transformation with ◦service locator for promise orchestration and ◦statically bound promise factories 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 18 Task details STATICALLY BOUND PROMISE FACTORIES 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 19 Two types of tasks DELEGATE TASK – CPU-BOUND PROMISE TASK – I/O-BOUND Has some code to run. Signals completion of something. Mostly in TPL world. Mostly in async world. Created by TaskFactory or by constructor. Task.FromResult ◦ Creates completed Task with result. Used in PLINQ. Task.Delay Can be scheduled and executed. ◦ Equivalent of Thread.Sleep. Task.Yield ◦ Returns YieldAwaitable. ◦ Schedules continuation immediately 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 20 Task state https://blog.stephencleary.com/2014/06/a-tour-of-task-part-3-status.html 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 21 Task creation CONSTRUCTOR FACTORY Do not use! Task.Run() Task.Factory.StartNew() Creates only delegate Task. PLINQ Created Task is not scheduled so will not start running unless asked to. Created Task can be started by calling Start method (and optionally providing a scheduler). 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 22 Task.ScheduleAndStart 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 23 TaskScheduler Schedules tasks on the threads – it makes sure that the work of a task is eventually executed. For TPL and PLINQ is based on the thread pool. Supports work-stealing, thread injection/retirement and fairness. Two types of queues: ◦ Global – for top level tasks ◦ Local – for nested/child tasks, accessed in LIFO order Long running tasks are handled separately, do not go via global/local queue. We can implement our own schedulers. 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 24 TaskScheduler implementation public class MyTaskScheduler : TaskScheduler { private readonly MyContext context; public BlockingCollection<Task> tasks = new BlockingCollection<Task>(); protected override IEnumerable<Task> GetScheduledTasks() { return tasks; } protected override void QueueTask(Task task) { tasks.Add(task); } protected override bool TryExecuteTaskInline(Task task, bool taskWasPreviouslyQueued) { return TryExecuteTask(task); } } 05.05.2021 INTERNALS OF ASYNC - ADAM FURMANEK 25 Task.ContinueWith Creates a continuation that executes asynchronously when the target task complets ◦ Can specify CancellationToken ◦ Can specify TaskScheduler ◦ Can specify TaskContinuationOptions Options: ◦ OnlyOnCompletion, OnlyOnCanceled, OnlyOnFaulted, NotOnCanceled, NotOnFaulted, NotOnCompletion – to choose when it is supposed to run ◦ AttachedToParent – to create hierarchy of tasks ◦ ExecuteSynchronously, RunContinuationAsynchronously – to choose the thread running it ◦ HideScheduler – to run using the default scheduler instead
Load more

Recommended publications
  • ISO/IEC JTC 1/SC 22/WG4 N 0163 Information Technology
    ISO/IEC JTC 1/SC 22/WG4 N 0163 Date: 2002-05-21 Reference number of document: WDTR 19755 Version 1.1 Committee identification: ISO/IEC JTC 1/SC 22 /WG 4 Secretariat: ANSI Information Technology — Programming languages, their environments and system software interfaces — Object finalization for programming language COBOL Warning This document is an ISO/IEC proposed draft Technical Report. It is not an ISO/IEC International Technical Report. It is distributed for review and comment. It is subject to change without notice and shall not be referred to as an International Technical Report or International Standard. Recipients of this document are invited to submit, with their comments, notification of any relevant patent rights of which they are aware and to provide supporting documentation. Document type: Technical report Document subtype: n/a Document stage: (20) Preparation Document language: E ISO/WDTR 19755 Copyright notice This ISO/IEC document is a working draft and is copyright-protected by ISO/IEC. Requests for permission to reproduce this document for the purpose of selling it should be addressed as shown below or to ISO’s member body in the country of the requester: Copyright manager ISO Central Secretariat 1 rue de Varembé 1211 Geneva 20 Switzerland tel: +41 22 749 0111 fax: +41 22 734 0179 email: [email protected] Reproduction for sales purposes may be subject to royalty payments or a licensing agreement. Violators may be prosecuted. ii © ISO/IEC 2002 – All rights reserved ISO/IEC WDTR 19755 Acknowledgement notice COBOL originated in 1959 as a common business oriented language developed by the Conference on Data Systems Languages (CODASYL).
    [Show full text]
  • Stable/Build) • --Port PORT - Set the PORT Number (Default: 8000)
    Pyodide Release 0.18.1 unknown Sep 16, 2021 CONTENTS 1 Using Pyodide 3 1.1 Getting started..............................................3 1.2 Downloading and deploying Pyodide..................................6 1.3 Using Pyodide..............................................7 1.4 Loading packages............................................ 12 1.5 Type translations............................................. 14 1.6 Pyodide Python compatibility...................................... 25 1.7 API Reference.............................................. 26 1.8 Frequently Asked Questions....................................... 50 2 Development 55 2.1 Building from sources.......................................... 55 2.2 Creating a Pyodide package....................................... 57 2.3 How to Contribute............................................ 64 2.4 Testing and benchmarking........................................ 74 2.5 Interactive Debugging.......................................... 76 3 Project 79 3.1 About Pyodide.............................................. 79 3.2 Roadmap................................................. 80 3.3 Code of Conduct............................................. 82 3.4 Governance and Decision-making.................................... 83 3.5 Change Log............................................... 85 3.6 Related Projects............................................. 95 4 Indices and tables 97 Python Module Index 99 Index 101 i ii Pyodide, Release 0.18.1 Python with the scientific stack, compiled to WebAssembly.
    [Show full text]
  • Visual Smalltalk Enterprise ™ ™
    Visual Smalltalk Enterprise ™ ™ Language Reference P46-0201-00 Copyright © 1999–2000 Cincom Systems, Inc. All rights reserved. Copyright © 1999–2000 Seagull Systems, Inc. All rights reserved. This product contains copyrighted third-party software. Part Number: P46-0201-00 Software Release 3.2 This document is subject to change without notice. RESTRICTED RIGHTS LEGEND: Use, duplication, or disclosure by the Government is subject to restrictions as set forth in subparagraph (c)(1)(ii) of the Rights in Technical Data and Computer Software clause at DFARS 252.227-7013. Trademark acknowledgments: CINCOM, CINCOM SYSTEMS, and the Cincom logo are registered trademarks of Cincom Systems, Inc. Visual Smalltalk is a trademark of Cincom Systems, Inc., its subsidiaries, or successors and are registered in the United States and other countries. Microsoft Windows is a registered trademark of Microsoft, Inc. Win32 is a trademark of Microsoft, Inc. OS/2 is a registered trademark of IBM Corporation. Other product names mentioned herein are used for identification purposes only, and may be trademarks of their respective companies. The following copyright notices apply to software that accompanies this documentation: Visual Smalltalk is furnished under a license and may not be used, copied, disclosed, and/or distributed except in accordance with the terms of said license. No class names, hierarchies, or protocols may be copied for implementation in other systems. This manual set and online system documentation copyright © 1999–2000 by Cincom Systems, Inc. All rights reserved. No part of it may be copied, photocopied, reproduced, translated, or reduced to any electronic medium or machine-readable form without prior written consent from Cincom.
    [Show full text]
  • Gnu Smalltalk Library Reference Version 3.2.5 24 November 2017
    gnu Smalltalk Library Reference Version 3.2.5 24 November 2017 by Paolo Bonzini Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts, and with no Back-Cover Texts. A copy of the license is included in the section entitled \GNU Free Documentation License". 1 3 1 Base classes 1.1 Tree Classes documented in this manual are boldfaced. Autoload Object Behavior ClassDescription Class Metaclass BlockClosure Boolean False True CObject CAggregate CArray CPtr CString CCallable CCallbackDescriptor CFunctionDescriptor CCompound CStruct CUnion CScalar CChar CDouble CFloat CInt CLong CLongDouble CLongLong CShort CSmalltalk CUChar CByte CBoolean CUInt CULong CULongLong CUShort ContextPart 4 GNU Smalltalk Library Reference BlockContext MethodContext Continuation CType CPtrCType CArrayCType CScalarCType CStringCType Delay Directory DLD DumperProxy AlternativeObjectProxy NullProxy VersionableObjectProxy PluggableProxy SingletonProxy DynamicVariable Exception Error ArithmeticError ZeroDivide MessageNotUnderstood SystemExceptions.InvalidValue SystemExceptions.EmptyCollection SystemExceptions.InvalidArgument SystemExceptions.AlreadyDefined SystemExceptions.ArgumentOutOfRange SystemExceptions.IndexOutOfRange SystemExceptions.InvalidSize SystemExceptions.NotFound SystemExceptions.PackageNotAvailable SystemExceptions.InvalidProcessState SystemExceptions.InvalidState
    [Show full text]
  • A Tour of the Squeak Object Engine
    A Tour of the Squeak Object Engine A Tour of the Squeak Object Engine Tim Rowledge, [email protected] Introduction This chapter is intended to explain some basics of how a Virtual Machine (VM) works, why a VM is useful, what it does for the Squeak programmer and user, and how the Squeak VM might develop in the future. What is a Virtual Machine and why do we need one? A Virtual Machine provides us with a pretense of being a machine other than the actual hardware in use. Using one allows systems that behave differently than the host hardware to run as if on hardware designed for them. The term Object Engine is less commonly used but is a useful concept that includes the lowest system areas of the langauge environment running on the VM. Since there is often some flux in the definition of which components are within the actual VM and which are part of the supported environment, Object Engine is useful as a more inclusive term. The term Virtual Machine is used in several ways. When IBM refer to VM/CMS they are referring to a way of making a mainframe behave as if it is many machines, so that programs can assume they have total control even though they do not. Intel provide a somewhat similar facility in the x86 architecture(?), referred to as Virtual Mode. This sort of VM is a complete hardware simulation, often supported at the lowest level by the hardware. Another sort of VM is the emulator - SoftWindows for the Mac, Acorn's !PC, Linux's WINE are good examples - where another machine and/or OS is simulated to allow a Mac user to run Windows programs, an Acorn RiscPC or a Linux machine to run Windows98 programs and so on.
    [Show full text]
  • Exposing C++ Functions and Classes with Rcpp Modules
    Exposing C++ functions and classes with Rcpp modules Dirk Eddelbuettela and Romain Françoisb ahttp://dirk.eddelbuettel.com; bhttps://romain.rbind.io/ This version was compiled on July 3, 2021 This note discusses Rcpp modules. Rcpp modules allow programmers to Here we use the (templated) Rcpp converter as() which can expose C++ functions and classes to R with relative ease. Rcpp modules transform from a SEXP to a number of different C++ and Rcpp are inspired from the Boost.Python C++ library (Abrahams and Grosse- types. The Rcpp function wrap() offers the opposite functionality Kunstleve, 2003) which provides similar features for Python. and converts many known types to a SEXP. This process is simple enough, and is used by a number of Rcpp | modules | R | C++ CRAN packages. However, it requires direct involvement from the programmer, which quickly becomes tiresome when many functions 1. Motivation are involved. Rcpp modules provides a much more elegant and Exposing C++ functionality to R is greatly facilitated by the Rcpp unintrusive way to expose C++ functions such as the norm function package and its underlying C++ library (Eddelbuettel et al., 2021; shown above to R. Eddelbuettel and François, 2011). Rcpp smoothes many of the We should note that Rcpp now has Rcpp attributes which ex- rough edges in R and C++ integration by replacing the traditional tends certain aspect of Rcpp modules and makes binding to simple R Application Programming Interface (API) described in ‘Writing functions such as this one even easier. With Rcpp attributes we can R Extensions’(R Core Team, 2018) with a consistent set of C++ just write classes.
    [Show full text]
  • FFI: Racket Foreign Interface
    FFI: Racket Foreign Interface Version 5.0 Eli Barzilay June 6, 2010 (require ffi/unsafe) The ffi/unsafe library enables the direct use of C-based APIs within Racket programs— without writing any new C code. From the Racket perspective, functions and data with a C-based API are foreign, hence the term foreign interface. Furthermore, since most APIs consist mostly of functions, the foreign interface is sometimes called a foreign function in- terface, abbreviated FFI. 1 Contents 1 Overview 4 2 Loading Foreign Libraries 5 3 C Types 8 3.1 Type Constructors . 8 3.2 Numeric Types . 9 3.3 Other Atomic Types . 10 3.4 String Types . 11 3.4.1 Primitive String Types . 11 3.4.2 Fixed Auto-Converting String Types . 11 3.4.3 Variable Auto-Converting String Type . 12 3.4.4 Other String Types . 12 3.5 Pointer Types . 13 3.6 Function Types . 14 3.6.1 Custom Function Types . 18 3.7 C Struct Types . 21 3.8 Enumerations and Masks . 24 4 Pointer Functions 26 4.1 Pointer Dereferencing . 27 4.2 Memory Management . 30 5 Derived Utilities 34 5.1 Safe Homogenous Vectors . 34 5.2 Safe C Vectors . 40 2 5.3 Tagged C Pointer Types . 42 5.4 Defining Bindings . 44 5.5 Allocation and Finalization . 46 5.6 Atomic Execution . 47 5.7 Objective-C FFI . 48 5.7.1 FFI Types and Constants . 48 5.7.2 Syntactic Forms and Procedures . 49 5.7.3 Raw Runtime Functions . 53 5.7.4 Legacy Library .
    [Show full text]
  • Running Android Applications Without a Virtual Machine
    Running Android Applications without a Virtual Machine Arno Puder San Francisco State University Computer Science Department 1600 Holloway Avenue San Francisco, CA 94132 [email protected] Abstract. Android has gained significant popularity in the smartphone market since its introduction in 2007. While Android applications are written in Java, Android uses its own virtual machine called Dalvik. Other smartphone platforms, most notably Apple’s iOS, do not permit the installation of any kind of virtual machine. App developers who want to publish their applications for different platforms are required to re- implement the application using the respective native SDK. In this paper we describe a cross-compilation approach, whereby Android applications are cross-compiled to portable C code. With this approach it is not nec- essary to have a Dalvik virtual machine deployed on the target platform. We describe different aspects of our cross-compiler, from byte code level cross-compilation, memory management, to API mapping. A prototype of our cross-compiler called XMLVM is available under an Open Source license. 1 Introduction Android is a software stack for mobile devices initially developed by a company called Android, Inc. before being bought by Google in 2005. Since 2007, mem- bers of the Open Handset Alliance (OHA) collaborate on the development of Android which nowadays has become one of the main development platforms for smartphone applications. Although Android employs Java as a programming language as well as a subset of the standard J2SE API, it does not make use of Oracle’s (formerly Sun Microsystem’s) virtual machine technology for technical and political reasons.
    [Show full text]
  • Diagnostic Data Collection and Analysis Tools
    Lesson 3 Diagnostic Data Collection and Analysis tools Poonam Parhar JVM Sustaining Engineer Oracle Copyright © 2017, Oracle and/or its affiliates. All rights reserved. | Agenda Diagnostic Data, Data Collection and Analysis tools 1. Java Heap Memory Issues 2. OutOfMemoryError due to Finalization 3. PermGen/Metaspace Memory Issues 4. CodeCache Issues 5. Native Memory Issues Copyright © 2017, Oracle and/or its affiliates. All rights reserved. | 3 Java Heap: Memory Leak Copyright © 2017, Oracle and/or its affiliates. All rights reserved. | 4 Confirm Memory Leak • Monitor Java Heap usage over time • If the Full GCs are not able to claim any space in the Old Gen of the heap then it could be a configuration issue • Heap might be sized too small • Increase the heap size and test the application again • If there is continuous memory growth and the failure persists at the increased heap size too, there could be a memory leak Copyright © 2017, Oracle and/or its affiliates. All rights reserved. | 5 Monitor using GC Logs [GC (Allocation Failure) [PSYoungGen: 318596K->153251K(433152K)] 1184491K->1182018K(1556992K), 0.5548358 secs] [Times: user=1.78 sys=0.13, real=0.56 secs] [Full GC (Ergonomics) [PSYoungGen: 153251K->0K(433152K)] [ParOldGen: 1028766K->1054946K(1345024K)] 1182018K->1054946K(1778176K), [Metaspace: 2722K->2722K(1056768K)], 4.5281743 secs] [Times: user=10.09 sys=0.00, real=4.52 secs] [GC (Allocation Failure) [PSYoungGen: 209408K->209511K(448512K)] 1264354K->1264458K(1793536K), 0.1590964 secs] [Times: user=0.48 sys=0.06, real=0.15 secs]
    [Show full text]
  • Extensible Virtual Machines
    UCAM-CL-TR-525 Technical Report ISSN 1476-2986 Number 525 Computer Laboratory Extensible virtual machines Timothy L. Harris December 2001 JJ Thomson Avenue Cambridge CB3 0FD United Kingdom phone +44 1223 763500 http://www.cl.cam.ac.uk/ c 2001 Timothy L. Harris This technical report is based on a dissertation submitted by the author for the degree of Doctor of Philosophy to the University of Cambridge. Technical reports published by the University of Cambridge Computer Laboratory are freely available via the Internet: http://www.cl.cam.ac.uk/TechReports/ Series editor: Markus Kuhn ISSN 1476-2986 Abstract Virtual machines (vms) have enjoyed a resurgence as a way of allowing the same application program to be used across a range of computer systems. This flexibility comes from the abstraction that the vm provides over the native interface of a particular computer. However, this also means that the application is prevented from taking the features of particular physical machines into account in its implementation. This dissertation addresses the question of why, where and how it is useful, possible and practicable to provide an application with access to lower-level interfaces. It argues that many aspects of vm implementation can be devolved safely to untrusted applications and demonstrates this through a prototype which allows control over run-time compilation, object placement within the heap and thread scheduling. The proposed architecture separates these application-specific policy implementations from the application itself. This allows one application to be used with different policies on different systems and also allows naïve or premature optimizations to be removed.
    [Show full text]
  • Iso/Iec Tr 19755:2003(E)
    This is a preview - click here to buy the full publication TECHNICAL ISO/IEC REPORT TR 19755 First edition 2003-12-01 Information technology — Programming languages, their environments and system software interfaces — Object finalization for programming language COBOL Technologies de l'information — Langages de programmation, leurs environnements et interfaces logiciel système — Finalisation d'objet pour le langage de programmation COBOL Reference number ISO/IEC TR 19755:2003(E) © ISO/IEC 2003 ISO/IEC TR 19755:2003(E) This is a preview - click here to buy the full publication PDF disclaimer This PDF file may contain embedded typefaces. In accordance with Adobe's licensing policy, this file may be printed or viewed but shall not be edited unless the typefaces which are embedded are licensed to and installed on the computer performing the editing. In downloading this file, parties accept therein the responsibility of not infringing Adobe's licensing policy. The ISO Central Secretariat accepts no liability in this area. Adobe is a trademark of Adobe Systems Incorporated. Details of the software products used to create this PDF file can be found in the General Info relative to the file; the PDF-creation parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by ISO member bodies. In the unlikely event that a problem relating to it is found, please inform the Central Secretariat at the address given below. © ISO/IEC 2003 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying and microfilm, without permission in writing from either ISO at the address below or ISO's member body in the country of the requester.
    [Show full text]
  • Memory Management in the D Programming Language
    Technical University of Moldova MEMORY MANAGEMENT IN THE D PROGRAMMING LANGUAGE Student: Panteleev Vladimir Advisor: Lect. Sup. Melnic Radu Chişinău – 2009 Ministerul Educaţiei şi Tineretului al Republicii Moldova Universitatea Tehnică a Moldovei Facultatea de Calculatoare, Informatică şi Microelectronică Catedra Filiera Anglofonă Admis la susţinere Şef de catedră: conf. unif. dr. Bostan Viorel _____________________________ „__”_____________ 200_ Memory Management in the D Programming Language Proiect de licenţă Student: _______________ (Panteleev V. ) Conducător: ____________ (Melnic R. ___ ) Consultanţi: ____________ (Bostan V. ___ ) _____________ (Nicolenco V. ) _____________ (Guţu Al. ____ ) Chişinău – 2009 Abstract This report describes a study of automatic memory management techniques, their implementation in the D Programming Language, and work to improve the state of memory management in the D Programming Language. Chapter 1 describes garbage collection as a form of automatic memory management. Automatic memory management implies freeing the programmer of the task of manually managing system memory. This approach has several advantages, such as less programming effort, as well as some disadvantages. Chapter 2 outlines the D programming language. D is based on C/C++, however it breaks backwards compatibility in favor of redesigned features, as well as introducing new features present in other modern languages. One of these features is automatic memory management using garbage collection, which is also described in detail. Chapter 3 contains three problems commonly encountered while authoring programs in the D programming language (and possibly other garbage collected languages). The covered problems are inadequate performance, memory corruption and memory leaks. The problems are analyzed, and appropriate solutions are developed and deployed. Chapter 4 introduces Diamond, a memory debugger and profiler developed specifically for the D programming language.
    [Show full text]