Ciencias de la Computación FAMAF

Dividir ejemplos en:

• Formativos: se mostrarán y pensarán en detalle
• Informativos: paseo rápido.

• BoundedBuffer (aka Productores/Consumidores, aka BoundedCounter)
• Concurrent Vector Writing [Fei99] vs. Hand-over-hand locking [2.5.1.4, Lea99]

• Nested monitor

Investigar

• Inyectar ruido en el scheduler, a través de Thread.yield() o toqueteando la JVM.
  • Ver [Goe06, 12.1.6 – Generating More Interleavings]
• Mostrar optimizaciones con algún ejemplo simple (*[ x:=x+1; x:=x-1 ])
  • javap -c desensabla bytecode. Listado de los VM Opcodes.
  • -server en la jre optimiza más.
• Ver como meter algo de assert para los invariantes.
  • En JUnit hay métodos assertTrue, assertEqual, etc.
  • La palabra assert parece reservada (GEdit).
• ?Se puede hacer un ejemplo donde se muestre la sincronización de memoria ya sea con volatile o con synchronized?
• Ver el sourcecode de la JVM en el scheduler y como maneja el wait.
• Que hay en java.util.concurrent: CondVar sobre todo en Java 6 y Java 5, en Java 1.4.2 no está
  • Java6
  • Java5