Using Power to Improve C Programming Education

Size: px

Start display at page:

Download "Using Power to Improve C Programming Education"

Clemence Ford
7 years ago
Views:

1 Using Power to Improve C Programming Education Jonas Skeppstedt Department of Computer Science Lund University Lund, Sweden jonas.skeppstedt@cs.lth.se jonasskeppstedt.net jonasskeppstedt.net jonas.skeppstedt@cs.lth.se / 16

Lund, Sweden jonas.skeppstedt@cs.lth.se jonasskeppstedt.

2 Outline Background and Problem Our approach Forsete an Automatic Grader Advantages with the Power Architecture Conclusion and near future jonasskeppstedt.net / 16

3 Background and Problem 1(2) There are two courses on C in Lund: C Programming focus on clean code plus ISO C Standard. Algorithm Implementation focus on efficient C. The C11 atomic types, memory model, and multithreading is taught in the Multicore Programming course. jonasskeppstedt.net jonas.skeppstedt@cs.lth.se / 16

Algorithm Implementation focus on efficient C.

4 Background and Problem 2(2) Previously the programming assignments were graded manually by teaching assistants during weekends. The grading is very strict so most students need multiple iterations. Problems with this approach: 72 hour latency from handin to reject with occasional pass. Since passed assignments are required for writing the exam, it often became stressful for some students. It costs money to pay the TA s. jonasskeppstedt.net / 16

Problems with this approach: 72 hour latency from handin to reject with occasional pass.

5 A Different Approach Automatic Grading To eliminate these problems I wrote an automatic grader which cuts the latency to a few minutes ( plus a grading queue). Students can try any number of times and almost all were finished before the written exam. A new challenge is to motivate students to performing their best despite only a machine sees their code. jonasskeppstedt.net jonas.skeppstedt@cs.lth.se / 16

Students can try any number of times and almost all were finished before the written exam.

6 A Competition: Memory Efficiency Assignments which pass all tests are assigned a score. The score is the size of static data and code of their file. Assignments with the same score are sorted by a timestamp. There is a new assignment each week and ranks are accumulated: RPN calculator Find longest word in input Polynomial multiplication After two assignments, three students each had accumulated four points. jonasskeppstedt.net jonas.skeppstedt@cs.lth.se / 16

Assignments with the same score are sorted by a timestamp.

7 The Prize jonasskeppstedt.net / 16

8 The Automatic Grader Forsete forsete.net Forsete is a judge in Nordic mythology who is always fair. The Forsete program runs as root, fetches mails, and grades the code. The score is then sent back with disassembled Power machine code. You can try it by sending an of the form: To: cbook@forsete.net Subject: assignment poly by username Make the code as small as possible my score is 735 bytes. Sample input can be found at the site of the course book Writing Efficient C Code: A Thorough Introduction, 2nd ed.: writing-efficient-c-code.com jonasskeppstedt.net jonas.skeppstedt@cs.lth.se / 16

You can try it by sending an email of the form: To: cbook@forsete.

9 Forsete Checks the source code against the Linux kernel style guide. Creates a random problem for input, runs a reference implementation, and records heap usage by the reference implementation. Forks to compile the code. Forks, limits stack area, changes root directory and switches Unix uid. Executes the program and checks heap usage and output for the random input and for corner cases. A timeout kills too slow programs this happened often and was very valuable to many students. At most 4 times the reference heap size is allowed and no leaks. jonasskeppstedt.net jonas.skeppstedt@cs.lth.se / 16

Forks, limits stack area, changes root directory and switches Unix uid.

10 Encouraging Simplicity and Elegance We want students to learn writing simple and elegant C code. Code efficiency is the focus of a different course (EDAF15). Elegant code often is memory efficient. Checking the high score list gives important feedback. For the Longest Word, the scores ranged from 189 to 767 bytes. So we need to create a desire to scrutinize machine code. How? jonasskeppstedt.net jonas.skeppstedt@cs.lth.se / 16

Checking the high score list gives important feedback.

