296297298299300301302303304305306
} if( !allSessionBuffers.contains( buf ) ) { allSessionBuffers.add( buf ); unfetchedSessionBuffers.push( buf ); } } } /**
493494495496497498499500501502503
allSessionBuffers.remove( buf ); removeSessionBuffer( buf ); } else { unfetchedSessionBuffers.push( buf ); } } } private boolean waitForPromotion()
308309310311312313314315316317318
505506507508509510511512513514515
258259260261262263264265266267268
452453454455456457458459460461462
259260261262263264265266267268269
} if (!allSessionBuffers.contains(buf)) { allSessionBuffers.add(buf); unfetchedSessionBuffers.push(buf); } } } /**
457458459460461462463464465466467
allSessionBuffers.remove(buf); removeSessionBuffer(buf); } else { unfetchedSessionBuffers.push(buf); } } } private boolean waitForPromotion()