Entry Afek:1993:LC from toplas.bib
Last update: Tue May 1 02:05:46 MDT 2012
Top |
Symbols |
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{Afek:1993:LC,
author = "Yehuda Afek and Geoffrey Brown and Michael Merritt",
title = "Lazy Caching",
journal = j-TOPLAS,
volume = "15",
number = "1",
pages = "182--205",
month = jan,
year = "1993",
CODEN = "ATPSDT",
ISSN = "0164-0925 (print), 1558-4593 (electronic)",
ISSN-L = "0164-0925",
bibdate = "Fri Jan 5 07:58:42 MST 1996",
bibsource = "Compiler/TOPLAS.bib;
http://www.math.utah.edu/pub/tex/bib/toplas.bib;
Object/Ooos.bib",
URL = "http://www.acm.org/pubs/toc/Abstracts/0164-0925/151651.html",
abstract = "This paper examines cache consistency conditions for
multiprocessor shared memory systems. It states and
motivates a weaker condition than is normally
implemented. An algorithm is presented that exploits
the weaker condition to achieve greater concurrency.
The algorithm is shown to satisfy the weak consistency
condition. Other properties of the algorithm and
possible extensions are discussed.",
acknowledgement = ack-nhfb # " and " # ack-pb,
fjournal = "ACM Transactions on Programming Languages and
Systems",
keywords = "algorithms; design; reliability; verification",
subject = "{\bf D.4.2}: Software, OPERATING SYSTEMS, Storage
Management, Distributed memories. {\bf B.3.2}:
Hardware, MEMORY STRUCTURES, Design Styles, Cache
memories. {\bf B.3.2}: Hardware, MEMORY STRUCTURES,
Design Styles, Shared memory. {\bf B.3.4}: Hardware,
MEMORY STRUCTURES, Reliability, Testing, and
Fault-Tolerance.",
}
Related entries
- achieve,
11(4)598,
14(3)396,
16(6)1768,
17(3)535,
18(4)424,
21(2)324,
21(4)703,
22(2)224,
22(2)265,
22(5)932,
27(6)1049,
27(6)1147,
27(6)1216,
28(1)134,
28(5)942,
29(1)3,
30(3)17,
32(1)2,
32(1)3,
32(4)14,
34(1)3
- Afek, Yehuda,
16(3)939
- B.3.2,
8(1)142,
10(4)579,
14(2)265,
17(4)561,
18(6)659,
21(4)703,
22(4)673
- cache,
7(1)62,
13(2)269,
14(2)265,
16(6)1768,
17(4)561,
18(4)424,
18(6)659,
19(5)804,
20(3)546,
21(4)703,
21(5)977,
22(3)490,
26(2)263,
29(2)12,
31(6)20,
32(4)13
- caching,
7(1)62,
8(1)88,
18(1)16,
20(3)546
- concurrency,
4(1)44,
7(2)244,
7(2)270,
7(2)348,
7(3)404,
7(4)622,
8(2)244,
9(1)25,
9(2)235,
9(3)350,
9(4)618,
10(1)156,
10(3)374,
10(3)420,
10(4)579,
11(1)90,
11(2)249,
11(4)562,
12(2)178,
12(2)203,
12(3)396,
13(1)124,
15(1)36,
15(3)563,
15(5)771,
16(6)1719,
17(3)535,
18(3)268,
19(2)292,
19(6)899,
20(3)483,
21(2)240,
21(4)747,
21(5)914,
22(3)506,
26(5)769,
27(6)1270,
30(5)27,
31(1)1,
31(5)19,
32(4)14,
32(5)16,
32(5)18,
33(1)2,
34(1)4
- condition,
4(2)179,
4(2)226,
4(4)711,
8(4)547,
9(4)491,
11(4)633,
12(3)463,
12(4)643,
13(1)150,
16(2)259,
16(3)687,
16(6)1875,
17(1)63,
18(2)175,
18(3)325,
19(3)427,
19(5)804,
19(6)1053,
20(3)635,
21(6)1137,
22(1)162,
22(2)296,
27(6)1216,
27(6)1270,
28(2)207,
28(2)256,
28(5)942,
31(1)1,
31(2)7,
31(4)14,
31(5)18,
33(1)4,
33(4)14,
34(1)2
- consistency,
4(3)382,
10(2)189,
13(2)237,
17(2)264,
19(3)492,
20(6)1131,
21(3)677,
21(6)1196,
22(6)1002,
32(3)9,
34(1)4
- D.4.2,
7(1)62,
7(1)80,
10(4)555,
11(3)388,
12(1)1,
14(1)1,
15(1)1,
15(5)745,
18(5)615,
21(3)430
- discussed,
4(1)1,
4(1)21,
4(2)125,
4(3)382,
5(2)236,
8(4)524,
9(2)125,
9(4)491,
10(2)189,
10(2)248,
14(2)127,
14(3)339,
14(4)521,
17(1)16,
18(2)139,
20(6)1131,
21(1)1,
21(2)175,
22(2)187,
27(6)1270,
31(4)15,
32(6)21
- examine,
15(1)73,
16(4)1248,
20(4)869,
27(6)1344,
28(5)908
- exploit,
16(3)524,
16(4)1248,
17(2)233,
17(2)394,
17(4)635,
19(4)617,
19(6)853,
20(2)302,
20(3)546,
21(2)370,
21(4)703,
22(1)129,
31(6)21,
32(1)2,
32(3)9,
32(4)13
- extension,
4(4)552,
6(2)159,
10(2)204,
12(1)135,
13(1)52,
14(3)396,
14(4)589,
15(5)771,
16(3)607,
16(3)954,
16(5)1411,
16(5)1572,
16(6)1875,
17(1)1,
17(2)366,
17(5)740,
18(1)73,
18(4)454,
18(5)564,
18(6)730,
19(1)153,
19(4)557,
19(5)804,
19(6)916,
20(3)483,
20(3)586,
21(2)175,
22(3)506,
25(5)641,
27(6)1216,
28(1)106,
28(2)207,
28(2)256,
28(3)517,
28(4)577,
30(2)11,
30(4)19,
30(4)22,
30(5)26,
30(6)31,
31(2)7,
31(5)18,
31(6)23,
32(1)2,
32(6)21,
33(4)12,
34(1)4,
34(1)6
- Fault-Tolerance,
21(1)46
- greater,
17(5)740,
31(1)2
- hardware,
7(1)62,
7(2)270,
8(1)142,
8(1)154,
8(3)344,
9(2)257,
9(4)491,
10(4)579,
14(2)127,
14(2)265,
16(3)524,
16(5)1512,
16(6)1661,
17(4)561,
18(3)235,
18(3)300,
18(6)659,
19(3)492,
19(4)586,
19(5)726,
21(4)703,
21(5)977,
21(5)1028,
22(4)673,
27(6)1097,
28(5)942,
29(6)33,
31(5)17,
32(4)14,
32(5)17,
34(1)5
- implemented,
4(2)149,
4(2)295,
7(1)137,
7(3)404,
7(4)501,
8(3)344,
9(2)235,
13(1)1,
14(2)147,
14(4)471,
16(2)175,
16(3)577,
16(3)843,
16(3)986,
16(4)1248,
16(4)1319,
16(5)1431,
16(5)1512,
16(6)1699,
17(1)85,
17(2)197,
17(2)233,
17(4)635,
18(3)268,
18(4)424,
18(5)528,
18(5)564,
18(5)615,
18(6)752,
19(1)153,
19(5)726,
19(5)804,
19(6)942,
20(3)483,
20(4)869,
20(5)1014,
20(6)1195,
20(6)1265,
21(1)138,
21(4)703,
22(2)378,
22(5)816,
27(6)1049,
27(6)1097,
28(1)1,
28(1)70,
28(1)106,
28(1)134,
28(2)207,
28(4)696,
29(1)3,
29(5)29,
30(3)17,
30(4)22,
30(4)23,
31(1)1,
31(2)6,
31(2)8,
31(6)22,
32(2)4,
32(5)16,
32(5)18,
32(6)21,
34(1)2
- lazy,
11(4)633,
13(3)315,
14(4)490,
16(3)1010,
16(4)1117,
16(5)1449,
17(2)233,
18(2)175,
19(5)639,
20(4)768,
20(6)1297,
22(1)45,
22(4)583,
27(1)163,
33(1)2
- memories,
7(1)80,
14(2)265,
15(1)1,
17(4)561,
18(4)424,
18(5)615,
18(6)659,
21(4)703,
32(4)13
- MEMORY,
8(1)142,
10(4)579,
14(2)265,
17(4)561,
18(6)659
- Merritt, Michael,
16(3)939
- motivate,
18(1)1,
21(3)527,
22(1)1,
28(3)517,
30(5)29,
33(4)12
- multiprocessor,
3(1)49,
7(4)501,
9(4)599,
10(2)313,
10(4)579,
11(1)57,
13(1)124,
14(1)28,
15(3)400,
15(4)659,
16(1)151,
16(3)577,
17(1)123,
18(6)659,
20(3)483,
20(4)869,
20(6)1195,
22(5)773,
27(6)1097,
28(1)1,
31(5)17
- normally,
31(3)9
- paper,
3(4)484,
4(1)1,
4(1)21,
4(1)37,
4(1)44,
4(1)83,
4(2)239,
4(4)552,
4(4)563,
4(4)668,
4(4)687,
5(2)127,
5(2)236,
5(3)405,
6(2)215,
6(4)505,
7(1)62,
8(1)109,
8(4)419,
8(4)491,
9(2)125,
9(2)164,
9(2)257,
9(2)277,
9(3)319,
9(3)367,
9(3)408,
10(2)189,
13(2)181,
13(2)237,
14(1)54,
14(1)107,
14(2)147,
14(2)173,
14(4)471,
14(4)490,
14(4)521,
14(4)589,
15(1)133,
15(4)735,
15(5)745,
16(1)3,
16(1)35,
16(2)175,
16(3)370,
16(3)428,
16(3)607,
16(3)687,
16(3)798,
16(3)924,
16(4)1248,
16(4)1319,
16(5)1431,
16(5)1613,
16(5)1648,
16(6)1768,
16(6)1811,
17(2)394,
22(1)87,
22(1)129,
22(4)638,
22(4)673,
22(5)773,
22(5)861,
22(5)932,
30(5)25,
31(4)15,
33(3)9
- possible,
4(1)113,
4(3)382,
5(2)236,
5(3)405,
6(2)159,
6(4)527,
10(2)248,
13(2)181,
13(2)269,
14(2)173,
15(4)575,
16(3)1051,
16(6)1768,
16(6)1875,
17(1)1,
17(1)63,
17(2)197,
17(4)561,
18(2)139,
18(5)528,
18(6)752,
19(1)48,
19(4)617,
20(1)1,
20(2)302,
20(2)344,
20(4)869,
20(6)1223,
21(3)502,
21(3)627,
21(4)703,
21(5)1028,
22(2)187,
22(2)378,
23(2)105,
28(4)747,
29(2)13,
31(3)9,
31(5)19,
32(2)6,
32(3)7,
32(3)8,
32(3)9,
33(1)5,
34(1)2
- presented,
4(1)1,
4(1)113,
4(3)323,
4(3)455,
4(4)601,
4(4)615,
4(4)678,
4(4)687,
6(4)527,
6(4)632,
7(1)62,
7(1)159,
7(4)501,
8(1)109,
8(4)491,
8(4)577,
9(2)198,
9(2)257,
9(3)408,
9(4)491,
10(2)204,
11(4)633,
12(4)643,
13(1)150,
13(2)181,
14(1)54,
14(2)265,
14(3)417,
14(4)490,
14(4)521,
15(4)735,
15(5)745,
16(3)328,
16(3)370,
16(3)775,
16(3)1024,
16(4)1117,
16(5)1449,
16(5)1613,
16(6)1842,
17(1)47,
17(2)228,
17(2)394,
17(3)535,
17(5)740,
18(2)109,
18(3)235,
18(5)564,
19(6)992,
19(6)1031,
20(2)302,
20(3)546,
20(3)679,
20(4)707,
21(1)1,
21(1)11,
21(2)175,
21(3)430,
21(3)627,
22(3)540,
22(4)583,
23(2)105,
27(6)1270,
28(4)747,
30(6)32,
31(4)15,
32(6)21,
32(6)23
- reliability,
4(3)382,
7(1)176,
7(2)214,
7(2)244,
7(3)404,
8(1)50,
9(2)235,
10(1)118,
10(2)189,
11(2)169,
11(2)249,
11(2)330,
12(2)178,
13(1)124,
15(1)36,
15(3)563,
16(3)939,
16(3)986,
16(6)1719,
17(2)217,
17(3)535,
18(2)139,
19(1)87,
19(5)726,
20(2)274,
20(4)724,
20(5)917,
21(1)46,
30(2)8
- satisfy,
15(5)876,
18(1)30,
19(5)804,
19(6)1031,
20(1)116,
20(2)274,
20(6)1171,
21(6)1196,
33(4)13
- shared,
5(1)56,
10(4)579,
11(1)90,
13(1)99,
14(2)201,
15(4)632,
15(5)745,
16(3)939,
17(3)448,
18(3)268,
18(4)454,
20(6)1131,
21(3)430,
22(4)673,
24(6)711,
28(4)696,
28(4)715,
32(3)9,
32(4)13,
34(1)2
- shown,
4(1)37,
4(3)382,
4(3)402,
4(3)455,
6(4)527,
9(2)198,
13(1)99,
13(2)269,
14(2)127,
14(4)574,
15(1)1,
15(1)133,
15(5)876,
16(4)1361,
16(5)1613,
17(1)63,
17(2)366,
17(4)561,
18(5)528,
18(5)564,
19(4)586,
19(4)617,
20(5)980,
20(6)1111,
20(6)1171,
21(1)46,
28(4)715,
28(4)747,
32(4)11
- state,
4(2)179,
4(3)455,
7(1)159,
8(1)154,
8(4)577,
11(4)491,
13(1)150,
13(3)399,
13(4)633-1,
15(4)659,
15(5)771,
16(4)1215,
16(5)1512,
16(6)1842,
17(3)461,
18(3)325,
19(4)617,
19(5)726,
19(5)804,
20(1)51,
20(2)274,
20(2)302,
20(5)917,
21(4)747,
22(6)1037,
23(3)273,
27(4)786,
27(6)1147,
27(6)1344,
28(3)476,
28(5)942,
29(6)35,
30(4)24,
31(4)16,
31(6)22,
32(4)14,
32(6)22,
33(5)17,
34(1)2
- storage,
1(1)71,
3(4)388,
4(3)345,
4(4)527,
7(1)62,
7(1)80,
7(1)159,
8(4)419,
9(3)367,
9(3)408,
10(4)555,
11(3)388,
12(1)1,
13(3)372,
14(1)1,
15(1)1,
15(5)745,
16(3)775,
16(5)1467,
17(2)233,
18(3)235,
18(5)615,
20(1)1,
20(4)724,
20(5)980,
21(3)430,
22(3)490,
28(4)715,
28(5)848,
28(5)942,
29(6)34,
31(3)11,
32(2)5,
32(4)11
- STRUCTURES,
7(1)1,
7(2)348,
8(1)142,
9(2)257,
9(2)277,
10(4)579,
11(4)598,
13(3)295,
13(4)626,
14(2)127,
14(2)201,
14(2)265,
14(4)471,
15(3)400,
16(3)328,
16(4)1279,
16(6)1684,
17(1)1,
17(1)123,
17(4)561,
18(6)649,
18(6)659,
19(2)239,
19(4)586,
19(5)751,
19(6)1031,
20(1)1,
20(1)116,
20(2)388,
20(4)869,
20(5)980,
20(6)1265
- styles,
8(1)142,
8(3)344,
9(4)599,
9(4)618,
10(4)579,
13(2)237,
14(2)265,
16(6)1661,
17(4)561,
18(6)659,
19(1)188,
21(4)703,
21(5)1028,
21(6)1077,
22(4)673
- testing,
3(3)211,
7(1)37,
7(1)176,
7(2)183,
7(2)214,
7(3)478,
8(1)50,
9(2)164,
11(2)169,
12(4)643,
13(4)491,
14(1)54,
15(2)357,
16(1)3,
16(2)175,
16(3)387,
16(3)649,
16(4)1097,
16(4)1319,
16(5)1613,
16(5)1648,
17(1)157,
17(2)197,
17(2)217,
17(4)672,
19(2)334,
19(4)557,
20(1)1,
20(1)51,
20(2)302,
20(6)1111,
21(2)370,
22(2)340,
30(3)12,
31(1)5,
31(5)19,
32(1)1,
32(4)15
- weak,
13(1)124,
17(1)16,
18(3)254,
20(6)1171,
27(6)1097,
31(3)10,
34(1)5
- weaker,
4(4)668,
20(5)917