fremag/MemoScope.Net

Dump and analyze .Net applications memory ( a gui for WinDbg and ClrMd )

Language: C# - Size: 3.67 MB - Last synced at: about 2 months ago - Pushed at: almost 5 years ago - Stars: 693 - Forks: 75

nickng/dingo-hunter

Static analyser for finding Deadlocks in Go

Language: Go - Size: 924 KB - Last synced at: 13 days ago - Pushed at: over 1 year ago - Stars: 319 - Forks: 27

jnidzwetzki/pg-lock-tracer

A eBPF based lock tracer for the PostgreSQL database

Language: Python - Size: 307 KB - Last synced at: 15 days ago - Pushed at: 5 months ago - Stars: 149 - Forks: 17

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

DamZiobro/gdb-automatic-deadlock-detector

Script adds new command to GDB which allows automatically detect C/C++ thread locking and deadlocks in GDB debugger

Language: Python - Size: 9.77 KB - Last synced at: 6 months ago - Pushed at: almost 5 years ago - Stars: 70 - Forks: 13

dibyendumajumdar/simpledbm

SimpleDBM is an Open Source Multi-Threaded Embeddable Transactional Database Engine in Java.

Language: Java - Size: 22.4 MB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 60 - Forks: 12

JochenBaier/cppguard

C++ developer tool for detecting deadlocks

Language: C++ - Size: 310 KB - Last synced at: 4 months ago - Pushed at: 4 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

pomponchik/locklib

When there are not enough locks from the standard library

Language: Python - Size: 249 KB - Last synced at: 26 days ago - Pushed at: 3 months ago - Stars: 23 - Forks: 1

linkdata/deadlock

Deadlock detection for Go

Language: Go - Size: 94.7 KB - Last synced at: 6 days ago - Pushed at: 4 months ago - Stars: 17 - Forks: 1

TDacik/Deadlock_and_Racer

Frama-C plugins for deadlock and data race detection

Language: OCaml - Size: 813 KB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 12 - Forks: 2

anacrolix/sync

A sync package clone that provides pprof debugging of sync.Mutex to help with diagnosing deadlocks.

Language: Go - Size: 42 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 9 - Forks: 0

dstibrany/LockManager

LockManager with deadlock detection for implementing 2PL

Language: Java - Size: 219 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 9 - Forks: 3

koichi-szk/postgres

For local PostgreSQL code development by Koichi Suzuki

Language: C - Size: 563 MB - Last synced at: 9 months ago - Pushed at: about 1 year ago - Stars: 8 - 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: about 2 months ago - Pushed at: almost 2 years ago - Stars: 8 - Forks: 0

SaashaJoshi/operating-system

Operating System: CPU Scheduling Algorithms

Language: Python - Size: 24.4 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 6 - Forks: 1

mayank-k-jha/CPU_Process_scheduling-and-deadlock_detection

CPU Process Scheduling and Deadlock Detection Using Bankers Algorithm

Language: Java - Size: 39.1 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 4

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

mindstorm38/pydld

Python DeadLock Detector

Language: Python - Size: 29.3 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 2

cogumbreiro/brenner-coq

Brenner is a calculus for reasoning about task parallelism and barrier synchronization. This calculus distils the semantics of phasers and unifies the synchronisation patterns of various abstractions.

Language: Coq - Size: 227 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 1

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

matusHubinsky/ios-deadlock-tester

A simple bash script for testing deadlock in VUT FIT IOS 2.project

Language: Shell - Size: 13.7 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 1

itznokx/2_viewers_2_pepe_laugh

2V2PL with multiple granulosity

Language: Java - Size: 31.3 KB - Last synced at: almost 2 years ago - Pushed at: almost 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

felipebaltazar/Xamarin.Management.Tools

Tools to track and manage your Xamarin applications

Language: C# - Size: 18.6 KB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

micwypych/java-with-jpf-example

Java Path Finder and Gradle configuration with simple dining philosopher problem

Language: Java - Size: 1.57 MB - Last synced at: 7 months ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 1

longlong524/mysql-8.0.12-with-deadlockthread

mysql with dead lock detect thread improvement.

Size: 83.7 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

SuperMoathx7/Detection-algorithm

A C++ implementation of Deadlock Detection Algorithm.

Language: C++ - Size: 2.93 KB - Last synced at: 3 months ago - Pushed at: over 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

Is-haka/oass

Online Assignment Submission System

Language: PHP - Size: 3.47 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

rishabh-ranjan/simian

official repo and tool for the ASE 2022 paper "Exploiting Epochs and Symmetries in Analysing MPI Programs"

Language: Roff - Size: 42.2 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

Shr2020/Replicated-Concurrency-Control-and-Recovery-in-Database

Implementation of a distributed database with multi-version concurrency control, replication, deadlock detection and failurerecovery.

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

jaypeerachai/Deadlock-Detection

A Java implementation of Deadlock Detection

Language: Java - Size: 272 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 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

annanya-mathur/Deadlock-in-OS-in-C-plus-plus

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

