Channel 9 - Entries tagged with Managed Code Microsoft http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.png Channel 9 - Entries tagged with Managed Code http://channel9.msdn.com/Tags/managed-code Channel 9 keeps you up to date with the latest news and behind the scenes info from Microsoft that developers love to keep up with. From LINQ to SilverLight – Watch videos and hear about all the cool technologies coming and the people behind them. http://channel9.msdn.com/Tags/managed-code en Fri, 24 May 2013 18:38:40 GMT Fri, 24 May 2013 18:38:40 GMT Rev9 6 1 25 Programming in C#: (01) OOP, Managed Languages and C# This module goes over the differences between Object Oriented Programming (OOP), Managed Languages and why use C# for OOP. It also addresses the evolution of C# and what you can expect with the latest version.

Full course outline:

]]> http://channel9.msdn.com/Series/Programming-in-C-Jump-Start/Programming-in-C-01-OOP-Managed-Languages-and-C This module goes over the differences between Object Oriented Programming (OOP), Managed Languages and why use C# for OOP. It also addresses the evolution of C# and what you can expect with the latest version. [09:27] - Object Oriented Programming [14:45] - What is a Managed Language? [23:47] - Why C# for OOP? [43:20] - C# Syntax Full course outline: Mod 01: OOP, Managed Languages and C# Mod 02: Complex Types, Object Interfaces and Inheritance Mod 03: Controlling Programmatic Flow, and Manipulating Types and Strings Mod 04: Code Reflection and Working with Garbage Collection Mod 05: Type and Value Validation, and Encryption Techniques Mod 06: Splitting Assemblies, WinMD, Diagnostics and Instrumentation Mod 07: Interacting with the File System, and Leveraging Web Services Mod 08: Using LINQ to Objects and XML, and Serialization 3491 http://channel9.msdn.com/Series/Programming-in-C-Jump-Start/Programming-in-C-01-OOP-Managed-Languages-and-C Tue, 19 Mar 2013 17:23:05 GMT http://channel9.msdn.com/Series/Programming-in-C-Jump-Start/Programming-in-C-01-OOP-Managed-Languages-and-C JeffKoch JeffKoch 6 http://channel9.msdn.com/Series/Programming-in-C-Jump-Start/Programming-in-C-01-OOP-Managed-Languages-and-C/RSS C# Managed Code Programming YOW! 2012: Martin Thompson - Mechanical Sympathy and High Performance Coding Martin Thompson is a high-performance and low-latency computing specialist, with experience gained over two decades working with large scale transactional and big-data domains, including automotive, gaming, financial, mobile, and content management. He believes Mechanical Sympathy - applying an understanding of the hardware to the creation of software - is fundamental to delivering elegant, high-performance, solutions.

Here, Martin explains his perspectives on high performance computing (and coding), when to go native versus managed (Can you really write super fast, highly machine-optimized code in Java and .NET? Martin does...). This is a long conversation and well worth your time if performant execution is important to you - yes, the irony of a long chat about highly performant computing doesn't escape me. Smiley

Given that this is a C9 conversation, we take various detours into more topics than the title suggests. Tune in.

Thanks, Martin, for taking the time to ride tandem with the random.

]]> http://channel9.msdn.com/posts/YOW-2012-Martin-Thompson-Mechanical-Sympathy-and-High-Performance-Coding Martin Thompson is a high-performance and low-latency computing specialist, with experience gained over two decades working with large scale transactional and big-data domains, including automotive, gaming, financial, mobile, and content management. He believes Mechanical Sympathy - applying an understanding of the hardware to the creation of software - is fundamental to delivering elegant, high-performance, solutions.Here, Martin explains his perspectives on high performance computing (and coding), when to go native versus managed (Can you really write super fast, highly machine-optimized code in Java and .NET? Martin does...). This is a long conversation and well worth your time if performant execution is important to you - yes, the irony of a long chat about highly performant computing doesn't escape me. Given that this is a C9 conversation, we take various detours into more topics than the title suggests. Tune in. Thanks, Martin, for taking the time to ride tandem with the random. 3580 http://channel9.msdn.com/posts/YOW-2012-Martin-Thompson-Mechanical-Sympathy-and-High-Performance-Coding Thu, 20 Dec 2012 22:56:36 GMT http://channel9.msdn.com/posts/YOW-2012-Martin-Thompson-Mechanical-Sympathy-and-High-Performance-Coding Charles Charles 11 http://channel9.msdn.com/posts/YOW-2012-Martin-Thompson-Mechanical-Sympathy-and-High-Performance-Coding/rss .NET C++ High Performance Computing Java Managed Code Programming Native Development YOW! 2012 Checking In: Rick Molloy - Gone Native Welcome to another edition of Checking In with Erik Meijer! This time we subject native (C++) developer Rick Molloy to Erik's friendly interrogation. You've met Rick before (here, here, here, and here).

