def test_local_resources_msrp2(self): self.rsi1 = cpp.ResourceSharingInfo(7) self.rsi1.add_task(100, 100, 0, 0) self.rsi1.add_request(0, 1, 77) self.rsi1.add_task(50, 50, 0, 1) self.rsi1.add_request(0, 1, 6) self.rsi1.add_task(10, 10, 0, 2) self.rsi1.add_request(0, 1, 5) self.rsi1.add_task(10, 10, 1, 3) self.rsi1.add_request(0, 1, 7) self.rsi1.add_task(20, 20, 2, 4) self.rsi1.add_request(0, 4, 1) self.rsi1.add_task(30, 30, 2, 5) self.rsi1.add_request(0, 1, 7) self.rsi1.add_request(99, 1, 1) self.rsi1.add_task(100, 100, 2, 6) self.rsi1.add_request(99, 100, 123456) res = cpp.msrp_bounds_holistic(self.rsi1) self.assertEqual(7 + 7 + 77, res.get_arrival_blocking(4)) self.assertEqual(3 * 7 + 2 * 77 + 2 * 6, res.get_remote_blocking(4)) self.assertEqual(123456, res.get_arrival_blocking(5)) self.assertEqual(123456 + 7 + 77, res.get_blocking_term(5)) self.assertEqual(7 + 77, res.get_remote_blocking(5)) self.assertEqual(0, res.get_blocking_term(6)) self.assertEqual(0, res.get_arrival_blocking(6))
def test_priority_ceiling(self): self.rsi = cpp.ResourceSharingInfo(4) self.rsi.add_task(10, 10, 2, 100) self.rsi.add_request(0, 1, 3) self.rsi.add_task(25, 25, 3, 200) self.rsi.add_request(0, 1, 5) self.rsi.add_task(50, 50, 4, 300) self.rsi.add_request(1, 1, 7) self.rsi.add_task(100, 100, 1, 400) self.rsi.add_request(1, 1, 9) self.loc = cpp.ResourceLocality() self.loc.assign_resource(0, 1) self.loc.assign_resource(1, 1) res = cpp.dpcp_bounds(self.rsi, self.loc) self.assertEqual(1, res.get_remote_count(0)) self.assertEqual(5, res.get_remote_blocking(0)) self.assertEqual(4, res.get_remote_count(1)) self.assertEqual(4 * 3, res.get_remote_blocking(1)) self.assertEqual(6 + 3 + 1, res.get_remote_count(2)) self.assertEqual(6 * 3 + 3 * 5 + 1 * 9, res.get_remote_blocking(2)) self.assertEqual(0, res.get_remote_count(3)) self.assertEqual(0, res.get_remote_blocking(3)) self.assertEqual(11 + 5 + 3, res.get_local_count(3)) self.assertEqual(11 * 3 + 5 * 5 + 3 * 7, res.get_local_blocking(3))
def setUp(self): self.rsi = cpp.ResourceSharingInfo(16) idx = 0 for cluster, length in zip(range(4), [1, 3, 5, 7]): for _ in range(4): self.rsi.add_task(100, 100, cluster, idx) self.rsi.add_request(0, 1, length) idx += 1 self.rsi_rw = cpp.ResourceSharingInfo(16) idx = 0 for cluster, length in zip(range(4), [1, 3, 5, 7]): for _ in range(4): self.rsi_rw.add_task(100, 100, cluster, idx) self.rsi_rw.add_request_rw(0, 1, length, cpp.READ if cluster > 0 else cpp.WRITE) idx += 1
def get_cpp_model(all_tasks, use_task_period=False): rsi = cpp.ResourceSharingInfo(len(all_tasks)) for t in all_tasks: rsi.add_task(t.period, t.period if use_task_period else t.response_time, t.partition, t.locking_prio) for req in t.resmodel: req = t.resmodel[req] rsi.add_request_rw(req.res_id, req.max_requests, req.max_length, cpp.WRITE) return rsi
def get_cpp_model(all_tasks, use_task_period=False): rsi = cpp.ResourceSharingInfo(len(all_tasks)) for t in all_tasks: rsi.add_task(t.period, t.period if use_task_period else t.response_time, t.partition, t.preemption_level, # mapped to fixed priorities in the C++ code t.cost, t.deadline) for req in t.resmodel: req = t.resmodel[req] if req.max_requests > 0: rsi.add_request(req.res_id, req.max_requests, req.max_length, req.priority) return rsi
def setUp(self): self.rsi = cpp.ResourceSharingInfo(4) self.rsi.add_task(10, 10, 2, 100) self.rsi.add_request(0, 1, 3) self.rsi.add_task(25, 25, 3, 200) self.rsi.add_request(0, 1, 5) self.rsi.add_task(50, 50, 4, 300) self.rsi.add_request(0, 1, 7) self.rsi.add_task(100, 100, 1, 400) self.loc = cpp.ResourceLocality() self.loc.assign_resource(0, 1)
def get_cpp_model_rw(all_tasks, use_task_period=False): rsi = cpp.ResourceSharingInfo(len(all_tasks)) for t in all_tasks: rsi.add_task(t.period, t.period if use_task_period else t.response_time, t.partition, t.id, t.cost) for req in t.resmodel: req = t.resmodel[req] if req.max_writes > 0: rsi.add_request_rw(req.res_id, req.max_writes, req.max_write_length, cpp.WRITE, t.locking_prio) if req.max_reads > 0: rsi.add_request_rw(req.res_id, req.max_reads, req.max_read_length, cpp.READ, t.locking_prio) return rsi
def setUp(self): self.rsi1 = cpp.ResourceSharingInfo(6) self.rsi1.add_task(100, 100, 0, 0) self.rsi1.add_request(0, 1, 77) self.rsi1.add_task(50, 50, 0, 1) self.rsi1.add_request(0, 1, 6) self.rsi1.add_task(10, 10, 0, 2) self.rsi1.add_request(0, 1, 5) self.rsi1.add_task(10, 10, 1, 3) self.rsi1.add_request(0, 1, 7) self.rsi1.add_task(20, 20, 2, 4) self.rsi1.add_request(0, 4, 1) self.rsi1.add_task(30, 30, 2, 5) self.rsi1.add_request(0, 1, 7)