An open API service providing repository metadata for many open source software ecosystems.

Topic: "deadlock-avoidance"

WillHunting25/deadlock-esp

Size: 1.95 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 125 - Forks: 0

jamessmile306/deadlock-cheat

deadlock deadlock-detection deadlock-free deadlock-avoidance deadlocks deadlock-avoidance-algorithm deadlock-cheat deadlock-aim deadlock-external

Size: 5.86 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 115 - Forks: 0

JochenBaier/cppguard

C++ developer tool for detecting deadlocks

Language: C++ - Size: 310 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 44 - Forks: 2

JochenBaier/BugInsight

A memory leak and deadlock finder for C, C++

Language: C++ - Size: 343 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 24 - Forks: 1

alcestes/mpstk

Multiparty Session Types toolKit

Language: Scala - Size: 1.15 MB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 15 - Forks: 4

hardikrana11/Operating-systems--LAB

Codes pertaining to OS Lab for Course CO254 - Operating Systems[CSE NITK SEM-4]

Language: C++ - Size: 119 KB - Last synced at: 3 months ago - Pushed at: about 7 years ago - Stars: 12 - Forks: 2

KhaledAshrafH/Deadlock-Handler

This repository contains a C++ implementation of the Banker's algorithm, which is used to avoid deadlock in a system. The program allows processes to request and release resources, and the banker will grant a request only if it leaves the system in a safe state. If a request would lead to an unsafe state, it will be denied. The program also include

Language: C++ - Size: 247 KB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 0

mehmoodulhaq570/Philosophers-Dining-Hall-Problem

Solution to Operating System Dining Philosophers problem using threading and synchronization. It ensures smooth resource sharing among philosophers, preventing conflicts like deadlock.

Language: Python - Size: 2.62 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 2

Shruthi-Sivagnanam/Os-Concepts

Basic operating system concepts in c language.

Language: C - Size: 45.9 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 2

Rakibul73/Operating_System_Code

Operating System Code in Python 3

Language: Jupyter Notebook - Size: 54.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 0

moazmohamed20/OS-Algorithms

Operating System Algorithms Implementations in C++

Language: C++ - Size: 22.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

cpsusie/DotNetVault

Synchronization Library and Static Analysis Tool for C# 8

Language: C# - Size: 52.6 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 2

SyedMuhammadMuhsinKarim/Bankers-Algorithm-in-Python

Operating System: Banker's Deadlock Avoidance Algorithm (Hardcoded) Implementation in Python (Using Numpy aka Numerical Python)

Language: Python - Size: 18.6 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0

ayushs2k1/Operating-Systems-Project

The project titled ROAD CONSTRUCTION USING HIGHWAY PLANNING AND OBSTRUCTION PREVENTION aims to address one of the major issues that the Indian road construction department is facing.

Language: C++ - Size: 1.22 MB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 1

frhd143/Dining-Philosophers-Problem

This is a solution to the dining philosophers problem in C using pthreads and semaphores.

Language: C - Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

JiayangZhou-99/MyDB 📦

A SQL Server that supports table level concurrency and Transaction

Language: C++ - Size: 177 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

LakshmiPadmanabhan/Bankers-Algorithm

Simulation of Banker's algorithm for deadlock avoidance

Language: C - Size: 1000 Bytes - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

codevor/js-semaphore

🚦JavaScript Semaphore implementation using Promises

Language: JavaScript - Size: 17.6 KB - Last synced at: 11 days ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1

sikatikenmogne/concurency-workshop-c-sharp

Workshop project for mastering concurrency in C# and fix common multi thread synchronisation issues

Language: C# - Size: 393 KB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

alhussain-shaikh/Operating-System-LAB

In this repo, I have nearly covered all the lab concept related to Operating System with the code in c/c++/java

Language: C++ - Size: 1.37 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

ShyamKumar1/Operating-systems-lab-programs

