CallSite.cs source code in C# .NET

Source code for the .NET framework in C#

                        

Code:

/ 4.0 / 4.0 / untmp / DEVDIV_TFS / Dev10 / Releases / RTMRel / ndp / fx / src / Core / Microsoft / Scripting / Actions / CallSite.cs / 1305376 / CallSite.cs

                            /* **************************************************************************** 
 *
 * Copyright (c) Microsoft Corporation.
 *
 * This source code is subject to terms and conditions of the Microsoft Public License. A 
 * copy of the license can be found in the License.html file at the root of this distribution. If
 * you cannot locate the  Microsoft Public License, please send an email to 
 * dlr@microsoft.com. By using this source code in any fashion, you are agreeing to be bound 
 * by the terms of the Microsoft Public License.
 * 
 * You must not remove this notice, or any other, from this software.
 *
 *
 * ***************************************************************************/ 

using System.Collections.Generic; 
using System.Collections.ObjectModel; 
using System.Diagnostics;
using System.Dynamic; 
using System.Dynamic.Utils;
using System.Linq.Expressions;
using System.Linq.Expressions.Compiler;
using System.Reflection; 

#if SILVERLIGHT 
using System.Core; 
#endif //SILVERLIGHT
 
namespace System.Runtime.CompilerServices {

    //
    // A CallSite provides a fast mechanism for call-site caching of dynamic dispatch 
    // behvaior. Each site will hold onto a delegate that provides a fast-path dispatch
    // based on previous types that have been seen at the call-site. This delegate will 
    // call UpdateAndExecute if it is called with types that it hasn't seen before. 
    // Updating the binding will typically create (or lookup) a new delegate
    // that supports fast-paths for both the new type and for any types that 
    // have been seen previously.
    //
    // DynamicSites will generate the fast-paths specialized for sets of runtime argument
    // types. However, they will generate exactly the right amount of code for the types 
    // that are seen in the program so that int addition will remain as fast as it would
    // be with custom implementation of the addition, and the user-defined types can be 
    // as fast as ints because they will all have the same optimal dynamically generated 
    // fast-paths.
    // 
    // DynamicSites don't encode any particular caching policy, but use their
    // CallSiteBinding to encode a caching policy.
    //
 

    ///  
    /// A Dynamic Call Site base class. This type is used as a parameter type to the 
    /// dynamic site targets. The first parameter of the delegate (T) below must be
    /// of this type. 
    /// 
    public class CallSite {

        // Cache of CallSite constructors for a given delegate type 
        private static CacheDict> _SiteCtors;
 
        ///  
        /// The Binder responsible for binding operations at this call site.
        /// This binder is invoked by the UpdateAndExecute below if all Level 0, 
        /// Level 1 and Level 2 caches experience cache miss.
        /// 
        internal readonly CallSiteBinder _binder;
 
        // only CallSite derives from this
        internal CallSite(CallSiteBinder binder) { 
            _binder = binder; 
        }
 
        /// 
        /// used by Matchmaker sites to indicate rule match.
        /// 
        internal bool _match; 

        ///  
        /// Class responsible for binding dynamic operations on the dynamic site. 
        /// 
        public CallSiteBinder Binder { 
            get { return _binder; }
        }

        ///  
        /// Creates a CallSite with the given delegate type and binder.
        ///  
        /// The CallSite delegate type. 
        /// The CallSite binder.
        /// The new CallSite. 
        public static CallSite Create(Type delegateType, CallSiteBinder binder) {
            ContractUtils.RequiresNotNull(delegateType, "delegateType");
            ContractUtils.RequiresNotNull(binder, "binder");
            if (!delegateType.IsSubclassOf(typeof(Delegate))) throw Error.TypeMustBeDerivedFromSystemDelegate(); 

            if (_SiteCtors == null) { 
                // It's okay to just set this, worst case we're just throwing away some data 
                _SiteCtors = new CacheDict>(100);
            } 
            Func ctor;

            MethodInfo method = null;
            var ctors = _SiteCtors; 
            lock (ctors) {
                if (!ctors.TryGetValue(delegateType, out ctor)) { 
                    method = typeof(CallSite<>).MakeGenericType(delegateType).GetMethod("Create"); 

                    if (TypeUtils.CanCache(delegateType)) { 
                        ctor = (Func)Delegate.CreateDelegate(typeof(Func), method);
                        ctors.Add(delegateType, ctor);
                    }
                } 
            }
            if (ctor != null) { 
                return ctor(binder); 
            }
 
            // slow path
            return (CallSite)method.Invoke(null, new object[] { binder });
        }
    } 

