source: trunk/CrypPlugins/WorkspaceManager/Execution/ExecutionEngine.cs @ 2371

Last change on this file since 2371 was 2371, checked in by kopal, 11 years ago

fix threading bug in p2peditor (automatic connect is now possible)

File size: 25.6 KB
RevLine 
[1449]1/*                             
2   Copyright 2010 Nils Kopal, Viktor M.
3
4   Licensed under the Apache License, Version 2.0 (the "License");
5   you may not use this file except in compliance with the License.
6   You may obtain a copy of the License at
7
8       http://www.apache.org/licenses/LICENSE-2.0
9
10   Unless required by applicable law or agreed to in writing, software
11   distributed under the License is distributed on an "AS IS" BASIS,
12   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13   See the License for the specific language governing permissions and
14   limitations under the License.
15*/
16
17using System;
18using System.Collections.Generic;
19using System.Linq;
20using System.Text;
21
22using WorkspaceManager.Model;
23using System.Threading;
24using System.Collections;
25using Cryptool.PluginBase;
26using System.Reflection;
[1590]27using Gears4Net;
[1607]28using System.Windows.Threading;
[1700]29using System.Runtime.Remoting.Contexts;
[1929]30using System.IO;
31using System.Diagnostics;
[1449]32
33namespace WorkspaceManager.Execution
34{
35    /// <summary>
36    /// Engine to execute a model of the WorkspaceManager
[1617]37    /// This class needs a WorkspaceManager to be instantiated
38    /// To run an execution process it also needs a WorkspaceModel
39    ///
40    /// This class uses Gears4Net to execute the plugins
[1449]41    /// </summary>
42    public class ExecutionEngine
43    {
[1471]44        private WorkspaceManager WorkspaceManagerEditor;
[1884]45        private Scheduler scheduler;
[1592]46        private WorkspaceModel workspaceModel;
[1846]47        private volatile bool isRunning = false;
[1977]48        private BenchmarkProtocol BenchmarkProtocol = null;
[1627]49
[1929]50        public volatile int ExecutedPluginsCounter = 0;
51        public bool BenchmarkPlugins = false;
52        public int GuiUpdateInterval = 0;
53        public int SleepTime = 0;
54        public int ThreadPriority = 0;
[1627]55
[1449]56        /// <summary>
57        /// Creates a new ExecutionEngine
58        /// </summary>
59        /// <param name="workspaceManagerEditor"></param>
[1471]60        public ExecutionEngine(WorkspaceManager workspaceManagerEditor)
[1449]61        {
62            WorkspaceManagerEditor = workspaceManagerEditor;
63        }
64
65        /// <summary>
66        /// Is this ExecutionEngine running?
67        /// </summary>
68        public bool IsRunning
69        {
[1846]70            get{return this.isRunning;}
71            private set{this.isRunning = value;}
[1449]72        }
73
74        /// <summary>
[1617]75        /// Execute the given Model
[1449]76        /// </summary>
77        /// <param name="workspaceModel"></param>
[1884]78        public void Execute(WorkspaceModel workspaceModel, int amountThreads)
[1449]79        {
80            if (!IsRunning)
81            {
82                IsRunning = true;
[1777]83                this.workspaceModel = workspaceModel;
[1803]84
[1884]85                if (amountThreads <= 0)
[1866]86                {
[1884]87                    amountThreads = 1;
[1866]88                }
89
[1884]90                scheduler = new WorkspaceManagerScheduler("WorkspaceManagerScheduler", amountThreads,this);
[1700]91               
[1617]92                //We have to reset all states of PluginModels, ConnectorModels and ConnectionModels:
[1449]93                workspaceModel.resetStates();
[1617]94
95                //The UpdateGuiProtocol is a kind of "daemon" which will update the view elements if necessary
[1884]96                UpdateGuiProtocol updateGuiProtocol = new UpdateGuiProtocol(scheduler, workspaceModel, this);
97                scheduler.AddProtocol(updateGuiProtocol);
[1607]98                updateGuiProtocol.Start();
99
[1637]100                //The BenchmarkProtocl counts the amount of executed plugins per seconds and writes this to debug
101                if (this.BenchmarkPlugins)
102                {
[1929]103                    BenchmarkProtocol = new BenchmarkProtocol(scheduler, this.workspaceModel, this);
104                    scheduler.AddProtocol(BenchmarkProtocol);
105                    BenchmarkProtocol.Start();
[1637]106                }
107
[1617]108                //Here we create for each PluginModel an own PluginProtocol
109                //By using round-robin we give each protocol to another scheduler to gain
110                //a good average load balancing of the schedulers
[1684]111                //we also initalize each plugin
[1812]112                //It is possible that a plugin is also a PluginProtocol
[1929]113                //if that is true we do not create a new one but use the plugin instead the created one               
[1449]114                foreach (PluginModel pluginModel in workspaceModel.AllPluginModels)
115                {
[1884]116                    PluginProtocol pluginProtocol = new PluginProtocol(scheduler, pluginModel, this);
[1929]117                    MessageExecution message = new MessageExecution();
118                    message.PluginModel = pluginModel;
119                    pluginModel.MessageExecution = message;
120
[1812]121                    pluginModel.Plugin.PreExecution();                   
[1591]122                    pluginModel.PluginProtocol = pluginProtocol;
[1884]123                    scheduler.AddProtocol(pluginProtocol);
[1812]124
125                    if (pluginProtocol.Status == ProtocolStatus.Created || pluginProtocol.Status == ProtocolStatus.Terminated)
126                    {
127                        pluginProtocol.Start();
128                    }
[1929]129                 
[1680]130                    if (pluginModel.Startable)
131                    {
[1929]132                        pluginProtocol.BroadcastMessage(pluginModel.MessageExecution);
[1680]133                    }
[1449]134                }
[1700]135
[1884]136                ((WorkspaceManagerScheduler)scheduler).startScheduling();
137               
[1449]138            }
[1590]139        }     
140     
[1449]141        /// <summary>
[1617]142        /// Stop the execution process:
143        /// calls shutdown on all schedulers + calls stop() on each plugin
[1449]144        /// </summary>
145        public void Stop()
146        {
[1977]147           
148            //First stop alle plugins
149            foreach (PluginModel pluginModel in workspaceModel.AllPluginModels)
[1684]150            {
[1977]151                pluginModel.Plugin.Stop();                   
152            }
[1684]153
[1977]154            IsRunning = false;
155            //Secondly stop all Gears4Net Schedulers
156            scheduler.Shutdown();
[1929]157
[1977]158            //call all PostExecution methods of all plugins
159            foreach (PluginModel pluginModel in workspaceModel.AllPluginModels)
160            {
161                pluginModel.Plugin.PostExecution();
162            }
[1929]163
[1977]164            //remove the plugin protocol of each plugin model
165            foreach (PluginModel pluginModel in workspaceModel.AllPluginModels)
[1929]166            {
[1977]167                pluginModel.PluginProtocol = null;
[1929]168            }
[1977]169
170            this.WorkspaceManagerEditor = null;
171            this.workspaceModel = null;
172         
[1449]173        }
174
175        /// <summary>
176        /// Pause the execution
177        /// </summary>
178        public void Pause()
179        {
180            //not implemented yet
181        }
182
183        /// <summary>
184        /// Use the logger of the WorkspaceManagerEditor
185        /// </summary>
186        /// <param name="message"></param>
187        /// <param name="level"></param>
[1590]188        public void GuiLogMessage(string message, NotificationLevel level)
[1929]189        {
190            if (WorkspaceManagerEditor != null)
191            {
192                WorkspaceManagerEditor.GuiLogMessage(message, level);
193            }
[1884]194        }
[1590]195    }
[1637]196 
[1590]197    /// <summary>
198    /// Message send to scheduler for a Plugin to trigger the Execution
199    /// </summary>
200    public class MessageExecution : MessageBase
201    {
202        public PluginModel PluginModel;
203    }
204
205    /// <summary>
[1607]206    /// A Protocol for updating the GUI in time intervals
207    /// </summary>
208    public class UpdateGuiProtocol : ProtocolBase
209    {
210        private WorkspaceModel workspaceModel;
[1929]211        private ExecutionEngine executionEngine;
[1607]212
213        /// <summary>
214        /// Create a new protocol. Each protocol requires a scheduler which provides
215        /// a thread for execution.
216        /// </summary>
217        /// <param name="scheduler"></param>
218        public UpdateGuiProtocol(Scheduler scheduler, WorkspaceModel workspaceModel, ExecutionEngine executionEngine)
219            : base(scheduler)
220        {
221            this.workspaceModel = workspaceModel;
[1627]222            this.executionEngine = executionEngine;           
[1607]223        }
[1929]224       
[1607]225        /// <summary>
226        /// The main function of the protocol
227        /// </summary>
228        /// <param name="stateMachine"></param>
229        /// <returns></returns>
230        public override System.Collections.Generic.IEnumerator<ReceiverBase> Execute(AbstractStateMachine stateMachine)
[1929]231        {           
232            yield return new IntervalReceiver(this.executionEngine.GuiUpdateInterval,this.executionEngine.GuiUpdateInterval, HandleUpdateGui);
[1607]233        }
234
235        /// <summary>
236        /// Handler function for a message.
237        /// This handler must not block, because it executes inside the thread of the scheduler.
238        /// </summary>
239        /// <param name="msg"></param>
240        private void HandleUpdateGui()
241        {
242            //Get the gui Thread
243            this.workspaceModel.WorkspaceManagerEditor.Presentation.Dispatcher.Invoke(DispatcherPriority.Normal, (SendOrPostCallback)delegate
244            {
[1884]245                List<PluginModel> pluginModels = workspaceModel.AllPluginModels;
246                foreach (PluginModel pluginModel in pluginModels)
[1607]247                {
248                    if (pluginModel.GuiNeedsUpdate)
249                    {
250                        pluginModel.GuiNeedsUpdate = false;
251                        pluginModel.paint();
252                        if (pluginModel.UpdateableView != null)
253                        {
254                            pluginModel.UpdateableView.update();
255                        }
256                    }
257                }
[1884]258                List<ConnectionModel> connectionModels = workspaceModel.AllConnectionModels;
259                foreach (ConnectionModel connectionModel in connectionModels)
[1620]260                {
261                    if (connectionModel.GuiNeedsUpdate)
262                    {
263                        if (connectionModel.UpdateableView != null)
264                        {
265                            connectionModel.UpdateableView.update();
266                        }
267                    }
268                }
[1607]269            }
270            , null);
[1929]271
[1607]272        }
273    }
[1680]274   
[1607]275    /// <summary>
[1680]276    /// A Protocol for benchmarking
[1608]277    /// </summary>
[1637]278    public class BenchmarkProtocol : ProtocolBase
279    {
280        private WorkspaceModel workspaceModel;
281        private ExecutionEngine executionEngine;
[1977]282     
[1637]283        /// <summary>
284        /// Create a new protocol. Each protocol requires a scheduler which provides
285        /// a thread for execution.
286        /// </summary>
287        /// <param name="scheduler"></param>
288        public BenchmarkProtocol(Scheduler scheduler, WorkspaceModel workspaceModel, ExecutionEngine executionEngine)
289            : base(scheduler)
290        {
291            this.workspaceModel = workspaceModel;
[1977]292            this.executionEngine = executionEngine;         
[1637]293        }
294
295        /// <summary>
296        /// The main function of the protocol
297        /// </summary>
298        /// <param name="stateMachine"></param>
299        /// <returns></returns>
300        public override System.Collections.Generic.IEnumerator<ReceiverBase> Execute(AbstractStateMachine stateMachine)
301        {
[1929]302            yield return new IntervalReceiver(1000,1000, HandleBenchmark);           
[1637]303        }
304
305        /// <summary>
306        /// Handler function for a message.
307        /// This handler must not block, because it executes inside the thread of the scheduler.
308        /// </summary>
309        /// <param name="msg"></param>
310        private void HandleBenchmark()
311        {
[1929]312            StringBuilder sb = new StringBuilder();
313            sb.Append("Executing at about ");
314            sb.Append(this.executionEngine.ExecutedPluginsCounter); 
315            sb.Append(" Plugins/s");
316
[1977]317            this.workspaceModel.WorkspaceManagerEditor.GuiLogMessage(sb.ToString(), NotificationLevel.Debug);         
[1637]318            this.executionEngine.ExecutedPluginsCounter = 0;
[1977]319        }       
[1637]320    }
321
322    /// <summary>
[1590]323    /// A Protocol for a PluginModel
324    /// </summary>
325    public class PluginProtocol : ProtocolBase
[1780]326    {       
[1700]327        public PluginModel PluginModel;
[1590]328        private ExecutionEngine executionEngine;
329
330        /// <summary>
331        /// Create a new protocol. Each protocol requires a scheduler which provides
332        /// a thread for execution.
333        /// </summary>
334        /// <param name="scheduler"></param>
335        public PluginProtocol(Scheduler scheduler, PluginModel pluginModel,ExecutionEngine executionEngine)
336            : base(scheduler)
[1449]337        {
[1700]338            this.PluginModel = pluginModel;
[1590]339            this.executionEngine = executionEngine;
[1929]340        }       
[1449]341
342        /// <summary>
[1812]343        ///
344        /// </summary>
345        /// <param name="scheduler"></param>
346        /// <param name="pluginModel"></param>
347        /// <param name="executionEngine"></param>
348        public void setExecutionEngineSettings(Scheduler scheduler, PluginModel pluginModel, ExecutionEngine executionEngine)
349        {
350            this.Scheduler = scheduler;
351            this.PluginModel = pluginModel;
352            this.executionEngine = executionEngine;
353        }
354
355
356        /// <summary>
[1680]357        /// The main function of the protocol     
[1449]358        /// </summary>
[1590]359        /// <param name="stateMachine"></param>
360        /// <returns></returns>
361        public override System.Collections.Generic.IEnumerator<ReceiverBase> Execute(AbstractStateMachine stateMachine)
[1929]362        {           
363            yield return new PersistentReceiver(Receive<MessageExecution>(this.Filter, HandleExecute));               
[1449]364        }
365
366        /// <summary>
[1876]367        /// Filter that checks wether the Plugin fits to the internal Plugin reference of this PluginProtocl
368        /// </summary>
369        /// <param name="msg"></param>
370        /// <returns></returns>
371        private bool Filter(MessageExecution msg)
372        {
373            if (msg.PluginModel != this.PluginModel)
374            {
375                return false;
376            }
377            return true;
378        }
379        /// <summary>
[1805]380        /// Handle an execution of a plugin
[1449]381        /// </summary>
[1590]382        /// <param name="msg"></param>
[1637]383        private void HandleExecute(MessageExecution msg)
[1449]384        {
[1884]385            // ################
[1805]386            // 1. Check if Plugin may Execute
[1884]387            // ################
[1805]388
[1884]389            if (!msg.PluginModel.WorkspaceModel.WorkspaceManagerEditor.isExecuting())
[1776]390            {
[1805]391                return;
[1776]392            }
393
[1884]394            //Check if all necessary inputs are set
395            List<ConnectorModel> inputConnectors = msg.PluginModel.InputConnectors;
396            foreach (ConnectorModel connectorModel in inputConnectors)
[1806]397            {
[1884]398                if (!connectorModel.IControl &&
399                    (connectorModel.IsMandatory || connectorModel.InputConnections.Count > 0) && !connectorModel.HasData)
400                {
401                    return;
402                }
[1806]403            }
[1805]404
[1884]405            //Check if all outputs are free
406            List<ConnectorModel> outputConnectors = msg.PluginModel.OutputConnectors;
407            foreach (ConnectorModel connectorModel in outputConnectors)
[1776]408            {
[1884]409                if (!connectorModel.IControl)
[1803]410                {
[1884]411                    List<ConnectionModel> outputConnections = connectorModel.OutputConnections;
412                    foreach (ConnectionModel connectionModel in outputConnections)
[1805]413                    {
[1884]414                        if (connectionModel.To.HasData)
415                        {
416                            return;
417                        }
[1805]418                    }
[1803]419                }
420            }
421
[1884]422            // ################
423            //2. Fill all Inputs of the plugin, if this fails, stop executing the plugin
424            // ################
425
[1805]426            //Fill the plugins inputs with data
[1882]427            foreach (ConnectorModel connectorModel in inputConnectors)
[1776]428            {
[1805]429                try
[1776]430                {
[1929]431                    if (connectorModel.HasData && connectorModel.Data != null)
[1776]432                    {
[1805]433                        if (connectorModel.IsDynamic)
434                        {
[2059]435                       
436                            if(connectorModel.method == null)
437                            {
438                                connectorModel.method = PluginModel.Plugin.GetType().GetMethod(connectorModel.DynamicSetterName);
439                            }
440                            connectorModel.method.Invoke(PluginModel.Plugin, new object[] { connectorModel.PropertyName, connectorModel.Data });
[1805]441                        }
442                        else
443                        {
[2059]444                            if (connectorModel.property == null)
445                            {
446                                connectorModel.property = PluginModel.Plugin.GetType().GetProperty(connectorModel.PropertyName);
447                            }
448                            connectorModel.property.SetValue(PluginModel.Plugin, connectorModel.Data, null);
[1805]449                        }
[1769]450                    }
[1590]451                }
[1805]452                catch (Exception ex)
453                {
[1806]454                    this.PluginModel.WorkspaceModel.WorkspaceManagerEditor.GuiLogMessage("An error occured while setting value of connector \"" + connectorModel.Name + "\" of \"" + PluginModel.Name + "\": " + ex.Message, NotificationLevel.Error);
[1805]455                    this.PluginModel.State = PluginModelState.Error;
456                    this.PluginModel.GuiNeedsUpdate = true;
[1884]457                    return;
[1805]458                }
[1802]459            }
[1805]460
[1884]461            // ################
462            //3. Execute the Plugin -> call the IPlugin.Execute()
463            // ################
[1812]464
[1884]465            try
[1805]466            {
[1884]467                PluginModel.Plugin.Execute();
[1805]468            }
[1884]469            catch (Exception ex)
[2152]470            {       
471                this.PluginModel.WorkspaceModel.WorkspaceManagerEditor.GuiLogMessage("An error occured while executing  \"" + PluginModel.Name + "\": " + ex.Message, NotificationLevel.Error);
[2371]472                this.PluginModel.WorkspaceModel.WorkspaceManagerEditor.GuiLogMessage(ex.StackTrace, NotificationLevel.Error);               
[2152]473                this.PluginModel.State = PluginModelState.Error;
474                this.PluginModel.GuiNeedsUpdate = true;
475                return;               
[1884]476            }
[1805]477
[1884]478            // ################
479            //4. Count for the benchmark
480            // ################
481
482            if (this.executionEngine.BenchmarkPlugins)
[1805]483            {
[1929]484                this.executionEngine.ExecutedPluginsCounter++;               
[1805]485            }
486
[1884]487            // ################
488            //5. If the user wants to, sleep some time
489            // ################
490
491            if (this.executionEngine.SleepTime > 0)
[1805]492            {
[1884]493                Thread.Sleep(this.executionEngine.SleepTime);
[1805]494            }
[1884]495        }       
496
[1812]497        /// <summary>
498        ///
499        /// </summary>
500        public ExecutionEngine ExecutionEngine
501        {
502            get { return this.executionEngine; }           
503        }
[1449]504    }
[1700]505
[1755]506    /// <summary>
[1802]507    /// Gears4Net Scheduler
[1755]508    /// </summary>
[1700]509    public class WorkspaceManagerScheduler : Scheduler
510    {
511        private System.Threading.AutoResetEvent wakeup = new System.Threading.AutoResetEvent(false);
512        private bool shutdown = false;
[1884]513        private Thread[] threads;
[1977]514        private volatile int runningThreads = 0;
515
[1884]516        public ExecutionEngine executionEngine = null;         
[1700]517
[1884]518        public WorkspaceManagerScheduler(string name, int amountThreads, ExecutionEngine executionEngine)
[1700]519            : base()
520        {
[1884]521            threads = new Thread[amountThreads];
522            this.executionEngine = executionEngine;
[1700]523
[1884]524            for (int i = 0; i < threads.Length;i++ )
525            {
526                threads[i] = new Thread(this.DoScheduling);
527                threads[i].SetApartmentState(ApartmentState.MTA);
528                threads[i].Name = name + "-Thread-" + i;
529
530                switch (this.executionEngine.ThreadPriority)
531                {
532                    case 0:
533                        threads[i].Priority = ThreadPriority.AboveNormal;
534                        break;
535                    case 1:
536                        threads[i].Priority = ThreadPriority.BelowNormal;
537                        break;
538                    case 2:
539                        threads[i].Priority = ThreadPriority.Highest;
540                        break;
541                    case 3:
542                        threads[i].Priority = ThreadPriority.Lowest;
543                        break;
544                    case 4:
545                        threads[i].Priority = ThreadPriority.Normal;
546                        break;
547                }
548            }
[1700]549           
550        }
551
[1884]552        public void startScheduling()
[1700]553        {
[1884]554            foreach (Thread thread in threads)
555            {
556                thread.Start();
[1977]557                lock (this)
558                {
559                    runningThreads++;
560                }
[1884]561            }
[1700]562        }
[1884]563       
564        private void DoScheduling()
565        {           
[1700]566
[1884]567            this.executionEngine.GuiLogMessage(Thread.CurrentThread.Name + " up and running", NotificationLevel.Debug);
568            Queue<ProtocolBase> waitingProtocols = this.waitingProtocols;
[1977]569           
[1700]570            // Loop forever
571            while (true)
[1929]572            {               
[1700]573                this.wakeup.WaitOne();
574
575                // Loop while there are more protocols waiting
576                while (true)
577                {
578                    // Should the scheduler stop?
579                    if (this.shutdown)
[1977]580                    {                       
[1884]581                        this.executionEngine.GuiLogMessage(Thread.CurrentThread.Name + " terminated", NotificationLevel.Debug);
[1977]582                        lock (this)
583                        {
584                            runningThreads--;
585                        }                                           
[1700]586                        return;
[1846]587                    }
[1884]588
[1836]589                    try
590                    {
[1891]591                        ProtocolBase protocol = null;
[1884]592                        lock (this)
593                        {
[1891]594                            if (waitingProtocols.Count == 0)
595                                break;
[1884]596                            protocol = waitingProtocols.Dequeue();
597                        }
[1891]598                       
[1836]599                        ProtocolStatus status = protocol.Run();
[1700]600
[1836]601                        lock (this)
[1700]602                        {
[1836]603                            switch (status)
604                            {
605                                case ProtocolStatus.Created:
606                                    System.Diagnostics.Debug.Assert(false);
607                                    break;
608                                case ProtocolStatus.Ready:
[1884]609                                    waitingProtocols.Enqueue(protocol);
[1836]610                                    break;
611                                case ProtocolStatus.Waiting:
612                                    break;
613                                case ProtocolStatus.Terminated:
614                                    System.Diagnostics.Debug.Assert(!this.waitingProtocols.Contains(protocol));
615                                    this.RemoveProtocol(protocol);
616                                    break;
617                            }
[1700]618                        }
619                    }
[1884]620                    catch (Exception ex)
[1836]621                    {
[1977]622                        this.executionEngine.GuiLogMessage("Error during scheduling: " + ex.Message + " - " + ex.InnerException,NotificationLevel.Error);
[1836]623                    }
[1700]624                }
625            }
626        }
[1755]627        /// <summary>
628        /// Removes a protocol from the internal queue
629        /// </summary>
630        /// <param name="protocol"></param>
[1700]631        public override void RemoveProtocol(ProtocolBase protocol)
632        {
633            lock (this)
634            {
635                this.protocols.Remove(protocol);
636                if (this.protocols.Count == 0)
637                    this.Shutdown();
638            }
639        }
640
[1755]641        /// <summary>
642        /// Adds a protocol to the internal queue
643        /// </summary>
644        /// <param name="protocol"></param>
[1700]645        public override void AddProtocol(ProtocolBase protocol)
646        {
647            lock (this)
648            {
649                this.protocols.Add(protocol);
650            }
651        }
652
[1755]653        /// <summary>
654        /// Wakeup this scheduler
655        /// </summary>
656        /// <param name="protocol"></param>
[1700]657        public override void Wakeup(ProtocolBase protocol)
658        {
659            lock (this)
660            {
661                if (!this.waitingProtocols.Contains(protocol))
662                    this.waitingProtocols.Enqueue(protocol);
663                this.wakeup.Set();
664            }
665        }
666
[1755]667        /// <summary>
668        /// Terminates the scheduler
669        /// </summary>
[1700]670        public override void Shutdown()
671        {
672            this.shutdown = true;
673            this.wakeup.Set();
[1977]674
675            this.executionEngine.GuiLogMessage("Waiting for all scheduler threads to stop", NotificationLevel.Debug);
676            while (runningThreads > 0)
677            {
678                Thread.Sleep(50);
679                this.wakeup.Set();
680            }
681            this.executionEngine.GuiLogMessage("All scheduler threads stopped", NotificationLevel.Debug);
682
683            this.waitingProtocols.Clear();
684            this.protocols.Clear();           
685        }
[1700]686    }
[1449]687}
Note: See TracBrowser for help on using the repository browser.