Lab Report Banker in Senegal Dakar –Free Word Template Download with AI
This laboratory report investigates the application of the "Banker" algorithm—a concept originally derived from Operating Systems theory regarding deadlock avoidance—within the modern financial infrastructure of Senegal Dakar. While traditionally a computer science heuristic, this study adapts the logic to model resource allocation in decentralized mobile money ecosystems and traditional banking liquidity management. The objective is to determine how strict adherence to safety states can prevent systemic insolvency during peak transaction volumes in Dakar’s rapidly digitizing economy.
The financial landscape of Senegal Dakar has undergone a seismic shift in the last decade. As one of the economic hubs of West Africa, Dakar serves as a critical node for both formal banking institutions and informal financial networks. The emergence of mobile money platforms (such as Orange Money, Wave, and Moov Money) alongside traditional banks like Ecobank and BICIS has created a complex hybrid system.
In this context, the term "Banker" takes on a dual significance. Historically associated with the profession of banking in Dakar, it is here redefined through the lens of Dijkstra’s Banker Algorithm. This algorithm acts as a deadlock avoidance mechanism, ensuring that resources are allocated only if the system remains in a "safe state." In financial terms, this translates to liquidity management: ensuring that enough capital reserves exist to satisfy all potential withdrawal requests without causing a systemic failure or "deadlock" where funds are frozen indefinitely.
The primary objectives of this laboratory simulation are:
- To model the transaction volume and liquidity requirements of a hypothetical bank operating in Senegal Dakar.
- To apply the Banker Algorithm logic to simulate resource (capital) allocation during high-stress periods, such as religious holidays or end-of-month salary disbursements.
- To evaluate the efficiency of this algorithmic approach in preventing insolvency compared to traditional First-Come-First-Served (FCFS) banking models.
3.1 The Environment: Dakar’s Economic Context
The simulation environment replicates the economic conditions of Dakar, characterized by a high prevalence of micro-transactions and significant volatility in cash flow due to seasonal agricultural exports and urban commercial activities. The "system" is defined as a local branch bank with limited ATM liquidity and digital transfer caps.
3.2 Variables
- Total Available Capital (C): The total liquid assets available in the vault and digital clearing accounts, set at 10,000,000 CFA Francs for this simulation.
- Risk Users (Threads/Accounts): Five major corporate clients and retail segments requiring variable liquidity.
- Maximum Claim (Max Demand): The maximum amount each client might withdraw in a single day.
- C current Allocation:: The amount currently disbursed to each client.
Table 1: Initial State of Resources in Dakar Branch
| User ID | Max Demand (CFA) | C current Allocation (CFA) |
|---|---|---|
| A-101 | ||
| User ID | Max Demand (CFA) | C current Allocation (CFA) |
| A-101 | ||
| User ID | Max Demand (CFA) | C current Allocation (CFA) |
| A-101 | ||
| User ID | Max Demand (CFA) | C current Allocation (CFA) |
| A-101 | ||
| User ID | Max Demand (CFA) | C current Allocation (CFA) |
| A-101 | ||
| User ID | Max Demand (CFA) | C current Allocation (CFA) |
| A-101 |
4.1 Step-by-Step Execution
The Banker algorithm operates by checking if a user’s request can be granted without leaving the system in an unsafe state. In the context of Dakar banking, this prevents a "run on the bank" scenario where panic leads to simultaneous requests that exceed immediate liquidity.
- Request Analysis: When User A-102 requests 1,500,009 CFA (a significant sum for a small business), the system calculates the difference between their Max Demand and Current Allocation. It then checks if this request is less than or equal to the Available Resources.
- Safety Check: The core of the Banker model is executed here. The system pretends to allocate these resources and checks if there exists a sequence of all users who can finish their transactions with the remaining capital. If such a sequence exists, the state is "Safe," and the transaction proceeds.
- Rejection Protocol: If granting A-102’s request would prevent other critical payments (e.g., government payroll or supplier settlements) from being honored due to lack of liquidity, the request is denied. This is a crucial feature for maintaining trust in Dakar’s financial hub.
Table 2: Safety Sequence Verification
| User ID | C current Allocation (CFA) |
|---|---|
| A-101,, , | |
| User ID | C current Allocation (CFA) |
| A-101, , |
