[so2] [Tema1] mutex_lock

[Alexandru Preda]

Salutare,

Kernelul oferit [1] nu este compilat cu opțiunea
CONFIG_DEBUG_LOCK_ALLOC, deci ce este specificat în enunț nu mai este
valid.

Ce vom considera pentru testare?
- kernel recompilat cu opțiunea setată: jprobe pe mutex_lock_nested
- kernel fară opțiunea setată: jprobe pe mutex_lock
- nu ne interesează, checkerul va apela mutex_lock_nested
- altceva...

[1] http://elf.cs.pub.ro/so2/res/linux-3.13.tar.bz2

Thanks,
Alex