aboutsummaryrefslogtreecommitdiff
path: root/src/dynamics/joint/impulse_joint
diff options
context:
space:
mode:
authorSébastien Crozet <developer@crozet.re>2022-01-02 14:47:40 +0100
committerSébastien Crozet <developer@crozet.re>2022-01-02 16:58:36 +0100
commitf74b8401ad9ef50b8cdbf1f43a2b21f6c42b0ebc (patch)
tree53ac492fea5942a7d466f58a0095f39505674ea4 /src/dynamics/joint/impulse_joint
parentb45d4b5ac2b31856c15e802b31e288a58940cbf2 (diff)
downloadrapier-f74b8401ad9ef50b8cdbf1f43a2b21f6c42b0ebc.tar.gz
rapier-f74b8401ad9ef50b8cdbf1f43a2b21f6c42b0ebc.tar.bz2
rapier-f74b8401ad9ef50b8cdbf1f43a2b21f6c42b0ebc.zip
Implement multibody joints and the new solver
Diffstat (limited to 'src/dynamics/joint/impulse_joint')
-rw-r--r--src/dynamics/joint/impulse_joint/impulse_joint.rs20
-rw-r--r--src/dynamics/joint/impulse_joint/impulse_joint_set.rs356
-rw-r--r--src/dynamics/joint/impulse_joint/mod.rs6
3 files changed, 382 insertions, 0 deletions
diff --git a/src/dynamics/joint/impulse_joint/impulse_joint.rs b/src/dynamics/joint/impulse_joint/impulse_joint.rs
new file mode 100644
index 0000000..a12c533
--- /dev/null
+++ b/src/dynamics/joint/impulse_joint/impulse_joint.rs
@@ -0,0 +1,20 @@
+use crate::dynamics::{JointData, JointHandle, RigidBodyHandle};
+use crate::math::{Real, SpacialVector};
+
+#[cfg_attr(feature = "serde-serialize", derive(Serialize, Deserialize))]
+#[derive(Clone, Debug, PartialEq)]
+/// A joint attached to two bodies.
+pub struct ImpulseJoint {
+ /// Handle to the first body attached to this joint.
+ pub body1: RigidBodyHandle,
+ /// Handle to the second body attached to this joint.
+ pub body2: RigidBodyHandle,
+
+ pub data: JointData,
+ pub impulses: SpacialVector<Real>,
+
+ // A joint needs to know its handle to simplify its removal.
+ pub(crate) handle: JointHandle,
+ #[cfg(feature = "parallel")]
+ pub(crate) constraint_index: usize,
+}
diff --git a/src/dynamics/joint/impulse_joint/impulse_joint_set.rs b/src/dynamics/joint/impulse_joint/impulse_joint_set.rs
new file mode 100644
index 0000000..183b668
--- /dev/null
+++ b/src/dynamics/joint/impulse_joint/impulse_joint_set.rs
@@ -0,0 +1,356 @@
+use super::ImpulseJoint;
+use crate::geometry::{InteractionGraph, RigidBodyGraphIndex, TemporaryInteractionIndex};
+
+use crate::data::arena::Arena;
+use crate::data::{BundleSet, Coarena, ComponentSet, ComponentSetMut};
+use crate::dynamics::{IslandManager, RigidBodyActivation, RigidBodyIds, RigidBodyType};
+use crate::dynamics::{JointData, RigidBodyHandle};
+
+/// The unique identifier of a joint added to the joint set.
+/// The unique identifier of a collider added to a collider set.
+#[derive(Copy, Clone, Debug, PartialEq, Eq, Hash)]
+#[cfg_attr(feature = "serde-serialize", derive(Serialize, Deserialize))]
+#[repr(transparent)]
+pub struct JointHandle(pub crate::data::arena::Index);
+
+impl JointHandle {
+ /// Converts this handle into its (index, generation) components.
+ pub fn into_raw_parts(self) -> (u32, u32) {
+ self.0.into_raw_parts()
+ }
+
+ /// Reconstructs an handle from its (index, generation) components.
+ pub fn from_raw_parts(id: u32, generation: u32) -> Self {
+ Self(crate::data::arena::Index::from_raw_parts(id, generation))
+ }
+
+ /// An always-invalid joint handle.
+ pub fn invalid() -> Self {
+ Self(crate::data::arena::Index::from_raw_parts(
+ crate::INVALID_U32,
+ crate::INVALID_U32,
+ ))
+ }
+}
+
+pub(crate) type JointIndex = usize;
+pub(crate) type JointGraphEdge = crate::data::graph::Edge<ImpulseJoint>;
+
+#[cfg_attr(feature = "serde-serialize", derive(Serialize, Deserialize))]
+#[derive(Clone, Default)]
+/// A set of impulse_joints that can be handled by a physics `World`.
+pub struct ImpulseJointSet {
+ rb_graph_ids: Coarena<RigidBodyGraphIndex>,
+ joint_ids: Arena<TemporaryInteractionIndex>, // Map joint handles to edge ids on the graph.
+ joint_graph: InteractionGraph<RigidBodyHandle, ImpulseJoint>,
+}
+
+impl ImpulseJointSet {
+ /// Creates a new empty set of impulse_joints.
+ pub fn new() -> Self {
+ Self {
+ rb_graph_ids: Coarena::new(),
+ joint_ids: Arena::new(),
+ joint_graph: InteractionGraph::new(),
+ }
+ }
+
+ /// The number of impulse_joints on this set.
+ pub fn len(&self) -> usize {
+ self.joint_graph.graph.edges.len()
+ }
+
+ /// `true` if there are no impulse_joints in this set.
+ pub fn is_empty(&self) -> bool {
+ self.joint_graph.graph.edges.is_empty()
+ }
+
+ /// Retrieve the joint graph where edges are impulse_joints and nodes are rigid body handles.
+ pub fn joint_graph(&self) -> &InteractionGraph<RigidBodyHandle, ImpulseJoint> {
+ &self.joint_graph
+ }
+
+ /// Iterates through all the impulse_joints attached to the given rigid-body.
+ pub fn joints_with<'a>(
+ &'a self,
+ body: RigidBodyHandle,
+ ) -> impl Iterator<Item = (RigidBodyHandle, RigidBodyHandle, &'a ImpulseJoint)> {
+ self.rb_graph_ids
+ .get(body.0)
+ .into_iter()
+ .flat_map(move |id| self.joint_graph.interactions_with(*id))
+ }
+
+ /// Is the given joint handle valid?
+ pub fn contains(&self, handle: JointHandle) -> bool {
+ self.joint_ids.contains(handle.0)
+ }
+
+ /// Gets the joint with the given handle.
+ pub fn get(&self, handle: JointHandle) -> Option<&ImpulseJoint> {
+ let id = self.joint_ids.get(handle.0)?;
+ self.joint_graph.graph.edge_weight(*id)
+ }
+
+ /// Gets a mutable reference to the joint with the given handle.
+ pub fn get_mut(&mut self, handle: JointHandle) -> Option<&mut ImpulseJoint> {
+ let id = self.joint_ids.get(handle.0)?;
+ self.joint_graph.graph.edge_weight_mut(*id)
+ }
+
+ /// Gets the joint with the given handle without a known generation.
+ ///
+ /// This is useful when you know you want the joint at position `i` but
+ /// don't know what is its current generation number. Generation numbers are
+ /// used to protect from the ABA problem because the joint position `i`
+ /// are recycled between two insertion and a removal.
+ ///
+ /// Using this is discouraged in favor of `self.get(handle)` which does not
+ /// suffer form the ABA problem.
+ pub fn get_unknown_gen(&self, i: u32) -> Option<(&ImpulseJoint, JointHandle)> {
+ let (id, handle) = self.joint_ids.get_unknown_gen(i)?;
+ Some((
+ self.joint_graph.graph.edge_weight(*id)?,
+ JointHandle(handle),
+ ))
+ }
+
+ /// Gets a mutable reference to the joint with the given handle without a known generation.
+ ///
+ /// This is useful when you know you want the joint at position `i` but
+ /// don't know what is its current generation number. Generation numbers are
+ /// used to protect from the ABA problem because the joint position `i`
+ /// are recycled between two insertion and a removal.
+ ///
+ /// Using this is discouraged in favor of `self.get_mut(handle)` which does not
+ /// suffer form the ABA problem.
+ pub fn get_unknown_gen_mut(&mut self, i: u32) -> Option<(&mut ImpulseJoint, JointHandle)> {
+ let (id, handle) = self.joint_ids.get_unknown_gen(i)?;
+ Some((
+ self.joint_graph.graph.edge_weight_mut(*id)?,
+ JointHandle(handle),
+ ))
+ }
+
+ /// Iterates through all the joint on this set.
+ pub fn iter(&self) -> impl Iterator<Item = (JointHandle, &ImpulseJoint)> {
+ self.joint_graph
+ .graph
+ .edges
+ .iter()
+ .map(|e| (e.weight.handle, &e.weight))
+ }
+
+ /// Iterates mutably through all the joint on this set.
+ pub fn iter_mut(&mut self) -> impl Iterator<Item = (JointHandle, &mut ImpulseJoint)> {
+ self.joint_graph
+ .graph
+ .edges
+ .iter_mut()
+ .map(|e| (e.weight.handle, &mut e.weight))
+ }
+
+ // /// The set of impulse_joints as an array.
+ // pub(crate) fn impulse_joints(&self) -> &[JointGraphEdge] {
+ // // self.joint_graph
+ // // .graph
+ // // .edges
+ // // .iter_mut()
+ // // .map(|e| &mut e.weight)
+ // }
+
+ #[cfg(not(feature = "parallel"))]
+ pub(crate) fn joints_mut(&mut self) -> &mut [JointGraphEdge] {
+ &mut self.joint_graph.graph.edges[..]
+ }
+
+ #[cfg(feature = "parallel")]
+ pub(crate) fn joints_vec_mut(&mut self) -> &mut Vec<JointGraphEdge> {
+ &mut self.joint_graph.graph.edges
+ }
+
+ /// Inserts a new joint into this set and retrieve its handle.
+ pub fn insert(
+ &mut self,
+ body1: RigidBodyHandle,
+ body2: RigidBodyHandle,
+ data: impl Into<JointData>,
+ ) -> JointHandle {
+ let data = data.into();
+ let handle = self.joint_ids.insert(0.into());
+ let joint = ImpulseJoint {
+ body1,
+ body2,
+ data,
+ impulses: na::zero(),
+ handle: JointHandle(handle),
+ #[cfg(feature = "parallel")]
+ constraint_index: 0,
+ };
+
+ let default_id = InteractionGraph::<(), ()>::invalid_graph_index();
+ let mut graph_index1 = *self
+ .rb_graph_ids
+ .ensure_element_exist(joint.body1.0, default_id);
+ let mut graph_index2 = *self
+ .rb_graph_ids
+ .ensure_element_exist(joint.body2.0, default_id);
+
+ // NOTE: the body won't have a graph index if it does not
+ // have any joint attached.
+ if !InteractionGraph::<RigidBodyHandle, ImpulseJoint>::is_graph_index_valid(graph_index1) {
+ graph_index1 = self.joint_graph.graph.add_node(joint.body1);
+ self.rb_graph_ids.insert(joint.body1.0, graph_index1);
+ }
+
+ if !InteractionGraph::<RigidBodyHandle, ImpulseJoint>::is_graph_index_valid(graph_index2) {
+ graph_index2 = self.joint_graph.graph.add_node(joint.body2);
+ self.rb_graph_ids.insert(joint.body2.0, graph_index2);
+ }
+
+ self.joint_ids[handle] = self.joint_graph.add_edge(graph_index1, graph_index2, joint);
+ JointHandle(handle)
+ }
+
+ /// Retrieve all the impulse_joints happening between two active bodies.
+ // NOTE: this is very similar to the code from NarrowPhase::select_active_interactions.
+ pub(crate) fn select_active_interactions<Bodies>(
+ &self,
+ islands: &IslandManager,
+ bodies: &Bodies,
+ out: &mut Vec<Vec<JointIndex>>,
+ ) where
+ Bodies: ComponentSet<RigidBodyType>
+ + ComponentSet<RigidBodyActivation>
+ + ComponentSet<RigidBodyIds>,
+ {
+ for out_island in &mut out[..islands.num_islands()] {
+ out_island.clear();
+ }
+
+ // FIXME: don't iterate through all the interactions.
+ for (i, edge) in self.joint_graph.graph.edges.iter().enumerate() {
+ let joint = &edge.weight;
+
+ let (status1, activation1, ids1): (
+ &RigidBodyType,
+ &RigidBodyActivation,
+ &RigidBodyIds,
+ ) = bodies.index_bundle(joint.body1.0);
+ let (status2, activation2, ids2): (
+ &RigidBodyType,
+ &RigidBodyActivation,
+ &RigidBodyIds,
+ ) = bodies.index_bundle(joint.body2.0);
+
+ if (status1.is_dynamic() || status2.is_dynamic())
+ && (!status1.is_dynamic() || !activation1.sleeping)
+ && (!status2.is_dynamic() || !activation2.sleeping)
+ {
+ let island_index = if !status1.is_dynamic() {
+ ids2.active_island_id
+ } else {
+ ids1.active_island_id
+ };
+
+ out[island_index].push(i);
+ }
+ }
+ }
+
+ /// Removes a joint from this set.
+ ///
+ /// If `wake_up` is set to `true`, then the bodies attached to this joint will be
+ /// automatically woken up.
+ pub fn remove<Bodies>(
+ &mut self,
+ handle: JointHandle,
+ islands: &mut IslandManager,
+ bodies: &mut Bodies,
+ wake_up: bool,
+ ) -> Option<ImpulseJoint>
+ where
+ Bodies: ComponentSetMut<RigidBodyActivation>
+ + ComponentSet<RigidBodyType>
+ + ComponentSetMut<RigidBodyIds>,
+ {
+ let id = self.joint_ids.remove(handle.0)?;
+ let endpoints = self.joint_graph.graph.edge_endpoints(id)?;
+
+ if wake_up {
+ // Wake-up the bodies attached to this joint.
+ if let Some(rb_handle) = self.joint_graph.graph.node_weight(endpoints.0) {
+ islands.wake_up(bodies, *rb_handle, true);
+ }
+ if let Some(rb_handle) = self.joint_graph.graph.node_weight(endpoints.1) {
+ islands.wake_up(bodies, *rb_handle, true);
+ }
+ }
+
+ let removed_joint = self.joint_graph.graph.remove_edge(id);
+
+ if let Some(edge) = self.joint_graph.graph.edge_weight(id) {
+ self.joint_ids[edge.handle.0] = id;
+ }
+
+ removed_joint
+ }
+
+ /// Deletes all the impulse_joints attached to the given rigid-body.
+ ///
+ /// The provided rigid-body handle is not required to identify a rigid-body that
+ /// is still contained by the `bodies` component set.
+ /// Returns the (now invalid) handles of the removed impulse_joints.
+ pub fn remove_joints_attached_to_rigid_body<Bodies>(
+ &mut self,
+ handle: RigidBodyHandle,
+ islands: &mut IslandManager,
+ bodies: &mut Bodies,
+ ) -> Vec<JointHandle>
+ where
+ Bodies: ComponentSetMut<RigidBodyActivation>
+ + ComponentSet<RigidBodyType>
+ + ComponentSetMut<RigidBodyIds>,
+ {
+ let mut deleted = vec![];
+
+ if let Some(deleted_id) = self
+ .rb_graph_ids
+ .remove(handle.0, InteractionGraph::<(), ()>::invalid_graph_index())
+ {
+ if InteractionGraph::<(), ()>::is_graph_index_valid(deleted_id) {
+ // We have to delete each joint one by one in order to:
+ // - Wake-up the attached bodies.
+ // - Update our Handle -> graph edge mapping.
+ // Delete the node.
+ let to_delete: Vec<_> = self
+ .joint_graph
+ .interactions_with(deleted_id)
+ .map(|e| (e.0, e.1, e.2.handle))
+ .collect();
+ for (h1, h2, to_delete_handle) in to_delete {
+ deleted.push(to_delete_handle);
+ let to_delete_edge_id = self.joint_ids.remove(to_delete_handle.0).unwrap();
+ self.joint_graph.graph.remove_edge(to_delete_edge_id);
+
+ // Update the id of the edge which took the place of the deleted one.
+ if let Some(j) = self.joint_graph.graph.edge_weight_mut(to_delete_edge_id) {
+ self.joint_ids[j.handle.0] = to_delete_edge_id;
+ }
+
+ // Wake up the attached bodies.
+ islands.wake_up(bodies, h1, true);
+ islands.wake_up(bodies, h2, true);
+ }
+
+ if let Some(other) = self.joint_graph.remove_node(deleted_id) {
+ // One rigid-body joint graph index may have been invalidated
+ // so we need to update it.
+ self.rb_graph_ids.insert(other.0, deleted_id);
+ }
+ }
+ }
+
+ deleted
+ }
+}
diff --git a/src/dynamics/joint/impulse_joint/mod.rs b/src/dynamics/joint/impulse_joint/mod.rs
new file mode 100644
index 0000000..2afe078
--- /dev/null
+++ b/src/dynamics/joint/impulse_joint/mod.rs
@@ -0,0 +1,6 @@
+pub use self::impulse_joint::ImpulseJoint;
+pub use self::impulse_joint_set::{ImpulseJointSet, JointHandle};
+pub(crate) use self::impulse_joint_set::{JointGraphEdge, JointIndex};
+
+mod impulse_joint;
+mod impulse_joint_set;