View Proposal

---

Proposer

Rob Stewart

Title

Profiling low-level memory access of Haskell

Goal

Description

Haskell is an almost unique language, in the sense that it has lazy-by-default evaluation semantics and it is a pure language (no side effects). Laziness poses challenges for reasoning about memory performance and memory access behaviours. Existing profiling tools for Haskell do not measure the latency of memory access, or the contention on the memory bus for parallel Haskell programs. This project will investigate how to use low-level tooling to evaluate the cost of Haskell's properties of (1) laziness and (2) immutability (purity), when it comes to memory access costs. E.g. how long to CPU cores need to stall waiting for code and data from memory, and how much contention is there on the serial memory bus when running parallel Haskell programs on up to 64 CPU cores. This project will involve lifting very low level profiling information into the context of Haskell user code.

Resources

Background

Url

Difficulty Level

High

Ethical Approval

None

Number Of Students

1

Supervisor

Rob Stewart

Keywords

Degrees

Bachelor of Science in Computer Science
Bachelor of Science in Computer Systems
Bachelor of Science in Information Systems
Bachelor of Science in Software Development for Business (GA)
Master of Engineering in Software Engineering
Master of Science in Artificial Intelligence
Master of Science in Artificial Intelligence with SMI
Master of Science in Computer Science for Cyber Security
Master of Science in Computer Systems Management
Master of Science in Computing (2 Years)
Master of Science in Data Science
Master of Science in Human Robot Interaction
Master of Science in Information Technology (Business)
Master of Science in Information Technology (Software Systems)
Master of Science in Network Security
Master of Science in Robotics
Master of Science in Software Engineering
Bachelor of Science in Computing Science
Bachelor of Engineering in Robotics
Bachelor of Science in Computer Science (Cyber Security)
Master of Science in Robotics with Industrial Application
Postgraduate Diploma in Artificial Intelligence
Bachelor of Science in Statistical Data Science