I n d on e s i an   Jo u r n al   o El e c t r i c al   En gi n e e r i n g   an d   C o m p u te r   S c i e n c e   V o l .   14 ,   N o .   3 J u n e   20 1 9 ,   pp .   1484 ~ 1492   IS S N :   2502 - 47 52 ,   D O I :   10. 1 1591 / i j e e c s . v 1 4 .i 3 . pp 148 4 - 1492             1484       Jou r n al   h o m e pa ge ht t p: / / i ae s c or e . c om / j our na l s / i nde x . php/ i j e e c s   Pr e d i c t i o n   o f   e n t e r i n g   p r o c e ss e i n t o   t h e   d e a d l o c k   st a t e       A n d r i i   N i c h e p o r u k 1 Y u r i y   K l o ts 2 ,   O k s an a   Y as h yn a 3 ,   S e r gi M o s tov yi 4 ,   Y u r i N i c h e p o r u k 5   1 , 2 , 4 , 5 D e pa r t m e nt   o f   C o m put e r   E ng i n e e r i ng   a nd   S y s t e m   P r o g r a m m i n g ,   K hm e l ny t s k y i   N a t i o na l   U n i v e r s i t y ,   U kr a i ne   3 D e pa r t m e n t   o f   S o f t w a r e   E ng i n e e r i ng ,   K hm e l ny t s ky i   N a t i o na l   U ni v e r s i t y ,   U k r a i ne       A r ti c l e   I n fo     A B S TR A C T     Ar t i c l e   h i s t or y :   R e c e i v e J a 8 ,   20 18   R e v i s e J a n   21 ,   201 8   A c c e pt e F e b   23,   201 9       T he   w o r i s   de v o t e t o   t he   pr o bl e m   o f   pr o c e s s e s   de a dl o c i t he   m ul t i - t a s ki ng   s y s t e m .   O t h e   ba s i s   o f   t he   s t udy   o f   t he   l i f e   c y c l e   o f   t he   pr o c e s s ,     t he   bo unda r y   s t a t e   o f   t he   p r o c e s s   w a s   d i s t i ng ui s h e d ,   w h i c w i l l   pr e c e de   t he   de a d l o c s t a t e .   P r o po s e t he   m e t ho f o r   pr e di c t i o o f   e nt e r i ng   pr o c e s s e s   i nt o   t he   de a d l o c s t a t e ,   w h i c c o ns i s t s   o f   t w o   a l go r i t hm s :   a l g o r i t hm   o f   de t e c t i o o f   p o t e nt i a l   p r o c e s s e s   t h a t   m a y   f a l l   i n t o   t he   de a dl o c a nd  a l g o r i t hm   o f   pr o c e s s e s   de t e c t i o t ha t   f a l l i ng   i nt o   t he   s t a t e   o f   de a dl o c k.   A e v a l ua t i o o f   t i m e   c o m pl e xi t y   o f   pr o po s e m e t ho i s   c o nduc t e d.   U nl i ke   t he   kno w m e t ho ds   a n a l g o r i t hm s ,   pr o po s e m e t ho us e   f uz z y   l og i c   c om po ne nt s   t o   de t e c t   t w o   o r   m o r e   pr o c e s s e s   t h a t   f a l l   i nt o   t he   s t a t e   o f   de a dl o c k,   a nd  t hu s   do  no t   m a ke   t he   a l g o r i t hm   c um be r s o m e ,   w h i c a l l o w s   i t   t o   be   u s e i m o de r o pe r a t i ng   s y s t e m s .   K e y w or ds :   Bo un da r y   s t a t e     D e a dl o c s t a t e     F uz z y   l o gi c   P r e di c t i o n   a l go r i t h m     P r o c e s s     C opy r i gh t   ©   201 9   I n s t i t ut e   o f   A dv anc e E ng i ne e r i ng   and   S c i e nc e .     A l l   r i gh t s   r e s e r v e d .   Cor r e s pon di n g   Au t h or :   A n d ri i   N i c h e po r uk ,   D e pa rt m e n t   o f   Co m put e E ngi n e e ri n g   a nd  S y s t e m   P r o g r a m m i n g,     K hm e l n y t s k y i   N a t i o na l   U n i v e r s i t y ,     K hm e l n y t s k y i ,   U kr a i n e .   E m a i l :   a n d r e y . n i c h e po r uk @ g m a i l . c o m       1.   I N TR O D U C TI O N     T h e   c urr e n t   s t a t e   of   c o m put e r   t e c hn o l o g y   r e qui r e s   m a i n t a i ni n a   h i g h   l e v e l   of   pa r a l l e l i s m   w h i l e   e n s u r i ng  t h e   s i m ul t a n e o us   us e   of  a s   m a n y   s y s t e m   c o m po n e n t s   a n r e s o ur c e s   a s   p o s s i b l e .   D ur i n t h e   o pe r a t i o of   s uc h e s   m ul t i - t a s k i n s y s t e m   qui t e   o f t e n   t h e r e   i s   a   s i t u a t i o n   o f   b l oc ki n g   p r o c e s s e s   t ha t   a r e   pe r f o r m e   o n   t h e m   [ 1].     T h e   pa r t i a l   c a s e   of   b l o c ki n p r o c e s s e s   i s   t h e   po s s i b i l i t y   of   t h e i r   m ut ua l   b l o c ki n g.   M u t u a l   b l o c ki n g   (o r   de a d l o c k)  i s   a   s t a t e   i n   m u l t i - t a s ki n g   e n v i r o nm e n t   o r   da t a b a s e   m a na ge m e n t   s y s t e m ,   i w h i c h   s e v e r a l   pr o c e s s e s   a r e   i n   a   s t a t e   of   un e xpe c t e w a i t i n f o r   t h e   r e s o ur c e s   e m pl oy e by   t h e s e   pr o c e s s e s .   T h e   e m e r ge n c e   of   p r o c e s s e s   de a dl oc l e a ds   t a n   i n c r e a s e   i n   t h e   t i m e   o t h e i r   e xe c ut i o n   (c a n   g r o w   t o   i n f i n i t y a n t o   t h e   i n e ff i c i e n t   us e   o f   s y s t e m   r e s o ur c e s   (e m pt y   w a i t i n g   c y c l e s ).     T o d a y   t h e   p r o b l e m   o f   de a d l o c i s   s t i l l   c o m m o n   a c t u a l l y .   A c с o rdi ng  t o   S u n’s   b u d a t a b a s e   a t   ht t p : / / b ugs . s u n. c o m /   n e a t w o   t h o us a nd  b ug  re po rt s   o u t   o f   21 00 c o nt a i n   t h e   ke y w o r de a d l o c k .   M o r e o v e m o s t   o f   t h e   m o de rn  o pe ra t i ng   s y s t e m s   i n c l ud i ng   W i ndo w s   a nd   t h e   U N IX   f a m i l y   i g n o re   de a d l o c k   [ 2] .     T o   s o l v i n t h e   p r o b l e m   of   de a dl o c k,   di ff e r e n t   a p p r o a c h e s   h a v e   be e n   de ve l o pe t o   h a n d l e   de a dl o c ks   i n   m u l t i - t a s k i n s y s t e m s ,   i n c l ud i n b o t h   dy n a m i c   [3 ] [ 5]  a nd  s t a t i c   a na l y s e s   [6] [8].   A l t h o ugh   a   n um b e r   o m e t h o ds   a n t o o l s   ha v e   be e n   de ve l o pe t o   i de n t i fy   a n e l i m i na t e   t h e   p r o c e s s e s   de a dl oc i n   c o m put e s y s t e m s ,   t h e y   a r e   n o t   a l w a y s   a ppr o pri a t e   t o   us e   fo r   s o l v i n t h e   p r o b l e m   of  de a dl o c k,   s i n c e   s o m e   of  t h e m   a r e   o n l y   t h e o r e t i c a l   a nd  c a n   n o t   b e   i m pl e m e n t e i n   m o de rn   o p e r a t i n g   s y s t e m s   [9],   [10] .   T h e   o t h e r   p a r t   i t h e   i m p l e m e nt a t i o n   b e c o m e s   r a t h e r   c um b e r s o m e   a n r e s o ur c e - i nt e n s i v e .   T h e r e fo r e ,   de v e l o pe r s   o m o de r n   o pe r a t i o n   s y s t e m s ,   a s   w e l l   a s   de v e l o p e r s   o f   m o d e rn   d a t a b a s e   m a na ge m e n t   s y s t e m ,   do   n o t   i n c l ude   k n o w n   a l go ri t hm s   t o   a v o i de a dl o c o f   pr o c e s s e s .   U n de r   c o n di t i o n s   o a   s m a l l   n um b e r   o f   pr o c e s s e s   i n   t h e   s y s t e m ,   t h e   a b s e n c e   of   s u c h   m e a n s   w a s   pe r m i s s i b l e .   H ow e ve r ,   t h e   r a pi de v e l o pm e n t   o f   h a rdw a r e ,   t h e   g r o w t h   o vo l um e   a n c o n t e n t   o f   s of t w a r e ,   Evaluation Warning : The document was created with Spire.PDF for Python.
In do n e s i a J   E l e c   E ng  &   Co m S c i     IS S N :   2502 - 4752       P r e di c t i on   of   e nt e r i ng   pr oc e s s e s   i nt o   t he   de adl o c k   s t a t e   ( A nd r i i   N i c he por u k )   1485   w h i c h   s o l v e s   l a rge - s c a l e   a n r e s p o n s i b l e   t a s ks ,   s h o ul n o t   a l l o w   t h e   e m e r ge n c e   of   de a dl oc k,   w h i c h   i n   t u rn  r e qui r e s   t h e   de v e l o pm e n t   o f   n e w   a pp r o a c h e s   t o   s o l v i n g   t hi s   p r o b l e m .       2.   P R ED I C TI O N   O F   EN T ER I N G   P R O C ES S ES   I N TO   D E A D LO C K   S TA TE   P r o c e s s   i s   a   s y s t e m   of   a c t i o n s   t ha t   i m pl e m e nt s   a i n t e rn a l   f un c t i o n   i n   a   c o m put e r   s y s t e m   a n i s   de s i gn e i n   s uc h   a   w a y   t h a t   t h e   c o n t r o l   pr o g r a m   o f   t h e   c o m put e r   s y s t e m   c a n   r e di s t ri b ut e   t h e   r e s o ur c e s   of   t h i s   s y s t e m   i o rde t o   p r o v i de   m ul t i t a s k i n g   [ 2 ].   L e t   us   de n o t e   t h e   s e t   of   e xe c ut a b l e   pr o c e s s e s   a s y i i a A 1 } { ,   w h e r e   y   a m o unt   o f   pr o c e s s e s .     A   r e s o ur c e   of   t h e   c o m put e r   s y s t e m   i s   c o m po n e n t   o f   t h e   c om put e r   s y s t e m ,   t h a t   w h i c h   c a n   b e   a l l o c a t e t t h e   pr o c e s s   of   da t a   p r o c e s s i n f o r   a   c e r t a i n   a m o u n t   o f   t i m e .   L e t   us   de n o t e   t h e   s e t   of   a v a i l a b l e   r e s o ur c e s   of   t h e   c o m put e r   s y s t e m   (CS a s x j j re RE 1 } { ,   w h e r e   x   n u m b e r   o f   r e s o ur c e s   t y pe s .   T o   t h e   r e s o ur c e s   of   t h e   CS   w e   w i l l   t a ke   p r e s e nt   m e m o ry ,   pr o c e s s o r s ,   i nput   /   o ut pu t   de v i c e s ,   m e c h a ni s m s   f o r   m ut u a l   e xc l us i o n   ( s e m a p h o r e ,   m ut e x ,   e t c ) ,   a n a l s o   da t a ,   t ha t   n e e de f o r   w o r o f   pr o c e s s e s   (f i l e s   i n   m e m o r y   a n o n   di s d r i v e s ,   r e s ul t s   o f   c a l c ul a t i o n s   of   o t h e r   p r o c e s s e s ,   e t c ).   E a c h   p r o c e s s   f r o m   t h e   m o m e n t   o f   c r e a t i o n   t o   t h e   m o m e nt   o f   t e rm i na t i o pa s s e s   t hr o ug h   a   num b e o f   s t a t e s   a s   s h o w n   i n   F i gu r e   1 .           F i gu r e   1 .   S t a t e   di a g r a m   f o r   p r o c e s s ,   w h i c i n c l ude s   de a dl o c s t a ge       U n de r   t h e   s i g na t u r e   o f   t h e   p r o c e s s ,   w e   w i l l   u n de r s t a nd  t h e   s e t   o f   i t s   c h a ra c t e ri s t i c s ,   w hi c h   u ni que l y   i de nt i f i e s   t h e   s t a t e   o f   t h e   p r o c e s s   i t h e   CS   a t   a   c e r t a i t i m e t :     ) , . .. , , ( ) ( 2 1 t i t i t i i z a a a t a   (1)     w h e r e   A t a i ) (     c urr e n t   p r o c e s s ,   t i t i t i z a a a ,..., , 2 1   a r e   t h e   pr o c e s s   c h a ra c t e ri s t i c s   a t   t h e   c urr e n t   t i m e     (t h e   pa ra m e t e r s   a nd  r e s o ur c e s   t h a t   us e   t h e   p r o c e s s   a t   t h e   m o m e nt ).   T o   t h e   c h a ra c t e ri s t i c s   of  t h e   pr o c e s s   t h a t   ge n e ra t e s   a   s i g na t ur e ,   l e t ' s   t a ke   t h e   f o l l ow i n g:   t h e   pr o c e s s   ID ,   t h e   p a r e nt   p r o c e s s   i de n t i f i e r,   t h e   us e r   ID   t ha t   b e l o n gs   t o   t h e   p r o c e s s ,   t h e   p r o c e s s   pr i o r i t y ,   t h e   p r o c e s s   quo t a s   (t h e   a m o unt   o f   m e m o r y   a n p r o c e s s o r   t i m e   o f   t h e   a v a i l a b l e   pr o c e s s e s a nd  t h e   l i s t   o f   r e s o ur c e s   r e c e i v e d.   A s   t h e   s i g n a t u r e   o f   t h e   p r o c e s s   i n c l u de s   i t s   u ni q ue   c h a ra c t e ri s t i c s ,   t h e n   a t   t h e   s a m e   t i m e   i n   t h e   s y s t e m   t h e r e   a r e   n o t   t w o   a b s o l ut e l y   i de n t i c a l   s i g na t u r e s .   T h e   l i f e   c y c l e   of   t h e   p r o c e s s   c a n   b e   p r e s e n t e a s   a   s e que nc e   o f   s t a t e s   t hr o ug h   w hi c h   t h e   p r o c e s s   pa s s e s   t hr o ug h.   T h e   t ra n s i t i o n   f r o m   s t a t e   t o   s t a t e   o c c ur s   due   t o   a   c h a n ge   i c e r t a i n   pa ra m e t e r s   t ha t   c h a ra c t e ri z e   t h e   pr o c e s s .   Ch a n g i n t h e   pa ra m e t e r s   o t h e   pro c e s s   o c c ur s   fo r   a   n u m b e r   o r e a s o n s :   o pe a r a t i o s y s t e m   (O S )   a c t i o n s ,   t h e   a c t i o n s   of   o t h e r   p r o c e s s e s ,   t h e   e xe c ut i o n   o f   i t s   ow n   pr o g r a m   c o de .   T h e   s t a t e   of   e a c h   i n di v i du a l   p r o c e s s   w i l l   a f fe c t   t h e   s t a t e   o f   t h e   CS   i ge n e r a l .   L e t   de n o t e   t h e   s t a t e   o f   t h e   p r o c e s s   t hr o ugh w ,   r e a s o n   f o r   c h a n g i n g   pa ra m e t e r s   t hr o ug h   r   a nd  t h e   t r a n s i t i o n   f r o m   s t a t e   t o   s t a t e   t hr o ug h 1 i r t h r o u g h p a r a m e t e r s c h a n g i n g i w w j .   T h e t h e   l i f e   c y c l e   o f   t h e   p r o c e s s   c a b e   p r e s e nt e d   (2 ) :   k r k r r r i w w w w a j j j j 1 1 0 ... :   (2)   Evaluation Warning : The document was created with Spire.PDF for Python.
                                IS S N :   2502 - 4752   In do n e s i a n   J   E l e c   E ng  &   Co m S c i ,   V o l .   14 ,   N o .   3 J u n e   20 1 9   :     1484     1492   1486     w h e r e   W w 0   i n i t i a l   s t a t e   o f   t h e   p r o c e s s   (s t a t e   " c r e a t e d" ),   W w k     c o m pl e t i o e xe c ut i o n   o f   t h e   p r o c e s s   (s t a t e   " t e rm i na t e d" ),   W   s e t   of   pr o gr a m   s t a t e s   o f   t h e   p r o c e s s   (F i gu r e   1),   R r j   a   s e t   o f   po s s i b l e   r e a s o n s   fo r   c h a ngi n g   t h e   p r o c e s s   pa ra m e t e r s .   T a k i n g   i nt o   a c c o un t   s t a t e m e nt s   (1 a n d   (2) ,   t h e   l i f e   c y c l e   of   e a c p r o c e s s   c a n   b e   p r e s e n t e a s :     ) ,..., , ( ... ) ,..., , ( ) ,..., , ( : 2 1 1 1 2 1 1 0 0 2 0 1 k z k k j j z j z t i t i t i r r t i t i t i r t i t i t i i a a a a a a a a a a   (3)     I n   m u l t i t a s k i n s y s t e m s   i nt e ra c t i ng  p r o c e s s e s   c a n   ge t   i nt o   a   s t a t e   o f   de a dl o c k   a t   a   c e rt a i n   po i n t   i t i m e .   A c c o r di n t o   t h e   l i f e   c y c l e   of  pr o c e s s e s ,   b e fo r e   e n t e ri ng  t h e   s t a t e   of   de a dl o c ki n g,   p r o c e s s e s   a r e   i n   o t h e r   s t a t e s ,   s uc us   c r e a t e d,   w a i t i n g,   r u nni n g   a nd  b l o c ke i s   s how n   i F i gu r e   1 .   T o   t h e   s t a t e   o f   t h e   de a d l o c k,   pr o c e s s e s   ge t ,   a s   a   r ul e ,   f r o m   t h e   b l o c ke s t a t e .   Co n s e que nt l y ,   a m o n a   s e t   o f   pr o c e s s e s ,   i t   i s   po s s i b l e   t a l l o c a t e   a   s ub s e t   of   pr o c e s s e s ,   w h i c h   c a n   a t   t h e   n e xt   t i m e   ge t   i nt o   t h e   s t a t e   o f   de a dl oc k.   B e fo r e   e n t e ri n t h e   s t a t e   o f   d e a dl o c k ,   t h e   p r o c e s s   w i l l   be   i n   a   c e rt a i n   " b o un da r y "   s t a t e ,   a f t e r   w h i c h   t h e   p r o b a b i l i t y   of   t r a n s i t i o n   t o   t h e   s t a t e   o f   de a dl o c k   w i l l   b e   h i g h.   P r o c e s s e s   de a dl o c k   l e a ds   t o   pa r t i a l   o c o m pl e t e   l o s s   o f   f un c t i o na l i t y   of   t h e   CS .   T h e r e f o r e ,   l e t   us   c o n s i de r   t h e   s t a t e   o f   d e a dl o c k   pr o c e s s e s   i n   t h e   n o n - w o r ki ng  s t a t e   of   t h e   CS ,   a nd  o t h e s t a t e s   o f   pr o c e s s e s   -   t h e   w o r ki n g   s t a t e   o f   t h e   CS .   W e   w i l l   a t t ri b ut e   t o   t h e   w o r ki n s t a t e   t h e   fo l l ow i n p r o c e s s   s t a t e s :   c r e a t e d,   r u nni n g ,   t e rm i na t e a n d   w a i t i n g .   T o   t h e   " b o un d a r y "   s t a t e   r e f e r   t h e   s t a t e   " b l o c ke d" .     L e t ' s   pr e s e n t   t h e   p r o c e s s '   w a y   t h a t   e nt e r s   t h e   s t a t e   of   de a dl oc k,   i n   t h e   fo r m   o f   t h e   fo l l ow i n s c h e m e   a s   s h o w n   i F i gu r e   2 .           F i gu r e   2 T h e   s c h e m e   o f   pr o c e s s e s   t ra n s i t i o t o   t h e   s t a t e   o f   de a dl o c k       A s   c a n   b e   s e e n   f r o m   t h e   s c h e m e ,   t h e   o c c urr e n c e   o f   pr o c e s s e s   de a dl o c i s   po s s i b l e   o n l y   f o r   a   pa rt   o t h e   p r o c e s s e s   t h a t   a r e   i t h e   b o un da r y   s t a t e .   I t h e   t ra n s i t i o n   o f   pr o c e s s e s   t o   t h e   b o un da r y   s t a t e   t h e r e   i s   a   c h a nge   i t h e i p a r a m e t e r s .   Co n s i de r   t h e   l i f e   c y c l e   of   t h e   p r o c e s s .   A t   t h e   t i m e   o f   c r e a t i o n   (t h e   s t a t e   c r e a t e d)  t h e   p r o c e s s   i s   i n   w o r ki n s t a t e ,   i t   i s   p r o v i de w i t h   pa rt   o f   t h e   s y s t e m   r e s o ur c e s .   D e n o t e   t hi s   s t a t e   of   t h e   p r o c e s s   a s   ) ( t s w o r k A t   s o m e   po i n t   i n   t i m e ,   t h e   p r o c e s s   fo r   f ur t h e r   e xe c ut i o r e qu i r e s   a dd i t i o n a l   s y s t e m   r e s o ur c e s   t h a t   a r e   c urr e n t l y   un a v a i l a b l e .   T h e r e   i s   a   t ra n s i t i o n   o f   t h e   pr o c e s s   t t h e   s t a t e   o b l o c k e d,   t ha t   i s ,   t h e   pr o c e s s   f a l l s   i n t o   t h e   b o un da r y   s t a t e .   D e n o t e   t h i s   s t a t e   o f   t h e   p r o c e s s   a s   ) ( t s b o un d   a nd  t h e   t ra n s i t i o t o   t hi s   s t a t e ,     as ) ( ) ( t s t s b o u n d re n e e d r e s o u r c e w o r k i .   A t   s a t i s f a c t i o n   o f   n e c e s s i t i e s   of   pr o c e s s   i n   r e s o ur c e s   i t   go e s   b a c k   i n t o   t h e   w o r ki n g   s t a t e ,   t h a t   i s   c a rr i e s   o ut   t h e   t ra n s i t i o ) ( ) ( t s t s w o r k re r e s o u r c e a p r o v id in g b o u n d i   W h e n   t h e   n e c e s s a r y   r e s o ur c e   c a n   n o t   b e   o b t a i n e due   t o   i t s   u s e   by   a n o t h e p r o c e s s ,   t h e   p r o c e s s   r e m a i n s   i t h e   bo un da r y   s t a t e .   If   t h e   s e c o n p r o c e s s ,   e xpe c t s   t h e   r e s o ur c e   o c c upi e by   t h e   f i r s t   p r o c e s s ,   t h e n   b o t o f   t h e m   f a l l   i n t o   t h e   de a dl o c s t a t e .   D e n o t e   t hi s   s t a t e   o t h e   pr o c e s s   a s   ) ( t s d e a d l o c k   a nd  t h e   t r a n s i t i o n   t o   t hi s   s t a t e ,     a s   ) ( ) ( t s t s de ad l oc k re r e s ou r c e t he c ap t ur e re r e s ou r c e f or w ait i ng bo un d i i .   T h us ,   t a ki ng  i n t o   a c c o un t   (3 ),   t h e   p r o c e s s   l i f e   c y c l e   w i l l   h a v e   o n e   o f   t h e   f o l l ow i n v a r i a nt s :   Evaluation Warning : The document was created with Spire.PDF for Python.
In do n e s i a J   E l e c   E ng  &   Co m S c i     IS S N :   2502 - 4752       P r e di c t i on   of   e nt e r i ng   pr oc e s s e s   i nt o   t he   de adl o c k   s t a t e   ( A nd r i i   N i c he por u k )   1487   1)   T h e   pr o c e s s   i s   c r e a t e d,   i t   i s   pr o v i de w i t h   a l l   n e c e s s a r y   r e s o ur c e s   t o   c o m pl e t e   t h e   w o r k,   i t   i s   e xe c ut e d   a n t e rm i n a t e (t h e   p r o c e s s   i s   a l w a y s   i n   w o r ki n g   s t a t e   ) ( t s w o r k ) :     k r r i s s s a j j 1 0 :   (4)     w h e r e   w o r k k w o r k w o r k s s s s s s , , 1 0 .   2)   T h e   p r o c e s s   i s   c r e a t e d,   i t   ha s   b e e n   p r o v i de w i t s o m e   o f   t he   r e s o ur c e s   r e qu i r e t o   c o m pl e t e   t h e   w o r k,     i t   n e e ds   a ddi t i o n a l   r e s o ur c e s ,   a f t e r   a   w h i l e   h e   r e c e i v e s   t h e m ,   r u n s   a n t e r m i n a t e s   (t h e   pr o c e s s   i s   i n i t i a l l y   i n   w o r ki n o r de r   ) ( t s w o r k t h e n   t ra n s f e r s   t o   ) ( ) ( t s t s b o u n d re n e e d r e s o u r c e w o r k i   t h e   b o un da r y   s t a t e   ) ( t s b o un d   a n t h e n   ) ( ) ( t s t s w o r k re r e s o u r c e a p r o v id in g b o u n d i   a ga i n   t o   t h e   w o r ki n s t a t e   ) ( t s w o r k :     k r r l r r i s s s a j j j j ... ... : 0   (5)     w h e r e   w o r k k boun d l w o r k s s s s s s , , 0 .   3)   T h e   p r o c e s s   i s   c r e a t e d,   i t   ha s   b e e n   p r o v i de w i t s o m e   o f   t he   r e s o ur c e s   r e qu i r e t o   c o m pl e t e   t h e   w o r k,     i t   n e e ds   a ddi t i o n a l   r e s o ur c e s ,   t h a t   h o l ds   a n o t h e r   p r o c e s s   w h i c h   i n   t u rn   r e qu i r e s   t h e   r e s o ur c e s   of   t h e   f i r s t   pr o c e s s   (t h e   pr o c e s s   i s   i n i t i a l l y   i n   w o r ki ng  o r de r   ) ( t s w o r k ,   t h e n   t r a n s f e r s   t o   ) ( ) ( t s t s b o u n d re n e e d r e s o u r c e w o r k i   t h e   b o un da r y   s t a t e   ) ( t s b o un d ,   f r o m   w hi c t h e   t ra n s i t i o o c c ur s   ) ( ) ( t s t s de ad l oc k re r e s ou r c e t he c ap t ur e re r e s ou r c e f or w ait i ng bo un d i i   t o   t h e   de a dl o c s t a t e ).     x r n r r m x r l r r i s s s a s s s a j j j j j j ... : ... : 0 0   (6)     w h e r e   de adlo c k x bou nd n bou nd l w or k s s s s s s s s , , , 0 .   F r o m   t h e   a b o ve   c o n s i de r e po s s i b l e   v a r i a nt s   o f   t h e   b e h a v i o r   o f   pr o c e s s e s   c r i t i c a l   f o r   t h e   CS   i s   t h e   l a s t ,   i n   w h i c h   p r o c e s s e s   f a l l   i n t o   t h e   de a d l o c s t a t e .   A s   c a n   b e   s e e n   f r o m   F i gu r e   2,   t h e   f o r e c a s t i ng  o f   t h e   p r o c e s s '   s t a t e   i n c l ude s   t w o   s t a ge s :   de f i n i t i o n   a   s e t   of   pr o c e s s e s   t h a t   c a n   f a l l   i nt o   t h e   s t a t e   o f   de a dl oc a nd  a l l o c a t i o n   a   p r o c e s s e s '   s e t   of   a   g r o up  o f   pr o c e s s e s   t h a t   f a l l   i nt o   t h e   de a dl o c s t a t e .   T hus ,   t h e   m e t h o f o r   p r e di c t i o n   o f   e n t e ri n p r o c e s s e s   i n t o   t h e   de a d l o c s t a t e   w i l l   c o n t a i t w o   pa r t s   (a l go r i t hm s ).   A c c o r di n g   t o   [11 ],   t h e   m o de l   f o r   f o r e c a s t i n t h e   p r o c e s s e s ’  s t a t e   i n c l ude s   t h e   f o l l o w i n v a l ue s :     R P D S A M , , , ,   (7)     w h e r e   A   i s   t h e   s e t   o f   pr o c e s s e s ’  s i gna t u r e   pe r f o r m e i n   t h e   CS   a t   t h e   m o m e nt ;   S     o r de r e s e que n c e   of  c h a ra c t e ri s t i c s   o f   t h e   c o m put e r   s y s t e m   (t o t a l   a m o u n t   o f   R A M ,   e xt e rna l   m e m o r y ,   t h e   a m o u n t   o f   f r e e   m e m o r y   a t   t h e   m o m e nt ,   t h e   num b e r   o pe r i p h e r a l   de v i c e s );   D     s u b s e t   of  pr o c e s s e s   s i gn a t u r e s   t ha t   a r e   i n   a   s t a t e   s i m i l a r   t o   t h e   de a dl o c s t a t e   (i n   t h e   b o un da r y   s t a t e );   P     a   s e t   of   r ul e s   o n   t h e   b a s i s   of  w h i c h   a   g r o up  of  pr o c e s s e s   t h a t   f a l l   i nt o   t h e   de a dl o c s t a t e   i s   de t e r m i n e d ;   R     prob a b i l i t i e s   v e c t o r   of  t r a n s i t i o n   t o   t h e   de a dl o c k   s t a t e   o f   pr o c e s s e s   f r o m   a   s ub s e t   D .   A l gor i t hm   1.   D e t e c t i o o f   po t e n t i a l   p r o c e s s e s   t ha t   m a y   f a l l   i nt o   t h e   de a dl o c (de t e c t i o n   o f   pr o c e s s e s   i n   t h e   b o un da r y   s t a t e ):   1)   If   A a k   n e e ds   a   r e s o ur c e   R r i ,   t h e go   t o   2;   2)   If   A a k   i s   i n   a   s t a t e   ) ( t s w o r k ,   t h e go   t o   3;   e l s e   go   t o   4 ;   3)   P e r f o r m   f o r   A a k   t r a n s i t i o n   f r o m   w o r ki ng  s t a t e   t o   b o un da r y   ) ( ) ( t s t s b o u n d re n e e d r e s o u r c e w o r k i   a n i n c l ude   A a k   t o   A D .   G o   t o   4 .   4)   If   A a k   o b t a i t h e   r e s o ur c e   RE re i   t h e go   t o   5;   e l s e   go   t o   6;   Evaluation Warning : The document was created with Spire.PDF for Python.
                                IS S N :   2502 - 4752   In do n e s i a n   J   E l e c   E ng  &   Co m S c i ,   V o l .   14 ,   N o .   3 J u n e   20 1 9   :     1484     1492   1488   5)   Co m pl e t e   fo r   A a k   t r a n s i t i o n   f r o m   t h e   bo un da r y   s t a t e   t t h e   w o r ki n g   ) ( ) ( t s t s w o r k re r e s o u r c e a p r o v id in g b o u n d i   a n d   e xc l ude   A a k   f r o m   A D .   G o   t o   4;   6)   If   t h e   w h o l e   s e t   A   i s   c h e c ke t h e go   t o   7 ;   e l s e   go   t o   1 ;     7)   E n o f   t h e   a l go ri t hm .   T o   de t e r m i n e   t h e   p r o c e s s e s   t ha t   f a l l   i nt o   t h e   de a dl o c s t a t e ,   t h e   f uz z y   i n f e r e n c e   s y s t e m   (F IS )   of  fo r e c a s t i n g   t h e   s t a t e   o f   p r o c e s s e s   w a s   us e [12].   T h e   s ub s y s t e m   o f   f uz z i f i c a t i o n   i s   i nt e n de t o   de t e r m i n e   t h e   de gr e e   o f   b e l o n gi ng  o f   t h e   i n pu t   v a l ue s   h g S D X X x g , 1 , ,   t o   f uz z y   s e t s ,   w h i c h   a r e   l i n gu i s t i c   v a ri a b l e s   f r o m   t h e   c o r re s po n di n l i ngui s t i c   s c a l e } , . . . , , { 2 1 g x g g g g m x x x x T T T T ,   w h e r e   g x m     t h e   n u m b e r   o f   l i n gui s t i c   v a ri a b l e s   i n   t h e   g - t h   s c a l e .   T h e   n e e fo r   f uz z i f i c a t i o n   i s   due   t o   t h e   f a c t   t h a t   F IS   us e s   l i n gui s t i c   r u l e s .     T h e   r u l e   b a s e   c o n t a i n i ng  l i ngui s t i c   r u l e s   i s   t h e   b a s i s   of  t h e   m e c ha n i s m   o f   f uz z y   c o n c l us i o n.     T h e   m e c h a ni s m   o f   f uz z y   c o n c l us i o n   c a rri e s   o ut   t h e   m a ppi n g   o f   i n pu t   f uz z y   s e t s   g x T   by   us i n e a c h   rul e ,     i n   t h e   o ut pu t   y T   f r o m   a   s e t   o f   o ut put   l i ngui s t i c   v a r i a b l e s   } ,..., , { 2 1 y m y y y y T T T T .   E a c h   rul e   i t h e   r u l e   b a s e   n j P P j , 1 }, {   p r e s e n t s   a s   f o l l ow s :     y j x h x x j T y t h e n T x T x T x if P h , ... 2 1 2 1   (8)     O ut put   f uz z y   s e t s   i y   o f   e a c h   r ul e   a r e   c o m b i n e d   i nt o   o n e   f uz z y   s e t   o f   c o n c l us i o n s   y ~ .   A f t e r   t h a t ,   t h e   s ub s y s t e m   of   d e f uz z i f i c a t i o n   m a ps   a   f uz z y   s e t   of   c o n c l us i o n s   y ~   i n   a   c l e a r   n u m b e r   y w h i c w i l l   b e   t h e   r e s ul t   o f   F IS   fo r   gi v e i nput   v a l ue s   g x .   A l gor i t hm   2.   P r o c e s s e s   de t e c t i o n   t ha t   f a l l i ng  i n t o   t h e   s t a t e   o f   d e a dl o c k:   1.   N o r m a l i z a t i o o f   t h e   p r o c e s '   c h a ra c t e ri s t i c s   o f   t h e   CS   us i n g   t h e   f o l l ow i n g   f o r m ul a :     0 , 1 d m d m d n P P P P P P   (9)     w h e r e ,   m d n P P P , ,     n o rm a l i z e d,   c urr e nt   a n d   m a xi m a l   v a l ue   o f   pr o c e s s '   c h a ra c t e ri s t i c ,   r e s pe c t i v e l y ;     2.   F o r   e a c 1 X x g S D X h g , 1 de t e r m i n a t i o n   t h e   de gr e e   o f   be l o n gi n t o   t he   f uz z y   s e t s   o i n put   (de g r e e s   o f   t r ut ) ( g i g x ).   3.   F o r   e a c r u l e   p ,   t h e   t h e   f i r i ng  s t r e ngt j a i s   t h us   c o m put e d,   a s :     )) ( ) , . . . , ( ), ( m i n ( 2 2 1 1 h j h j j j x x x a   (10)     4.   B a s e o n   t h e   f i r i ng  s t r e ngt j a s   de f i n e   a o ut put   f uz z y   s e t   w i t a   t r u n c a t e m e m b e r s h i p   f un c t i o j :     )) ( , m i n ( ) ( y a y j j j   (11)     5.   Co m b i n e   t h e   o ut pu t s   o b t a i n e f o r   e a c r ul e   i n   s t e (o b t a i c o n c l us i o n i n t o   a   s i n g l e   f uz z y   s e t ,   us i n a   f uz z y   a gg r e ga t i o o pe r a t o r:     r j y y j , 1 ) ) , ( m a x ( ~   (12)       6.   M a ps   a   f uz z y   s e t   y ~   t o   a   c r i s p   s e t   us i n g   c e n t r o i d   m e t h o d:     Evaluation Warning : The document was created with Spire.PDF for Python.
In do n e s i a J   E l e c   E ng  &   Co m S c i     IS S N :   2502 - 4752       P r e di c t i on   of   e nt e r i ng   pr oc e s s e s   i nt o   t he   de adl o c k   s t a t e   ( A nd r i i   N i c he por u k )   1489   t t C C y C C y dx x f dx x f x y 1 1 ) ( ) ( ~ ~   (13)     7.   R e p e a t   t h e   s t e ps   1 - 6   k   t i m e s   f o r   a l l   p r o c e s s e s   i n   t h e   b o un da r y   s t a t e .   8.   E n o f   t h e   a l go ri t hm .         3.   TI M C O M P LEX I TY   O F   P R O P O S ED   M E TH O D   F o r   e v a l ua t e   t i m e   c o m pl e xi t y   of   t h e   m e t h o f o r   pr e di c t i o n   of   e n t e r i ng  p r o c e s s e s   i n t o   t h e   de a dl o c s t a t e ,   t h e   w e b   s e r v e r   A pa c h e w i t h   P H P   5 M y S Q L   s ql   s e r v e r   a n v i r t u a l   e n v i r o nm e nt   Q e m [13 w e r e   us e d.   T o   ve r i fy   t h e   pr o po s e m e t h o t h e   s i m p l e   ph s c r i p t   w a s   l a u n c e o n   s e r v e r ,   w h i c h   i n   t h e   c a s e   of   pa r a l l e l   e xe c ut i o n   l e a ds   t o   t h e   o c c urr e n c e   o f   de a dl o c k.   A e xa m pl e   o f   a   p h p   s c ri pt   f o r   t e s t i n i s   g i v e n   b e l ow :     $s ql   =   " SE L E CT   CO U NT ( *)   F R O t   " $ x   =   m y s q l _qu e r y ( $s ql ) ;   $r   =   m y s q l _f e t c h_r ow ( $x ) ;$m ax _i d   =   $r [ 0 ] ;   $i d1   =   r and( 0, $m a x _ i d) do  {   $i d2   =   r a nd( 0, $m ax _ i d) }   w hi l e   ( $i d1= = $i d2) ;   m y s ql _qu e r y ( " ST A R T   T R A N SA CT IO N ;" ) ;   $s ql =   " s e l e c t   a   f r om   t   w he r e   i d   =   $ i d1   f or   upda t e " m y s ql _ que r y ( $s ql 1)   //   Choos i ng  a   t upl e   f or   c al c u l at i on   us l e e p( 100) / /   D at a   pr oc e s s i ng   s i m u l at i on     $s ql =   " s e l e c t   b   f r om   t   w he r e   i d   =   $ i d2   f or   upda t e " m y s ql _ que r y ( $s ql 2) ;   m y s ql _qu e r y ( " CO MMIT ;" ))     In  t h e   p r e s e nt e c o de ,   b us i n e s s   l o gi c   i s   de l e t e d,   b ut   t h e   s e que n c e   o f   que r i e s   i s   c o m pl e t e l y   s a v e d,   w h i c h,   w h e e xe c ut e i n   pa ra l l e l ,   l e a ds   t o   t h e   a ppe a ra n c e   o f   de a dl o c k.     F i gu r e   s h o w s   t h e   l e v e l   of   de a dl o c i n   t h e   c o m put e r   s y s t e m .   T h e   f i r s t   c u r v e   s h o w s   t h e   l e ve l   of  de a dl o c ki n w h e n   us i n s t a n d a rd  M y S Q L   t oo l s   t de t e c t   b l o c k e t r a n s a c t i o n s .   T h e   s e c o n c ur v e   s h o w s   t h e   l e v e l   o f   de a dl oc ki n g   t ha t   a r o s e   w h e n   us i n g   t h e   p r o po s e m e t h o f o r   p r e di c t i o n   o f   e n t e ri n p r o c e s s e s   i n t o   t h e   de a dl o c s t a t e .           F i gu r e   3 L e v e l   of   de a dl o c i n   c o m put e r   s y s t e m       Th e   t i m e   of   e x e c ut i o n   of   pr o c e s s e s   u s i n d i f fe r e nt   m e c ha n i s m s   f o r   s o l v i n de a d l o c ki n i s   s h o w n   i F i gu r e   4.   T h e   f i r s t   c ur v e   s h o w s   t h e   a v e r a ge   pr o c e s s   e x e c ut i o n   t i m e   us i n a   s t a n d a r m e c h a ni s m   f o r   s o l v i n de a dl o c ki n g .   T h e   s e c o n c u r v e   -   t h e   a v e ra ge   t i m e   o f   e x e c ut i o n   o f   pr o c e s s e s   us i n g   t h e   p r o po s e m e t h o f o r   pr e di c t i o n   o f   e n t e r i ng  p r o c e s s e s   i n t o   t h e   de a dl o c s t a t e .   T h e   t h i r -   t h e   a v e r a ge   t i m e   f o r   e xe c ut i o n   of  pr o c e s s e s   w i t h o ut   o f   de a dl o c ki ng.   Evaluation Warning : The document was created with Spire.PDF for Python.
                                IS S N :   2502 - 4752   In do n e s i a n   J   E l e c   E ng  &   Co m S c i ,   V o l .   14 ,   N o .   3 J u n e   20 1 9   :     1484     1492   1490   In   t h e   c a s e   of   t h e   us e   o f   t h e   s t a n d a r m e c ha n i s m   f o r   de t e c t i n de a d l o c ki n g,   a   s i g n i f i c a n t   i n c r e a s e   i e xe c ut i o n   t i m e   i s   o b s e r v e e ve n   w i t h   a   s m a l l   n u m b e r   o f   p a r a l l e l   p r o c e s s e s .   D ur i n g   t hi s   pe r i o d,   t h e r e   i s   n o   s i g n i f i c a n t   l o a o n   t h e   p r o c e s s o r   (n o   m o r e   t h a 20%) ,   s i n c e   pr o c e s s e s   a w a i t   a c c e s s   t o   b l oc ke r e s o ur c e s   fo r   m o s t   o f   t h e   t i m e .   In   t h e   c a s e   w h e n   t h e r e   a r e   n o   de a dl o c ki n p r o c e s s e s ,   t h e   t i m e   of   t h e i r   e xe c ut i o n   i n c r e a s e s   s l i g ht l y   (by   3%  fo r   t h e   n u m b e r   o pa ra l l e l   p r o c e s s e s   25  a n t h e   l e v e l   of   l o a di ng  o t h e   pr o c e s s o r   i s   n o t   m o r e     t h a 20% ).   T h e   us e   of   t h e   pr o po s e d   m e t h o fo r   pr e di c t i o n   o f   e n t e ri n p r o c e s s e s   i n t o   t h e   de a dl o c s t a t e s h o w s   a   m uc s l o w e r   gr o w t o f   t h e   a v e ra ge   p r o c e s s   e x e c ut i o n   t i m e ,   unde t h e   s a m e   c o n di t i o n s .   T h e   r e duc t i o n   i t h e   e xe c ut i o n   t i m e   o f   pr o c e s s e s   i n   t h e   e xe c ut i o o f   a   s i n gl e   s t r e a m   i s   due   t o   t h e   l a c k   o f   de l a y s   a s s oc i a t e w i t h   t h e   e xpe c t a t i o o f   t h e   r e l e a s e   o f   t h e   r e s o ur c e .           F i gu r e   4 D e pe nde n c e   o f   t h e   p r o c e s s i n t i m e   o f   r e que s t s   f r o m   t h e   n u m b e r   o f   pa r a l l e l   p r o c e s s e s       A ddi t i o n a l ,   i n   t h e   c o ur s e   of   t h e   s t u dy ,   a   c o m pa ri s o n   w a s   m a de   b e t w e e n   t h e   e xe c ut i o n   t i m e   o f   t h e   t r a n s a c t i o p h a s e s   a t   t h e   m a xi m u m   l o a o f   t h e   s y s t e m   a n t h e   di f f e r e n t   o pe r a t i n g   m o de s ,   a s   s h o w n     i n   F i gu r e   5.           F i gu r e   5 . T i m e l i n e s   f o r   c o m pl e t i o o f   t ra n s a c t i o n   p h a s e s       a w i t h o ut   de a dl o c ki n g;   b de a dl o c w i t h   s t a n d a r de t e c t i o n ;   c de a dl o c w i t h   p r e di c t i o n.     (1  -   P r e pa ra t i o n;   2   -   R u nn i ng  a   t r a n s a c t i o n;   3   -   E xpe c t i ng  t h e   r e l e a s e   o f   t h e   t upl e   i d1 ;   4   -   R u nn i ng  t h e   1s t   S E L E CT ;   -   P r o c e s s i n t h e   da t a ;   -   E xpe c t i n t h e   r e l e a s e   of   t h e   t upl e   i d2;   -   R unni n t h e   2 n S E L E C T ;   -   Co m pl e t i n g   t h e   t r a n s a c t i o ;   9   -   D e l a y   f r o m   s t a rt up. )   Evaluation Warning : The document was created with Spire.PDF for Python.
In do n e s i a J   E l e c   E ng  &   Co m S c i     IS S N :   2502 - 4752       P r e di c t i on   of   e nt e r i ng   pr oc e s s e s   i nt o   t he   de adl o c k   s t a t e   ( A nd r i i   N i c he por u k )   1491   In  F i gu r e   5 . a   p r e s e n t s   a   t i m e l i n e   f o r   t h e   e xe c ut i o n   o f   t h e   pha s e s   o f   t h e   t r a n s a c t i o n ,   p r o v i de t ha t   w h e n   i t   i s   e xe c ut e t h e r e   t h e r e   w a s   n o   de a dl o c ki ng.   T h e   a v e ra ge   t r a n s a c t i o t i m e   w a s   27. m s ,   o f   w h i c 11. m s   (41% t o o t h e   e xpe c t a t i o o f   b l o c k e r e s o ur c e s .   I n   t h e   c o ur s e   of   t h e   s t udy ,   36%  o f   t h e s e   t ra n s a c t i o n s   w e r e   de t e c t e d.   In   F i gu r e   5 . b   p r e s e n t s   a   t i m e l i n e   f o r   de a dl o c ki n t w o   t r a n s a c t i o n s   w i t h   a   s t a n d a r m e c ha n i s m   f o r   s o l v i n t h e m .   T r ans a c t i on  1   a t   f i r s t   a c c e s s   ( 4)  t o   t h e   d a t a b a s e   t a b l e   s e l e c t s   a nd  b l o c ks   t h e   t upl e   w i t i d1   ke y .   T r ans ac t i o 2   b e gi n s   t o   r u n   m s   l a t e r   t ha n   T r ans ac t i on  1   a n a t   f i r s t   a c c e s s   (4)  s e l e c t s   a n b l oc ks   t h e   e n t r y   w i t h   i d2   ke y .   A f t e r   pr o c e s s i n t h e   r e c e i ve da t a   (5),   t r ans ac t i on  1   r e f e r s   t o   t h e   t upl e   w i t h   i d2 .   S i n c e   i t   i s   l o c ke d,   t h e   t ra n s a c t i o n   pa s s e s   t o   w a i t i n f o r   t h e   r e l e a s e   o f   t h e   r e s o ur c e   (6).   I t u rn,   t r ans ac t i o 2   a t t e m pt   t a c c e s s   t o   t h e   t upl e   w i t h   i d1 .   It   a l s o   h a l o c ke a n t r ans a c t i on  2   e nt e r s   s t a n dby   m o de   fo r   t h e   r e l e a s e   of   t h e   r e s o ur c e   (6).   T h e   p r o c e s s e s   f a l l   i n t o   t h e   de a d l o c a n d   c a n   n o t   i n de pe n de n t l y   e xi t   t h e   c y c l e   of   e n dl e s s   e xpe c t a t i o n s .   T o   de c i de a dl o c t h e   c o m put e r   s y s t e m   pe r i o di c a l l y   a na l y z i n t h e   g r a p h   o pr o c e s s e s   a n r e s o ur c e s .   S i n c e   t h e   t a s i s   a l go r i t h m i c a l l y   c o m pl e x,   i t   i s   e xe c ut e a t   i nt e r v a l s   of   t i m e   i n   150 - 200 m s .     A f t e r   de t e c t i n de a d l o c k,   o n e   o t h e   pr o c e s s e s   t h a t   l a t e r   l o gge i n   i s   f o r c i b l y   t e r m i na t e a nd  r e s t a r t e d .   A n o t h e o f   t h e   b l o c ke pr o c e s s e s   c o n t i n ue s   t o   r u n .   L a r ge   t i m e   i nt e r v a l s   b e t w e e n   r e pe a t e a na l y z e s   of   t h e   gra p h   l e a t o   s i g ni f i c a n t   de l a y s   i n   de a dl o c de t e c t i ng.   T h e   a v e r a ge   p r o c e s s   t i m e   t h a t   h a b e e n   pe r f o r m e r e pe a t e dl y   i s   128. m s ,   t h e   p r o c e s s   t h a t   c o nt i n ue   r u nni n a f t e r   t h e   de a d l o c ki n g -   104 . m s .   D u r i ng  t h e   s t udy   of   s uc h   t r a n s a c t i o n s ,   i t   t u rn e d   o u t   t o   b e   32%,   a s   t h e   p r o c e s s e s   i t h e   de a dl o c f a l l   i p a i r s .   In  F i gu r e   5 .   a   t i m e l i n e   f o r   de a d l o c ki n g   o f   t w o   t r a n s a c t i o n s   w i t p r e di c t i o n   o f   de a db l oc ki n g   i s   pr e s e nt e d.   By   t h e   t i m e   o t h e   r e que s t   i n   t r ans ac t i o 2   t upl e   w i t h   t h e   ke y   i d2 ,   t i m e l i n e s   a r e   i de n t i c al.   A t   t h e   m o m e n t   o f   t hi s   r e que s t   (6) ,   t r ans a c t i on  2   f a l l s   i n t o   t h e   b o un da r y   s t a t e   a n f o r   i t   t h e   p r e di c t i o n   i s   c a rr i e o ut .   T h e   pr e di c t i o n   t i m e   i s   a b o ut   10m s .   A s   a   r e s ul t   o f   t h e   pr e di c t i o n ,   t h e   p r o b a b i l i t y   o de a db l o c ki n o pr o c e s s e s   i s   de t e rm i n e d ,   a f t e r   w h i c h   o n e   o f   t h e m   i s   s e l e c t e d.   T h i s   p r o c e s s   i s   t e r m i na t e a n i s   r e s t a r t e d .   T h e   a v e r a ge   e xe c ut i o n   t i m e   o f   t h e   pr o c e s s   t h a t   w a s   pe r f o r m e r e pe a t e d l y   i s   55. m s .   T h e   p r o c e s s   t h a t   c o n t i n ue a f t e de a dl o c k -   30. m s .   A s   a   r e s ul t   o f   t h e   s t udy ,   32%  o f   t h e s e   t ra n s a c t i o n s   w e r e   de t e c t e d .   T h us ,   f r o m   t h e   o b t a i n e s t udi e s ,   t h e   a v e r a ge   t ra n s a c t i o n   t i m e   w i t h   t h e   s t a n da rd  m e c ha n i s m   f o r   de t e c t i n de a dl o c ki n w a s   84, m s ,   a n w i t p r e di c t i o o f   i nt e rl o c ki n g   37 , m s ,   w hi c i s   2. t i m e s   l e s s .       4.   C O N C LU S I O N   In  t hi s   p a pe r,   w e   a n a l y z e t h e   p r o b l e m   o f   pr o c e s s e s ’  de a dl o c i n   t h e   m u l t i - t a s ki n g   s y s t e m .   O t h e   b a s i s   of  t h e   s t udy   of   t h e   l i f e   c y c l e   of   t h e   pr o c e s s ,   t h e   bounda r y   s t a t e   of  t h e   p r o c e s s   w a s   di s t i ngui s h e d,     w h i c h   w i l l   p r e c e de   t h e   de a d l o c s t a t e .   P r o po s e t h e   m e t ho fo r   p r e di c t i o o f   e n t e r i ng  p r o c e s s e s   i n t o   t h e   de a dl o c s t a t e ,   w hi c h   c o n s i s t s   o f   t w o   a l go r i t hm s :   a l go ri t hm   of   de t e c t i o n   of   po t e n t i a l   p r o c e s s e s   t h a t   m a y   f a l l   i n t o   t h e   de a dl o c a n a l go ri t hm   o pr o c e s s e s   de t e c t i o n   t h a t   fa l l i n i nt o   t h e   s t a t e   o de a dl o c k.   A n   e v a l ua t i o n   o f   t i m e   c o m pl e xi t y   of   pr o po s e m e t h o i s   c o n duc t e d.   A pp l i c a t i o n   o f   t h e   m e t h o f o r   pr e di c t i o n   o f   e n t e r i ng  pr o c e s s e s   i nt o   t h e   de a dl o c s t a t e   ha s   r e duc e t h e   t i m e   o f   e xe c ut i o n   o f   pr o c e s s e s   i n   2 , t i m e s ,   t ha t   a l l o w s   m o r e   e f f i c i e n t   us e   o f   c o m put e r   s y s t e m   r e s o ur c e s .   U n l i ke   t h e   k n o w n   m e t h o ds   a n a l go r i t h m s ,   p r o po s e d   m e t h o us e   f uz z y   l o gi c   c o m po n e nt s   t o   de t e c t   t w o   o r   m o re   pr o c e s s e s   t h a t   f a l l   i nt o   t h e   s t a t e   of   de a dl o c k,     a n t h us   do   n o t   m a ke   t h e   a l go ri t hm   c um b e r s o m e ,   w h i c a l l o w s   i t   t o   b e   us e i m o de rn  o pe r a t i ng  s y s t e m s .       R EF ER EN C ES   [ 1]     M .   S a m a k,   M . K .   R a m a n a t ha n ,   " T r a c e   d r i v e dy na m i c   de a dl o c de t e c t i o a n r e p r o duc t i o n ",   I P r oc e e di ng s   o f   t he   19t h   A C M   SI G P L A N   s y m po s i um   o P r i nc i pl e s   and   p r ac t i c e   o f   par a l l e l   pr ogr am m i ng ,   pp .   29 - 42 ,   2014 .   [ 2]     A . S .   T a ne n ba um ,   H .   B o s ,   " M o de r n   O pe r a t i ng   S y s t e m s " ,   P e a r s o P L S .   p.   1 136 ,   2014 .   [ 3]     P .   J o s hi ,   M .   N a i k ,   K .   S e n ,   D .   G a y ,   " A e f f e c t i v e   d y na m i c   a na l y s i s   f o r   de t e c t i ng   g e ne r a l i z e de a d l o c ks " ,     I P r oc e e di ngs   of   t he   e i gh t e e nt A C M   SI G SO F T   i nt e r n at i ona l   s y m pos i um   on  F ound at i on s   o f   s of t w ar e   e ngi ne e r i ng pp.   32 7 - 336,   2 010 .     [ 4]     P .   J o s h i ,   C . S .   P a r k ,   K .   S e n ,   M .   N a i k ,   " A   r a ndo m i z e d   d y na m i c   pr o g r a m   a na l y s i s   t e c hni q ue   f o r   de t e c t i ng   r e a l   de a d l o c ks " I n   P r oc e e di ngs   of   t he   30 t A C M   S I G P L A N   C on f e r e nc e   on  P r ogr am m i ng  L a ngua ge   D e s i gn  a nd   I m pl e m e nt a t i o n ,   pp .   110 - 12 0,   20 09 .   [ 5]     Y .   C a i ,   W . K .   C ha n,   " M a g i c F uz z e r :   S c a l a bl e   de a dl o c de t e c t i o f o r   l a r g e - s c a l e   a ppl i c a t i o ns " ,   In   P r oc e e di ngs   of   34t h   I nt e r n at i on al   C on f e r e nc e   on   So f t w ar e   E n gi ne e r i n g ,   20 12 .     [ 6]     A .   S o l e i m a ny ,   Z .   G i y a hi ,   " A E f f i c i e nt   D i s t r i but e D e a d l o c D e t e c t i o a n P r e v e nt i o A l g o r i t hm   by   D a e m o ns " ,   I nt e r n at i on al   J o ur n al   o f   C om put e r   Sc i e nc e   a nd  N e t w or k   Se c u r i t y ,   v o l .   1 2,   no .   4,   p p.   15 0 - 155 ,   2 012 .   [ 7]     S .   H u ,   e t   a l . ,   " T a g g e r :   P r a c t i c a l   P F C   D e a d l o c P r e v e n t i o i D a t a   C e nt e r   N e t w o r k s " ,   I P r oc e e di ng s   o f   t he   13 t h   I nt e r n at i on al   C on f e r e nc e   on   e m e r gi ng   N e t w or k i n E x pe r i m e n t s   an T e c hn ol o gi e s ,   p p.   45 1 - 463 ,   2 017 .   [ 8]     S .   H u ,   e t   a l . ,   " D e a dl o c ks   i da t a c e n t e r   n e t w o r ks :   W h y   do   t he y   f o r m ,   a n ho w   t o   a v o i t he m ",   I n   P r oc e e di ngs   of   t he   15t h   A C M   W or k s hop   o H o t   T op i c s   i n   N e t w or k s ,   pp.   92 98 ,   201 6 .   Evaluation Warning : The document was created with Spire.PDF for Python.
                                IS S N :   2502 - 4752   In do n e s i a n   J   E l e c   E ng  &   Co m S c i ,   V o l .   14 ,   N o .   3 J u n e   20 1 9   :     1484     1492   1492   [ 9]     L .   B o us s a i d ,   S .   Z o ua o ui ,   M .   A bde l l a t i f ,   " P r i o r i t y   ba s e r o un r o bi ( P B R R )   C P U   s c he du l i ng   a l g o r i t hm " ,   I nt e r n at i on al   J o ur n al   o f   E l e c t r i c al   a nd  C om pu t e r   E n gi ne e r i n ( I J E C E ) ,   v o l .   9 ,   no .   1,   pp .   190 - 2 02,   2 019 .   [ 10]     N .   S r i l a t h a ,   M .   S r a v a n i ,   Y .   D i v y a ,   " O pt i m a l   R o un R o bi C P U   S c he du l i ng   A l g o r i t hm   U s i ng   M a nha t t a D i s t a nc e " ,   I nt e r n at i on al   J o ur n al   o f   E l e c t r i c al   a nd  C om pu t e r   E n gi ne e r i n ( I J E C E ) ,   v o l .   7 ,   no .   6,   pp .   366 4 - 3668 ,   201 7.   [ 11]     F .   S c hm i dt ,   M .   N i e pe r t ,   F .   H ui c i ,   " R e pr e s e nt a t i o L e a r n i ng   f o r   R e s o ur c e   U s a g e   P r e d i c t i o n" ,   I n   P r oc e e di ngs   of   18 t h   Sy s M L   C on f e r e nc e ,   pp .   1 - 3,   2 018 .   [ 12]     A .   M o f f a q,   e t   a l . ,   " F uz z y   L og i c   ba s e E dg e   D e t e c t i o M e t ho f o r   I m a g e   P r o c e s s i ng " ,   I n t e r nat i o nal   J ou r na l   o f   E l e c t r i c al   an C om put e r   E ng i ne e r i ng   ( I J E C E ) ,   v o l . 8 ,   no . 3 ,   pp. 1863 - 1869,   20 18.   [ 13]     O .   P o m o r ov a ,   O .   S a v e nko ,   S .   L y s e nko ,   A .   N i c he po r uk,   " M e t a m o r phi c   V i r us e s   D e t e c t i o T e c hni que   b a s e o t he   t he   M o d i f i e d   E m u l a t o r s " ,   C E U R - W S ,   v o l .   161 4,   pp .   375 - 38 3,   20 16 .         B I O G R A P H I ES   O F   A U T H O R S         A ndr i i   N i c he po r uk   o b t a i ne d   hi s   P hD   de g r e e   i 20 18.   H e   h a s   be e n   a ppo i n t e a s   a   S e n i o r   L e c t ur e r   i D e pa r t m e nt   o f   C o m put e r   E ng i n e e r i ng   a nd  S y s t e m   P r o g r a m m i ng ,   K hm e l ny t s ky i   N a t i o na l   U ni v e r s i t y ,   U kr a i n e .   H i s   r e s e a r c i nt e r e s t   i nc l ude s   de t e c t i o o f   m a l w a r e ,   r e v e r s e   e ng i n e e r i ng ,   r o bo t i c s   a n s o f t w a r e   p r o g r a m i ng .             Y ur i y   K l o t s   o bt a i ne hi s   P hD   de g r e e   i 20 07 .   H e   i s   A s s i s t a n t   P r o f f e s o r   i D e pa r t m e n t   o f   C o m put e r   E ng i ne e r i ng   a nd   S y s t e m   P r o g r a m m i ng ,   K hm e l ny t s ky i   N a t i o na l   U n i v e r s i t y .   H i s   a r e a   o f   r e s e a r c i n t e r e s t   i nc l ude s   pa t t e r r e c o g ni t i o n,   s o f t w a r e   p r o g r a m i ng ,   di a g no s i ng   c o m put e s y s t e m s   a n ne t w o r ks .           O ks a n a   Y a s hy na   o bt a i ne hi s   P hD   de g r e e   i 20 15.   S he   i s   A s s i s t a nt   P r o f f e s o r   i D e pa r t m e nt   o f   S o f t w a r e   E ng i ne e r i ng ,   K hm e l ny t s ky i   N a t i o na l   U n i v e r s i t y .   H e r   a r e a   o f   r e s e a r c i n t e r e s t   i nc l u de s   s o f t w a r e   pr o g r a m i ng ,   pr o bl e m   o f   de a d l o c pr o c e s s e s ,   r e s e a r c h   a nd   i nt r o duc t i o o f   s m a r t   t e c hno l o g i e s   i n   v a r i o us   s p he r e s   o f   hum a n   l i f e .           S e r g i y   M o s t ovy i   r e c e i v e t he   m a s t e r s   de g r e e   i C o m put e r   E ng i ne e r i ng   f r o m   t he   K hm e l ny t s ky i   N a t i o na l   U ni v e r s i t y ,   i 2008 .   H i s   r e s e a r c i nt e r e s t   i nc l ud e s   i nt e r a c t i o be t w e e p r o c e s s e s   i n   W i ndo w s   a nd  L i n ux  o pe r a t i ng   s y s t e m s ,   s o f t w a r e   pr o g r a m i ng   a nd   s y s t e m   a dm i n i s t r a t i o n .           Y ur i y   N i c he po r uk  r e c e i v e t he   m a s t e r s   de g r e e   i C o m put e r   E ng i ne e r i ng   f r o m   t he   K hm e l ny t s ky i   N a t i o na l   U ni v e r s i t y ,   i 20 17.   C ur r e n t l y   h i   i s   po s t g r a du a t e   s t ud e nt .   H i s   r e s e a r c i nt e r e s t   i nc l u de s   s o f t w a r e   pr o g r a m i ng ,   c r y pt og r a phy   a nd  n e t w o r k   s e c ur i t y ,     Evaluation Warning : The document was created with Spire.PDF for Python.