As usual, this Erik-led conversation involves several forays into technical areas and we jump head first into a few rabbit holes (like managed "versus" native (versus in quotes to emphasize that it's not some sort of duel...). Erik is a managed guy, after all). Lots of great geeky goodness here. So, Erik sends Rick to the whiteboard and Rick teaches Erik some modern C++ and provides some insights into his coding behavior/patterns (which is a key part of Checking In, remember?). We also sort of learn about what Rick's up to these days (secrets, secrets...).

Tune in. Enjoy. Thanks for spending time with us, Rick!

]]> http://channel9.msdn.com/Shows/Checking-In-with-Erik-Meijer/Checking-In-Rick-Molloy-Gone-Native Welcome to another edition of Checking In with Erik Meijer! This time we subject native (C++) developer Rick Molloy to Erik's friendly interrogation. You've met Rick before (here, here, here, and here). As usual, this Erik-led conversation involves several forays into technical areas and we jump head first into a few rabbit holes (like managed "versus" native (versus in quotes to emphasize that it's not some sort of duel...). Erik is a managed guy, after all). Lots of great geeky goodness here. So, Erik sends Rick to the whiteboard and Rick teaches Erik some modern C++ and provides some insights into his coding behavior/patterns (which is a key part of Checking In, remember?). We also sort of learn about what Rick's up to these days (secrets, secrets...). Tune in. Enjoy. Thanks for spending time with us, Rick! 3194 http://channel9.msdn.com/Shows/Checking-In-with-Erik-Meijer/Checking-In-Rick-Molloy-Gone-Native Wed, 17 Aug 2011 18:26:48 GMT http://channel9.msdn.com/Shows/Checking-In-with-Erik-Meijer/Checking-In-Rick-Molloy-Gone-Native Charles Charles 31 http://channel9.msdn.com/Shows/Checking-In-with-Erik-Meijer/Checking-In-Rick-Molloy-Gone-Native/RSS C# C++ Managed Code Parallel Computing Parallel Computing Platform C++ AMP Native Development C++11 Verve: A Type Safe Operating System  

The Singularity project (an OS written in managed code used for research purposes) has provided several very useful research results and opened new avenues for exploration in operating system design. Recently, MSR released a paper covering an operating system research project that takes a new approach to building an OS stack with verifiable and type safe managed code. This project employs a novel use of Typed Assembly Language, which is what you think it is: Assembly with types (implemented as annotations and verified statically using the verification technology Boogie and the theorem prover Z3(Boogie generates verification conditions that are then statically proven by Z3. Boogie is also a language used to build program verifiers for other languages)). As with Singularity, the C# Bartok compiler is used, but this time it generates TAL. The entire OS stack is verifiably type safe (the Nucleus is essentially the Verve HAL) and all objects are garbage collected. It does not employ the SIP model of process isolation (like Singularity). In this case, again, the entire operating system is type safe and statically proven as such using world-class theorem provers. 

Here's the basic idea (from the introduction of the paper):

Typed assembly language (TAL) and Hoare logic can verify the absence of many kinds of errors in low-level code. We use TAL and Hoare logic to achieve highly automated, static verification of the safety of a new operating system called Verve. Our techniques and tools mechanically verify the safety of every assembly language instruction in the operating system, run-time system, drivers, and applications (in fact, every part of the system software except the boot loader). Verve consists of a “Nucleus” that provides primitive access to hardware and memory, a kernel that builds services on top of the Nucleus, and applications that run on top of the kernel.

Here, Microsoft research scientist and operating system expert (he worked on the Singularity project) Chris Hawblitzel sits down with me to discuss the rationale behind the Verve project, the architecture and design of Verve and the Nucleus, Typed Assembly Language (TAL), potential for Verve in the real world, and much more. This is a conversational piece (no demos, no whiteboarding), but if you are into operating research and strategies for building type safe systems at the lowest levels, then this is for you. If you are interested, perhaps we could get Chris into our studio for a lecture or two on OS design. Smiley

Niner Richard Hein's question is asked here.

Get the Verve source code here.

