Brainback
subjects · stem · computer science

Operating systems

Concurrency is a mindset.

stemincluded on every plan

the shape of this subject

OS reasoning is about invariants across threads, processes, and files. Brainback holds you to defining the shared state before you protect it.

Because operating systems rewards the students who do the reps — and punishes the ones who outsource them.

quick facts
discipline
STEM
parent subject
Computer science
typical weekly load
3-6 problem sets · 3-5 hours · 1-2 recall sessions
covered on plan
all plans (free forever)
what's in the box

Every operating systems concept Brainback covers.

Add Operating systems as a Learn subject and every problem in these areas routes to the Socratic tutor — attempt-first, hint-laddered, output-guarded.

T01Processes
T02Threads
T03Scheduling
T04Memory
T05Filesystems
T06Synchronization
a real session

What one turn in operating systems actually looks like.

Attempt → correction → guiding question. No answer. Ever. Verbatim from a beta session.

brainback tutor · learn mode · operating systemsattempt-first
You (attempt)

Producer-consumer with a bounded buffer: two semaphores plus a mutex…

Brainbackships the question

What's the critical section? What invariant does the lock protect?

no answer · one guiding question · your next move

two libraries

How real attempts start. How Brainback nudges.

attempt starters (student side)
  • Producer-consumer with a bounded buffer: two semaphores plus a mutex…
guiding questions (brainback side)
  • What's the critical section? What invariant does the lock protect?

the anti-pattern

What operating systems looks like when the AI does the thinking.

Answer machines make operating systems look like a solved problem. It isn't. The exam room reveals whose reasoning was built and whose was rented.

the failure mode this subject teaches is subtle — and expensive
common mistakes brainback catches
  • M1Applying a formula without checking whether the conditions actually hold.
  • M2Skipping the sanity check — 'does the sign / magnitude make sense?'
  • M3Memorizing steps instead of reasoning about why they're legal.
  • M4Reading past the setup and diving straight into computation.

the recall card

What a spaced-repetition card looks like in operating systems.

Every wrong attempt and low-scored explain-back becomes a card. SM-2 schedules them — the tricky ones come back tomorrow, the solid ones drift out to next week, then next month.

recall card · due todayease 2.5 · reps 3

Recall the core concept in your own words. Then apply it to a fresh example under 2 minutes.

againhardgoodeasy

operating systems — ready when you are

Start your first operating systems session.

Attempt-first. Never the answer. Add it as a Learn subject in 30 seconds.