public void AddActor(Actor actor) { Contract.Requires(actor != null); _newActors.Enqueue(actor); _event.Set(); }
internal Scheduler RegisterActor(Actor actor) { Contract.Requires(actor != null); Contract.Ensures(Contract.Result<Scheduler>() != null); var scheduler = PickScheduler(); scheduler.AddActor(actor); return scheduler; }