This repo contains Operating Systems Lab Programs that are useful for Undergraduate Students

Language: C - Size: 34.2 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

ChinmayChoudhury/OS_deadlock_scheduling_algorithms

Implementation of scheduling algorithms (Round Robin, SJF, Priority, FCFS) and deadlock avoidance algorithm(Banker's Algorithm)

Language: C - Size: 6.84 KB - Last synced at: 19 days ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 1

satyam9090/Operating-Systems

CSE2005 Operating Systems, Basic Linux Commands, IPC, Shared Memory, Scheduling Algorithm, Synchronization Problems, Deadlock: Bankers Algorithm, Memory Management, Paging and Segmentation

Size: 4.64 MB - Last synced at: 7 days ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

Dina-ElGammal/Philosophers

The Philosophers project, part of the 42 school curriculum, focuses on concurrent programming using threads, mutexes, processes, and semaphores. It presents a variation of the well-known dining philosophers problem, allowing students to deepen their understanding of these essential concepts.

Language: C - Size: 60.5 KB - Last synced at: 6 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

walywest/Philo

Language: C - Size: 157 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

Gowtham011224/Operating-System

Contains demo for basic OS concepts

Language: C++ - Size: 9.73 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

Daito-Raigar/Operating_System_Lab_Exercise

In this repository you will find the basic and simple Operating System related exercises. I will be helpful to get to know how Operating System works on processes, memory management ,etc

Language: C - Size: 849 KB - Last synced at: 10 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

MohamedNagyMostafa/escape-room-concurrency-

Language: C++ - Size: 2.93 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

nikitanosov1/parallel-programming

Лабораторные работы по курсу "Параллельное программирование"

Language: C++ - Size: 2.8 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

matusHubinsky/ios-project-2

FIT IOS 2. project centered around deadlocks

Language: C - Size: 87.9 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

ammahmoudi/Os-TaskManager

a context switching simulation of operation system supporting every context switching algorithms and deadlock prevention methods

Language: Java - Size: 179 KB - Last synced at: 4 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

KabirSinghMehrok/dining-philosophers-problem-solution

A deadlock-free solution to the Dining Philosophers Problem using synchronization primitives in C

Language: C - Size: 2.93 KB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

aditiisaxena/Dining-Philosophers-Problem

Solutions to prevent deadlock condition in the classic Dining Philosophers Problem

Language: C - Size: 7.81 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Minisiia/ResolveDeadlockThread

Create 2 classes. Implement mutual blocking of these classes. Use all possible methods to solve the problem of mutual blocking.

Language: Java - Size: 4.88 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

App-Monster-Belal/Deadlock-avoidance-with-safe-sequence

Language: C++ - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

App-Monster-Belal/Deadlock_Avoidance_Bankers-Algorithm

Language: Shell - Size: 322 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

luismendes070/avoiding-thread-deadlock

Advanced Java Programming Avoiding thread deadlock https://www.linkedin.com/learning/advanced-java-programming-2/avoiding-thread-deadlock?autoSkip=true&autoplay=true&resume=false

Language: Java - Size: 7.81 KB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

thcls/Algoritmo_do_Banqueiro

Simulador do algoritmo do banqueiro (estado seguro, algoritmo de requisição e detecção de deadlock) para prevenção de impasses.

Language: Python - Size: 7.81 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

harsh-apcr/MTL458-Operating-Systems 📦

Course assignment for MTL458-OS

Language: C - Size: 4.6 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

yashuv/Distributed-System

some insights and program code for Election Algorithm(Bully and Ring), RPC and RMI, Clock Synchronization(Logical and Vector) and Banker's Deadlock Avoidance Algorithm

Language: C++ - Size: 1.28 MB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

stefan-zobel/rwlock-rs

A Rust RwLock that attempts to prevent recursive deadlocks

Language: Rust - Size: 17.6 KB - Last synced at: 4 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

AdamPiszczek/elevator-control_simulation-program

elevator simulator in multithreaded programming

Language: Java - Size: 8.79 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

pawlo555/concurrency-theory-consumer-producer

Consumer and producer problem in different variations

Language: Java - Size: 247 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

abeer-saleh/Banker-s-algorithm

Size: 5.86 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

cgriceld/42-dining-philosophers

🧶 multithreading on the example of dining philosophers problem

Language: C - Size: 36.1 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

hugofpaiva/ia-sokoban 📦

Sokoban Solver developed in the Artificial Intelligence course, IA UA 2020/2021

Language: Python - Size: 798 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

GRV96/log710_deadlock_algorithms

Algorithms meant to counter deadlocks taught in course LOG710 in École de technologie supérieure (ÉTS), Montréal

Language: Java - Size: 1.81 MB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

jaypatel1210/Deadlocak-Synchronization-os

Language: HTML - Size: 767 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1

anhmiuhv/fx10-coq

Language: Makefile - Size: 19.5 KB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

go-row/solutionToDeadlockProblem

This repository contains solution to deadlock problem using Bankers' Algorithm.

Language: C++ - Size: 8.79 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

ahmedibrahimq/chat

Client-Server Chat over TCP Protocol that supports sending files & deadlocks Avoidance. Gui and cli clients.

Language: C# - Size: 1.29 MB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

vic-lsh/os-banker-algo

Operating Systems Lab: Banker's Algorithm

Language: C++ - Size: 28 MB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

cogumbreiro/gorn-coq

Deadlock avoidance on using futures in shared memory. The project includes the formalization of a trace language and results on a policy on safe joins (through a notion of known tasks) and we show that data-race-freedom implies deadlock freedom.

Language: Coq - Size: 421 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 2

Related Topics
deadlock-detection 19 deadlock 15 bankers-algorithm 14 operating-system 9 java 6 cpp 5 scheduling-algorithms 5 threads 5 semaphore 4 operating-systems 4 semaphores 4 disk-scheduling 4 mutex 4 dining-philosophers-problem 4 multithreading 4 memory-management 4 concurrent-programming 4 shell-script 3 system-calls 3 python 3 os 3 priority-scheduling 3 banker-algorithm 3 concurrency 3 deadlocks 3 deadlock-free 3 mutex-lock 3 thread 3 fifo-page-replacement 3 synchronization 3 threading 3 deadlock-external 2 deadlock-aim 2 peterson-algorithm 2 round-robin-scheduling 2 thread-pool 2 round-robin 2 mutex-synchronisation 2 os-project 2 promises 2 memory-allocation 2 shortest-job-first 2 cpu-scheduling 2 coq-formalization 2 syncronization 2 page-replacement 2 first-come-first-serve 2 c 2 developer-tools 2 bug 2 shell-scripting 2 move-semantics 1 threadpool 1 inter-process-communication 1 disk-scheduling-algorithms 1 bash-script 1 djikstra-algorithm 1 priority-process-scheduling 1 sjf-process-scheduling 1 parallel-programming 1 chat-application 1 tcp 1 tcp-socket 1 consumer-producer 1 starving 1 vut-fit 1 elevator 1 random-number-generator 1 leak 1 leak-detection 1 leaks 1 memory 1 memory-leak 1 numpy 1 python3 1 alogrithm 1 detection-algorithm 1 fcfs-process-scheduling 1 lfu-page-replacement 1 lru-page-replacement 1 mfu-page-replacement 1 mru-page-replacement 1 optimal-page-replacement 1 visual-studio 1 parking-lot 1 rust 1 rwlock 1 bully-algorithm 1 clock-synchronization 1 distributed-systems 1 lamport-clock 1 leader-election-algorithm 1 ring-algorithm 1 vector-clock 1 computer-science 1 ipc 1 linux-commands 1 paging 1 segmentation 1 shared-memory 1