JochenBaier/cppguard

C++ developer tool for detecting deadlocks

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

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: 10 days ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 2

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: 4 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

WillHunting25/deadlock-esp

Size: 1.95 KB - Last synced at: 8 months ago - Pushed at: 8 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: 8 months ago - Pushed at: 8 months ago - Stars: 115 - Forks: 0

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: about 1 month ago - Pushed at: about 7 years ago - Stars: 12 - Forks: 2

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: 7 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

walywest/Philo

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

Gowtham011224/Operating-System

Contains demo for basic OS concepts

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

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: 12 days ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 0

JochenBaier/BugInsight

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

Language: C++ - Size: 343 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 24 - 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: about 2 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

go-row/solutionToDeadlockProblem

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

Language: C++ - Size: 8.79 KB - Last synced at: 12 months ago - Pushed at: over 5 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: 12 months ago - Pushed at: over 3 years ago - Stars: 0 - 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: 29 days ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 1

abeer-saleh/Banker-s-algorithm

Size: 5.86 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - 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: almost 4 years ago - Stars: 1 - Forks: 0

jaypatel1210/Deadlocak-Synchronization-os

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

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

moazmohamed20/OS-Algorithms

Operating System Algorithms Implementations in C++

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

nikitanosov1/parallel-programming

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

Language: C++ - Size: 2.8 MB - Last synced at: about 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

alcestes/mpstk

Multiparty Session Types toolKit

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

Rakibul73/Operating_System_Code

Operating System Code in Python 3

Language: Jupyter Notebook - Size: 54.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 4 - 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

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: 2 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

codevor/js-semaphore

🚦JavaScript Semaphore implementation using Promises

Language: JavaScript - Size: 17.6 KB - Last synced at: 3 days ago - Pushed at: over 5 years ago - Stars: 2 - 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: almost 2 years ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

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: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0

Shruthi-Sivagnanam/Os-Concepts

Basic operating system concepts in c language.

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

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

JiayangZhou-99/MyDB 📦

A SQL Server that supports table level concurrency and Transaction

Language: C++ - Size: 177 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - 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: 17 days ago - Pushed at: about 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: about 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: almost 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: almost 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: about 1 month 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: about 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: about 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: 24 days ago - Pushed at: over 2 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: about 2 years ago - Pushed at: about 3 years 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: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

cpsusie/DotNetVault

Synchronization Library and Static Analysis Tool for C# 8

Language: C# - Size: 52.6 MB - Last synced at: 11 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 2

stefan-zobel/rwlock-rs

A Rust RwLock that attempts to prevent recursive deadlocks

Language: Rust - Size: 17.6 KB - Last synced at: about 2 months ago - Pushed at: almost 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: about 2 years ago - Pushed at: about 3 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: about 2 years ago - Pushed at: almost 4 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: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

anhmiuhv/fx10-coq

Language: Makefile - Size: 19.5 KB - Last synced at: 18 days 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: about 2 years ago - Pushed at: over 5 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: about 1 month 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