<?xml version="1.0" encoding="UTF-8"?>
<article xmlns:xlink="http://www.w3.org/1999/xlink" xml:lang="en"
         xmlns:mml="http://www.w3.org/1998/Math/MathML">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher">BJCR</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">British Journal of Contemporary Research</journal-title>
        <abbrev-journal-title xml:lang="en">BJCR</abbrev-journal-title>
      </journal-title-group>
      <issn>2979-8582</issn>
      <publisher>
        <publisher-name>Bexford Publishing Ltd</publisher-name>
        <publisher-loc><uri>https://bexfordpublishing.co.uk</uri></publisher-loc>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="publisher-id">BEX_JUN_26_155</article-id>
      
      <article-categories>
        <subj-group xml:lang="en" subj-group-type="heading">
          <subject>Original Research Article</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title xml:lang="en">A Load Adaptive Deadlock Prevention Scheme for Distributed Systems: Mathematical Formulation, Algorithm and Empirical Evaluation</article-title>
      </title-group>
      <contrib-group content-type="author">
      <contrib corresp="yes">
        <name-alternatives>
          <name name-style="western" specific-use="primary">
            <given-names>Sobaloju Joel Oyewumi </given-names>
          </name>
        </name-alternatives>
        <email>sobalojujoel@gmail.com</email>
        <bio xml:lang="en"><p>1Mindbuilder Educational Institute, Oyo, Oyo State, Nigeria, Nigeria</p></bio>
      </contrib>
      <contrib>
        <name-alternatives>
          <name name-style="western" specific-use="primary">
            <given-names>Ayeni Joshua Ayobami</given-names>
          </name>
        </name-alternatives>
        <email>ja.ayeni@acu.edu.ng</email>
        <bio xml:lang="en"><p>3Department of Computer Science, Ajayi Crowther University, Oyo, Nigeria</p></bio>
      </contrib>
      <contrib>
        <name-alternatives>
          <name name-style="western" specific-use="primary">
            <given-names>Ojo Olufemi Samuel</given-names>
          </name>
        </name-alternatives>
        <email>os.ojo@acu.edu.ng</email>
        <bio xml:lang="en"><p>3Department of Computer Science, Ajayi Crowther University, Oyo, Nigeria</p></bio>
      </contrib>
      <contrib>
        <name-alternatives>
          <name name-style="western" specific-use="primary">
            <given-names>Oyediran Mayowa Oyedepo</given-names>
          </name>
        </name-alternatives>
        <email>mo.oyediran@acu.edu.ng</email>
        <bio xml:lang="en"><p>Department of Computer Engineering, Ajayi Crowther University, Oyo, Nigeria</p></bio>
      </contrib>
      </contrib-group>
      <pub-date date-type="pub" publication-format="epub">
        <day>10</day>
        <month>07</month>
        <year>2026</year>
      </pub-date>
      <volume>1</volume>
      <issue>2</issue>
      
      
      <pub-history>
        <event event-type="received">
          <event-desc>Received: <date date-type="received">
            <day>29</day>
            <month>06</month>
            <year>2026</year>
          </date></event-desc>
        </event>
        
        <event event-type="accepted">
          <event-desc>Accepted: <date date-type="accepted">
            <day>03</day>
            <month>07</month>
            <year>2026</year>
          </date></event-desc>
        </event>
      </pub-history>
      <permissions>
        <copyright-statement>Copyright (c) 2026 Sobaloju Joel Oyewumi </copyright-statement>
        <copyright-year>2026</copyright-year>
        <license xlink:href="https://creativecommons.org/licenses/by/4.0">
          <license-p>This work is licensed under a Creative Commons Attribution 4.0 International License.</license-p>
        </license>
      </permissions>
      <abstract><p>Resource sharing exposes every distributed system to deadlock, the state in which a set of processes is permanently blocked because each holds a resource that another requires. This paper presents a load adaptive deadlock prevention scheme that excludes deadlock structurally rather than detecting and resolving it after the fact. Before any contested resource is granted, a trial edge representing the prospective wait is added to the wait for graph and the augmented graph is tested for a cycle, the allocation proceeding only when the graph remains acyclic, so that the circular wait condition can never be satisfied. The scheme couples this prevention test to a token based mutual exclusion layer and a priority based allocation policy in which a higher priority request may preempt the holder of a contested resource, with the level of coordination tied to the measured arrival rate of critical section requests. The paper sets out the complete mathematical formulation of the scheme in forty numbered equations and the full prevention algorithm in nine procedures, then reports an empirical evaluation. Because the prevention test and a probe based detector share the same wait for graph machinery, the wait for graph operations were first validated through five detection experiments implemented in the C plus plus language on a Unix based testbed. These experiments characterise probe traffic, cycle identification accuracy, throughput, latency and the joint scaling of computation time and message volume, and they establish that the underlying graph operations scale linearly with the process population. Throughput recovered under heavy contention as the priority logic cleared blocked queues, rising from a trough of fifty five per cent to fifty eight per cent at thirty processes, and computation time and message volume grew together and approximately linearly to one hundred and fifty four point eight milliseconds and seven hundred and ten messages at one hundred and twenty processes. The wait for graph is constructed in time linear in the number of processes and each allocation is screened in time linear in the size of the graph, so the worst case cost of preventing an unsafe allocation is bounded by the number of processes and edges. The scheme therefore guarantees freedom from deadlock at a predictable and modest cost.</p></abstract>
    </article-meta>
  </front>
  <body/>
</article>