Esempi in C# (CSharp) per Microsoft.Research.CodeAnalysis LazyScheduler

Esempio n. 1

File: Program.cs Progetto: asvishnyakov/CodeContracts

    static void Main(string[] args)
    {
      var db = new SingletonDB();
      var workerPool = new WorkerPool("Hen");
      var queue = new FIFOQueue(workerPool, db);
      var scheduler = new LazyScheduler(queue);
      var workerFactory = new ClousotWorkerFactory(scheduler, null, db);

      scheduler.FeedQueue(new ISliceId[0]); // TODO: call slicer

      var numberOfWorkers = Environment.ProcessorCount;
      numberOfWorkers = 1;

      for (var i = 0; i < numberOfWorkers; i++)
        workerPool.CreateWorker(workerFactory);

      workerPool.WaitAll();
      workerPool.StopAll();
    }

Esempio n. 2

File: Program.cs Progetto: wang-xinhong/CodeContracts

        static void Main(string[] args)
        {
            var db            = new SingletonDB();
            var workerPool    = new WorkerPool("Hen");
            var queue         = new FIFOQueue(workerPool, db);
            var scheduler     = new LazyScheduler(queue);
            var workerFactory = new ClousotWorkerFactory(scheduler, null, db);

            scheduler.FeedQueue(new ISliceId[0]); // TODO: call slicer

            var numberOfWorkers = Environment.ProcessorCount;

            numberOfWorkers = 1;

            for (var i = 0; i < numberOfWorkers; i++)
            {
                workerPool.CreateWorker(workerFactory);
            }

            workerPool.WaitAll();
            workerPool.StopAll();
        }