Dis-alg - 版本历史

Yuhuang：/* 分布共享内存与分布数据一致性 */

2017-11-08T14:31:19Z

‎分布共享内存与分布数据一致性

2016-10-27T09:28:32Z

+category:disalg courses

2016-10-18T07:53:58Z

‎分布共享内存与分布数据一致性

2016-10-18T04:08:31Z

‎分布共享内存与分布数据一致性

2016-10-18T04:06:45Z

‎基础理论

2015-11-01T03:18:40Z

‎Leader Election 算法

2015-11-01T03:18:12Z

‎经典分布式算法： adding subsection "leader election"

2015-11-01T03:17:02Z

‎Mutual Exclusion 算法： adding 2 bibs

2015-11-01T03:05:47Z

‎分布共享内存与分布数据一致性： dsm definition; atomic registers

2015-11-01T02:52:10Z

‎基础系统理论： little formatting

@@ 第206行： / 第206行： @@
   url = {http://doi.acm.org/10.1145/200836.200869},
   publisher = {ACM},
+  }

←上一版本		2016年10月18日 (二) 07:53的版本
第152行：		第152行：
	publisher={Springer-Verlag},		publisher={Springer-Verlag},
	}		}
		+
		+	% 存储访问的公理化建模
		+
		+	@article{Misra86,
		+	author = {Misra, J.},
		+	title = {Axioms for Memory Access in Asynchronous Hardware Systems},
		+	journal = {ACM Trans. Program. Lang. Syst.},
		+	issue_date = {Jan. 1986},
		+	volume = {8},
		+	number = {1},
		+	month = jan,
		+	year = {1986},
		+	issn = {0164-0925},
		+	pages = {142--153},
		+	numpages = {12},
		+	url = {http://doi.acm.org/10.1145/5001.5007},
		+	doi = {10.1145/5001.5007},
		+	acmid = {5007},
		+	publisher = {ACM},
		+	address = {New York, NY, USA},
		+	}

@@ 第171行： / 第171行： @@
 % 在 message-passing 系统上模拟 atomic registers
-  @article{Attiya:1995:SMR:200836.200869,
+  @article{Attiya95,
   author = {Attiya, Hagit and Bar-Noy, Amotz and Dolev, Danny},
   title = {Sharing Memory Robustly in Message-passing Systems},

@@ 第6行： / 第6行： @@
 % 分布式计算中的“可计算性理论”
-  @article{Herlihy:1991:WS:114005.102808,
+  @article{Herlihy91,
   author = {Herlihy, Maurice},
   title = {Wait-free Synchronization},

@@ 第203行： / 第203行： @@
 == 经典分布式算法 ==
-== Leader Election 算法 ==
+=== Leader Election 算法 ===
 === 互斥算法 ===

@@ 第203行： / 第203行： @@
 == 经典分布式算法 ==
-=== Mutual Exclusion 算法 ===
+=== 互斥算法 ===
-% Lamport 的算法及相关短文
+% Lamport's Bakery 算法
 === Consensus 算法 ===

@@ 第104行： / 第104行： @@
 ===分布共享内存与分布数据一致性===
-'''''atomic register (待添加) '''''
+% 分布共享内存 (DSM) 概念 (期刊TOCS版本)
 % 定义linearizability (将 Lamport 的 atomic registers 定义扩展到更复杂的数据结构)
@@ 第152行： / 第200行： @@
   publisher = {ACM},
+  }
 == 经典分布式算法 ==

←上一版本		2015年11月1日 (日) 02:52的版本
第204行：		第204行：
	doi={10.1109/MC.2012.33},		doi={10.1109/MC.2012.33},
	publisher = {IEEE Computer Society},		publisher = {IEEE Computer Society},
−	}	+	}

	===分布式存储系统===		===分布式存储系统===