Three-dimensional assessment of vascular cooling effects on hepatic microwave ablation in a standardized ex vivo model

The aim of this study was a three-dimensional analysis of vascular cooling effects on microwave ablation (MWA) in an ex vivo porcine model. A glass tube, placed in parallel to the microwave antenna at distances of 2.5, 5.0 and 10.0 mm (A-V distance), simulated a natural liver vessel. Seven flow rates (0, 1, 2, 5, 10, 100, 500 ml/min) were evaluated. Ablations were segmented into 2 mm slices for a 3D-reconstruction. A qualitative and quantitative analysis was performed. 126 experiments were carried out. Cooling effects occurred in all test series with flow rates >= 2 ml/min in the ablation periphery. These cooling effects had no impact on the total ablation volume (p > 0.05) but led to changes in ablation shape at A-V distances of 5.0 mm and 10.0 mm. Contrary, at a A-V distance of 2.5 mm only flow rates of >= 10 ml/min led to relevant cooling effects in the ablation centre. These cooling effects influenced the ablation shape, whereas the total ablation volume was reduced only at a maximal flow rate of 500 ml/min (p = 0.002). Relevant cooling effects exist in MWA. They mainly depend on the distance of the vessel to the ablation centre

Understanding and Optimizing Persistent Memory Allocation

The proliferation of fast, dense, byte-addressable nonvolatile memory suggests that data might be kept in pointer-rich "in-memory" format across program runs and even process and system crashes. For full generality, such data requires dynamic memory allocation, and while the allocator could in principle be "rolled into" each data structure, it is desirable to make it a separate abstraction. Toward this end, we introduce recoverability, a correctness criterion for persistent allocators, together with a nonblocking allocator, Ralloc, that satisfies this criterion. Ralloc is based on the LRMalloc of Leite and Rocha, with three key innovations. First, we persist just enough information during normal operation to permit correct reconstruction of the heap after a full-system crash. Our reconstruction mechanism performs garbage collection (GC) to identify and remedy any failure-induced memory leaks. Second, we introduce the notion of filter functions, which identify the locations of pointers within persistent blocks to mitigate the limitations of conservative GC. Third, to allow persistent regions to be mapped at an arbitrary address, we employ position-independent (offset-based) pointers for both data and metadata. Experiments show Ralloc to be performance-competitive with both Makalu, the state-of-the-art lock-based persistent allocator, and such transient allocators as LRMalloc and JEMalloc. In particular, reliance on GC and offline metadata reconstruction allows Ralloc to pay almost nothing for persistence during normal operation