Enjoy. Learn.

]]> http://channel9.msdn.com/Shows/Going+Deep/Verve-A-Type-Safe-Operating-System   The Singularity project (an OS written in managed code used for research purposes) has provided several very useful research results and opened new avenues for exploration in operating system design. Recently, MSR released a paper covering an operating system research project that takes a new approach to building an OS stack with verifiable and type safe managed code. This project employs a novel use of Typed Assembly Language, which is what you think it is: Assembly with types (implemented as annotations and verified statically using the verification technology Boogie and the theorem prover Z3(Boogie generates verification conditions that are then statically proven by Z3. Boogie is also a language used to build program verifiers for other languages)). As with Singularity, the C# Bartok compiler is used, but this time it generates TAL. The entire OS stack is verifiably type safe (the Nucleus is essentially the Verve HAL) and all objects are garbage collected. It does not employ the SIP model of process isolation (like Singularity). In this case, again, the entire operating system is type safe and statically proven as such using world-class theorem provers.  Here's the basic idea (from the introduction of the paper): Typed assembly language (TAL) and Hoare logic can verify the absence of many kinds of errors in low-level code. We use TAL and Hoare logic to achieve highly automated, static verification of the safety of a new operating system called Verve. Our techniques and tools mechanically verify the safety of every assembly language instruction in the operating system, run-time system, drivers, and applications (in fact, every part of the system software except the boot loader). Verve consists of a “Nucleus” that provides primitive access to hardware and memory, a kernel that builds services on top of the Nucleus, and applications that run on top of the kernel. Here, Microsoft research scientist and operating system expert (he worked on 4490 http://channel9.msdn.com/Shows/Going+Deep/Verve-A-Type-Safe-Operating-System Tue, 07 Dec 2010 17:01:28 GMT http://channel9.msdn.com/Shows/Going+Deep/Verve-A-Type-Safe-Operating-System Charles Charles 14 http://channel9.msdn.com/Shows/Going+Deep/Verve-A-Type-Safe-Operating-System/RSS Architecture C9 Conversations Kernel Managed Code Microsoft Research MS Research Operating System Z3 Bytes by MSDN: Mark Russinovich and Tim Huckaby discuss changes in Windows 7
Click here to download the Windows 7 API Code Pack

About Mark

Dr. Mark Russinovich is a Technical Fellow working in the Platform and Services division. Russinovich is a widely recognized expert in Windows operating system internals, and operating architecture and design. His discovery of a rootkit on popular Sony audio CDs led to industry reforms in the area of computer privacy.

Russinovich joined Microsoft when it acquired Winternals Software, the company he cofounded in 1996 and where he worked as Chief Software Architect. He is also cofounder of Sysinternals.com, where he wrote and published dozens of popular Windows administration and diagnostic utilities including Filemon, Regmon, Process Explorer and RootkitRevealer. He previously worked at IBM's Thomas J. Watson Research Center, researching operating system support for Web server acceleration and serving as an operating systems expert.

Russinovich coauthored "Inside Windows 2000" and "Windows Internals," both from Microsoft Press, is Senior Contributing Editor for Windows IT Pro Magazine, and has written dozens of articles on Windows internals. He has been a featured speaker at major industry conferences around the world, including Microsoft's TechEd, IT Forum, Professional Developer's Conference, Windows Connections, Windev, and TechMentor, and has taught Windows internals, troubleshooting, and file system and device driver development to companies worldwide, including Microsoft, the CIA and the FBI.

Russinovich earned his Ph.D. in computer engineering from Carnegie Mellon University.

