Race condition Example

Duration: 4 min

This video lesson is available to enrolled students.

Return to /learn/BIHAR-STET-COMPUTER-SCIENCE-COMPLETE-COURSE/unit-5-operating-system/process-synchronization/intro-critical-section/asset-race-condition-example after enrolling

Inside: a video lesson and guided study material.

Module outline

  1. About the course: About the Course
  2. Mathematical Aptitude: Number System, HCF LCM, Divisibility Rules, Percentage, Ratio and Proportion (Ratios), Average, Profit and Loss, Time and Work, Mensuration and Geometry, Simple Interest and Compound Interest, Speed Time and Distance, Age Problems, Mixture and Alligation, Algebra, Powers and Exponents (Surds and Indices), Pipe and Cistern, Trigonometry, Statistics, Data Interpretation, Arithmetic
  3. Logical Reasoning: Series (Number and Letter Series) (Numerical Relations and Reasoning), Coding Decoding, Analogy, Blood Relations, Directions (Direction Test), Ranking, Order and Sequence, Non Verbal Reasoning (Spatial Aptitude) (Spatial Reasoning) (Visual Reasoning), Seating Arrangements, Syllogisms, Venn Diagram, Puzzle Solving (Puzzles), Logical Sequence Of Words, Deductive and Inductive Reasoning (Logical Deduction and Induction) (Prepositional Reasoning), Analytical Reasoning (Counting Figures Reasoning), Cubes & Dices, Calendar, Clock
  4. General Knowledge: Physics, Chemistry, Biology, History, Geography, Polity, Indian Economy, GK- Current Affairs, Static General Knowledge
  5. Art of Teaching: Nature, Objectives & Characteristics of Teaching, Learners & Learning Process, Factors Affecting Teaching, Methods of Teaching, Classroom Management & Communication, Teaching-Learning Aids & ICT Integration, Evaluation, Assessment & Measurement, Professional Development & Ethics, Policies, Acts & Contemporary Issues, Curriculum & School Environment, Guidance, Counselling & Mental Health, Inclusive Education & Special Needs, Micro-Teaching & Teaching Skills, Lesson Planning
  6. Environmental Science: Environment
  7. Unit 1 | Digital Electronics: Digital Systems & Boolean Basics, Logic Gates & Hardware, Boolean Expression, Boolean Minimization, Combinational Circuit, Sequential Circuits, Number System, Number Representation
  8. Unit 2 | COA: Basics of COA, Floating Point Rep, Cache Memory Organization, Input Output Organisation, Instr Formats & Modes, Control Unit Design, Register Transfer and Microoperations, Programming the Basic Computer
  9. Unit 3 | C Programming: C Fundamentals, Control Flow, Functions, Arrays & Pointers, Storage Classes, Structures & Enums, DMA, Macros, Scoping & File Handling
  10. Unit 3 | Data Structures: Introduction to DS, Array, Stack, Queue, Linked List, Tree, Graphs, Hashing
  11. Unit 4 | Algorithms: Algorithm Analysis, Time Complexity Analysis, Sorting Algorithms, Dynamic Programming, Minimum Spanning Trees, Shortest Path Algos, Advanced Algorithms
  12. Unit 5 | Operating System: Introduction to OS, Process Management, CPU Scheduling, Process Synchronization, Threads & Process Creation, Deadlock, Memory Management, Virtual Memory, Disc Scheduling, File Management
  13. Unit 6 | Database Management System: Basics of DBMS, ER Diagram, Relational Model & Functional Dependencies, Keys & Integrity Constraints, Normalization (1NF - BCNF), Decomposition Properties & 4NF, File Organization & Indexing, Relational Algebra, SQL, Transaction Management, Concurrency Control
  14. Unit 7 | Computer Networks: Introduction to CN, Data Communication, DLL: Access Control, DLL: Flow Control, DLL: Error Control, DLL: Framing, Data Link Layer - Ethernet, Net Layer: IPv4 & Proto, Net Layer: IP Addressing, Net Layer:Routing Protocol, Transport Layer Services, TL: Congestion & UDP, Application Layer
  15. Unit 8 | Software Engineering: Fundamentals of Software Engineering, Software Requirements and Quality Assurance, Software Design, Estimation and Metrics, Software Testing, Software Maintenance and Configuration Management
  16. Unit 9 | Object Oriented Programming: OOPS with C++
  17. Unit 10 | Web Development: HTML Basics, CSS, JavaScript-Basics, XML
  18. Unit 11 | Theory Of Computation: Introduction to TOC, Deterministic FA (DFA), Non-Deterministic FA, Regular Expressions, Grammar, Regular Language Properties, Moore & Mealy Machines, Pushdown Automata & CFG, Turing Machines
  19. Unit 12 | IoT: Emerging Tech Trends, Cloud Computing
  20. Unit 13 | Artificial Intelligence: Approaches to AI, Search Algorithms, Game Playing, Knowledge Representation, Natural Language Processing, Artificial Neural Networks, Genetic Algorithms
  21. Unit 14 | E-Commerce: Electronic Data Interchange and E-Commerce, Role of Internet and Web Services, Security in Mobile and Wireless Computing, Physical Security and Cryptography Basics, Cyber Safety and Security
  22. Unit 15 | Multimedia: Multimedia
  23. Unit 16 | Python: Introduction to Python, Tokens, Variables, Data Types, I/O, Operators & Expressions, Control Flow & Looping, Collections & Strings, Functions & Modules, File Handling & Data Analysis, DSA using Python
  24. Full Length Mock Tests — General Paper:
  25. Full Length Mock Tests — Computer Science (Paper II):
