Teaching Process Synchronization with the Bank Account Problem

Heejae Yang

Process synchronization is one of the most difficult subject for students learning the Operating Systemcourses. It is due to the fact that concurrent process environment, where many events occur at the sametime, is difficult to understand for ordinary human who thinks only one thing at a time. Classicalsynchronization examples like the Bounded buffer problem or the Dining philosopher problem fail to hookattention and interest from lower grade students who just begin to study the Operating System courses incollege because these examples are either too technical or too unrealistic. In this paper we proposeanother synchronization example named the Bank account problem as an alternative to the classical ones. Bank account problem is proved to succeed getting high interest and understanding from the student as itis easy and realistic, and almost every student has the experience using bank account in real life. Various synchronization subjects including controlling the execution sequence of each process, incorrect result dueto the race conditions, use of semaphores, deadlock, and monitor are considered to apply them to the Bankaccount problem.

Citation status

KCI Citation Counts (0)
REFERENCES (20)
열림/닫힘 버튼
* 2021년 이후 발행 논문의 참고문헌은 현재 구축 중입니다.

[book] A. Silberschatz / 2010 / Operating System Concepts with Java / John Wiley & Sons, Inc

[book] W. Stallings / 2011 / Operating Systems: Internals and Design Principles / Prentice Hall

[book] A. S. Tanenbaum / 2014 / Modern Operating Systems / Prentice Hall

[journal] A. D. Fekete / 2009 / Teaching about Threading:Where and What? / ACMSIGACT News 40(1) : 51~57

[journal] C-K Shene / 2002 / Multithreaded Programming Can Strengthen an Operating Systems Course / Computer Sci. Edu 12 : 275~299

[confproc] H. Jarvinen / 2003 / Convit, a Tool for Learning Concurrent Programming / Proc of World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education : 2220~2223

[journal] R. Oechsle / 2002 / JAVAVIS:Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI) / Lecture Notes In Computer Sci / Springer-Verlag 2269 : 672~675

[journal] K. Mehner / 2002 / JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs / Lecture Notes In Computer Science / Springer-Verlag 2269 : 163~175

[confproc] H. Leroux / 2003 / JACOT: A Tool to Dynamically Visualise the Execution of Concurrent Java Programs / Proc of the 2nd International Conf on Principles and Practice of Programming in Java (PPPJ 2003) : 201~206

[journal] S. Carr / 2003 / ThreadMentor: A Pedagogical Tool for Multithreaded Programming / ACM Journal on Educational Resources in Computing 3(1)

[confproc] G. Malnati / 2007 / JThreadSpy: Teaching Multithreading Programming by Analyzing Execution Traces / Proc of the 2007 ACM Workshop on Parallel and Distributed Systems: Testing and Debugging : 3~13

[confproc] S. Robbins / 2000 / Experimentation with Bounded Buffer Synchronization / Proc of the 31st SIGCSE Technical Symp on Computer Science Education : 330~334

[confproc] W. Campbell / 2002 / Teaching Programming by Immersion, Reading and Writing / Proc of 32nd ASEE/IEEE Frontiers in Education Conference

[book] G. Nutt / 2002 / Operating Sustems - A Modern Perspective / Addison-Wesley

[book] S. Oaks / 1997 / Java Threads / O'Reilly & Assoc., Inc

[journal] C. A. R. Hoare / 1974 / Monitors: An Operating System Structuring Concept / Communications of the ACM 17(10) : 549~557

[thesis] E. W. Dijkstra / 1965 / Cooperating Sequential Processes / Technological University

[confproc] S. J. Hartley / 1999 / Alfonse, Wait Here For My Signal! / ACM SIGCSE : 58~62

[web] / Accreditation Board for Engineering Education of Korea / http://www.abeek.or.kr

[journal] 김광열 / 2009 / Effect of Digital Storytelling based Programming Education on Motivation and Achievement of Students in Elementary school / 한국컴퓨터정보학회논문지 / 한국컴퓨터정보학회 14(1) : 47~55

KJC Korea
Journal Central

Statistics

Tools

Sharing

Issue List

Citation status