Stuff Mark recommends you check out

]]> http://channel9.msdn.com/Blogs/Bytes+by+MSDN/Bytes-by-MSDN-Mark-Russinovich-and-Tim-Huckaby-discuss-changes-in-Windows-7 Tune in as Mark Russinovich explains kernel changes in Windows 7 and confirms to Tim Huckaby his respect for managed code developers.Click here to download the Windows 7 API Code PackAbout MarkDr. Mark Russinovich is a Technical Fellow working in the Platform and Services division. Russinovich is a widely recognized expert in Windows operating system internals, and operating architecture and design. His discovery of a rootkit on popular Sony audio CDs led to industry reforms in the area of computer privacy. Russinovich joined Microsoft when it acquired Winternals Software, the company he cofounded in 1996 and where he worked as Chief Software Architect. He is also cofounder of Sysinternals.com, where he wrote and published dozens of popular Windows administration and diagnostic utilities including Filemon, Regmon, Process Explorer and RootkitRevealer. He previously worked at IBM's Thomas J. Watson Research Center, researching operating system support for Web server acceleration and serving as an operating systems expert. Russinovich coauthored "Inside Windows 2000" and "Windows Internals," both from Microsoft Press, is Senior Contributing Editor for Windows IT Pro Magazine, and has written dozens of articles on Windows internals. He has been a featured speaker at major industry conferences around the world, including Microsoft's TechEd, IT Forum, Professional Developer's Conference, Windows Connections, Windev, and TechMentor, and has taught Windows internals, troubleshooting, and file system and device driver development to companies worldwide, including Microsoft, the CIA and the FBI. Russinovich earned his Ph.D. in computer engineering from Carnegie Mellon University.Stuff Mark recommends you check out Mark Russinovich's blog Mark's session at PDC09 - "Windows 7 and Windows Server 2008 R2 Kernel Changes" More about User-Mode Scheduling Windows 7 Training Kit for Developers Take a look at the Windows API Code 262 http://channel9.msdn.com/Blogs/Bytes+by+MSDN/Bytes-by-MSDN-Mark-Russinovich-and-Tim-Huckaby-discuss-changes-in-Windows-7 Mon, 30 Aug 2010 15:12:00 GMT http://channel9.msdn.com/Blogs/Bytes+by+MSDN/Bytes-by-MSDN-Mark-Russinovich-and-Tim-Huckaby-discuss-changes-in-Windows-7 Bytes by MSDN Bytes by MSDN 0 http://channel9.msdn.com/Blogs/Bytes+by+MSDN/Bytes-by-MSDN-Mark-Russinovich-and-Tim-Huckaby-discuss-changes-in-Windows-7/RSS Bytes by MSDN Managed Code Win 7 Windows 7 Inside SPUR - A Trace-Based JIT Compiler for CIL Wolfram Schulte, Herman Venter, Nikolai Tillmann, and Manuel Fahndrich join Erik Meijer for an Expert to Expert deep dive into the theory and implementation strategies inside of SPUR, a research Tracing Just-In-Time (TJIT) compiler for Microsoft’s Common Intermediate Language CIL (the target language of C#, VB.NET, F#, and many other .NET languages).  

Tracing just-in-time compilers (TJITs) determine frequently executed traces (hot paths and loops) in running programs and focus their optimization effort by emitting optimized machine code specialized to these traces. Prior work has established this strategy to be especially beneficial for dynamic languages such as JavaScript, where the TJIT interfaces with the interpreter and produces machine code from the JavaScript trace. 

In order to validate that the performance gains of a TJIT for interpreted languages like JavaScript do not depend on specific idioms of the language, the SPUR team produces a performance evaluation of a JavaScript runtime that translates JavaScript to CIL and then runs on top of SPUR.

Read the SPUR research paper. ]]> http://channel9.msdn.com/Shows/Going+Deep/E2E-Tracing-JIT-and-SPUR Computer Scientists and MSR Researchers Wolfram Schulte, Herman Venter, Nikolai Tillmann, and Manuel Fahndrich join Erik Meijer for an Expert to Expert deep dive into the theory and implementation strategies inside of SPUR, a research Tracing Just-In-Time (TJIT) compiler for Microsoft’s Common Intermediate Language CIL (the target language of C#, VB.NET, F#, and many other .NET languages).  Tracing just-in-time compilers (TJITs) determine frequently executed traces (hot paths and loops) in running programs and focus their optimization effort by emitting optimized machine code specialized to these traces. Prior work has established this strategy to be especially beneficial for dynamic languages such as JavaScript, where the TJIT interfaces with the interpreter and produces machine code from the JavaScript trace. In order to validate that the performance gains of a TJIT for interpreted languages like JavaScript do not depend on specific idioms of the language, the SPUR team produces a performance evaluation of a JavaScript runtime that translates JavaScript to CIL and then runs on top of SPUR.Read the SPUR research paper. 3030 http://channel9.msdn.com/Shows/Going+Deep/E2E-Tracing-JIT-and-SPUR Thu, 15 Apr 2010 19:32:00 GMT http://channel9.msdn.com/Shows/Going+Deep/E2E-Tracing-JIT-and-SPUR Charles Charles 17 http://channel9.msdn.com/Shows/Going+Deep/E2E-Tracing-JIT-and-SPUR/RSS Compilers Erik Meijer Expert to Expert JavaScript JIT Managed Code Microsoft Research MS Research Programming Languages RiSE