Concurrency: State Models and Java Programs

Rabin, M.O. 120

range 19, 374–375

range type 19

read/write lock 123, 147, 148, 150, 154

Readers–Writers problem 146–154

applet display 152

implementation 150–152

modeling 146–150

revised implementation 153–154

revised model 153–154

ReadWrite interface 151

ReadWriteSafe class 151

real-time 277

receive 209–211, 215

Receiver class 212–215

rectangle method 260

recursive locking 73, 74, 78

RedCar class 131, 132

Redell, D.D. 104

Reiss, S.P. 274

relabeling 48–49, 51, 59, 60, 381–382, 393

relabeling functions 48–49

Remote Method Invocation (RMI) 232

rendezvous 209–232, 273

applet display 227, 228

definition 209, 226, 232

in Java 226–228

modeling 228–231

and monitor method invocation 231–232

reply 226

reply method 226

request-reply 225

requirements specification 160

Result class 262, 263

resume() 26

rigid 357

Robson, D. 274

ROOM 180

Roscoe, A.W. 317

Rotator class 56, 57

Rumbaugh, J. 25, 31, 180

run() 24–26, 29, 30, 295

Runnable 25, 26, 29