Winter 2014 SPO600 Weekly Schedule
It's Alive!
This SPO600 weekly schedule will be updated as the course proceeds - dates and content are subject to change. The cells in the summary table will be linked to relevant resources and labs as the course progresses.
This SPO600 weekly schedule will be updated as the course proceeds - dates and content are subject to change. The cells in the summary table will be linked to relevant resources and labs as the course progresses.
Summary Table
This is a summary/index table. Please follow the links in each cell for additional detail -- especially for the Deliverables column.
| Week | Week of... | Tuesday - Class | Friday - ALC/Lab | Deliverables |
|---|---|---|---|---|
| 1 | Jan 6 | Introduction to Software Porting, Portability, Benchmarking, and Optimization | How is Code Accepted? - Analyze code submissions in two separate open source projects | Blog a commentary on code reviews in two communities (Lab 1) |
| 2 | Jan 13 | Computer Architecture Overview | Hello World - Compile a basic C program and analyze the resultant binary | Set up a Fedora system and the ARMv8 Foundation Model / Blog on binary analysis (Lab 2) |
| 3 | Jan 20 | Introduction to Assembly Language | x86_64 and Aarch64 Assembley Language | Blog about writing in assembly language (Lab 3) |
| 4 | Jan 27 | Lab 3 results, inline assembler, and compiler optimizations | Analyzing a codebase for assembler and non-portable code | Blog post about codebase analysis |
| 5 | Feb 3 | Memory Barriers and Atomics | Potential Project Analysis | Blog about your selected projects |
| 6 | Feb 10 | Porting - Adding platform-specific code for Aarch64 | Group hack session - Porting | Port your projects |
| 7 | Feb 17 | Portability - Removing platform-specific code | Group hack session - Portability | Remove platform-specific code from your projects |
| Study Week | Feb 24 | Study Week | ||
| 8 | Mar 3 | Project Work | Project Work | Get code into review |
| 9 | Mar 10 | Benchmarking (I) - Baseline, Control, and Repeatability | Group hack session - Baseline benchmarks | Produce baseline benchmarks for your software |
| 10 | Mar 17 | Benchmarking (II) - Change Impact | Group hack session - Impact of your Changes | Publish change impact stats for your software |
| 11 | Mar 24 | Optimizing Code | Group hack - Profiling and optimizing | Code review update |
| 12 | Mar 31 | Project Work | Project Work | Code review update |
| 13 | Apr 7 | Conclusion | Final Presentations | Code accepted upstream |
| Exam Week | Apr 14 | Exam Week - No exam in this course! | ||
Evaluation
| Category | Percentage | Evaluation Dates |
|---|---|---|
| Communication | 20% | Jan 31, Feb 28, March 31, April 13 |
| Quizzes | 10% | May be held during any class. A minimum of 5 one-page quizzes will be given. Lowest 3 scores will not be counted. |
| Labs | 10% | See deliverables column above. |
| Project work | 60% | Feb 28, March 31, April 13 |
Week 1
Tuesday (Jan 7)
- Introduction to the Problem
- Most software is written in a high-level language which can be compiled into machine code for a specific architecture. However, there is a lot of existing code that contains some architecture-specific code fragments written in Assembly Language.
- Reasons for writing code in Assembly Langauge include:
- Performance
- Atomic Operations
- Direct access to hardware features, e.g., CPUID registers
- Most of the historical reasons for including assembler are no longer valid. Modern compilers can out-perform most hand-optimized assembly code, atomic operations can be handled by libraries or compiler intrinsics, and most hardware access should be performed through the operating system or appropriate libraries.
- A new architecture has appeared: Aarch64, which is part of ARMv8. This is the first new computer architecture to appear in several years.
- There are over 1400 software packages/modules present in GNU Linux systems which contain architecture-specific assembly language code. Most of these packages cannot be built on Aarch64 systems without modification.
- In this course, you will:
- Select two software packages from a list compiled by Steve Macintyre of Linaro. Each of the packages on this list contains assembly language code which is platform-specific.
- Prepare a fix/patch for the software so that it will run on 64-bit ARM systems (aarch64). This may be done at either of two levels:
- Port - Add additional assembly language code for aarch64 (basic solution).
- Make Portable - Remove architecture-specific code, replacing it with compiler intrinsics or high-level code so that the software will successfully build on multiple platforms.
- Benchmark - Prove that your changes do not cause a performance regression on existing platforms, and that (ideally) it improves performance.
- Upstream your Code - Submitting your code to the upstream (originating) software project so that it can be incorporated into future versions of the software. This will involve going through a code review to ensure that your code is compatible with and acceptable to the upstream community.
- Optional: You can participate in the Linaro Code Porting/Optimization contest. For details, see the YouTube video of Jon "maddog" Hall and Steve Mcintyre at Linaro Connect USA 2013.
- Course details:
- Course resources are linked from the CDOT wiki, starting at http://zenit.senecac.on.ca/wiki/index.php/SPO600 (Quick find: This page will usually be Google's top result for a search on "SPO600").
- Coursework is submitted by blogging.
- Quizzes will be short (1 page) and will be held without announcement at any time. Your lowest three quiz scores will not be counted, so do not worry if you miss one or two.
- Course marks:
- 60% - Project Deliverables
- 20% - Communication (Blog and Wiki writing)
- 20% - Labs and Quizzes
- Friday classes will be held in an "Active Learning Classroom". You are encouraged to bring your own laptop to these classes.
- For more course information, refer to the SPO600 Weekly Schedule (this page), the Course Outline, and SPO600 Course Policies.
Friday (Jan 10)
Bring Your Laptop
Friday classes are held in a Active Learning Classroom. If you have a laptop or other device with an HDMI or VGA output (such as a smartphone!) please feel free to bring it.
Friday classes are held in a Active Learning Classroom. If you have a laptop or other device with an HDMI or VGA output (such as a smartphone!) please feel free to bring it.
- SPO600 Code Review Lab
- Start thinking about how you want to set up your SPO600 Software
Week 1 Deliverables
- Set up a blog and add it to Planet CDOT.
- Blog your conclusion to the SPO600 Code Review Lab.
- Add yourself to the Winter 2014 SPO600 Participants page (leave the projects columns blank).
- Sign and return the Open Source Professional Option Student Agreement.
Week 2
Tuesday (Jan 14)
- Computer Architecture (see also the Computer Architecture Category)
Friday (Jan 17)
Week 2 Deliverables
- Blog your conclusion to the SPO600 Compiled C Lab
- Set up a Fedora 20 system
Week 3
Tuesday (Jan 21)
Friday (Jan 24)
- Background information: SPO600 aarch64 QEMU on Ireland
- SPO600 Assembler Lab
Week 3 Deliverables
- Blog your conclusion to the SPO600 Assembler Lab
Week 4
Tuesday (Jan 28)
Friday (Jan 31)
Week 4 Deliverables
- Reminder: Week 1-3 blog posts are due for marking on Friday, January 31.
- Blog about the Codebase Analysis Lab
Week 5
Tuesday (Feb 4)
Platform-specific code is often utilized for Memory Barriers and Atomics Operations.
Memory Barriers
Memory Barriers ensure that memory accesses are sequenced so that multiple threads, processes, cores, or IO devices see a predictable view of memory.
- Leif Lindholm provides an excellent explanation of memory barriers.
- Blog series - I recommend this series, especially the introduction, as a very clear explanation of memory barrier issues.
- Presentation at Embedded Linux Conference 2010 (Note: Acquire/Release in C++11 and ARMv8 aarch64 appeared after this presentation):
- Memory Barriers - A Hardware View for Software Hackers - This is a highly-rated paper that explains memory barrier issues - as the title suggests, it is designed to describe the hardware origin of the problem to software developers. Despite the fact that it is an introduction to the topic, it is still very technical.
- ARM Technical Support Knowlege Article - In what situations might I need to insert memory barrier instructions? - Note that there are some additional mechanisms present in ARMv8 aarch64, including Acquire/Release.
- Kernel Documentation on Memory Barriers - discusses the memory barrier issue generally, and the solutions used within the Linux kernel. This is part of the kernel documentation.
- Acquire-Release mechanisms
- MSDN Blog Post with a very clear explanation of Acquire-Release.
- Preshing on Programming post with a good explanation.
- ARMv8 Instruction Set Architecture Manual (ARM InfoCentre registration required) - See the section on Acquire/Release and Load/Store.
Atomics
Atomics are operations which must be completed in a single step (or appear to be completed in a single step) without potential interruption.
- Wikipedia has a good basic overview of the need for atomicity in the article on Linerarizability
- GCC provides intrinsics (built-in functions) for atomic operations, as documented in the GCC manual:
- The Fedora project has some guidelines/recommendations for the use of these GCC builtins:
