Download CS 570-Advanced Operating Systems-Junaid

Lahore University of Management Sciences
CS570–AdvancedOperatingSystems
Spring2016
Instructor
RoomNo.
OfficeHours
Email
Telephone
Secretary/TA
TAOfficeHours
CourseURL(ifany)
JunaidHaroonSiddiqui
SSE9-120A
TBA
[email protected]
8197
IshtiaqABhatti/TBA
CourseBasics
CreditHours
Lecture(s)
Recitation/Lab(perweek)
Tutorial(perweek)
3
NbrofLec(s)PerWeek
NbrofLec(s)PerWeek
NbrofLec(s)PerWeek
2
Duration
Duration
Duration
75m
COURSEDESCRIPTION
Thiscourseintroducesadvancedoperatingsystemtopicsandintroducesrecentdevelopmentsinsystemsresearch.Thecourseinvolvesreading
andunderstandingclassicandnewresearchpapersonoperatingsystems.Topicsincludeoperatingsystemstructure,threadsand
synchronization,virtualmemorymanagement,filesystems,security,bugfindingandtransactions.
COURSEPREREQUISITE(S)
UndergraduatelevelOperatingSystemsconcepts
•
Comfortablewithaprogramminglanguage
•
GradingBreakupandPolicy
Assignments:30%(3of10%each,plagiarismwillbecheckedandforwardedforDChearing)
Exams:60%(4of15%each)
Attendance:10%Youlosetwoabsolutepercentagepointsforeveryclassmissedexceptforfirsttwoclasses(Addperiod)andexceptforOSA
approvedabsentees.Classisconsideredmissedifyouarenotthereatstartofclass.Ifyoumissmorethan5,youwillgetanFinthecourse
regardlessofperformanceinassignmentsandexams.
Textbook(s)/SupplementaryReadings
OperatingSystemConcepts,EighthEdition"bySilberschatz,Galvin,andGagne[ONLYFORBACKGROUNDKNOWLEDGE]
Paperslistedbelowandorderoftopicsaresubjecttochange.
Lahore University of Management Sciences
ExaminationDetail
Yes/No:Yes(Three)
Midterm
Duration:TBD
Exams
ExamSpecifications:
FinalExam
Yes/No:Yes
Duration:TBD
ExamSpecifications:
COURSEOVERVIEW
Week
1
2
3/4
5/6
7/8
9/10
11
12
IntroductionandOverview,Worseis
betterprinciple
OSDesign
Threads,Synchronization,Events
VirtualMemory
FileSystems
VirtualMachines
Transactions
CloudComputing
FindingBugs
13
14
15
Recommended
Readings
Topics
Security
Review
TheUNIXTimesharingSystem,TheLinuxEdge,Exokernel:AnOperating
SystemArchitectureforAppliation-LevelResourceManagement
ProtectionandtheControlofInformationSharinginMultics,Threadsand
Input/OutputintheSynthesisKernel,ExperienceswithProcessesand
MonitorsinMesa,WhyThreadsAreaBadIdea(formostpurposes),
SchedulerActivations:EffectiveKernelSupportfortheUser-Level
ManagementofParallelism
Practical,transparentoperatingsystemsupportforsuperpages,
DesignandImplementationoftheSecondExtendedFilesystem,Scaleand
PerformanceinaDistributedFileSystem,TheDesignandImplementationofa
Log-StructuredFileSystem,TheGoogleFileSystem,WindowsAzureStorage,
MakingGeo-ReplicatedSystemsFastasPossible,ConsistentwhenNecessary
XenandArtofVirtualization
OperatingSystemTransactions,Transactionalmemory:Thegreatnerd
equalizer
MapReduce:AMajorStepBackwards,BigTable:AsystemforDistributed
StructuredStorage
Klee:UnassistedandAutomaticGenerationofHigh-CoverageTestsfor
ComplexSystemsPrograms,Afewbillionlinesofcodelater:usingstatic
analysistofindbugsintherealworld,Eraser:ADynamicDataRaceDetector
forMultithreadedPrograms,BugsasDeviantBehavior:AGeneralApproach
toInferringErrorsinSystemsCode
TheConfusedDeputy,17MistakesMicrosoftMadeintheXboxSecurity
System