基于JAC技术实现读者写者问题研究.docVIP

基于JAC技术实现读者写者问题的研究 　　[摘要] 简要描述JAC技术,阐述操作系统中读者/写者这个经典同步问题,并给出基于JAC实现此问题避免饿死现象的相应代码,以此论述JAC的使用及其线程同步能力。 　　[关键词] JAC 读者/写者问题 同步 　　 　　一、JAC简介 　　由Max Haustein等人开发的JAC是基于对顺序Java代码扩展注释来描述并发机制的,有着高水平的并发特征。它完全抛弃了Java原有的并发编程方式,隐藏了线程, 最小化了并发码和顺序码之间的分歧,加强了代码复用,融合了继承,并减轻了继承异常。用JAC 编写的Java程序只是纯粹的顺序化代码,通过在顺序代码中增加并发注解来实现并发,JAC 预编译器将识别它,并把它编译成Java编译器能识别的普通的Java并发同步代码。JAC中能被注解的语言成分有:语句、方法、类。与Java不同,JAC中的所有方法默认为必须互斥地执行,除非其前面有可并发执行的注解。 　　二、读者/写者问题描述 　　所谓“读者/写者问题”是指保证一个写线程必须与其他线程互斥地访问共享数据的同步问题。读者/写者问题问题所满足的条件是：读/读允许、读/写和写/写互斥,否则,将引起访问冲突,破坏数据的完整性。考虑到读者和写者争夺访问共享数据时可以具有不同的优先权,该问题可拓展出三种算法:(1)读者优先;(2)写者优先;(3)公平竞争。 　　三、基于JAC的实现 　　设计两个类： ShoredData类,将控制”读”与”写”分开,在读或写之前,必须先循环判断其Guard表达式,为真则开始读或写,读、写完毕进行修改相应值。ReadersWriter类,可读可写且用于操作测试,该类对象会对”读/写”、 ”写/写”进行互斥控制,而”读/读”不会发生冲突,不进行共享互斥。 　　1.ShoredData类 　　public class ShoredData{ 　　…… 　　public ShoredData(int size) 　　{ this.buf=new char[size]; 　　for(int i=0;ibuf.length;i++)buf[i]=’*’;} 　　/** 　　* @compatible readstart() 　　*@when writing=0(!Priority||waiting=0) 　　*/ 　　public char[] readstart(){ 　　reading++; 　　char[] newbuf=new char[buf.length]; 　　for(int i=0;ibuf.length;i++) 　　{newbuf[i]=buf[i]; 　　System.out.println(“reading:”+ newbuf[i]); 　　} 　　/** @sleep Math.random()*1000 */ 　　return newbuf;} 　　publicvoid readend() 　　{ reading--; priority=true;} 　　/** 　　* @if c!=null waiting++ 　　* @when reading=0 writing=0 　　*/ 　　public void writestart(char c) 　　{--waiting; writing++; 　　for(int i=0;ibuf.length;i++) 　　{ buf[i]=c; 　　System.out.println(“writing:”+ buf[i]); 　　/** @sleep Math.random()*1000 */ 　　} } 　　public void writeend() 　　{ --writing;priority=false;} } 　　2.ReadersWriter类 　　public class ReadersWriter{ 　　 ShoredData SD; 　　 public ReadersWriter() 　　{/** @controlled */ 　　SD=new ShoredData(10); } 　　 public static void main(String[] args) 　　 { /** @controlled */ 　　ReadersWriter RW=new ReadersWriter(); 　　/** @sleep 10000 */ 　　System.out.println(“演示完毕!”); 　　/** @stop RW */ 　　RW=null;} 　　//n个reader线程,它们之