public void OnlyScheduleableUsingNONPreemption()
{
var taskSet = new List <Task>
{
new Task {
ExecutionTime = 20, Period = 70, Deadline = 55, StaticPriority = 3, Id = "A"
},
new Task {
ExecutionTime = 20, Period = 80, Deadline = 80, StaticPriority = 2, Id = "B"
},
new Task {
ExecutionTime = 35, Period = 200, Deadline = 100, StaticPriority = 1, Id = "C"
},
};
//preemptive scheduling - reset dynamic priorities
taskSet.ForEach(o => o.DynamicPriority = o.StaticPriority);
var scheduleableUsingPreemption = ResponseTimeAnalysis.FeasibilityUsingResponseTimeAnalysis(taskSet);
Assert.False(scheduleableUsingPreemption);
//non-preemptive scheduling
taskSet.ForEach(o => o.DynamicPriority = taskSet.Max(x => x.StaticPriority));
var scheduleableUsingNonPreemption = ResponseTimeAnalysis.FeasibilityUsingResponseTimeAnalysis(taskSet);
Assert.True(scheduleableUsingNonPreemption);
var resultFile = Path.Join(Environment.GetFolderPath(Environment.SpecialFolder.Desktop), "nonpreempt.txt");
TaskFileReader.CreateTaskFile(taskSet, resultFile);
}
public void TaskFileReader2()
{
var fileName = Path.Join(Environment.GetFolderPath(Environment.SpecialFolder.Desktop), "Task3Import.txt");
var resultReadInDto = TaskFileReader.ReadInTasksFromFile(fileName);
var taskSet = resultReadInDto.tasks;
Assert.Equal(taskSet.Count, 2);
Assert.Equal(taskSet[0].ExecutionTime, 52);
Assert.Equal(taskSet[0].Period, 100);
Assert.Equal(taskSet[0].Deadline, 110);
Assert.Equal(0, taskSet[0].StaticPriority);
Assert.Equal(taskSet[0].DynamicPriority, 0);
Assert.Equal(52, taskSet[1].ExecutionTime);
Assert.Equal(140, taskSet[1].Period);
Assert.Equal(154, taskSet[1].Deadline);
Assert.Equal(0, taskSet[1].StaticPriority);
Assert.Equal(0, taskSet[1].DynamicPriority);
var exist = ResponseTimeAnalysis.PerformScheduabilityStudy(taskSet, resultReadInDto.NumberOfPropertiesSpecificed);
var id = 1;
foreach (var task in taskSet)
{
task.Id = (id++).ToString();
}
EarliestDeadlineFirst.Simulate(taskSet);
}
public void TaskFileReader1()
{
var fileName = Path.Join(Environment.GetFolderPath(Environment.SpecialFolder.Desktop), "Task1Import.txt");
var resultReadInDto = TaskFileReader.ReadInTasksFromFile(fileName);
var taskSet = resultReadInDto.tasks;
Assert.Equal(taskSet.Count, 3);
Assert.Equal(taskSet[0].ExecutionTime, 20);
Assert.Equal(taskSet[0].Period, 70);
Assert.Equal(taskSet[0].Deadline, 50);
Assert.Equal(taskSet[0].StaticPriority, 3);
Assert.Equal(taskSet[0].DynamicPriority, 3);
Assert.Equal(taskSet[1].ExecutionTime, 20);
Assert.Equal(taskSet[1].Period, 80);
Assert.Equal(taskSet[1].Deadline, 80);
Assert.Equal(taskSet[1].StaticPriority, 2);
Assert.Equal(taskSet[1].DynamicPriority, 3);
Assert.Equal(taskSet[2].ExecutionTime, 35);
Assert.Equal(taskSet[2].Period, 200);
Assert.Equal(taskSet[2].Deadline, 100);
Assert.Equal(taskSet[2].StaticPriority, 1);
Assert.Equal(taskSet[2].DynamicPriority, 2);
var isScheduable = ResponseTimeAnalysis.FeasibilityUsingResponseTimeAnalysis(taskSet);
var exist = ResponseTimeAnalysis.DoesFeasibleScheduleExist(taskSet);
Assert.Equal(isScheduable, exist);
Assert.True(isScheduable);
}
static void Main(string[] args)
{
Console.WriteLine("You have now started the coolest program ever!");
Console.WriteLine("The ScheduleFinder 2000 is here to help you assign the right priorities to your tasks to make sure tht all deadlines are met!");
Console.WriteLine("Type in the path to your task and let me assign priorities to the task:");
var path = Console.ReadLine();
while (!File.Exists(path))
{
Console.WriteLine("The path you provided is not valid. Can you please provide a valid path:");
path = Console.ReadLine();
}
Console.WriteLine("Should schedule allow preemption? (y/n)");
var allowPreemption = true;
var readInTasks = TaskFileReader.ReadInTasksFromFile(path);
var taskSet = readInTasks.tasks;
//This is all the 3 programs
var isTaskScheduable = ResponseTimeAnalysis.PerformScheduabilityStudy(taskSet, readInTasks.NumberOfPropertiesSpecificed);
var fileName = "Test";
GenerateResultFile(taskSet, isTaskScheduable, fileName);
Console.WriteLine(isTaskScheduable ? "The task set is scheduleable" : "No feasible assignment found.");
foreach (var task in taskSet)
{
Console.WriteLine(task.ToString());
}
}
public void PreemptionDeadline()
{
var fileName = Path.Join(Environment.GetFolderPath(Environment.SpecialFolder.Desktop), "Task2Import.txt");
var resultReadInDto = TaskFileReader.ReadInTasksFromFile(fileName);
var taskSet = resultReadInDto.tasks;
ResponseTimeAnalysis.ChangeDynamicPrioritiesToMeetDeadlines(taskSet);
var isScheduleable = ResponseTimeAnalysis.FeasibilityUsingResponseTimeAnalysis(taskSet);
var exist = ResponseTimeAnalysis.DoesFeasibleScheduleExist(taskSet);
Assert.Equal(isScheduleable, exist);
Assert.True(isScheduleable);
}
public void SetUpSut()
{
_sut = new TaskFileReader(A.Fake <IEventAggregator>());
}
