• kth.se
  • Student web
  • Intranet
  • kth.se
  • Student web
  • Intranet
Login
ID2203/FID3011 VT25
Programming Exercise 4
Skip to content
Dashboard
  • Login
  • Dashboard
  • Calendar
  • Inbox
  • History
  • Help
Close
  • Min översikt
  • ID2203/FID3011 VT25
  • Assignments
  • Programming Exercise 4
2025 VT
  • Home
  • Modules
  • Assignments
  • Quizzes
  • Course Evaluation

Programming Exercise 4

  • Due 5 Mar by 23:59
  • Points 1
  • Submitting a file upload

Programming Assignment 4

The purpose of this task is to implement consensus on a sequence of commands, as a Kompics component.

Namely, you have to implement a Sequence Paxos (OmniPaxos variant). Download Sequence Paxos (OmniPaxos variant).

Remember that the local checker provides already all basic abstractions you need (i.e., 'FIFO Perfect Links' and 'Ballot Leader Election')

 

There are two alternatives for running and completing the exercises.

1. Download notebook here Download here and import it into your Zeppelics instance.

2. Skip Zeppelics and run Scala code (SequencePaxos Template Download SequencePaxos Template) without a notebook using the following repository. This also allows you to use whatever IDE you prefer.

Submission:

1. If you went with Zeppelics, export the notebook and submit the JSON file.

2. If you went without Zeppelics, submit the Scala file with the token obtained after satisfying all properties, pasted in the header of the file as a comment.

1741215599 03/05/2025 11:59pm
Please include a description
Additional comments:
Rating max score to > Pts
Please include a rating title

Rubric

Find rubric
Please include a title
Find a rubric
Title
You've already rated students with this rubric. Any major changes could affect their assessment results.
 
 
 
 
 
 
 
     
Can't change a rubric once you've started using it.  
Title
Criteria Ratings Pts
This criterion is linked to a learning outcome Description of criterion
threshold: 5 pts
Edit criterion description Delete criterion row
5 to >0 Pts Full marks blank
0 to >0 Pts No marks blank_2
This area will be used by the assessor to leave comments related to this criterion.
pts
  / 5 pts
--
Additional comments
This criterion is linked to a learning outcome Description of criterion
threshold: 5 pts
Edit criterion description Delete criterion row
5 to >0 Pts Full marks blank
0 to >0 Pts No marks blank_2
This area will be used by the assessor to leave comments related to this criterion.
pts
  / 5 pts
--
Additional comments
Total points: 5 out of 5
Previous
Next
Graded Quiz: Replicated State Machines 8.Omnipaxos-2024.pdf