AI summary & chapters

AI Summary

An AI-generated summary of this video lecture.

This video solves a GATE-2015 operating-systems concurrency question. Two functions, P1 and P2, share a variable B with initial value 2. P1 executes C = B - 1; then B = 2 * C;, while P2 executes D = 2 * B; then B = D - 1;. The question asks for the number of distinct values that B can possibly take after execution. The instructor labels the four instructions I11, I12 for P1 and I21, I22 for P2. Because each function's two instructions must preserve their internal order, the possible interleavings are the six permutations of choosing which P1 instruction and which P2 instruction occur at each step. A table with Case 1 through Case 6 lists the six interleavings of I11, I12, I21, and I22. The instructor evaluates each case by tracking the shared variable B (and local variables C and D) through the sequence. For example, one interleaving gives I11: C = 2 - 1 = 1; then I21: D = 2 * 2 = 4; then I12: B = 2 * 1 = 2; then I22: B = 4 - 1 = 3. Other interleavings yield final values such as 2 and 3 (and in some orderings, other intermediate results). By circling the final B values across all six cases and removing duplicates, the instructor concludes that B can take 3 distinct final values. The answer '3' is circled at the bottom of the question slide.

Chapters

  1. 0:00 – 2:00 00:00-02:00

    The slide presents the GATE-2015 question in an orange-and-white two-column table labeled P1() and P2(). The top line states that the two functions share a variable B with an initial value of 2 and execute concurrently. P1 contains 'C = B - 1;' then 'B = 2 * C;'; P2 contains 'D = 2 * B;' then 'B = D - 1;'. The red bottom line asks for the number of distinct values B can possibly take after execution. Handwritten blue annotations progressively label the P1 steps as I1, J1 and the P2 steps as I2, J2 (later refined to I11, I12 and I21, I22), establishing the instruction labels used for interleaving analysis.

  2. 2:00 – 3:58 02:00-03:58

    The slide now shows two code blocks headed P1() and P2() with labeled instructions (I11) C = B - 1;, (I12) B = 2 * C; and (I21) D = 2 * B;, (I22) B = D - 1;. Below, a green-headed table lists six columns Case1 through Case6, each containing a vertical sequence of the four instruction labels in different orders. Blue vertical line marks highlight selected rows in Case1-Case4 as the instructor computes each interleaving. On-screen values such as C=1, D=4, B=2 appear during the step-by-step evaluation. The instructor circles key intermediate values (e.g., B=3) and crosses out redundant steps, then returns to the original question slide where the final answer '3' is circled at the bottom, indicating three distinct possible values for B.

The core teaching point is systematic enumeration of legal interleavings in a concurrent execution where each process's internal instruction order must be preserved. With two instructions per process, there are C(4,2) = 6 valid interleavings, which the instructor tabulates as Case1-Case6. The method is: (1) label each instruction, (2) list all order-preserving interleavings, (3) simulate the shared variable B through each sequence while tracking local variables C and D, (4) collect the final B values and count distinct ones. The worked example shows how one interleaving produces C=1, D=4, and a final B=3, while others produce different finals. The conclusion is that the number of distinct values B can take is 3, which is circled as the answer. This case-by-case table method is the key exam technique for GATE concurrency questions of this type.

Loading lesson…