    ///  
    /// Dynamic site type. 
    /// 
    /// The delegate type. 
    public sealed partial class CallSite : CallSite where T : class {
        /// 
        /// The update delegate. Called when the dynamic site experiences cache miss.
        ///  
        /// The update delegate.
        public T Update { 
            get { 
                // if this site is set up for match making, then use NoMatch as an Update
                if (_match) { 
                    Debug.Assert(_CachedNoMatch != null, "all normal sites should have Update cached once there is an instance.");
                    return _CachedNoMatch;
                } else {
                    Debug.Assert(_CachedUpdate != null, "all normal sites should have Update cached once there is an instance."); 
                    return _CachedUpdate;
                } 
            } 
        }
 
        /// 
        /// The Level 0 cache - a delegate specialized based on the site history.
        /// 
        [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Design", "CA1051:DoNotDeclareVisibleInstanceFields")] 
        public T Target;
 
 
        /// 
        /// The Level 1 cache - a history of the dynamic site. 
        /// 
        internal T[] Rules;

 
        // Cached update delegate for all sites with a given T
        private static T _CachedUpdate; 
 
        // Cached noMatch delegate for all sites with a given T
        private static T _CachedNoMatch; 

        private CallSite(CallSiteBinder binder)
            : base(binder) {
            Target = GetUpdateDelegate(); 
        }
 
        private CallSite() 
            : base(null) {
        } 

        [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Performance", "CA1822:MarkMembersAsStatic")]
        internal CallSite CreateMatchMaker() {
            return new CallSite(); 
        }
 
        ///  
        /// Creates an instance of the dynamic call site, initialized with the binder responsible for the
        /// runtime binding of the dynamic operations at this call site. 
        /// 
        /// The binder responsible for the runtime binding of the dynamic operations at this call site.
        /// The new instance of dynamic call site.
        [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Design", "CA1000:DoNotDeclareStaticMembersOnGenericTypes")] 
        public static CallSite Create(CallSiteBinder binder) {
            return new CallSite(binder); 
        } 

        private T GetUpdateDelegate() { 
            // This is intentionally non-static to speed up creation - in particular MakeUpdateDelegate
            // as static generic methods are more expensive than instance methods.  We call a ref helper
            // so we only access the generic static field once.
            return GetUpdateDelegate(ref _CachedUpdate); 
        }
 
        private T GetUpdateDelegate(ref T addr) { 
            if (addr == null) {
                // reduce creation cost by not using Interlocked.CompareExchange.  Calling I.CE causes 
                // us to spend 25% of our creation time in JIT_GenericHandle.  Instead we'll rarely
                // create 2 delegates with no other harm caused.
                addr = MakeUpdateDelegate();
            } 
            return addr;
        } 
 
        /// 
        /// Clears the rule cache ... used by the call site tests. 
        /// 
        private void ClearRuleCache() {
            // make sure it initialized/atomized etc...
            Binder.GetRuleCache(); 

            var cache = Binder.Cache; 
 
            if (cache != null) {
                lock (cache) { 
                    cache.Clear();
                }
            }
        } 

        const int MaxRules = 10; 
        internal void AddRule(T newRule) { 
            T[] rules = Rules;
            if (rules == null) { 
                Rules = new[] { newRule };
                return;
            }
 
            T[] temp;
            if (rules.Length < (MaxRules - 1)) { 
                temp = new T[rules.Length + 1]; 
                Array.Copy(rules, 0, temp, 1, rules.Length);
            } else { 
                temp = new T[MaxRules];
                Array.Copy(rules, 0, temp, 1, MaxRules - 1);
            }
            temp[0] = newRule; 
            Rules = temp;
        } 
 
        // moves rule +2 up.
        internal void MoveRule(int i) { 
            var rules = Rules;
            var rule = rules[i];

            rules[i] = rules[i - 1]; 
            rules[i - 1] = rules[i - 2];
            rules[i - 2] = rule; 
        } 

        internal T MakeUpdateDelegate() { 
            Type target = typeof(T);
            Type[] args;
            MethodInfo invoke = target.GetMethod("Invoke");
 

            if (target.IsGenericType && IsSimpleSignature(invoke, out args)) { 
                MethodInfo method = null; 
                MethodInfo noMatchMethod = null;
 
                if (invoke.ReturnType == typeof(void)) {
                    if (target == DelegateHelpers.GetActionType(args.AddFirst(typeof(CallSite)))) {
                        method = typeof(UpdateDelegates).GetMethod("UpdateAndExecuteVoid" + args.Length, BindingFlags.NonPublic | BindingFlags.Static);
                        noMatchMethod = typeof(UpdateDelegates).GetMethod("NoMatchVoid" + args.Length, BindingFlags.NonPublic | BindingFlags.Static); 
                    }
                } else { 
                    if (target == DelegateHelpers.GetFuncType(args.AddFirst(typeof(CallSite)))) { 
                        method = typeof(UpdateDelegates).GetMethod("UpdateAndExecute" + (args.Length - 1), BindingFlags.NonPublic | BindingFlags.Static);
                        noMatchMethod = typeof(UpdateDelegates).GetMethod("NoMatch" + (args.Length - 1), BindingFlags.NonPublic | BindingFlags.Static); 
                    }
                }
                if (method != null) {
                    _CachedNoMatch = (T)(object)noMatchMethod.MakeGenericMethod(args).CreateDelegate(target); 
                    return (T)(object)method.MakeGenericMethod(args).CreateDelegate(target);
                } 
            } 

            _CachedNoMatch = CreateCustomNoMatchDelegate(invoke); 
            return CreateCustomUpdateDelegate(invoke);
        }

 
        private static bool IsSimpleSignature(MethodInfo invoke, out Type[] sig) {
            ParameterInfo[] pis = invoke.GetParametersCached(); 
            ContractUtils.Requires(pis.Length > 0 && pis[0].ParameterType == typeof(CallSite), "T"); 

            Type[] args = new Type[invoke.ReturnType != typeof(void) ? pis.Length : pis.Length - 1]; 
            bool supported = true;

            for (int i = 1; i < pis.Length; i++) {
                ParameterInfo pi = pis[i]; 
                if (pi.IsByRefParameter()) {
                    supported = false; 
                } 
                args[i - 1] = pi.ParameterType;
            } 
            if (invoke.ReturnType != typeof(void)) {
                args[args.Length - 1] = invoke.ReturnType;
            }
            sig = args; 
            return supported;
        } 
 

        [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Performance", "CA1822:MarkMembersAsStatic")] 
        private T CreateCustomNoMatchDelegate(MethodInfo invoke) {
            var @params = invoke.GetParametersCached().Map(p => Expression.Parameter(p.ParameterType, p.Name));
            var site = @params[0];
            return Expression.Lambda( 
                Expression.Block(
                    Expression.Call( 
                        typeof(CallSiteOps).GetMethod("SetNotMatched"), 
                        @params.First()
                    ), 
                    Expression.Default(invoke.GetReturnType())
                ),
                @params
            ).Compile(); 
        }
 
        // 
        // WARNING: If you're changing this method, make sure you update the
        // pregenerated versions as well, which are generated by 
        // generate_dynsites.py
        // The two implementations *must* be kept functionally equivalent!
        //
        [System.Diagnostics.CodeAnalysis.SuppressMessage("Microsoft.Performance", "CA1822:MarkMembersAsStatic")] 
        private T CreateCustomUpdateDelegate(MethodInfo invoke) {
            var body = new List(); 
            var vars = new List(); 
            var @params = invoke.GetParametersCached().Map(p => Expression.Parameter(p.ParameterType, p.Name));
            var @return = Expression.Label(invoke.GetReturnType()); 
            var typeArgs = new[] { typeof(T) };

            var site = @params[0];
            var arguments = @params.RemoveFirst(); 

            //var @this = (CallSite)site; 
            var @this = Expression.Variable(typeof(CallSite), "this"); 
            vars.Add(@this);
            body.Add(Expression.Assign(@this, Expression.Convert(site, @this.Type))); 

            //T[] applicable;
            var applicable = Expression.Variable(typeof(T[]), "applicable");
            vars.Add(applicable); 

            //T rule, originalRule = @this.Target; 
            var rule = Expression.Variable(typeof(T), "rule"); 
            vars.Add(rule);
 
            var originalRule = Expression.Variable(typeof(T), "originalRule");
            vars.Add(originalRule);
            body.Add(Expression.Assign(originalRule, Expression.Field(@this, "Target")));
 
            //TRet result;
            ParameterExpression result = null; 
            if (@return.Type != typeof(void)) { 
                vars.Add(result = Expression.Variable(@return.Type, "result"));
            } 

            //int count, index;
            var count = Expression.Variable(typeof(int), "count");
            vars.Add(count); 
            var index = Expression.Variable(typeof(int), "index");
            vars.Add(index); 
 
            ////
            //// Create matchmaker site. We'll need it regardless. 
            ////
            //site = CallSiteOps.CreateMatchmaker();
            body.Add(
                Expression.Assign( 
                    site,
                    Expression.Call( 
                        typeof(CallSiteOps), 
                        "CreateMatchmaker",
                        typeArgs, 
                        @this
                    )
                )
            ); 

            //// 
            //// Level 1 cache lookup 
            ////
            //if ((applicable = CallSiteOps.GetRules(@this)) != null) { 
            //    for (index = 0, count = applicable.Length; index < count; index++) {
            //        @this.Target = rule = applicable[i];

            //        // 
            //        // Execute the rule
            //        // 
            // 
            //        // if we've already tried it skip it...
            //        if ((object)rule != (object)originalRule) { 
            //            %(setResult)s rule(site, %(args)s);
            //            if (CallSiteOps.GetMatch(site)) {
            //                CallSiteOps.UpdateRules(@this, i);
            //                %(returnResult)s; 
            //            }
            // 
            //            // Rule didn't match, try the next one 
            //            CallSiteOps.ClearMatch(site);
            //        } 
            //    }
            //}
            Expression invokeRule;
 
            Expression getMatch = Expression.Call(
                typeof(CallSiteOps).GetMethod("GetMatch"), 
                site 
            );
 
            Expression resetMatch = Expression.Call(
                typeof(CallSiteOps).GetMethod("ClearMatch"),
                site
            ); 

            var onMatch = Expression.Call( 
                typeof(CallSiteOps), 
                "UpdateRules",
                typeArgs, 
                @this,
                index
            );
 
            if (@return.Type == typeof(void)) {
                invokeRule = Expression.Block( 
                    Expression.Invoke(rule, new TrueReadOnlyCollection(@params)), 
                    Expression.IfThen(
                        getMatch, 
                        Expression.Block(onMatch, Expression.Return(@return))
                    )
                );
            } else { 
                invokeRule = Expression.Block(
                    Expression.Assign(result, Expression.Invoke(rule, new TrueReadOnlyCollection(@params))), 
                    Expression.IfThen( 
                        getMatch,
                        Expression.Block(onMatch, Expression.Return(@return, result)) 
                    )
                );
            }
 
            Expression getRule = Expression.Assign(rule, Expression.ArrayAccess(applicable, index));
 
            var @break = Expression.Label(); 

            var breakIfDone = Expression.IfThen( 
                Expression.Equal(index, count),
                Expression.Break(@break)
            );
 
            var incrementIndex = Expression.PreIncrementAssign(index);
 
            body.Add( 
                Expression.IfThen(
                    Expression.NotEqual( 
                        Expression.Assign(applicable, Expression.Call(typeof(CallSiteOps), "GetRules", typeArgs, @this)),
                        Expression.Constant(null, applicable.Type)
                    ),
                    Expression.Block( 
                        Expression.Assign(count, Expression.ArrayLength(applicable)),
                        Expression.Assign(index, Expression.Constant(0)), 
                        Expression.Loop( 
                            Expression.Block(
                                breakIfDone, 
                                getRule,
                                Expression.IfThen(
                                    Expression.NotEqual(
                                        Expression.Convert(rule, typeof(object)), 
                                        Expression.Convert(originalRule, typeof(object))
                                    ), 
                                    Expression.Block( 
                                        Expression.Assign(
                                            Expression.Field(@this, "Target"), 
                                            rule
                                        ),
                                        invokeRule,
                                        resetMatch 
                                    )
                                ), 
                                incrementIndex 
                            ),
                            @break, 
                            null
                        )
                    )
                ) 
            );
 
            //// 
            //// Level 2 cache lookup
            //// 
            //
            ////
            //// Any applicable rules in level 2 cache?
            //// 
            //
            // var cache = CallSiteOps.GetRuleCache(@this); 
 
            var cache = Expression.Variable(typeof(RuleCache), "cache");
            vars.Add(cache); 

            body.Add(
                Expression.Assign(
                    cache, 
                    Expression.Call(typeof(CallSiteOps), "GetRuleCache", typeArgs, @this)
                ) 
            ); 

            // applicable = cache.GetRules(); 

            body.Add(
                Expression.Assign(
                    applicable, 
                    Expression.Call(typeof(CallSiteOps), "GetCachedRules", typeArgs, cache)
                ) 
            ); 

            //   for (int i = 0, count = applicable.Length; i < count; i++) { 
            //        @this.Target = rule = applicable[i];
            //
            //        //
            //        // Execute the rule 
            //        //
            // 
            //        try { 
            //            result = rule(site, arg0);
            //            if (match) { 
            //                return result;
            //            }
            //        } finally {
            //            if (CallSiteOps.GetMatch(site)) { 
            //                //
            //                // Rule worked. Add it to level 1 cache 
            //                // 
            //
            //                CallSiteOps.AddRule(@this, rule); 
            //                // and then move it to the front of the L2 cache
            //                CallSiteOps.MoveRule(cache, rule, index);
            //            }
            //        } 
            //
            //        // Rule didn't match, try the next one 
            //        CallSiteOps.ClearMatch(site); 
            //    }
            // 


            // L2 invokeRule is different (no onMatch)
            if (@return.Type == typeof(void)) { 
                invokeRule = Expression.Block(
                    Expression.Invoke(rule, new TrueReadOnlyCollection(@params)), 
                    Expression.IfThen( 
                        getMatch,
                        Expression.Return(@return) 
                    )
                );
            } else {
                invokeRule = Expression.Block( 
                    Expression.Assign(result, Expression.Invoke(rule, new TrueReadOnlyCollection(@params))),
                    Expression.IfThen( 
                        getMatch, 
                        Expression.Return(@return, result)
                    ) 
                );
            }

            var tryRule = Expression.TryFinally( 
                invokeRule,
                Expression.IfThen( 
                    getMatch, 
                    Expression.Block(
                        Expression.Call(typeof(CallSiteOps), "AddRule", typeArgs, @this, rule), 
                        Expression.Call(typeof(CallSiteOps), "MoveRule", typeArgs, cache, rule, index)
                    )
                )
            ); 

            getRule = Expression.Assign( 
                Expression.Field(@this, "Target"), 
                Expression.Assign(rule, Expression.ArrayAccess(applicable, index))
            ); 

            body.Add(Expression.Assign(index, Expression.Constant(0)));
            body.Add(Expression.Assign(count, Expression.ArrayLength(applicable)));
            body.Add( 
                Expression.Loop(
                    Expression.Block( 
                        breakIfDone, 
                        getRule,
                        tryRule, 
                        resetMatch,
                        incrementIndex
                    ),
                    @break, 
                    null
                ) 
            ); 

            //// 
            //// Miss on Level 0, 1 and 2 caches. Create new rule
            ////

            //rule = null; 
            body.Add(Expression.Assign(rule, Expression.Constant(null, rule.Type)));
 
            //var args = new object[] { arg0, arg1, ... }; 
            var args = Expression.Variable(typeof(object[]), "args");
            vars.Add(args); 
            body.Add(
                Expression.Assign(
                    args,
                    Expression.NewArrayInit(typeof(object), arguments.Map(p => Convert(p, typeof(object)))) 
                )
            ); 
 
            //for (; ; ) {
            //    @this.Target = originalRule; 
            //    rule = @this.Target = @this.Binder.BindDelegate(@this, args);

            //    //
            //    // Execute the rule on the matchmaker site 
            //    //
 
            //    try { 
            //        %(setResult)s ruleTarget(site, %(args)s);
            //        if (match) { 
            //            %(returnResult)s;
            //        }
            //    } finally {
            //        if (match) { 
            //            //
            //            // The rule worked. Add it to level 1 cache. 
            //            // 
            //            CallSiteOps.AddRule(@this, rule);
            //        } 
            //    }

            //    // Rule we got back didn't work, try another one
            //    match = true; 
            //}
 
            Expression setOldTarget = Expression.Assign( 
                Expression.Field(@this, "Target"),
                originalRule 
            );

            getRule = Expression.Assign(
                Expression.Field(@this, "Target"), 
                Expression.Assign(
                    rule, 
                    Expression.Call( 
                        typeof(CallSiteOps),
                        "Bind", 
                        typeArgs,
                        Expression.Property(@this, "Binder"),
                        @this,
                        args 
                    )
                ) 
            ); 

            tryRule = Expression.TryFinally( 
                invokeRule,
                Expression.IfThen(
                    getMatch,
                    Expression.Call(typeof(CallSiteOps), "AddRule", typeArgs, @this, rule) 
                )
            ); 
 
            body.Add(
                Expression.Loop( 
                    Expression.Block(setOldTarget, getRule, tryRule, resetMatch),
                    null, null
                )
            ); 

            body.Add(Expression.Default(@return.Type)); 
 
            var lambda = Expression.Lambda(
                Expression.Label( 
                    @return,
                    Expression.Block(
                        new ReadOnlyCollection(vars),
                        new ReadOnlyCollection(body) 
                    )
                ), 
                "CallSite.Target", 
                true, // always compile the rules with tail call optimization
                new ReadOnlyCollection(@params) 
            );

            // Need to compile with forceDynamic because T could be invisible,
            // or one of the argument types could be invisible 
            return lambda.Compile();
        } 
 
        private static Expression Convert(Expression arg, Type type) {
            if (TypeUtils.AreReferenceAssignable(type, arg.Type)) { 
                return arg;
            }
            return Expression.Convert(arg, type);
        } 
    }
} 

// File provided for Reference Use Only by Microsoft Corporation (c) 2007.
// Copyright (c) Microsoft Corporation. All rights reserved.


                        

Link Menu

Network programming in C#, Network Programming in VB.NET, Network Programming in .NET
This book is available now!
Buy at Amazon US or
Buy at Amazon UK