/ PSION CD 2 / PsionCDVol2.iso / Programs / 876 / hugs.sis / Semaphore.lhs

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 0a 25 20 28 63 29 20 | 54 68 65 20 47 52 41 53 |%.% (c) |The GRAS|
|00000010| 50 2f 41 51 55 41 20 50 | 72 6f 6a 65 63 74 2c 20 |P/AQUA P|roject, |
|00000020| 47 6c 61 73 67 6f 77 20 | 55 6e 69 76 65 72 73 69 |Glasgow |Universi|
|00000030| 74 79 2c 20 31 39 39 35 | 0a 25 0a 5c 73 65 63 74 |ty, 1995|.%.\sect|
|00000040| 69 6f 6e 5b 53 65 6d 61 | 70 68 6f 72 65 5d 7b 51 |ion[Sema|phore]{Q|
|00000050| 75 61 6e 74 69 74 79 20 | 73 65 6d 61 70 68 6f 72 |uantity |semaphor|
|00000060| 65 73 7d 0a 0a 47 65 6e | 65 72 61 6c 2f 71 75 61 |es}..Gen|eral/qua|
|00000070| 6e 74 69 74 79 20 73 65 | 6d 61 70 68 6f 72 65 73 |ntity se|maphores|
|00000080| 0a 0a 5c 62 65 67 69 6e | 7b 63 6f 64 65 7d 0a 6d |..\begin|{code}.m|
|00000090| 6f 64 75 6c 65 20 53 65 | 6d 61 70 68 6f 72 65 0a |odule Se|maphore.|
|000000a0| 20 20 20 20 20 20 28 0a | 20 20 20 20 20 20 20 7b |      (.|       {|
|000000b0| 2d 20 61 62 73 74 72 61 | 63 74 20 2d 7d 0a 20 20 |- abstra|ct -}.  |
|000000c0| 20 20 20 20 20 51 53 65 | 6d 2c 0a 0a 20 20 20 20 |     QSe|m,..    |
|000000d0| 20 20 20 6e 65 77 51 53 | 65 6d 2c 09 09 2d 2d 3a |   newQS|em,..--:|
|000000e0| 3a 20 49 6e 74 20 20 2d | 3e 20 49 4f 20 51 53 65 |: Int  -|> IO QSe|
|000000f0| 6d 0a 20 20 20 20 20 20 | 20 77 61 69 74 51 53 65 |m.      | waitQSe|
|00000100| 6d 2c 09 2d 2d 3a 3a 20 | 51 53 65 6d 20 2d 3e 20 |m,.--:: |QSem -> |
|00000110| 49 4f 20 28 29 0a 20 20 | 20 20 20 20 20 73 69 67 |IO ().  |     sig|
|00000120| 6e 61 6c 51 53 65 6d 2c | 09 2d 2d 3a 3a 20 51 53 |nalQSem,|.--:: QS|
|00000130| 65 6d 20 2d 3e 20 49 4f | 20 28 29 0a 0a 20 20 20 |em -> IO| ()..   |
|00000140| 20 20 20 20 7b 2d 20 61 | 62 73 74 72 61 63 74 20 |    {- a|bstract |
|00000150| 2d 7d 0a 20 20 20 20 20 | 20 20 51 53 65 6d 4e 2c |-}.     |  QSemN,|
|00000160| 0a 20 20 20 20 20 20 20 | 6e 65 77 51 53 65 6d 4e |.       |newQSemN|
|00000170| 2c 09 2d 2d 3a 3a 20 49 | 6e 74 20 20 20 2d 3e 20 |,.--:: I|nt   -> |
|00000180| 49 4f 20 51 53 65 6d 4e | 0a 20 20 20 20 20 20 20 |IO QSemN|.       |
|00000190| 77 61 69 74 51 53 65 6d | 4e 2c 09 2d 2d 3a 3a 20 |waitQSem|N,.--:: |
|000001a0| 51 53 65 6d 4e 20 2d 3e | 20 49 6e 74 20 2d 3e 20 |QSemN ->| Int -> |
|000001b0| 49 4f 20 28 29 0a 20 20 | 20 20 20 20 20 73 69 67 |IO ().  |     sig|
|000001c0| 6e 61 6c 51 53 65 6d 4e | 09 2d 2d 3a 3a 20 51 53 |nalQSemN|.--:: QS|
|000001d0| 65 6d 4e 20 2d 3e 20 49 | 6e 74 20 2d 3e 20 49 4f |emN -> I|nt -> IO|
|000001e0| 20 28 29 0a 09 0a 20 20 | 20 20 20 20 29 20 77 68 | ()...  |    ) wh|
|000001f0| 65 72 65 0a 0a 69 6d 70 | 6f 72 74 20 43 6f 6e 63 |ere..imp|ort Conc|
|00000200| 42 61 73 65 0a 5c 65 6e | 64 7b 63 6f 64 65 7d 0a |Base.\en|d{code}.|
|00000210| 0a 47 65 6e 65 72 61 6c | 20 73 65 6d 61 70 68 6f |.General| semapho|
|00000220| 72 65 73 20 61 72 65 20 | 61 6c 73 6f 20 69 6d 70 |res are |also imp|
|00000230| 6c 65 6d 65 6e 74 65 64 | 20 72 65 61 64 69 6c 79 |lemented| readily|
|00000240| 20 69 6e 20 74 65 72 6d | 73 20 6f 66 20 73 68 61 | in term|s of sha|
|00000250| 72 65 64 0a 40 4d 56 61 | 72 40 73 2c 20 6f 6e 6c |red.@MVa|r@s, onl|
|00000260| 79 20 68 61 76 65 20 74 | 6f 20 63 61 74 63 68 20 |y have t|o catch |
|00000270| 74 68 65 20 63 61 73 65 | 20 77 68 65 6e 20 74 68 |the case| when th|
|00000280| 65 20 73 65 6d 61 70 68 | 6f 72 65 20 69 73 20 74 |e semaph|ore is t|
|00000290| 72 69 65 64 0a 77 61 69 | 74 65 64 20 6f 6e 20 77 |ried.wai|ted on w|
|000002a0| 68 65 6e 20 69 74 20 69 | 73 20 65 6d 70 74 79 20 |hen it i|s empty |
|000002b0| 28 3d 3d 30 29 2e 20 49 | 6d 70 6c 65 6d 65 6e 74 |(==0). I|mplement|
|000002c0| 20 74 68 69 73 20 69 6e | 20 74 68 65 20 73 61 6d | this in| the sam|
|000002d0| 65 20 77 61 79 20 61 73 | 0a 73 68 61 72 65 64 20 |e way as|.shared |
|000002e0| 76 61 72 69 61 62 6c 65 | 73 20 61 72 65 20 69 6d |variable|s are im|
|000002f0| 70 6c 65 6d 65 6e 74 65 | 64 20 2d 20 6d 61 69 6e |plemente|d - main|
|00000300| 74 61 69 6e 69 6e 67 20 | 61 20 6c 69 73 74 20 6f |taining |a list o|
|00000310| 66 20 40 4d 56 61 72 40 | 73 0a 72 65 70 72 65 73 |f @MVar@|s.repres|
|00000320| 65 6e 74 69 6e 67 20 74 | 68 72 65 61 64 73 20 63 |enting t|hreads c|
|00000330| 75 72 72 65 6e 74 6c 79 | 20 77 61 69 74 69 6e 67 |urrently| waiting|
|00000340| 2e 20 54 68 65 20 63 6f | 75 6e 74 65 72 20 69 73 |. The co|unter is|
|00000350| 20 61 20 73 68 61 72 65 | 64 0a 76 61 72 69 61 62 | a share|d.variab|
|00000360| 6c 65 2c 20 65 6e 73 75 | 72 69 6e 67 20 74 68 65 |le, ensu|ring the|
|00000370| 20 6d 75 74 75 61 6c 20 | 65 78 63 6c 75 73 69 6f | mutual |exclusio|
|00000380| 6e 20 6f 6e 20 69 74 73 | 20 61 63 63 65 73 73 2e |n on its| access.|
|00000390| 0a 0a 5c 62 65 67 69 6e | 7b 63 6f 64 65 7d 0a 64 |..\begin|{code}.d|
|000003a0| 61 74 61 20 51 53 65 6d | 20 3d 20 51 53 65 6d 20 |ata QSem| = QSem |
|000003b0| 28 4d 56 61 72 20 28 49 | 6e 74 2c 20 5b 4d 56 61 |(MVar (I|nt, [MVa|
|000003c0| 72 20 28 29 5d 29 29 0a | 0a 6e 65 77 51 53 65 6d |r ()])).|.newQSem|
|000003d0| 20 3a 3a 20 49 6e 74 20 | 2d 3e 20 49 4f 20 51 53 | :: Int |-> IO QS|
|000003e0| 65 6d 0a 6e 65 77 51 53 | 65 6d 20 69 6e 69 74 20 |em.newQS|em init |
|000003f0| 0a 20 3d 20 6e 65 77 4d | 56 61 72 20 28 69 6e 69 |. = newM|Var (ini|
|00000400| 74 2c 5b 5d 29 09 20 20 | 3e 3e 3d 20 5c 20 73 65 |t,[]).  |>>= \ se|
|00000410| 6d 20 2d 3e 0a 20 20 20 | 72 65 74 75 72 6e 20 28 |m ->.   |return (|
|00000420| 51 53 65 6d 20 73 65 6d | 29 0a 0a 77 61 69 74 51 |QSem sem|)..waitQ|
|00000430| 53 65 6d 20 3a 3a 20 51 | 53 65 6d 20 2d 3e 20 49 |Sem :: Q|Sem -> I|
|00000440| 4f 20 28 29 0a 77 61 69 | 74 51 53 65 6d 20 28 51 |O ().wai|tQSem (Q|
|00000450| 53 65 6d 20 73 65 6d 29 | 0a 20 3d 20 74 61 6b 65 |Sem sem)|. = take|
|00000460| 4d 56 61 72 20 73 65 6d | 20 09 3e 3e 3d 20 5c 20 |MVar sem| .>>= \ |
|00000470| 28 61 76 61 69 6c 2c 62 | 6c 6f 63 6b 65 64 29 20 |(avail,b|locked) |
|00000480| 2d 3e 20 20 20 20 2d 2d | 20 67 61 69 6e 20 65 78 |->    --| gain ex|
|00000490| 2e 20 61 63 63 65 73 73 | 0a 20 20 20 69 66 20 61 |. access|.   if a|
|000004a0| 76 61 69 6c 20 3e 20 30 | 20 74 68 65 6e 0a 20 20 |vail > 0| then.  |
|000004b0| 20 20 20 70 75 74 4d 56 | 61 72 20 73 65 6d 20 28 |   putMV|ar sem (|
|000004c0| 61 76 61 69 6c 2d 31 2c | 5b 5d 29 20 3e 3e 20 0a |avail-1,|[]) >> .|
|000004d0| 20 20 20 20 20 72 65 74 | 75 72 6e 20 28 29 0a 20 |     ret|urn (). |
|000004e0| 20 20 65 6c 73 65 0a 20 | 20 20 20 20 6e 65 77 45 |  else. |    newE|
|000004f0| 6d 70 74 79 4d 56 61 72 | 20 20 20 20 20 20 20 3e |mptyMVar|       >|
|00000500| 3e 3d 20 5c 20 62 6c 6f | 63 6b 20 2d 3e 0a 20 20 |>= \ blo|ck ->.  |
|00000510| 20 20 20 7b 2d 0a 09 53 | 74 75 66 66 20 74 68 65 |   {-..S|tuff the|
|00000520| 20 72 65 61 64 65 72 20 | 61 74 20 74 68 65 20 62 | reader |at the b|
|00000530| 61 63 6b 20 6f 66 20 74 | 68 65 20 71 75 65 75 65 |ack of t|he queue|
|00000540| 2c 0a 09 73 6f 20 61 73 | 20 74 6f 20 70 72 65 73 |,..so as| to pres|
|00000550| 65 72 76 65 20 77 61 69 | 74 69 6e 67 20 6f 72 64 |erve wai|ting ord|
|00000560| 65 72 2e 20 41 20 73 69 | 67 6e 61 6c 6c 69 6e 67 |er. A si|gnalling|
|00000570| 0a 09 70 72 6f 63 65 73 | 73 20 74 68 65 6e 20 6f |..proces|s then o|
|00000580| 6e 6c 79 20 68 61 76 65 | 20 74 6f 20 70 69 63 6b |nly have| to pick|
|00000590| 20 74 68 65 20 4d 56 61 | 72 20 61 74 20 74 68 65 | the MVa|r at the|
|000005a0| 0a 09 66 72 6f 6e 74 20 | 6f 66 20 74 68 65 20 62 |..front |of the b|
|000005b0| 6c 6f 63 6b 65 64 20 6c | 69 73 74 2e 0a 0a 09 54 |locked l|ist....T|
|000005c0| 68 65 20 76 65 72 73 69 | 6f 6e 20 6f 66 20 77 61 |he versi|on of wa|
|000005d0| 69 74 51 53 65 6d 20 67 | 69 76 65 6e 20 69 6e 20 |itQSem g|iven in |
|000005e0| 74 68 65 20 70 61 70 65 | 72 20 63 6f 75 6c 64 0a |the pape|r could.|
|000005f0| 09 6c 65 61 64 20 74 6f | 20 73 74 61 72 76 61 74 |.lead to| starvat|
|00000600| 69 6f 6e 2e 0a 20 20 20 | 20 20 2d 7d 0a 20 20 20 |ion..   |  -}.   |
|00000610| 20 20 70 75 74 4d 56 61 | 72 20 73 65 6d 20 28 30 |  putMVa|r sem (0|
|00000620| 2c 20 62 6c 6f 63 6b 65 | 64 2b 2b 5b 62 6c 6f 63 |, blocke|d++[bloc|
|00000630| 6b 5d 29 20 3e 3e 20 0a | 20 20 20 20 20 74 61 6b |k]) >> .|     tak|
|00000640| 65 4d 56 61 72 20 62 6c | 6f 63 6b 09 09 20 20 20 |eMVar bl|ock..   |
|00000650| 20 20 20 20 3e 3e 3d 20 | 5c 20 76 20 2d 3e 0a 20 |    >>= |\ v ->. |
|00000660| 20 20 20 20 72 65 74 75 | 72 6e 20 76 0a 0a 73 69 |    retu|rn v..si|
|00000670| 67 6e 61 6c 51 53 65 6d | 20 3a 3a 20 51 53 65 6d |gnalQSem| :: QSem|
|00000680| 20 2d 3e 20 49 4f 20 28 | 29 0a 73 69 67 6e 61 6c | -> IO (|).signal|
|00000690| 51 53 65 6d 20 28 51 53 | 65 6d 20 73 65 6d 29 0a |QSem (QS|em sem).|
|000006a0| 20 3d 20 74 61 6b 65 4d | 56 61 72 20 73 65 6d 20 | = takeM|Var sem |
|000006b0| 20 20 3e 3e 3d 20 5c 20 | 28 61 76 61 69 6c 2c 62 |  >>= \ |(avail,b|
|000006c0| 6c 6f 63 6b 65 64 29 20 | 2d 3e 0a 20 20 20 63 61 |locked) |->.   ca|
|000006d0| 73 65 20 62 6c 6f 63 6b | 65 64 20 6f 66 0a 20 20 |se block|ed of.  |
|000006e0| 20 20 20 5b 5d 20 2d 3e | 20 70 75 74 4d 56 61 72 |   [] ->| putMVar|
|000006f0| 20 73 65 6d 20 28 61 76 | 61 69 6c 2b 31 2c 5b 5d | sem (av|ail+1,[]|
|00000700| 29 20 3e 3e 0a 09 20 20 | 20 72 65 74 75 72 6e 20 |) >>..  | return |
|00000710| 28 29 0a 20 20 20 20 20 | 28 62 6c 6f 63 6b 3a 62 |().     |(block:b|
|00000720| 6c 6f 63 6b 65 64 27 29 | 20 2d 3e 0a 09 20 20 20 |locked')| ->..   |
|00000730| 70 75 74 4d 56 61 72 20 | 73 65 6d 20 28 30 2c 62 |putMVar |sem (0,b|
|00000740| 6c 6f 63 6b 65 64 27 29 | 20 3e 3e 0a 09 20 20 20 |locked')| >>..   |
|00000750| 70 75 74 4d 56 61 72 20 | 62 6c 6f 63 6b 20 28 29 |putMVar |block ()|
|00000760| 20 20 20 20 20 20 20 20 | 20 3e 3e 0a 09 20 20 20 |        | >>..   |
|00000770| 72 65 74 75 72 6e 20 28 | 29 0a 0a 64 61 74 61 20 |return (|)..data |
|00000780| 51 53 65 6d 4e 0a 20 3d | 20 51 53 65 6d 4e 20 28 |QSemN. =| QSemN (|
|00000790| 4d 56 61 72 20 28 49 6e | 74 2c 5b 28 49 6e 74 2c |MVar (In|t,[(Int,|
|000007a0| 4d 56 61 72 20 28 29 29 | 5d 29 29 0a 0a 6e 65 77 |MVar ())|]))..new|
|000007b0| 51 53 65 6d 4e 20 3a 3a | 20 49 6e 74 20 2d 3e 20 |QSemN ::| Int -> |
|000007c0| 49 4f 20 51 53 65 6d 4e | 20 0a 6e 65 77 51 53 65 |IO QSemN| .newQSe|
|000007d0| 6d 4e 20 69 6e 69 74 20 | 0a 20 3d 20 6e 65 77 4d |mN init |. = newM|
|000007e0| 56 61 72 20 28 69 6e 69 | 74 2c 5b 5d 29 09 20 20 |Var (ini|t,[]).  |
|000007f0| 3e 3e 3d 20 5c 20 73 65 | 6d 20 2d 3e 0a 20 20 20 |>>= \ se|m ->.   |
|00000800| 72 65 74 75 72 6e 20 28 | 51 53 65 6d 4e 20 73 65 |return (|QSemN se|
|00000810| 6d 29 0a 0a 77 61 69 74 | 51 53 65 6d 4e 20 3a 3a |m)..wait|QSemN ::|
|00000820| 20 51 53 65 6d 4e 20 2d | 3e 20 49 6e 74 20 2d 3e | QSemN -|> Int ->|
|00000830| 20 49 4f 20 28 29 0a 77 | 61 69 74 51 53 65 6d 4e | IO ().w|aitQSemN|
|00000840| 20 28 51 53 65 6d 4e 20 | 73 65 6d 29 20 73 7a 0a | (QSemN |sem) sz.|
|00000850| 20 3d 20 74 61 6b 65 4d | 56 61 72 20 73 65 6d 20 | = takeM|Var sem |
|00000860| 3e 3e 3d 20 5c 20 28 61 | 76 61 69 6c 2c 62 6c 6f |>>= \ (a|vail,blo|
|00000870| 63 6b 65 64 29 20 2d 3e | 20 20 20 20 2d 2d 20 67 |cked) ->|    -- g|
|00000880| 61 69 6e 20 65 78 2e 20 | 61 63 63 65 73 73 0a 20 |ain ex. |access. |
|00000890| 20 20 69 66 20 61 76 61 | 69 6c 20 3e 20 30 20 74 |  if ava|il > 0 t|
|000008a0| 68 65 6e 0a 20 20 20 20 | 20 70 75 74 4d 56 61 72 |hen.    | putMVar|
|000008b0| 20 73 65 6d 20 28 61 76 | 61 69 6c 2d 31 2c 5b 5d | sem (av|ail-1,[]|
|000008c0| 29 20 3e 3e 0a 20 20 20 | 20 20 72 65 74 75 72 6e |) >>.   |  return|
|000008d0| 20 28 29 0a 20 20 20 65 | 6c 73 65 0a 20 20 20 20 | ().   e|lse.    |
|000008e0| 20 6e 65 77 45 6d 70 74 | 79 4d 56 61 72 20 09 09 | newEmpt|yMVar ..|
|000008f0| 20 20 20 20 20 20 20 20 | 20 20 20 20 3e 3e 3d 20 |        |    >>= |
|00000900| 5c 20 62 6c 6f 63 6b 20 | 2d 3e 0a 20 20 20 20 20 |\ block |->.     |
|00000910| 70 75 74 4d 56 61 72 20 | 73 65 6d 20 28 30 2c 20 |putMVar |sem (0, |
|00000920| 62 6c 6f 63 6b 65 64 2b | 2b 5b 28 73 7a 2c 62 6c |blocked+|+[(sz,bl|
|00000930| 6f 63 6b 29 5d 29 20 3e | 3e 20 0a 20 20 20 20 20 |ock)]) >|> .     |
|00000940| 74 61 6b 65 4d 56 61 72 | 20 62 6c 6f 63 6b 09 09 |takeMVar| block..|
|00000950| 09 20 20 20 20 3e 3e 0a | 20 20 20 20 20 72 65 74 |.    >>.|     ret|
|00000960| 75 72 6e 20 28 29 0a 0a | 0a 73 69 67 6e 61 6c 51 |urn ()..|.signalQ|
|00000970| 53 65 6d 4e 20 3a 3a 20 | 51 53 65 6d 4e 20 2d 3e |SemN :: |QSemN ->|
|00000980| 20 49 6e 74 20 20 2d 3e | 20 49 4f 20 28 29 0a 73 | Int  ->| IO ().s|
|00000990| 69 67 6e 61 6c 51 53 65 | 6d 4e 20 28 51 53 65 6d |ignalQSe|mN (QSem|
|000009a0| 4e 20 73 65 6d 29 20 6e | 0a 20 3d 20 74 61 6b 65 |N sem) n|. = take|
|000009b0| 4d 56 61 72 20 73 65 6d | 20 20 20 09 20 20 09 20 |MVar sem|   .  . |
|000009c0| 3e 3e 3d 20 5c 20 28 61 | 76 61 69 6c 2c 62 6c 6f |>>= \ (a|vail,blo|
|000009d0| 63 6b 65 64 29 20 2d 3e | 0a 20 20 20 66 72 65 65 |cked) ->|.   free|
|000009e0| 20 28 61 76 61 69 6c 2b | 6e 29 20 62 6c 6f 63 6b | (avail+|n) block|
|000009f0| 65 64 20 09 20 3e 3e 3d | 20 5c 20 28 61 76 61 69 |ed . >>=| \ (avai|
|00000a00| 6c 27 2c 62 6c 6f 63 6b | 65 64 27 29 20 2d 3e 0a |l',block|ed') ->.|
|00000a10| 20 20 20 70 75 74 4d 56 | 61 72 20 73 65 6d 20 28 |   putMV|ar sem (|
|00000a20| 61 76 61 69 6c 27 2c 62 | 6c 6f 63 6b 65 64 27 29 |avail',b|locked')|
|00000a30| 20 3e 3e 0a 20 20 20 72 | 65 74 75 72 6e 20 28 29 | >>.   r|eturn ()|
|00000a40| 0a 20 20 20 77 68 65 72 | 65 0a 20 20 20 20 66 72 |.   wher|e.    fr|
|00000a50| 65 65 20 61 76 61 69 6c | 20 5b 5d 20 3d 20 72 65 |ee avail| [] = re|
|00000a60| 74 75 72 6e 20 28 61 76 | 61 69 6c 2c 5b 5d 29 0a |turn (av|ail,[]).|
|00000a70| 20 20 20 20 66 72 65 65 | 20 61 76 61 69 6c 20 28 |    free| avail (|
|00000a80| 28 72 65 71 2c 62 6c 6f | 63 6b 29 3a 62 6c 6f 63 |(req,blo|ck):bloc|
|00000a90| 6b 65 64 29 20 3d 0a 20 | 20 20 20 20 69 66 20 61 |ked) =. |    if a|
|00000aa0| 76 61 69 6c 20 3e 3d 20 | 72 65 71 20 74 68 65 6e |vail >= |req then|
|00000ab0| 0a 09 70 75 74 4d 56 61 | 72 20 62 6c 6f 63 6b 20 |..putMVa|r block |
|00000ac0| 28 29 20 3e 3e 0a 09 66 | 72 65 65 20 28 61 76 61 |() >>..f|ree (ava|
|00000ad0| 69 6c 2d 72 65 71 29 20 | 62 6c 6f 63 6b 65 64 0a |il-req) |blocked.|
|00000ae0| 20 20 20 20 20 65 6c 73 | 65 0a 09 66 72 65 65 20 |     els|e..free |
|00000af0| 61 76 61 69 6c 20 62 6c | 6f 63 6b 65 64 20 3e 3e |avail bl|ocked >>|
|00000b00| 3d 20 5c 20 28 61 76 61 | 69 6c 27 2c 62 6c 6f 63 |= \ (ava|il',bloc|
|00000b10| 6b 65 64 27 29 20 2d 3e | 0a 20 20 20 20 20 20 20 |ked') ->|.       |
|00000b20| 20 72 65 74 75 72 6e 20 | 28 61 76 61 69 6c 27 2c | return |(avail',|
|00000b30| 28 72 65 71 2c 62 6c 6f | 63 6b 29 3a 62 6c 6f 63 |(req,blo|ck):bloc|
|00000b40| 6b 65 64 27 29 0a 5c 65 | 6e 64 7b 63 6f 64 65 7d |ked').\e|nd{code}|
|00000b50| 0a                      |                         |.       |        |
+--------+-------------------------+-------------------------+--------+--------+