一.代码协定
1.前提条件
Contract.Requires(bool)
.EndContractBlock();用于兼容旧if判断代码
2.后置条件
.Ensures(bool)
.Result<type>() 返回值
.OldValue<type>(x)返回参数的原始值
.ValueAtResult(out x)返回out参数的值
3.集合检查
.Exists()任一项满足条件
.ForAll()所有项满足条件
4.恒等式条件
.Invariant(bool)
5.接口绑定协定
[ContractClass(typeof(协定实现类))] 接口特性
[ContractClassFor(typeof(接口))] 协定实现类特性
[pure] 常态操作特性
二、并行操作
1.任务
Task t1=new Task(Action<object>);创建新任务
Task t3=new Task(Func<object, result>, data);创建可返回结果的任务
//TaskCreationOptions 指定任务类型
t1.Start();开始运行
Task t2 = t1.ContinueWith(Action<Task>);后继任务，参数为上个任务
//TaskCreationOptions 指定启动时机
t3.Start()
t3.Wait()等待任务完成
t3.Result 提取结果
2.多任务
Parallel.For(0,9,Action<int>); 从0~9重复执行同一个方法
Parallel.For(0,9,Action<int,ParallelLoopState>); ParallelLoopState控制迭代流程
Parallel.For(0,9,Func<init>,Func<int, ParallelLoopState, init, init2>,Action<init2>); Func<init>初始化任务，第二个Func是每次迭代执行的函数，任务返回值交由Action处理。（任务数可能少于迭代次数，也就是系统会重用某一任务，而开始和结尾只有创建任务和结束任务才会调用，函数之间传递的信息需要特别留意）
Parallel.ForEach(source<t>, Action<t>) 同步迭代数据源
Parallel.ForEach(source<t>,Action<t,ParallelLoopState, int>) 带迭代次数和控制参数的版本
3.终止任务
CancellationToken 控制参数
CancellationTokenSource cts=new CancellationTokenSource(); //创建控制参数
cts.Token.Register(Action); //注册取消后执行的方法
cts.Cancel(bool);//取消任务
cts.Token //即CancellationToken
取消任务会产生OperationCanceledException异常。
cts.Token.IsCancellationRequested 是否取消任务
cts.Token.ThrowIfCancellationRequested(); 取消状态下抛出异常
4.共享资源管理
lock(obj) 锁定对象, 或者在该对象内部进行锁定处理可将该对象定义为线程安全对象。
多个锁定对象锁定顺序不一致，可能导致死锁。（个人看法：要么保持锁定顺序一致，要么不要锁定多个关联对象，方法一，改造成线程安全对象，并且每个对象不在解锁前访问另一个线程安全对象；方法二，用单一的锁定对象包裹关联对象，让它们成为一个整体（因为保持顺序一致较难））。
lock(this) 危险语句，因为对象可能在对象外部被锁定。应该用对象的私有成员做锁定标志。