Exemple #1
0
        public void AddActor(Actor actor)
        {
            Contract.Requires(actor != null);

            _newActors.Enqueue(actor);
            _event.Set();
        }
Exemple #2
0
        internal Scheduler RegisterActor(Actor actor)
        {
            Contract.Requires(actor != null);
            Contract.Ensures(Contract.Result<Scheduler>() != null);

            var scheduler = PickScheduler();
            scheduler.AddActor(actor);
            return scheduler;
        }