1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
|
/*
Copyright (c) 2007 Health Market Science, Inc.
This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2.1 of the License, or (at your option) any later version.
This library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with this library; if not, write to the Free Software
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
USA
You can contact Health Market Science at info@healthmarketscience.com
or at the following address:
Health Market Science
2700 Horizon Drive
Suite 200
King of Prussia, PA 19406
*/
package com.healthmarketscience.jackcess.impl;
import java.io.IOException;
import java.nio.ByteBuffer;
/**
* Manages a reference to a page buffer.
*
* @author James Ahlborn
*/
public final class TempPageHolder {
private int _pageNumber = PageChannel.INVALID_PAGE_NUMBER;
private final TempBufferHolder _buffer;
/** the last "modification" count of the buffer that this holder observed.
this is tracked so that the page data can be re-read if the underlying
buffer has been discarded since the last page read */
private int _bufferModCount;
private TempPageHolder(TempBufferHolder.Type type) {
_buffer = TempBufferHolder.newHolder(type, false);
_bufferModCount = _buffer.getModCount();
}
/**
* Creates a new TempPageHolder.
* @param type the type of reference desired for any create page buffers
*/
public static TempPageHolder newHolder(TempBufferHolder.Type type) {
return new TempPageHolder(type);
}
/**
* @return the currently set page number
*/
public int getPageNumber() {
return _pageNumber;
}
/**
* @return the page for the current page number, reading as necessary,
* position and limit are unchanged
*/
public ByteBuffer getPage(PageChannel pageChannel)
throws IOException
{
return setPage(pageChannel, _pageNumber, false);
}
/**
* Sets the current page number and returns that page
* @return the page for the new page number, reading as necessary, resets
* position
*/
public ByteBuffer setPage(PageChannel pageChannel, int pageNumber)
throws IOException
{
return setPage(pageChannel, pageNumber, true);
}
private ByteBuffer setPage(PageChannel pageChannel, int pageNumber,
boolean rewind)
throws IOException
{
ByteBuffer buffer = _buffer.getPageBuffer(pageChannel);
int modCount = _buffer.getModCount();
if((pageNumber != _pageNumber) || (_bufferModCount != modCount)) {
_pageNumber = pageNumber;
_bufferModCount = modCount;
pageChannel.readPage(buffer, _pageNumber);
} else if(rewind) {
buffer.rewind();
}
return buffer;
}
/**
* Allocates a new buffer in the database (with undefined data) and returns
* a new empty buffer.
*/
public ByteBuffer setNewPage(PageChannel pageChannel)
throws IOException
{
// ditch any current data
clear();
// allocate a new page in the database
_pageNumber = pageChannel.allocateNewPage();
// return a new buffer
return _buffer.getPageBuffer(pageChannel);
}
/**
* Forces any current page data to be disregarded (any
* <code>getPage</code>/<code>setPage</code> call must reload page data).
* Does not necessarily release any memory.
*/
public void invalidate() {
possiblyInvalidate(_pageNumber, null);
}
/**
* Forces any current page data to be disregarded if it matches the given
* page number (any <code>getPage</code>/<code>setPage</code> call must
* reload page data) and is not the given buffer. Does not necessarily
* release any memory.
*/
public void possiblyInvalidate(int modifiedPageNumber,
ByteBuffer modifiedBuffer) {
if(modifiedBuffer == _buffer.getExistingBuffer()) {
// no worries, our buffer was the one modified (or is null, either way
// we'll need to reload)
return;
}
if(modifiedPageNumber == _pageNumber) {
_pageNumber = PageChannel.INVALID_PAGE_NUMBER;
}
}
/**
* Forces any current page data to be disregarded (any
* <code>getPage</code>/<code>setPage</code> call must reload page data) and
* releases any referenced memory.
*/
public void clear() {
invalidate();
_buffer.clear();
}
}
|