Last update: Wed Sep 26 02:07:32 MDT 2018
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Hartley:1992:ELS,
author = "Stephen J. Hartley",
title = "Experience with the language {SR} in an undergraduate
operating systems course",
journal = j-SIGCSE,
volume = "24",
number = "1",
pages = "176--180",
month = mar,
year = "1992",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/135250.134546",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:17 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "In undergraduate operating systems classes, students
learn about concurrent process synchronization,
including such things as shared data, race conditions,
critical sections, mutual exclusion, semaphores,
monitors, and the test-and-set hardware instruction.
They also study interprocess communication, message
passing, rendezvous, and remote procedure calls.
Solutions to classical problems, such as the dining
philosophers, producers and consumers, bounded buffers,
and readers and writers, are presented using the above
concepts. However, students need to write programs in a
language that provides facilities for concurrent
programming in order to appreciate fully the above
concepts. This paper describes the SR language and
discusses its successful use as an environment for
concurrent programming in an undergraduate operating
systems class.",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}
Related entries
- appreciate,
24(1)181,
25(4)33,
27(1)302,
28(1)348,
30(1)365,
30(3)228,
31(3)13
- bounded,
26(1)344
- buffer,
26(1)344
- call,
22(3)39,
23(2)51,
23(4)13,
26(1)150,
26(1)164,
27(3)60,
28(1)78,
28(1)333,
29(1)1,
29(1)53,
29(3)74,
30(1)190,
31(1)170,
31(2)60,
31(2)65,
31(3)60,
31(3)211
- classical,
24(2)59,
26(1)344,
26(4)9,
26(4)59,
27(1)6,
29(3)21,
31(1)43,
31(1)92
- communication,
22(1)6,
22(3)54,
23(1)15,
23(1)330,
23(2)51,
24(1)5,
25(1)279,
25(1)283,
25(3)31,
26(1)111,
26(1)193,
26(1)253,
26(1)314,
26(1)410,
26(2)31,
26(4)5,
27(1)141,
27(1)199,
27(1)273,
28(1)175,
28(1)204,
28(1)280,
28(2)37,
29(1)184,
29(1)219,
29(1)355,
29(1)390,
29(3)1,
29(3)6,
29(3)51,
29(3)80,
29(3)85,
29(3)145,
30(1)97,
30(1)126,
30(3)28,
30(3)51,
30(3)153,
30(3)274,
30(3)275,
30(3)311,
30(4)46,
31(1)189,
31(1)208,
31(3)189,
31(3)190,
31(3)200,
31(3)206
- concurrent,
22(1)89,
22(1)94,
22(1)206,
22(2)38,
23(1)309,
23(3)7,
24(1)46,
26(3)22,
26(4)59,
27(1)82,
27(1)214,
27(2)31,
28(1)165,
28(1)180,
29(3)77,
30(1)217,
30(1)247,
30(3)185,
31(1)252,
31(1)367,
31(3)13,
31(3)91,
31(4)66
- condition,
27(4)35,
28(1)348,
28(3)55,
29(1)262,
30(3)268,
30(4)32,
30(4)51,
31(1)58,
31(2)60,
31(2)81
- consumers,
26(1)344
- critical,
23(4)13,
24(1)246,
26(1)6,
26(1)263,
26(2)9,
27(2)31,
28(1)165,
28(1)204,
28(z)14,
29(1)390,
30(1)35,
30(2)43,
30(3)14,
30(4)61
- dining,
22(3)21,
23(2)60,
24(1)276,
26(1)344,
26(3)22
- exclusion,
23(2)60,
24(2)35,
24(3)45,
28(1)170,
29(3)62
- facility,
22(2)15,
22(2)38,
23(2)51,
23(3)7,
23(3)31,
24(1)57,
24(1)113,
26(1)407,
27(1)268,
27(4)51,
28(1)165,
28(1)280,
28(2)40,
29(1)174,
29(3)94,
30(1)297,
30(3)134,
30(3)148,
30(3)254,
31(1)12,
31(1)114,
31(1)155,
31(1)165,
31(1)286,
31(3)127,
31(3)151,
31(4)52
- fully,
25(3)39,
26(3)56,
27(1)163,
27(1)345,
28(1)83,
28(1)155,
28(4)55,
29(4)38,
30(1)97,
30(1)202,
30(1)232,
30(3)55,
31(1)63,
31(1)247
- hardware,
24(1)57,
24(1)113,
24(1)168,
24(1)181,
24(1)304,
25(2)24,
26(1)183,
26(1)349,
26(4)17,
26(4)59,
27(1)44,
27(1)71,
27(1)76,
27(1)163,
27(1)355,
27(3)15,
28(1)47,
30(1)25,
30(1)341,
30(4)46,
31(1)63,
31(1)155,
31(3)187,
31(4)70,
31(4)79
- Hartley, Stephen J.,
22(3)34,
22(4)55,
26(1)344,
28(z)8,
30(1)247,
30(4)18,
31(1)58
- however,
22(2)2,
22(2)52,
22(4)37,
23(3)36,
23(4)13,
24(1)173,
24(2)20,
24(3)51,
24(4)11,
26(3)56,
27(1)44,
27(1)214,
27(1)263,
28(1)83,
28(1)93,
28(1)310,
28(1)363,
28(2)25,
28(3)26,
29(1)6,
29(1)20,
29(1)219,
29(1)229,
29(1)243,
29(2)17,
29(3)1,
29(3)77,
29(3)100,
29(3)114,
29(3)127,
29(3)130,
30(1)20,
30(1)112,
30(1)145,
30(2)43,
30(2)53,
30(3)41,
30(3)46,
30(3)122,
30(3)162,
30(3)175,
30(3)213,
30(3)243,
30(4)39,
31(1)31,
31(1)43,
31(1)58,
31(1)122,
31(1)296,
31(2)17,
31(2)62,
31(3)171,
31(3)177,
31(4)70,
31(4)79,
31(4)121
- including,
22(1)245,
22(2)11,
24(1)192,
24(4)1,
26(1)92,
26(1)97,
26(1)349,
26(1)387,
26(3)56,
28(1)112,
28(1)150,
28(1)165,
29(1)44,
29(1)96,
29(1)233,
29(1)371,
29(2)31,
29(3)42,
30(1)45,
30(1)82,
30(1)217,
30(1)341,
30(1)365,
30(2)31,
30(2)61,
30(4)18,
31(1)17,
31(1)68,
31(1)237,
31(1)306,
31(2)69,
31(3)139,
31(3)205,
31(3)206
- instruction,
23(2)9,
23(3)57,
23(4)55,
24(1)163,
24(4)49,
25(1)78,
25(2)19,
25(2)29,
26(1)97,
26(1)183,
26(1)198,
26(1)324,
26(1)400,
26(3)22,
26(3)45,
27(1)268,
27(1)297,
27(1)350,
27(4)35,
28(1)73,
28(1)93,
28(1)256,
28(1)266,
28(1)280,
28(1)295,
28(3)9,
28(z)101,
28(z)153,
29(1)25,
29(1)53,
29(1)174,
29(1)393,
29(4)30,
29(4)45,
30(1)131,
30(1)171,
30(1)222,
30(1)237,
30(1)272,
30(1)307,
30(3)14,
30(3)69,
30(3)130,
30(3)148,
30(4)18,
31(1)37,
31(1)146,
31(1)150,
31(3)36,
31(3)88,
31(3)99,
31(3)208
- interprocess,
23(2)51,
29(1)219
- learn,
23(3)17,
24(1)147,
24(1)286,
24(3)60,
26(1)169,
26(1)300,
26(1)309,
26(1)314,
26(2)9,
26(2)52,
26(4)5,
26(4)25,
27(1)1,
27(1)6,
27(1)199,
27(1)287,
27(1)302,
27(2)7,
28(1)47,
28(1)295,
28(2)3,
28(3)23,
29(1)20,
29(1)25,
29(1)39,
29(1)63,
29(1)121,
29(1)315,
29(1)390,
29(3)54,
29(3)71,
30(1)6,
30(1)126,
30(1)194,
30(1)282,
30(1)312,
30(1)341,
30(1)383,
30(2)48,
30(3)21,
30(3)51,
30(3)98,
30(3)307,
31(1)68,
31(1)160,
31(1)184,
31(3)1,
31(3)56,
31(3)167,
31(3)207,
31(4)4,
31(4)42,
31(4)50
- message,
24(1)138,
24(2)35,
26(1)344,
27(1)141,
27(1)322,
27(4)1,
28(1)237,
29(1)272,
29(3)54,
29(4)30,
30(3)157,
30(4)37,
31(2)65,
31(3)91,
31(3)209,
31(4)2
- monitor,
23(3)7,
26(3)22,
27(2)31,
27(4)51,
28(1)165,
28(2)40,
29(1)272,
29(1)301,
29(1)345,
30(1)237,
31(1)58,
31(1)367,
31(3)60
- mutual,
23(2)60,
24(2)35,
24(3)45,
28(1)170,
29(3)62,
30(4)51
- order,
22(2)52,
22(3)34,
24(1)72,
24(1)76,
24(1)163,
24(1)286,
24(2)2,
24(3)14,
24(3)29,
25(3)26,
25(4)33,
25(4)41,
26(1)16,
26(1)92,
26(1)141,
26(1)319,
26(2)61,
27(1)287,
27(1)340,
27(2)2,
27(4)9,
27(4)51,
28(1)37,
28(1)160,
28(1)175,
28(1)195,
28(1)290,
28(2)40,
28(3)55,
28(4)36,
29(1)58,
29(1)72,
29(1)77,
29(2)17,
29(3)51,
30(1)140,
30(3)102,
30(3)175,
30(3)189,
30(4)5,
31(1)87,
31(2)62,
31(2)78,
31(2)84,
31(2)86,
31(3)99,
31(3)163,
31(3)199,
31(4)79
- passing,
23(1)283,
25(1)10,
26(1)92,
26(4)9,
27(1)116,
28(1)305,
29(1)35,
29(1)82,
29(1)272,
31(3)91
- philosopher,
22(3)21,
23(2)60,
24(1)276,
26(1)41,
26(1)344,
26(3)22
- procedure,
22(3)7,
24(1)28,
25(1)122,
25(3)52,
26(1)263,
26(1)366,
27(2)18,
28(1)195,
28(1)242,
28(3)51,
28(3)60,
29(1)189,
30(1)302,
30(1)383,
30(3)125,
31(2)17,
31(3)211
- producers,
26(1)344
- race,
31(1)58
- readers,
26(1)238,
26(1)344,
28(2)25,
30(1)97
- remote,
28(1)333,
28(z)153,
30(1)1,
30(1)145,
31(1)208,
31(1)311,
31(3)111,
31(3)196
- rendezvous,
24(2)35,
30(1)237,
30(3)185
- section,
22(2)30,
23(2)24,
24(1)87,
24(3)1,
24(4)1,
24(4)43,
26(1)188,
27(1)48,
28(1)165,
28(1)195,
28(4)15,
29(1)209,
29(1)214,
29(1)262,
30(1)87,
30(1)97,
31(1)286,
31(2)31,
31(2)65,
31(3)127,
31(3)135
- semaphore,
23(3)7,
24(3)45,
26(1)344,
26(3)8,
30(1)237
- shared,
23(3)7,
27(1)297,
30(3)130,
31(3)68,
31(3)84,
31(3)196
- solution,
22(1)201,
22(2)42,
22(3)21,
23(2)39,
23(2)60,
24(1)129,
24(1)220,
24(2)35,
25(3)39,
25(4)33,
25(4)41,
26(1)213,
26(3)8,
27(1)340,
27(1)350,
27(1)355,
28(1)256,
28(1)343,
28(2)31,
28(3)23,
28(4)36,
28(z)139,
29(1)39,
29(1)145,
29(1)238,
29(1)335,
29(1)384,
29(3)100,
29(3)114,
29(4)34,
30(1)6,
30(1)82,
30(1)140,
30(1)185,
30(1)366,
30(1)370,
30(2)64,
30(3)37,
30(3)122,
30(3)162,
30(3)171,
30(3)193,
30(3)257,
31(1)17,
31(1)43,
31(1)53,
31(1)78,
31(1)110,
31(1)360,
31(2)73,
31(3)139,
31(3)203
- SR,
27(2)31
- successful,
22(2)15,
23(4)13,
24(1)147,
24(1)207,
25(1)299,
25(2)51,
26(1)16,
26(1)141,
26(3)22,
26(4)17,
27(1)116,
27(4)5,
27(4)9,
28(1)204,
28(1)319,
28(1)378,
28(3)55,
28(4)45,
29(1)1,
29(1)179,
29(1)209,
29(3)40,
29(3)91,
29(3)117,
30(1)25,
30(1)153,
30(1)302,
30(3)243,
31(1)370,
31(2)37,
31(3)9
- synchronization,
22(1)6,
24(3)45,
25(1)218,
26(1)344,
27(2)31,
29(1)53,
31(1)58,
31(1)367
- thing,
27(1)44,
28(1)348,
30(1)107,
30(1)383,
31(4)32
- write,
23(2)51,
24(1)147,
24(3)57,
24(4)49,
26(1)66,
26(2)9,
27(1)214,
27(1)307,
28(1)348,
28(3)9,
29(1)77,
29(1)126,
29(3)24,
30(1)232,
30(2)36,
30(3)59,
31(1)189,
31(2)65,
31(4)42
- writers,
26(1)344