Imperial-Computing-Notes

Imperial-Computing-Notes copied to clipboard

## Description Currently the content is included in their directories (copy pasted from old 2nd year repo - [ ] need to produce a single pdf target - [ ]...

OliverKillane

## Description The proof tree notation is done using `\cfrac`s in a maths environment, this is not ideal as: - side tags are part of the width of the `\cfrac`...

OliverKillane

Data Processing Systems Unfinished Content

1

Missing chapters to be completed: - [ ] Advanced Topics (composable data processing systems, lightsabre) - [ ] Algorithms and Indices (B Trees) - [ ] Concurrency (clean up and...

OliverKillane

Syntax highlighting for TLA source code

1

- Add a basic script to tools to install the lexer ([hwayne TLA lexer](https://github.com/hwayne/tla-pygments)) within pygments - Switch TLA source code inputs to use lexer - Check possibility of highlighting...

OliverKillane

Phantom Read definition inconsistencies

1


avzh1

 Definitionbox for futex is empty

OliverKillane

Majority of the content is still **unfinished**

OliverKillane

Needs a cleanup - I skipped over the content quickly due to familiarity. Specifically adding: - Non-Assessed Channels in Rust - Send & Sync traits - Examples for interior mutability...

OliverKillane

Needs an overhaul to include tutorial material. Specifically PSO, and walkthroughs for SC, TSO, RA, COH as shown in 

OliverKillane