-
Notifications
You must be signed in to change notification settings - Fork 8
/
deadlock.html
70 lines (61 loc) · 2.19 KB
/
deadlock.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
<!DOCTYPE html>
<html>
<head>
<title> deadlock detection </title>
<script type="text/javascript" src="deadlock.js"></script>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css">
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/materialize/0.99.0/css/materialize.min.css">
<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.3.1/jquery.min.js"></script>
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/js/bootstrap.min.js"></script>
<style>
h1, h2, h5{
text-align: center;
}
</style>
</head>
<body>
<!-- <nav class="navbar navbar-inverse navbar-fixed-top">
<div class="container-fluid">
<div class="navbar-header">
<a class="navbar-brand" href="./os_sim.html">OS simulator</a>
</div>
<ul class="nav navbar-nav">
<li class="active"><a href="index.html">Home</a></li>
<li class="active"><a href="../wiki-sample/wiki.html">Wiki</a></li>
</ul>
</div>
</nav> -->
<br>
<div class="page-header" >
<h1 style="float:center">Single-Instance Resource Deadlock Detection</h1>
</div>
<div style = "width: 100%;;margin-left:10px;text-align:left;">
<button class="btn btn-primary btn-success" style ="float:right;margin-right:20px;" onclick="clear_data()" >Clear Data</button>
<div style="float:left; margin-right:20px;">Number of Resources:</div>
<input style = "width: 50px;float:left;margin-right:30px;" id = "totalres" type="text">
</input>
<div style="float:left; margin-right:20px;">Number of Processes:</div>
<input style = "width: 50px;float:left;margin-right:30px;" id = "totalpros" onkeyup="addInitials()" type="text"></input>
</div>
<br>
<br>
<br>
<div id = "allocated" style="margin-left:10px;"></div>
<br><br/>
<br><br/>
<div id = "need" style="margin-left:10px;"></div>
<br><br/>
<br><br/>
<div style="text-align:center;">
<button class="btn btn-primary btn-success" onclick="detection()" >Run</button>
</div>
<div id = "output">
</div>
<br>
<br/>
<div id = "output1">
</div>
</body>
</html>