Exam

During the exam, you can only have with you the following material:

• up to 2 textbooks
• up to 4 two-sided sheets of A4 paper with notes (printed or handwritten),
• an English dictionary

This year’s exam

25 October 2023, Afternoon.

Resit opportunities:

1. 25 October 2023, Afternoon
2. March 2023, Date and Time TBA
3. 22 August 2024, Afternoon

Past exams

Some previous exams are available below for reference.

• Recent exams

  • October 2023 and its answers by Nir Piterman
  • August 2023 and its answers by Nir Piterman and Gerardo Schneider
  • March 2023 and its answers by Gerardo Schneider
  • October 2022 and its answers by Nir Piterman
  • August 2022 and its answers by Nir Piterman and Gerardo Schneider
  • March 2022 and its answers by Gerardo Schneider
  • October 2021 by Nir Piterman
  • June 2021 by Nir Piterman and Gerardo Schneider
  • March 2021 by Gerardo Schneider
  • October 2020 by Nir Piterman
  • August 2020 by Nir Piterman
  • March 2020 (including solutions) by K Prasad
  • January 2020 by K.V.S. Prasad
  • October 2019 (including solutions) by K.V.S. Prasad
  • August 2019 and TDA383/DIT390 by Sandro Stucki
  • March 2019 by Sandro Stucki
  • January 2019 by K.V.S. Prasad

• Older exams by Carlo A. Furia

  • August 2018 (with solutions)
  • March 2018 (with solutions)
  • March 2017 (with solutions)
  • August 2017 (with solutions)
  • Exercises 2, 4, and 5, October 2017
  • Exercise on concurrent data structures, December 2017

• Older exams by K.V.S. Prasad

  • October 2018
  • December 2017 TDA384/DIT391 re-exam
  • December 2017 TDA383/DIT390 re-exam
  • October 2017 (with solutions) prepared jointly by Prasad and Carlo

TDA383/DIT390 exams (2016 and earlier)

Solutions to some of the following exams are available on this page

• Exams by K.V.S. Prasad

  • January 2019 re-exam
  • October 2016
  • August 2015
  • March 2015
  • October 2014
  • October 2013
  • October 2012

  Hints to solve the exercises: Q1 : (a) The scenario q1, q2, p1, q1 gives n=0 at the end. The scenario p1, q1, q2, p2, p1, q1 gives n=1 at the end. Q2 : The abbreviated version leaves out p1, q1, p4 and q4. Each state now shows where the program counters of p and q are, and the values of wantp and wantq. Draw the state diagram and show there is no state with p5 and q5. Q3 : (a) The state diagram is on p108 of the text-book (b) the definitions of wait and signal are on p109 and p110. (c) See algorithm 6.8 on p119. Q4 : (a) See p 161. (b). eating(i) becomes true only by executing takeForks(i) completely, or by by being unblocked in releaseForks(i+1) or releaseForks(i-1). In both cases, we have fork[i]. Q5 & Q6 : These are programming problems, not involving formal reasoning. Q7 : (a) the processes can livelock, looping p- to p3 and q- to q3. The invariant is that exactly one of C, Lp and Lq is true, (b) We did this in class, in my 3rd lecture. If p does not progress, Lp must be false. So q must progress, and will then set C to true. Assuming fairness, p must then progress.

  • October 2011, using an old notation
  • Sample questions from 2003, using an old notation

• Exams by Alejandro Russo

  • October 2015
  • August 2014
  • March 2014
  • March 2013 (with JR)
  • March 2012 (with JR)
  • March 2011 (with JR)

• Exams by others

  • March 2016 by Michał Palka
  • August 2010 (with JR)
  • October 2010 (with JR)
  • October 2009 (with JR)
  • October 2007 (with JR)

More exams?

The list above will give you a pretty good idea what to expect from an exam. Of course, the course has been run by different teachers and each of them has its own style. If you still want more exams, you can get a copy of them from the Studieexpedition. The structure of the exam and the type of questions is not drastically changing throughout the years. It is true that the used programming languages can be different but the problems the past exams asked to solve are likely still relevant.