Microsoft Technology Licensing, LLC

Sonja Keserovic

Christopher Wellington Brumme

Brian M Grunkemeyer

Jonathon Michael Stall

Mahesh Prakriya

Rudi Martin

David S Mortenson

Michael Gregory Montwill

Renaud Paquay

Various domains may wish to specify different implementations of the type; e.g., a compilation domain may describe the type statically, an execution domain may instantiate objects of the given type, while a debugging execution domain may associate additional debugging information such as a symbol name. This may be achieved by specifying a type implementation of a particular type within respective domains which all implement a common type interface. A type binding instruction set may then select a type implementation for the type within the target instruction set according to the domain, and may bind type instances of the type within target instruction set to the selected type implementation for the current domain. This technique yields domain-specific variance in type implementation without having to reconfigure the target instruction set or perform domain-checking logic there-within.

Execution contexts with polymorphic type implementations

Enabling secure and efficient marshaling, utilization, and releasing of handles in either of an operating system or runtime environment includes wrapping a handle with a counter to tabulate a number of threads using currently using the handle. Thus, handle administration is implemented to circumvent potential security risks, avoid correctness problems, and foster more efficient handle releasing.

Safe handle

Growing community of inventors

Kirkland, WA, United States of America

Sonja Keserovic