-
Message Size Matters: AlterBFT's Approach to Practical Synchronous BFT in Public Clouds
Authors:
Nenad Milošević,
Daniel Cason,
Zarko Milošević,
Robert Soulé,
Fernando Pedone
Abstract:
Synchronous consensus protocols offer a significant advantage over their asynchronous and partially synchronous counterparts by providing higher fault tolerance -- an essential benefit in distributed systems, like blockchains, where participants may have incentives to act maliciously. However, despite this advantage, synchronous protocols are often met with skepticism due to concerns about their p…
▽ More
Synchronous consensus protocols offer a significant advantage over their asynchronous and partially synchronous counterparts by providing higher fault tolerance -- an essential benefit in distributed systems, like blockchains, where participants may have incentives to act maliciously. However, despite this advantage, synchronous protocols are often met with skepticism due to concerns about their performance, as the latency of synchronous protocols is tightly linked to a conservative time bound for message delivery.
This paper introduces AlterBFT, a new Byzantine fault-tolerant consensus protocol. The key idea behind AlterBFT lies in the new model we propose, called hybrid synchronous system model. The new model is inspired by empirical observations about network behavior in the public cloud environment and combines elements from the synchronous and partially synchronous models. Namely, it distinguishes between small messages that respect time bounds and large messages that may violate bounds but are eventually timely. Leveraging this observation, AlterBFT achieves up to 15$\times$ lower latency than state-of-the-art synchronous protocols while maintaining similar throughput and the same fault tolerance. Compared to partially synchronous protocols, AlterBFT provides higher fault tolerance, higher throughput, and comparable latency.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
Research Pearl: The ROSI Operating System Interface
Authors:
Robert Soulé,
Peter Alvaro,
Henry F. Korth,
Abraham Silberschatz
Abstract:
This paper presents some preliminary results concerning a new user-friendly operating system interface based on the relational data model that is currently under development at the University of Texas at Austin. The premise of our work is that a relational model of the operating system environment wil produce a user and programmer interface to the system: is easier to use, is easier to learn, and…
▽ More
This paper presents some preliminary results concerning a new user-friendly operating system interface based on the relational data model that is currently under development at the University of Texas at Austin. The premise of our work is that a relational model of the operating system environment wil produce a user and programmer interface to the system: is easier to use, is easier to learn, and allows greater portability as compared with existing operating system interfaces. Our approach is to model elements of the operating system environment as relations and to model operating system commands as statements in a relational language.
In adapting the relational model to an operating system environment, we found it necessary to extend the model and improve existing relational languages. The extensions to the relational model are designed to allow a more natural representation of elements of the environment. Our language extensions exploit the universal relation model and utilize the graphical capabilities of modern workstations. The nature of our investigations is ranging from practical implementation issues to the more theoretical questions of modeling and language semanties.
△ Less
Submitted 23 July, 2024;
originally announced September 2024.
-
NotNets: Accelerating Microservices by Bypassing the Network
Authors:
Peter Alvaro,
Matthew Adiletta,
Adrian Cockroft,
Frank Hady,
Ramesh Illikkal,
Esteban Ramos,
James Tsai,
Robert Soulé
Abstract:
Remote procedure calls are the workhorse of distributed systems. However, as software engineering trends, such as micro-services and serverless computing, push applications towards ever finer-grained decompositions, the overhead of RPC-based communication is becoming too great to bear. In this paper, we argue that point solutions that attempt to optimize one aspect of RPC logic are unlikely to mit…
▽ More
Remote procedure calls are the workhorse of distributed systems. However, as software engineering trends, such as micro-services and serverless computing, push applications towards ever finer-grained decompositions, the overhead of RPC-based communication is becoming too great to bear. In this paper, we argue that point solutions that attempt to optimize one aspect of RPC logic are unlikely to mitigate these ballooning communication costs. Rather, we need a dramatic reappraisal of how we provide communication. Towards this end, we propose to emulate message-passing RPCs by sharing message payloads and metadata on CXL 3.0-backed far memory. We provide initial evidence of feasibility and analyze the expected benefits.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
SFC: Near-Source Congestion Signaling and Flow Control
Authors:
Yanfang Le,
Jeongkeun Lee,
Jeremias Blendin,
Jiayi Chen,
Georgios Nikolaidis,
Rong Pan,
Robert Soule,
Aditya Akella,
Pedro Yebenes Segura,
Arjun singhvi,
Yuliang Li,
Qingkai Meng,
Changhoon Kim,
Serhat Arslan
Abstract:
State-of-the-art congestion control algorithms for data centers alone do not cope well with transient congestion and high traffic bursts. To help with these, we revisit the concept of direct \emph{backward} feedback from switches and propose Back-to-Sender (BTS) signaling to many concurrent incast senders. Combining it with our novel approach to in-network caching, we achieve near-source sub-RTT c…
▽ More
State-of-the-art congestion control algorithms for data centers alone do not cope well with transient congestion and high traffic bursts. To help with these, we revisit the concept of direct \emph{backward} feedback from switches and propose Back-to-Sender (BTS) signaling to many concurrent incast senders. Combining it with our novel approach to in-network caching, we achieve near-source sub-RTT congestion signaling. Source Flow Control (SFC) combines these two simple signaling mechanisms to instantly pause traffic sources, hence avoiding the head-of-line blocking problem of conventional hop-by-hop flow control. Our prototype system and scale simulations demonstrate that near-source signaling can significantly reduce the message completion time of various workloads in the presence of incast, complementing existing congestion control algorithms. Our results show that SFC can reduce the $99^{th}$-percentile flow completion times by $1.2-6\times$ and the peak switch buffer usage by $2-3\times$ compared to the recent incast solutions.
△ Less
Submitted 30 April, 2023;
originally announced May 2023.
-
MCBeth: A Measurement Based Quantum Programming Language
Authors:
Aidan Evans,
Seun Omonije,
Robert Soulé,
Robert Rand
Abstract:
Gate-based quantum programming languages are ubiquitous but measurement-based languages currently exist only on paper. This work introduces MCBeth, a quantum programming language which allows programmers to directly represent, program, and simulate measurement-based and cluster state computation by building upon the measurement calculus. While MCBeth programs are meant to be executed directly on h…
▽ More
Gate-based quantum programming languages are ubiquitous but measurement-based languages currently exist only on paper. This work introduces MCBeth, a quantum programming language which allows programmers to directly represent, program, and simulate measurement-based and cluster state computation by building upon the measurement calculus. While MCBeth programs are meant to be executed directly on hardware, to take advantage of current machines we also provide a compiler to gate-based instructions. We argue that there are clear advantages to measurement-based quantum computation compared to gate-based when it comes to implementing common quantum algorithms and distributed quantum computation.
△ Less
Submitted 25 June, 2022; v1 submitted 22 April, 2022;
originally announced April 2022.
-
A case for location based contact tracing
Authors:
Atul Pokharel,
Robert Soulé,
Avi Silberschatz
Abstract:
We present an evaluation of the effectiveness of manual contact tracing compared to bulletin board contact tracing. We show that bulletin board contact tracing gives comparable results in terms of the reproductive number, duration, prevalence and incidence but is less resource intensive, easier to implement and offers a wider range of privacy options. Classical contact tracing focuses on contactin…
▽ More
We present an evaluation of the effectiveness of manual contact tracing compared to bulletin board contact tracing. We show that bulletin board contact tracing gives comparable results in terms of the reproductive number, duration, prevalence and incidence but is less resource intensive, easier to implement and offers a wider range of privacy options. Classical contact tracing focuses on contacting individuals whom an infectious person has been in proximity to. A bulletin board approach focuses on identifying locations visited by an infectious person, and then contacting those who were at those locations. We present results comparing their effects on the overall reproductive number as well as the incidence and prevalence of disease. We evaluate them by building a new discrete time stochastic model based on the Susceptible Exposed Infectious and Recovered (SEIR) framework for disease spread. We conduct simulation experiments to quantify the effectiveness of these two models of contact tracing by calibrating the model to be compatible with SARS-CoV-2. Our experiments show that location-based bulletin board contact tracing can improve manual contact tracing.
△ Less
Submitted 20 November, 2020;
originally announced December 2020.
-
Partitioned Paxos via the Network Data Plane
Authors:
Huynh Tu Dang,
Pietro Bressana,
Han Wang,
Ki Suh Lee,
Noa Zilberman,
Hakim Weatherspoon,
Marco Canini,
Fernando Pedone,
Robert Soulé
Abstract:
Consensus protocols are the foundation for building fault-tolerant, distributed systems, and services. They are also widely acknowledged as performance bottlenecks. Several recent systems have proposed accelerating these protocols using the network data plane. But, while network-accelerated consensus shows great promise, current systems suffer from an important limitation: they assume that the net…
▽ More
Consensus protocols are the foundation for building fault-tolerant, distributed systems, and services. They are also widely acknowledged as performance bottlenecks. Several recent systems have proposed accelerating these protocols using the network data plane. But, while network-accelerated consensus shows great promise, current systems suffer from an important limitation: they assume that the network hardware also accelerates the application itself. Consequently, they provide a specialized replicated service, rather than providing a general-purpose high-performance consensus that fits any off-the-shelf application.
To address this problem, this paper proposes Partitioned Paxos, a novel approach to network-accelerated consensus. The key insight behind Partitioned Paxos is to separate the two aspects of Paxos, agreement, and execution, and optimize them separately. First, Partitioned Paxos uses the network forwarding plane to accelerate agreement. Then, it uses state partitioning and parallelization to accelerate execution at the replicas. Our experiments show that using this combination of data plane acceleration and parallelization, Partitioned Paxos is able to provide at least x3 latency improvement and x11 throughput improvement for a replicated instance of a RocksDB key-value store.
△ Less
Submitted 25 January, 2019;
originally announced January 2019.
-
NetChain: Scale-Free Sub-RTT Coordination (Extended Version)
Authors:
Xin Jin,
Xiaozhou Li,
Haoyu Zhang,
Nate Foster,
Jeongkeun Lee,
Robert Soule,
Changhoon Kim,
Ion Stoica
Abstract:
Coordination services are a fundamental building block of modern cloud systems, providing critical functionalities like configuration management and distributed locking. The major challenge is to achieve low latency and high throughput while providing strong consistency and fault-tolerance. Traditional server-based solutions require multiple round-trip times (RTTs) to process a query. This paper p…
▽ More
Coordination services are a fundamental building block of modern cloud systems, providing critical functionalities like configuration management and distributed locking. The major challenge is to achieve low latency and high throughput while providing strong consistency and fault-tolerance. Traditional server-based solutions require multiple round-trip times (RTTs) to process a query. This paper presents NetChain, a new approach that provides scale-free sub-RTT coordination in datacenters. NetChain exploits recent advances in programmable switches to store data and process queries entirely in the network data plane. This eliminates the query processing at coordination servers and cuts the end-to-end latency to as little as half of an RTT---clients only experience processing delay from their own software stack plus network delay, which in a datacenter setting is typically much smaller. We design new protocols and algorithms based on chain replication to guarantee strong consistency and to efficiently handle switch failures. We implement a prototype with four Barefoot Tofino switches and four commodity servers. Evaluation results show that compared to traditional server-based solutions like ZooKeeper, our prototype provides orders of magnitude higher throughput and lower latency, and handles failures gracefully.
△ Less
Submitted 22 February, 2018;
originally announced February 2018.
-
Optimistic Aborts for Geo-distributed Transactions
Authors:
Theo Jepsen,
Leandro Pacheco de Sousa,
Huynh Tu Dang,
Fernando Pedone,
Robert Soulé
Abstract:
Network latency can have a significant impact on the performance of transactional storage systems, particularly in wide area or geo-distributed deployments. To reduce latency, systems typically rely on a cache to service read-requests closer to the client. However, caches are not effective for write-heavy workloads, which have to be processed by the storage system in order to maintain serializabil…
▽ More
Network latency can have a significant impact on the performance of transactional storage systems, particularly in wide area or geo-distributed deployments. To reduce latency, systems typically rely on a cache to service read-requests closer to the client. However, caches are not effective for write-heavy workloads, which have to be processed by the storage system in order to maintain serializability.
This paper presents a new technique, called optimistic abort, which reduces network latency for high-contention, write-heavy workloads by identifying transactions that will abort as early as possible, and aborting them before they reach the store. We have implemented optimistic abort in a system called Gotthard, which leverages recent advances in network data plane programmability to execute transaction processing logic directly in network devices. Gotthard examines network traffic to observe and log transaction requests. If Gotthard suspects that a transaction is likely to be aborted at the store, it aborts the transaction early by re-writing the packet header, and routing the packets back to the client. Gotthard significantly reduces the overall latency and improves the throughput for high-contention workloads.
△ Less
Submitted 24 October, 2016;
originally announced October 2016.
-
Network Hardware-Accelerated Consensus
Authors:
Huynh Tu Dang,
Pietro Bressana,
Han Wang,
Ki Suh Lee,
Hakim Weatherspoon,
Marco Canini,
Fernando Pedone,
Robert Soulé
Abstract:
Consensus protocols are the foundation for building many fault-tolerant distributed systems and services. This paper posits that there are significant performance benefits to be gained by offering consensus as a network service (CAANS). CAANS leverages recent advances in commodity networking hardware design and programmability to implement consensus protocol logic in network devices. CAANS provide…
▽ More
Consensus protocols are the foundation for building many fault-tolerant distributed systems and services. This paper posits that there are significant performance benefits to be gained by offering consensus as a network service (CAANS). CAANS leverages recent advances in commodity networking hardware design and programmability to implement consensus protocol logic in network devices. CAANS provides a complete Paxos protocol, is a drop-in replacement for software-based implementations of Paxos, makes no restrictions on network topologies, and is implemented in a higher-level, data-plane programming language, allowing for portability across a range of target devices. At the same time, CAANS significantly increases throughput and reduces latency for consensus operations. Consensus logic executing in hardware can transmit consensus messages at line speed, with latency only slightly higher than simply forwarding packets.
△ Less
Submitted 18 May, 2016;
originally announced May 2016.
-
Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing
Authors:
Praveen Kumar,
Yang Yuan,
Chris Yu,
Nate Foster,
Robert Kleinberg,
Robert Soulé
Abstract:
Wide-area network traffic engineering enables network operators to reduce congestion and improve utilization by balancing load across multiple paths. Current approaches to traffic engineering can be modeled in terms of a routing component that computes forwarding paths, and a load balancing component that maps incoming flows onto those paths dynamically, adjusting sending rates to fit current cond…
▽ More
Wide-area network traffic engineering enables network operators to reduce congestion and improve utilization by balancing load across multiple paths. Current approaches to traffic engineering can be modeled in terms of a routing component that computes forwarding paths, and a load balancing component that maps incoming flows onto those paths dynamically, adjusting sending rates to fit current conditions. Unfortunately, existing systems rely on simple strategies for one or both of these components, which leads to poor performance or requires making frequent updates to forwarding paths, significantly increasing management complexity. This paper explores a different approach based on semi-oblivious routing, a natural extension of oblivious routing in which the system computes a diverse set of paths independent of demands, but also dynamically adapts sending rates as conditions change. Semi-oblivious routing has a number of important advantages over competing approaches including low overhead, nearly optimal performance, and built-in protection against unexpected bursts of traffic and failures. Through in-depth simulations and a deployment on SDN hardware, we show that these benefits are robust, and hold across a wide range of topologies, demands, resource budgets, and failure scenarios.
△ Less
Submitted 3 March, 2016;
originally announced March 2016.
-
Paxos Made Switch-y
Authors:
Huynh Tu Dang,
Marco Canini,
Fernando Pedone,
Robert Soulé
Abstract:
This paper describes an implementation of the well-known consensus protocol, Paxos, in the P4 programming language. P4 is a language for programming the behavior of network forwarding devices (i.e., the network data plane). Moving consensus logic into network devices could significantly improve the performance of the core infrastructure and services in data centers. Moreover, implementing Paxos in…
▽ More
This paper describes an implementation of the well-known consensus protocol, Paxos, in the P4 programming language. P4 is a language for programming the behavior of network forwarding devices (i.e., the network data plane). Moving consensus logic into network devices could significantly improve the performance of the core infrastructure and services in data centers. Moreover, implementing Paxos in P4 provides a critical use case and set of requirements for data plane language designers. In the long term, we imagine that consensus could someday be offered as a network service, just as point-to-point communication is provided today.
△ Less
Submitted 16 November, 2015;
originally announced November 2015.
-
Optimized Disk Layouts for Adaptive Storage of Interaction Graphs
Authors:
Robert Soulé,
Bügra Gedik
Abstract:
We are living in an ever more connected world, where data recording the interactions between people, software systems, and the physical world is becoming increasingly prevalent. This data often takes the form of a temporally evolving graph, where entities are the vertices and the interactions between them are the edges. We call such graphs interaction graphs. Various application domains, including…
▽ More
We are living in an ever more connected world, where data recording the interactions between people, software systems, and the physical world is becoming increasingly prevalent. This data often takes the form of a temporally evolving graph, where entities are the vertices and the interactions between them are the edges. We call such graphs interaction graphs. Various application domains, including telecommunications, transportation, and social media, depend on analytics performed on interaction graphs. The ability to efficiently support historical analysis over interaction graphs require effective solutions for the problem of data layout on disk. This paper presents an adaptive disk layout called the railway layout for optimizing disk block storage for interaction graphs. The key idea is to divide blocks into one or more sub-blocks, where each sub-block contains a subset of the attributes, but the entire graph structure is replicated within each sub-block. This improves query I/O, at the cost of increased storage overhead. We introduce optimal ILP formulations for partitioning disk blocks into sub-blocks with overlapping and non-overlapping attributes. Additionally, we present greedy heuristic approaches that can scale better compared to the ILP alternatives, yet achieve close to optimal query I/O. To demonstrate the benefits of the railway layout, we provide an extensive experimental study comparing our approach to a few baseline alternatives.
△ Less
Submitted 20 October, 2014;
originally announced October 2014.
-
Merlin: A Language for Provisioning Network Resources
Authors:
Robert Soulé,
Shrutarshi Basu,
Parisa Jalili Marandi,
Fernando Pedone,
Robert Kleinberg,
Emin Gün Sirer,
Nate Foster
Abstract:
This paper presents Merlin, a new framework for managing resources in software-defined networks. With Merlin, administrators express high-level policies using programs in a declarative language. The language includes logical predicates to identify sets of packets, regular expressions to encode forwarding paths, and arithmetic formulas to specify bandwidth constraints. The Merlin compiler uses a co…
▽ More
This paper presents Merlin, a new framework for managing resources in software-defined networks. With Merlin, administrators express high-level policies using programs in a declarative language. The language includes logical predicates to identify sets of packets, regular expressions to encode forwarding paths, and arithmetic formulas to specify bandwidth constraints. The Merlin compiler uses a combination of advanced techniques to translate these policies into code that can be executed on network elements including a constraint solver that allocates bandwidth using parameterizable heuristics. To facilitate dynamic adaptation, Merlin provides mechanisms for delegating control of sub-policies and for verifying that modifications made to sub-policies do not violate global constraints. Experiments demonstrate the expressiveness and scalability of Merlin on real-world topologies and applications. Overall, Merlin simplifies network administration by providing high-level abstractions for specifying network policies and scalable infrastructure for enforcing them.
△ Less
Submitted 4 July, 2014;
originally announced July 2014.
-
Miscibility of blends of poly(methyl methacrylate) and oligodiols based on a bisphenol A nucleus and ethylene oxide or propylene oxide branches
Authors:
B. Jaffrennou,
E. R. Soule,
F. Mechin,
J. Borrajo,
J. P. Pascault,
R. J. J. Williams
Abstract:
Cloud-point curves of blends of poly(methyl methacrylate) (PMMA) with a series of oligodiols based on a bisphenol A nucleus and short branches of poly(ethylene oxide) or poly(propylene oxide) (BPA-EO or BPA-PO), and with PEO and PPO oligomers, were obtained using a light transmission device. Experimental results were fitted with the Flory- Huggins model using an interaction parameter depending on…
▽ More
Cloud-point curves of blends of poly(methyl methacrylate) (PMMA) with a series of oligodiols based on a bisphenol A nucleus and short branches of poly(ethylene oxide) or poly(propylene oxide) (BPA-EO or BPA-PO), and with PEO and PPO oligomers, were obtained using a light transmission device. Experimental results were fitted with the Flory- Huggins model using an interaction parameter depending on both temperature and composition. For PMMA/PEO and PMMA/PPO blends, the miscibility increased when increasing the size of the diol, due to the significant decrease in the entropic and enthalpic terms contributing to the interaction parameter. This reflected the decrease in the selfassociation of solvent molecules and in the contribution of terminal OH groups to the mismatching of solubility parameters. For PMMA/BPA-EO blends, a decrease of the entropic contribution to the interaction parameter when increasing the size of the oligodiol was also found. However, the effect was counterbalanced by the opposite contribution of combinatorial terms leading to cloud-point curves located in approximately the same temperature range. For PMMA/BPA-PO blends, the interaction parameter exhibited a very low value. In this case, the effect of solvent size was much more important on combinatorial terms than on the interaction parameter, leading to an increase in miscibility when decreasing the oligodiol size. For short BPA-PO oligodiols no phase separation was observed. The entropic contribution of the interaction parameter exhibited an inverse relationship with the size of the oligodiols, independent of the nature of the chains bearing the hydroxyls and the type of OH groups (primary or secondary). This indicates that the degree of self-association of solvent molecules through their OH terminal groups, was mainly determined by their relative sizes.
△ Less
Submitted 21 November, 2013;
originally announced November 2013.
-
Presence of Two Maxima in the Isothermal Free-Radical Polymerization Rate of Isobornyl Methacrylate Retarded by Oxygen
Authors:
Ezequiel R. Soule,
Julio Borrajo,
Roberto J. J. Williams
Abstract:
The kinetics of the free-radical polymerization of isobornyl methacrylate (IBoMA) at 80C, initiated by benzoyl peroxide (BPO), was determined by differential scanning calorimetry (DSC), using sample pans previously sealed in air or in nitrogen. The polymerization was arrested by vitrification at a final conversion close to 0.80. The kinetics in nitrogen could be fitted using initiation and propaga…
▽ More
The kinetics of the free-radical polymerization of isobornyl methacrylate (IBoMA) at 80C, initiated by benzoyl peroxide (BPO), was determined by differential scanning calorimetry (DSC), using sample pans previously sealed in air or in nitrogen. The polymerization was arrested by vitrification at a final conversion close to 0.80. The kinetics in nitrogen could be fitted using initiation and propagation rate constants reported in the literature, a functionality of the termination rate constant controlled by translational diffusion based on the free-volume model, and an efficiency factor for the initiator decomposition that decreased with conversion in the medium-high conversion range. The presence of oxygen led to a significant decrease in the polymerization rate, an effect that was enhanced when decreasing the sample size (increasing the surface-to-volume ratio). The original finding was the presence of two maxima in the isothermal polymerization rate (a double gel effect), a fact that was confirmed by replicating experiences in two different DSC devices and changing the amount of initiator in the formulation. The first maximum in the polymerization rate was explained by the decrease of the diffusion rate of macromolecular radicals to the oxygen-rich boundary, an effect that starts at low conversions. The second maximum was related to the decrease in the solubility/diffusion of oxygen in the reaction medium, a phenomenon that is particularly severe at high conversions.
△ Less
Submitted 26 November, 2013; v1 submitted 21 November, 2013;
originally announced November 2013.
-
Kinetics of the Free-Radical Polymerization of Isobornyl Methacrylate in the Presence of Polyisobutylenes of Different Molar Masses
Authors:
Ezequiel R. Soule,
Julio Borrajo,
Roberto J. J. Williams
Abstract:
The effect of a linear polymer dissolved in a reactive monomer on the kinetics of free-radical polymerization is studied. The selected system was a solution of polyisobutylene (PIB) in isobornyl methacrylate (IBoMA). Ternary phase diagrams of PIB, IBoMA and poly(isobornyl methacrylate) (PIBoMA) were built at 80C. They were shifted to lower conversions when increasing the molar mass of PIB. Differe…
▽ More
The effect of a linear polymer dissolved in a reactive monomer on the kinetics of free-radical polymerization is studied. The selected system was a solution of polyisobutylene (PIB) in isobornyl methacrylate (IBoMA). Ternary phase diagrams of PIB, IBoMA and poly(isobornyl methacrylate) (PIBoMA) were built at 80C. They were shifted to lower conversions when increasing the molar mass of PIB. Different PIBs exhibiting CPC at advanced conversions were selected for the kinetic study performed employing differential scanning calorimetry (DSC) at 80C. A simple kinetic model for free-radical polymerizations describing the relevant termination rate constant in terms of the free-volume theory, provided a consistent fitting of the polymerization rates in the conversion range where the solution remained homogeneous. Increasing the molar mass of PIB led to an increase in polymerization rate due to the decrease in free volume and the corresponding decrease of the termination rate. Increasing the amount of a particular PIB in the initial formulation led to a less marked gel effect, explained by the smaller relative variation of free volume with conversion. The dimensionless free volume of PIB obtained from the kinetic model was found to increase with the volume concentration of chain ends, as expected. Under conditions where phase separation took place at very low conversions, the overall polymerization rate exhibited the presence of two maxima (gel effects), representing the polymerization in two different phases. The first maximum was associated to the polymerization taking place in the phase lean in PIB and the second maximum was associated to the polymerization of the monomer that was initially fractionated with PIB.
△ Less
Submitted 21 November, 2013;
originally announced November 2013.
-
Thermodynamic Model of Liquid-Liquid Phase Equilibrium in Solutions of Alkanethiol-Coated Nanoparticles
Authors:
Ezequiel R. Soule,
Cristina E. Hoppe,
Julio Borrajo,
Roberto J. J. Williams
Abstract:
A thermodynamic model for a mixture of alkanethiol-coated nanoparticles (NPs) and low molecular weight (non-polymeric) solvent is developed, and calculations of liquid-liquid phase equilibrium for different values of NP core radius, alkanethiol chain length, solvent molar volume and alkanethiol-solvent interaction parameter, are presented. The model takes into account the swelling of the organic c…
▽ More
A thermodynamic model for a mixture of alkanethiol-coated nanoparticles (NPs) and low molecular weight (non-polymeric) solvent is developed, and calculations of liquid-liquid phase equilibrium for different values of NP core radius, alkanethiol chain length, solvent molar volume and alkanethiol-solvent interaction parameter, are presented. The model takes into account the swelling of the organic coronas and the dispersion of particles with swollen coronas in the solvent. The energetic interaction between alkyl chains and solvent is considered, both within the corona and between the outer alkyl segments and free solvent. Swelling involves mixing of alkanethiol chains and solvent in the corona and stretching of the organic chains. Dispersion considers an entropic contribution based on Carnahan Starling equation of state and an enthalpic term calculated considering the surface contacts between alkyl segments placed in the external boundary of the corona and the molecules of free solvent. Two different kinds of phase equilibrium are found. One of them, observed at high values of the interaction parameter, is the typical liquid-liquid equilibrium for compact NPs in a poor solvent where a complete phase separation is observed when cooling (increasing the interaction parameter). The second liquid-liquid equilibrium is observed at low values of the interaction parameter, where swelling of coronas is favored. In this region two different phases co-exist, one more concentrated in NPs that exhibit relatively compact coronas and the other one more diluted in NPs with extended coronas. In diluted solutions of NPs the deswelling of the fully extended coronas takes place abruptly in a very small temperature range, leading to a solution of compact NPs. This critical transition might find practical applications similar to those found for the abrupt shrinkage of hydrogels at a critical temperature.
△ Less
Submitted 21 November, 2013;
originally announced November 2013.
-
Thermodynamic Analysis of a Polymerization-Induced Phase Separation in Nanoparticle-Monomer-Polymer Blends
Authors:
Ezequiel R. Soule,
Julio Borrajo,
Roberto J. J. Williams
Abstract:
We perform a thermodynamic analysis of the polymerization-induced phase separation in nanoparticle-monomer-polymer blends using a simple model recently proposed by V. V. Ginzburg (Macromolecules 2005, 38, 2362.). The model was adapted for ternary blends constituted by nanoparticles, a monomer and a linear polymer, where the relative fractions of polymer and monomer determine the conversion in the…
▽ More
We perform a thermodynamic analysis of the polymerization-induced phase separation in nanoparticle-monomer-polymer blends using a simple model recently proposed by V. V. Ginzburg (Macromolecules 2005, 38, 2362.). The model was adapted for ternary blends constituted by nanoparticles, a monomer and a linear polymer, where the relative fractions of polymer and monomer determine the conversion in the polymerization reaction. The analysis showed that phase separation can occur in the course of polymerization for a large range of values of the relevant parameters (interaction parameter, and polymer and particle sizes). This possibility has to be considered when the intention is to fix a uniform dispersion of nanoparticles in a monomer through its polymerization.
△ Less
Submitted 21 November, 2013;
originally announced November 2013.
-
Textures in Polygonal Arrangements of Square Nanoparticles in Nematic Liquid Crystals Matrices
Authors:
Paul M. Phillips,
N. Mei,
Ezequiel R. Soule,
Linda Reven,
Alejandro D. Rey
Abstract:
A systematic analysis of defect textures in facetted nanoparticles with polygonal configurations embedded in a nematic matrix is performed using the Landau-de Gennes model, homeotropic strong anchoring in a square domain with uniform alignment in the outer boundaries. Defect and textures are analyzed as functions of temperature T, polygon size R, and polygon number N. For nematic nanocomposites, t…
▽ More
A systematic analysis of defect textures in facetted nanoparticles with polygonal configurations embedded in a nematic matrix is performed using the Landau-de Gennes model, homeotropic strong anchoring in a square domain with uniform alignment in the outer boundaries. Defect and textures are analyzed as functions of temperature T, polygon size R, and polygon number N. For nematic nanocomposites, the texture satisfies a defect charge balance equation between bulk and surface (particle corner) charges. Upon decreasing the temperature, the central bulk defects split and together with other -1/2 bulk defects, are absorbed by the nanoparticle's corners. Increasing the lattice size decreases confinement and eliminates bulk defects. Increasing the polygon number increases the central defect charge at high temperature and the number of surface defects at lower temperatures. The excess energy per particle is lower in even than in odd polygons, and it is minimized for a square particle arrangement. These discrete modeling results show for first time that even under strong anchoring, defects are attached to particles as corner defects, leaving behind a low energy homogeneous orientation field that favors nanoparticle ordering in nematic matrices. These new insights are consistent with recent thermodynamic approaches to nematic nanocomposites that predict the existence of novel nematic/crystal phases and can be used to design nanocomposites with orientational and positional order.
△ Less
Submitted 21 November, 2013;
originally announced November 2013.
-
Nanostructured epoxies based on the self-assembly of block copolymers: a new miscible block that can be tailored to different epoxy formulations
Authors:
S. Maiez-Tribut,
J. P. Pascault,
E. R. Soule,
J. Borrajo,
R. J. J. Williams
Abstract:
Nanostructured thermosets may be obtained by self-assembly of amphiphilic block copolymers in a reactive solvent and fixation of the morphologies by the cross-linking reaction. Nanostructuration requires the presence of a bock that remains miscible in the polymer during polymerization. The selection of the miscible block depends on the particular system and in some cases (e.g., for epoxy-amine net…
▽ More
Nanostructured thermosets may be obtained by self-assembly of amphiphilic block copolymers in a reactive solvent and fixation of the morphologies by the cross-linking reaction. Nanostructuration requires the presence of a bock that remains miscible in the polymer during polymerization. The selection of the miscible block depends on the particular system and in some cases (e.g., for epoxy-amine network based on diglycidyl ether of bisphenol A, and 4,4'- diaminodiphenylsulfone) it is very difficult to find such a block. In this manuscript it is shown that random copolymers of methyl methacrylate (MMA) and N,N-dimethylacrylamide (DMA) containing different molar fractions of DMA, can be used as a miscible block for the nanostructuration of epoxies. The miscibility of the random copolymer during formation of the epoxy network was first analyzed determining cloud-point conversions as a function of the molar fraction of DMA in the copolymer. A thermodynamic model of the phase separation was performed using the Flory-Huggins model and taking the polydispersities of both polymers into account. A single expression of the interaction parameter based on the theory of random copolymers provided a reasonable fitting of the experimental cloud-point curves. The significant increase in the miscibility produced by using small DMA molar fractions in the copolymer was explained by the high negative value of the binary interaction energy between DMA and the epoxy-amine solvent, associated to the positive value of the interaction energy between DMA and MMA units. Block copolymers with poly(n-butyl acrylate) as the immiscible block and the random copolymer P(MMA-co-DMA) as the miscible block were used for the nanostructuration of epoxy networks. The necessary molar fraction of DMA in the miscible block to stabilize a dispersion of nanosize domains depended on the fraction of the immiscible block.
△ Less
Submitted 21 November, 2013;
originally announced November 2013.
-
Analysis of the Phase Separation Induced by a Free-Radical Polymerization in Solutions of Polyisobutylene in Isobornyl Methacrylate
Authors:
Ezequiel R. Soule,
Guillermo E. Elicabe,
Julio Borrajo,
Roberto J. J. Williams
Abstract:
We analyze a polymerization-induced phase separation taking place in solutions of a polymer dissolved in a vinyl monomer undergoing an isothermal free-radical polymerization. The selected system was a solution of polyisobutylene (PIB) in isobornyl methacrylate (IBoMA). Cloud-point curves for PIBs of different molar masses were fitted with the Flory-Huggins equation stated for a 3-component system.…
▽ More
We analyze a polymerization-induced phase separation taking place in solutions of a polymer dissolved in a vinyl monomer undergoing an isothermal free-radical polymerization. The selected system was a solution of polyisobutylene (PIB) in isobornyl methacrylate (IBoMA). Cloud-point curves for PIBs of different molar masses were fitted with the Flory-Huggins equation stated for a 3-component system. Phase separation was analyzed for two different PIBs at off-critical compositions. Comparing experimental values of the volume fraction of dispersed phase with those predicted by the coexistence curves it was found that the system evolved close to equilibrium during an initial stage. But phase separation stopped at intermediate monomer conversions as assessed by scanning electron micrographs of partially converted materials. The evolution of the size distribution of dispersed domains was obtained from the fitting of light scattering (LS) spectra. Average sizes predicted by LS and measured in scanning electron micrographs were in rough agreement.
△ Less
Submitted 21 November, 2013;
originally announced November 2013.
-
A Rubber-Modified Thermoplastic where the Morphology Produced by Phase-Separation Induced by Polymerization Disappears at High Conversions
Authors:
E. R. Soule,
G. E. Elicabe,
R. J. J. Williams
Abstract:
An unexpected experimental finding is reported where the primary morphology developed during polymerization-induced phase separation in a rubber-modified thermoplastic disappears at high conversions. This process was evidenced by light scattering (LS) and scanning electron microscopy (SEM) for a particular composition of solutions of polyisobutylene oligomers (PIB) in isobornylmethacrylate (IBoMA)…
▽ More
An unexpected experimental finding is reported where the primary morphology developed during polymerization-induced phase separation in a rubber-modified thermoplastic disappears at high conversions. This process was evidenced by light scattering (LS) and scanning electron microscopy (SEM) for a particular composition of solutions of polyisobutylene oligomers (PIB) in isobornylmethacrylate (IBoMA), during the free-radical polymerization of the monomer. The primary phase separation produced a dispersion of domains rich in PIB containing significant amounts of the monomer (IBoMA). Polymerization of the monomer in these domains occurred at high overall conversions producing the filling of dispersed domains with a PIBoMA-PIB blend. Under these conditions the final material had the appearance of a homogeneous blend. The process might be adapted to produce new types of rubber-modified thermoplastics where rubber particles are replaced by rubber-rich domains that do not exhibit definite boundaries. Keywords:
△ Less
Submitted 21 November, 2013;
originally announced November 2013.
-
A good and computationally efficient polynomial approximation to the Maier-Saupe nematic free energy
Authors:
Ezequiel R. Soule,
Alejandro D. Rey
Abstract:
A new computational strategy is proposed to approximate, with a simple but accurate expression, the Maier- Saupe free energy for nematic order. Instead of the traditional approach of expanding the free energy with a truncated Taylor series, we employ a least-squares fitting to obtain the coefficients of a polynomial expression. Both methods are compared, and the fitting with at most five polynomia…
▽ More
A new computational strategy is proposed to approximate, with a simple but accurate expression, the Maier- Saupe free energy for nematic order. Instead of the traditional approach of expanding the free energy with a truncated Taylor series, we employ a least-squares fitting to obtain the coefficients of a polynomial expression. Both methods are compared, and the fitting with at most five polynomial terms is shown to provide a satisfactory fitting, and to give much more accurate results than the traditional Taylor expansion. We perform the analysis in terms of the tensor order parameter, so the results are valid in uniaxial and biaxial states.
△ Less
Submitted 21 November, 2013;
originally announced November 2013.
-
Thermodynamic Modelling of Phase Equilibrium in Nanoparticles-Nematic Liquid Crystals Composites
Authors:
Ezequiel R. Soulé,
Linda Reven,
Alejandro D. Rey
Abstract:
In this work, a theoretical study of phase equilibrium in mixtures of a calamitic nematic liquid crystal and hard spherical nanoparticles is presented. A mean-field thermodynamic model is used, where the interactions are considered to be proportional to the number of contacts, which in turn are proportional to the areas and area fractions of each component. It is shown that, as the radius of the p…
▽ More
In this work, a theoretical study of phase equilibrium in mixtures of a calamitic nematic liquid crystal and hard spherical nanoparticles is presented. A mean-field thermodynamic model is used, where the interactions are considered to be proportional to the number of contacts, which in turn are proportional to the areas and area fractions of each component. It is shown that, as the radius of the particle is increased, the effect of the particles on the isotropic-nematic transition is less pronounced, and that for large radius the miscibility increases as the particle radius increases.
△ Less
Submitted 31 October, 2013;
originally announced October 2013.
-
Dynamics of transient metastable states in mixtures under coupled phase ordering and chemical demixing
Authors:
Ezequiel R. Soulé,
Alejandro D. Rey
Abstract:
We present theory and simulation of simultaneous chemical demixing and phase ordering in a polymer-liquid crystal mixture in conditions where isotropic-isotropic phase separation is metastable with respect to isotropic-nematic phase transition. In the case the mechanism is nucleation and growth, it is found that mesophase growth proceeds by a transient metastable phase that surround the ordered ph…
▽ More
We present theory and simulation of simultaneous chemical demixing and phase ordering in a polymer-liquid crystal mixture in conditions where isotropic-isotropic phase separation is metastable with respect to isotropic-nematic phase transition. In the case the mechanism is nucleation and growth, it is found that mesophase growth proceeds by a transient metastable phase that surround the ordered phase, and whose lifetime is a function of the ratio of diffusional to orientational mobilities. In the case of spinodal decomposition, different dynamic regimes are observed depending on the mobility ratio: metastable phase separation preceding phase ordering, phase ordering preceding phase separation, or simultaneous phase ordering and phase separation. Not only the overall dynamics but also the final structure of the material can be different for each kinetic regime.
△ Less
Submitted 31 October, 2013;
originally announced October 2013.
-
Modeling Complex Liquid Crystals Mixtures: From Polymer Dispersed Mesophase to Nematic Nanocolloids
Authors:
Ezequiel R. Soule,
Alejandro D. Rey
Abstract:
Liquid crystals are synthetic and biological viscoelastic anisotropic soft matter materials that combine liquid fluidity with crystal anisotropy and find use in optical devices, sensor/actuators, lubrication, super-fibers. Frequently mesogens are mixed with colloidal and nanoparticles, other mesogens, isotropic solvents, thermoplastic polymers, cross-linkable monomers, among others. This comprehen…
▽ More
Liquid crystals are synthetic and biological viscoelastic anisotropic soft matter materials that combine liquid fluidity with crystal anisotropy and find use in optical devices, sensor/actuators, lubrication, super-fibers. Frequently mesogens are mixed with colloidal and nanoparticles, other mesogens, isotropic solvents, thermoplastic polymers, cross-linkable monomers, among others. This comprehensive review present recent progress on meso and macro scale thermodynamic modelling, highlighting the (i) novelties in spinodal and binodal lines in the various phase diagrams, (ii) the growth laws under phase transitions and phase separation, (iii) the ubiquitous role of metastability and its manifestation in complex droplet interfaces, (iv) the various spinodal decompositions due to composition and order fluctuations, (v) the formation of novel material architectures such as colloidal crystals, (vi) the particle rich phase behaviour in liquid crystal nanocomposites, (vii) the use of topological defects to absorb and organize nanoparticles, and (viii) the ability of faceted nanoparticles to link into strings and organize into lattices. Emphasis is given to highlight dominant mechanisms and driving forces, and to link them to specific terms in the free energies of these complex mixtures. The novelties of incorporating mesophases into blends, solutions, dispersions and mixtures is revealed by using theory, modelling, computation, and visualization.
△ Less
Submitted 31 October, 2013;
originally announced October 2013.
-
Multiple interfaces in diffusional phase transitions in binary mesogen-non-mesogen mixtures undergoing metastable phase separations
Authors:
Ezequiel R. Soule,
Cyrille Lavigne,
Linda Reven,
Alejandro D. Rey
Abstract:
Theory and simulations of simultaneous chemical demixing and phase ordering are performed for a mixed order parameter system with an isotropic-isotropic (I-I) phase separation that is metastable with respect to an isotropic-nematic (I-N) phase ordering transition. Under certain conditions, the disordered phase transforms into an ordered phase via the motion of a double front containing a metastabl…
▽ More
Theory and simulations of simultaneous chemical demixing and phase ordering are performed for a mixed order parameter system with an isotropic-isotropic (I-I) phase separation that is metastable with respect to an isotropic-nematic (I-N) phase ordering transition. Under certain conditions, the disordered phase transforms into an ordered phase via the motion of a double front containing a metastable phase produced by I-I demixing, a thermodynamically driven mechanism not previously reported. Different kinetic regimes are found depending on the location of the initial conditions in the thermodynamic phase diagram and the ratio between diffusional and nematic phase ordering mobilities. For a diffusional process, depending if the temperature is above or below the critical co-dissolution point, an inflection point or a phase separation takes place in the depletion layer. This phase separation leads to the formation of a second interface where the separation of the two metastable isotropic phases grows monotonically with time. The observed deviations from the typical Fickian concentration profiles are associated with strong positive deviations of the mixture from ideality due to couplings between concentration and nematic ordering. Although systems of interest include liquid crystalline nanocomposites, this novel mechanism may apply to any mixture that can undergo an order-disorder transition and demix.
△ Less
Submitted 31 October, 2013;
originally announced October 2013.
-
Thermodynamics, transition dynamics, and texturing in polymer-dispersed liquid crystals with mesogens exhibiting a direct isotropic/smectic-A transition
Authors:
Ezequiel R. Soule,
Nasser Mohieddin Abukhdeir,
Alejandro D. Rey
Abstract:
Experimental and modeling/simulation studies of phase equilibrium and growth morphologies of novel polymer-dispersed liquid crystal (PDLC) mixtures of PS (polystyrene) and liquid crystals that exhibit a direct isotropic/smectic-A (lamellar) mesophase transition were performed for PS/10CB (decyl- cyanobiphenyl) and PS/12CB (dodecyl-cyanobiphenyl). Partial phase diagrams were determined using pola…
▽ More
Experimental and modeling/simulation studies of phase equilibrium and growth morphologies of novel polymer-dispersed liquid crystal (PDLC) mixtures of PS (polystyrene) and liquid crystals that exhibit a direct isotropic/smectic-A (lamellar) mesophase transition were performed for PS/10CB (decyl- cyanobiphenyl) and PS/12CB (dodecyl-cyanobiphenyl). Partial phase diagrams were determined using polarized optical microscopy (POM) and differential scanning calorimetry (DSC) for different compositions of both materials, determining both phase separation (liquid/liquid demixing) and phase ordering (isotropic/smectic-A transition) temperatures. The Flory-Huggins theory of isotropic mixing and Maier-Saupe-McMillan theory for smectic-A liquid crystalline ordering were used to computationally determine phase diagrams for both systems, showing good agreement with the experimental results. In addition to thermodynamic observations, growth morphology relations were found depending on phase transition sequence, quench rate, and material composition. Three stages of liquid crystal-rich domain growth morphology were observed: spherical macroscale domain growth ("stage I"), highly anisotropic domain growth ("stage II"), and sub-micron spheroid domain growth ("stage III"). Nano-scale structure of spheroidal and spherocylindrical morphologies were then determined via two-dimensional simulation of a high-order Landau-de Gennes model. Morphologies observed during stage II growth are typical of di- rect isotropic/smectic-A phase transitions, such as highly anisotropic "batonnets" and filaments. These morphologies, which are found to be persistent in direct isotropic/smectic-A PDLCs, could provide new functionality and applications for these functional materials.
△ Less
Submitted 18 October, 2009; v1 submitted 17 July, 2009;
originally announced July 2009.
-
Formation and kinetics of transient metastable states in mixtures under coupled phase ordering and chemical demixing
Authors:
Ezequiel R. Soulé,
Alejandro D. Rey
Abstract:
We present theory and simulation of simultaneous chemical demixing and phase ordering in a polymer-liquid crystal mixture in conditions where isotropic- isotropic phase separation is metastable with respect to isotropic-nematic phase transition. It is found that mesophase formation proceeds by a transient metastable phase that surround the ordered phase, and whose lifetime is a function of the r…
▽ More
We present theory and simulation of simultaneous chemical demixing and phase ordering in a polymer-liquid crystal mixture in conditions where isotropic- isotropic phase separation is metastable with respect to isotropic-nematic phase transition. It is found that mesophase formation proceeds by a transient metastable phase that surround the ordered phase, and whose lifetime is a function of the ratio of diffusional to orientational mobilities. It is shown that kinetic phase ordering in polymer-mesogen mixtures is analogous to kinetic crystallization in polymer solutions.
△ Less
Submitted 28 April, 2009;
originally announced April 2009.
-
Theory and computation of directional nematic phase ordering
Authors:
Ezequiel R. Soulé,
Nasser Mohieddin Abukhdeir. Alejandro D. Rey
Abstract:
A computational study of morphological instabilities of a two-dimensional nematic front under directional growth was performed using a Landau-de Gennes type quadrupolar tensor order parameter model for the first-order isotropic/nematic transition of 5CB (pentyl-cyanobiphenyl). A previously derived energy balance, taking anisotropy into account, was utilized to account for latent heat and an impo…
▽ More
A computational study of morphological instabilities of a two-dimensional nematic front under directional growth was performed using a Landau-de Gennes type quadrupolar tensor order parameter model for the first-order isotropic/nematic transition of 5CB (pentyl-cyanobiphenyl). A previously derived energy balance, taking anisotropy into account, was utilized to account for latent heat and an imposed morphological gradient in the time-dependent model. Simulations were performed using an initially homeotropic isotropic/nematic interface. Thermal instabilities in both the linear and non-linear regimes were observed and compared to past experimental and theoretical observations. A sharp-interface model for the study of linear morphological instabilities, taking into account additional complexity resulting from liquid crystalline order, was derived. Results from the sharp-interface model were compared to those from full two-dimensional simulation identifying the specific limitations of simplified sharp-interface models for this liquid crystal system. In the nonlinear regime, secondary instabilities were observed to result in the formation of defects, interfacial heterogeneities, and bulk texture dynamics.
△ Less
Submitted 23 November, 2008; v1 submitted 21 September, 2008;
originally announced September 2008.
-
Non-Isothermal Model for Nematic Spherulite Growth
Authors:
Nasser Mohieddin Abukhdeir,
Ezequiel R. Soule,
Alejandro D. Rey
Abstract:
A computational study of the growth of two-dimensional nematic spherulites in an isotropic phase was performed using a Landau-de Gennes type quadrupolar ensor order parameter model for the first-order isotropic/nematic transition of 5CB (pentyl-cyanobiphenyl). An energy balance, taking anisotropy into account, was derived and incorporated into the time-dependent model. Growth laws were determine…
▽ More
A computational study of the growth of two-dimensional nematic spherulites in an isotropic phase was performed using a Landau-de Gennes type quadrupolar ensor order parameter model for the first-order isotropic/nematic transition of 5CB (pentyl-cyanobiphenyl). An energy balance, taking anisotropy into account, was derived and incorporated into the time-dependent model. Growth laws were determined for two different spherulite morphologies of the form tn, with and without the inclusion of thermal effects. Results show that incorporation of the thermal energy balance correctly predicts the transition of the growth law exponent from the volume driven regime (n=1) to the thermally limited regime (approaching n=0.5), agreeing well with experimental observations. An interfacial nemato-dynamic model is used to gain insight into the interactions that result in the progression of different spherulite growth regimes.
△ Less
Submitted 11 July, 2008; v1 submitted 23 May, 2008;
originally announced May 2008.