sid230798/Basic_Modules_Operating_Systems

This Repo contains basic modules like Use of Kernel level Libraries, Random Number generation, Heap Memory Module implementation via best-fit,first-fit,Buddy Systems,Virtual Memory Mechanisms FIFO,LFU,MFU, Process deadlock Mechanism Detection

Language: Makefile - Size: 1.31 MB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

RussellHankins/SQLServerDeadLocks

A procedure to list recent deadlocks on sql server. Another procedure to cause a deadlock.

Size: 4.88 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

basant-kumar/Operating_System_Lab

This repository contains all my work from the Operating System Lab

Language: C - Size: 4.89 MB - Last synced at: 9 months ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

iammfsr/Operating-System-Algorithms-in-java

Followed Book: Modern Operating Systems- Andrew S. Tanenbaum

Language: Java - Size: 78.1 KB - Last synced at: 3 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

nishthaq3/RAG-Simulator

A repository holding the code for a graphical simulator for RAG graphs

Language: Python - Size: 34.2 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

Yasir-Arafah/Operating-System-Lab-Practice

Operating System Scheduling Algorithms are here. Also practice Linux as VM.

Language: Jupyter Notebook - Size: 842 KB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

Gptmainprog/deadlock-esp

deadlock-detection deadlock-free deadlock-hack deadlock-aim deadlock-esp deadlock-aimbot deadlock-hack-free deadlock-aimbot-download deadlock-aimbot-free

Size: 214 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

Toparvion/spring-petclinic-rest Fork of spring-petclinic/spring-petclinic-rest

Training version of Spring PetClinic REST deliberately augmented with performance issues

Language: Java - Size: 6.71 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

TryingToBeSmart/CST321-Deadlock-Avoidance

C program to simulate a process being starved due to resource unavailability. The user will be prompted to decide whether to wait or stop the process.

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

MallaSailesh/MultiThreading-DeadLocks-InternetRouting

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

mcagriaksoy/rtos_deadlock_ex_stm32

A classic restaurant deadlock example and solution on STM32 board using FreeRTOS

Language: C - Size: 511 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: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

ali-alhusseini/traffic-manager

Traffic Manager uses deadlocks and semaphores to manage a junction crossing.

Language: C - Size: 117 KB - Last synced at: almost 2 years ago - Pushed at: about 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

s-araqayyum/DeadlockDetection

Detection of deadlocks in a multi-process environment

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

sagalpreet/OS-Components

Implementation and Simulation of various Operating System concepts like dispatcher, disk scheduling, file system, dynamic memory partitioning and deadlocks.

Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

harmim/eurocast2022-deadlock-infer

Eurocast 2022 - Static Deadlock Detection in Low-Level C Code

Language: HTML - Size: 8.77 MB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

Samarthasbhat/deadlock-in-os

Using C and Opengl Libraries

Language: C - Size: 38.1 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 1

EdoaLive/muSupervisor

Golang mutex supervisor and deadlock finder tool

Language: Go - Size: 16.6 KB - Last synced at: 6 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

DashulyaMelnyk/Graph-implementation

Implementation of graph class with ArrayList

Language: Java - Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

ngocphucck/deadlock-detection

This repo reimplements Banker algorithm to detect deadlock in OS system

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

cherryDevBomb/LegoShop-2PL

🔒 2PL (2-Phase Locking) scheduler for distributed transactional management in an eCommerce application

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

Glebanister/deadlock-proof-mutex

Deadlock protected mutex implemetation

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

puiiyuen/RAG-based-Deadlock-Detection

Resource Allocation Graph Deadlock Detection implemented with topological sort

Language: C++ - Size: 12.7 KB - Last synced at: about 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: almost 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: about 4 years ago - Stars: 0 - Forks: 1

benkant/resume Fork of sb2nov/resume

My resume.

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

hidva/gdd4gp5x

Global deadlock detector for greenplum 5.x.

Language: Go - Size: 21.5 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

vininjr/Deadlock-problem

Simple implementation of deadlock problem

Language: C - Size: 10.7 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

AleksandrHovhannisyan/PythonGraphCycleDetection

Python script for detecting cycles in a directed graph.

Language: Python - Size: 26.4 KB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 1

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

jethrodaniel/deadlock 📦

OS homework

Language: Ruby - Size: 202 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

shrynshjn/deadLock

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

NithyasriBabu/Deadlock-Educational-Tool

Describes what deadlock means and explains Banker's Algorithm

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

melmorabity/nagios-plugin-jvm-deadlocks

Nagios plugin to check Java deadlocks

Language: Java - Size: 20.5 KB - Last synced at: 4 months ago - Pushed at: about 7 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

phanikmr/BankersAlgorithm

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

arthurmteodoro/thread-parking-simulator

Implementação de um simulador de um estacionamento campus utilizando programação paralela, sincronização e resolução de deadlocks. Trabalho realizado no 4º período de Ciência da Computação do Instituto Federal de Minas Gerais(IFMG) - Campus Formiga para a Disciplina Sistemas Operacionais.

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