11 Advantages with the Power Architecture 1(3) The generated code should be relatively predictable, and easy to read, including register usage. Power advantages: fixed sized instructions simplifies reasoning about size, large register sets, and regular addressing modes. Availability of mature optimizing compilers: gcc -Os is great. Anton Klarén, winner of the 2015 EDAA25 Lund University Memory Efficient C Code Programming Competition: The gcc compiler for Power does not generate any instruction that you don t understand what it does or why it is there! jonasskeppstedt.net jonas.skeppstedt@cs.lth.se / 16

Availability of mature optimizing compilers: gcc -Os is great.

12 Advantages with the Power Architecture 2(3) Easy access to detailed online documentation was also important. Also, the course book introduces Power. Availability of good development platforms either e.g. a POWER8 server or, as in Lund, several 4-way multiprocessors based on IBM s 970MP clocked at 2.5 GHz. We use Power not only for the C Programming course but also in Multicore Programming Algorithm Implementation and then development machines with good performance are essential. jonasskeppstedt.net jonas.skeppstedt@cs.lth.se / 16

od development platforms either e.g. a POWER8 server or, as in Lund, several 4-way multiprocessors based on IBM s 970MP clocked at 2.

13 Advantages with the Power Architecture 3(3) In the Multicore Programming course, the advanced memory model of Power lets students explore what theory really means in terms of performance Forsete was used for a parallel graph problem (dataflow analysis) and here the score is execution time. The winners were Valdemar Roxling and again Anton Klarén. Availability of detailed pipeline simulators is yet another important advantage for Power when selecting a platform for CS education. The pipeline visualizer (scrollpv) from IBM Austin has been invaluable in making students understand the performance of superscalar processors and branch prediction, the reorder buffer (global completion table) and rename registers. jonasskeppstedt.net jonas.skeppstedt@cs.lth.se / 16

Availability of detailed pipeline simulators is yet another important advantage for Power when selecting a platform for CS education.

14 MSc Theses Using Power Karl Hylén: Processor Models for Instruction Scheduling using Constraint Programming first ever work in the area with measurements on a real machine. Anton Botvalde and Andreas Larsson: Performance Evaluation of ISO C restrict on the Power Architecture noted why a deleted floating point load instruction could make a program slower valuable insight for compiler writers. For both of these, using the Power architecture was crucial primarily because of the interesting machine, the detailed documentation from IBM of the 970MP pipelines, and IBM s pipeline simulator. jonasskeppstedt.net jonas.skeppstedt@cs.lth.se / 16

Anton Botvalde and Andreas Larsson: Performance Evaluation of ISO C restrict on the Power Architecture noted why a deleted floating point load instruction could

15 Conclusion and Near Future Also for universities, the Power Architecture is a fantastic platform. In the Optimizing Compilers course in September we will use Power. My book An Introduction to the Theory of Optimizing Compilers with Performance Measurements on Power will be available in August. It will have comparisons of clang, gcc, and my C compiler, which was validated for ISO C99 conformance in The mentioned M.Sc. theses can be downloaded from: jonasskeppstedt.net/theses jonasskeppstedt.net jonas.skeppstedt@cs.lth.se / 16

My book An Introduction to the Theory of Optimizing Compilers with Performance Measurements on Power will be available in August.

16 Resources and Remarks The pipeline simulator is available as the Performance Simulator for Linux on Power (sim_ppc) in the SDK for Linux on Power at IBM. Programming assignments with math problems are most appreciated. It can obviously be dangerous to execute unknown arbitrary code. By changing root directory, switching Unix uid, disabling the network for this uid it is safe. It is important to make competitions intensive the best competing students tend to spend a lot of time on this and that cannot go on for much more than three weeks. jonasskeppstedt.net jonas.skeppstedt@cs.lth.se / 16

By changing root directory, switching Unix uid, disabling the network for this uid it is safe.

Multi-Threading Performance on Commodity Multi-Core Processors

Multi-Threading Performance on Commodity Multi-Core Processors Jie Chen and William Watson III Scientific Computing Group Jefferson Lab 12000 Jefferson Ave. Newport News, VA 23606 Organization Introduction